课程文献中心 更多>>

关键词： 空中接口   货物   货物搬运   代码   译码   通信   集装箱   数据块   数据通信   数据格式   数据处理   数据安全   数据结构   数据传输   名称与符号   编码   货运集装箱   货物运输   识别   识别方法   识别系统   信息标志   接口   标志   标记  

标准号: ISO 17365-2013

关键词： 数据结构   算法分析   JAVA语言  

ISBN: (纸本)9787111426905

摘要： 本书共包括8章内容，详细讲述了线性结构、树结构和图结构中的数据表示及数据处理的方法，并对查找和排序两种重要的数据处理技术作了细致的探讨。

关键词： 数据结构  

ISBN: (纸本)9787302327912

摘要： 本书共分10章，每一章的主要算法以调试通过的程序演示讲解，并随有小结与典型例题，有助于学生理解和应用。

关键词： 数据结构  

ISBN: (纸本)9787111427858

摘要： 本书共分8章，包括算法复杂度相关问题专练、线性表、树与二叉树、图、排序、查找、历年真题等。

摘要： The amount of data that people and companies store has grown exponentially over the last few years. Storing this information alone is not enough, because in order to make it useful we need to be able to efficiently search inside it. Furthermore, it is highly valuable to keep the historic data of each document stored, allowing to not only access and search inside the newest version, but also over the whole history of the documents. Grammar-based compression has proven to be very effective for repetitive data, which is the case for versioned documents. In this thesis we present several results on representing textual information and searching in it. In particular, we present text indexes for grammar- based compressed text that support searching for a pattern and extracting substrings of the input text. These are the first general indexes for grammar-based compressed text that support searching in sublinear time. In order to build our indexes, we present new results on representing binary relations in a space-efficient manner, and construction algorithms that use little space to achieve their goal. These two results have a wide range of applications. In particular, the representations for binary relations can be used as a building block for several structures in computer science, such as graphs, inverted indexes, etc. Finally, we present a new index, that uses on grammar-based compression, to solve the doc- ument listing problem. This problem deals with representing a collection of texts and searching for the documents that contain a given pattern. In spite of being similar to the classical text indexing problem, this problem has proven to be a challenge when we do not want to pay time proportional to the number of occurrences, but time proportional to the size of the result. Our proposal is designed particularly for versioned text, allowing the storage of a collection of doc- uments with all their historic versions in little space. This is currently the smallest struc

关键词： 数据结构  

ISBN: (纸本)9787560629704

摘要： 本书系统地介绍了各种典型数据的基本概念、存储结构及其各种运算的原理和算法。全书共分为11章, 包括绪论、栈和队列等。

关键词： 地下管线   数据结构   空间分析   GIS   二次开发  

摘要： 城市地下管线的管理是城市基础设施建设管理工作中最重要的环节之一,理解、认识并掌握城市地下管线的现状是当今城市规划、城市建设与城市管理的基本需求。城市的基础设施建设的步伐的不断加快,作为城市“生命线”的城市地下管线建设速度也随之提速,伴随而来的城市地下管线运行管理问题却愈发复杂。传统的档案式城市地下管线管理方式已经不能适应当今城市管理信息化的步伐。随着科学技术的发展,与GIS技术结合的城市地下管线信息系统是城市信息化建设的重要组成部分,其采用GIS作为主要手段科学管理各种管线信息,不仅能够实现各类管线数据的及时更新与维护,保证数据的现势性,而且能够提供准确、实时的管线信息,为城市的规划和建设提供辅助决策依据,既提高了管线管理水平,同时也为城市地下生命线的安全运转提供了技术保障。 本文依照城市地下管线相关技术规范文件,对地下管线数据进行质量控制,再根据地下管线数据的特征,对管线数据结构进行设计和优化。城市地下管线是交错有序、但又复杂缜密的,其数据属性数量众多,表达着所属管线各个详细信息。地下管线数据在地下管线勘测、数据输入等环节难免会有数据错误的发生,可能会导致地下管线在进行地理空间化时,发生坐标位置错误、属性偏差、系统无法识别等等。为了应对此类复杂情况发生,需要进行相应的地下管线数据质量控制以及检测校验。地理信息系统技术在城市地下管线中的应用,不能仅仅停留在空间信息的存储、查询、检索等,更重要的是如何利用G1S的分析、模拟、预测等功能。根据地下管线的空间分布特征,研究适合实现GIS空间分析功能的地下管线数据结构。 本文根据城市管线管理需求,研究开发基于C/S模式的城市地下管线信息系统,利用Oracle数据库作为构建城市地下管线数据库,在.NET Framework平台中运用组件式GIS理念,以ArcGIS作为GIS平台,利用其数据库工具以及二次开发组件接口进行城市地下管线信息系统的开发实现,完成本文GIS理论运用实践于城市地下管线管理中的应用研究。 本文主要研究组件式GIS技术在地下管线信息系统开发中的应用。通过对系统的需求分析,提出了系统目标、设计原则、体系结构、数据流程等。围绕组件式GIS技术展开研究和开发,并设计出系统核心功能及相应实现方法,主要包括对各种地下管线的查询、检索和数据统计、显示、输出等功能的实现。GIS的核心技术是结合地理空间数据以及一定的数学方法和模型,对现实世界的物质规律进行空间模拟和分析。将GIS强大的空间分析能力体现于城市地下管线管理之中,通过开发实现地下管线的横截面分析、纵截面分析、连通性分析、爆裂分析和关闸分析等管线空间分析功能,为城市地下管线规划管理、结构优化以及事故处理等提供相应的决策支持。

关键词： 计算机科学   数据   数据交换   数据处理   数据保护   数据表示   数据安全   数据结构   数据传送   定义   设计   保健   健康登记   识别卡   信息交换   医疗信息学   医学科学   病患者保护   病人   个人   个人资料   印制电路插件   公共卫生  

标准号: NF S97-549-1-2013

摘要： La présente partie de l'ISO 10555 spécifie les exigences relatives aux cathéters centraux veineux fournis dans des conditions stériles, non réutilisables.

关键词： 算法分析   数据结构  

ISBN: (纸本)9787302310174

摘要： 本书内容精炼，强调了学生和专业人员必须熟悉的编程和基本数学语言，包括了数组与链表、散列表与关联数组、排序与选择、优先队列、有序序列、图的表示、图的遍历、最短路径、最小生成树和优化等章节。本书首先提出问题，然后进行分析说明，最后给出问题的解决方案，在讲解过程中，不仅给出清晰的定义，丰富的示例和练习，而且还采用插图和伪代码来解释算法，再用真正的编程语言(如c++和java)高效实现算法。

摘要： This thesis presents a framework to verify asynchronous real-time systems based on model checking. These systems are modeled by using a common modeling formalism named Labeled Petri-nets(LPNs). In order to verify the real-time systems algorithmically, the zone-based timing analysis method is used for LPNs. It searches the state space with timing information (represented by zones). When there is a high degree of concurrency in the model, firing concurrent enabled transitions in different order may result in different zones, and these zones may be combined without affecting the verification result. Since the zone-based method could not deal with this problem efficiently, the POSET timing analysis method is adopted for LPNs. It separates concurrency from causality and generates an exactly one zone for a single state. But it needs to maintain an extra POSET matrix for each state. In order to save time and memory, an improved zone-based timing analysis method is introduced by integrating above two methods. It searches the state space with zones but eliminates the use of the POSET matrix, which generates the same result as with the POSET method. To illustrate these methods, a circuit example is used throughout the thesis. Since the state space generated is usually very large, a graph data structure named multi-value decision diagrams (MDDs) is implemented to store the zones compactly. In order to share common clock value of different zones, two zone encoding methods are described: direct encoding and minimal constraint encoding. They ignore the unnecessary information in zones thus reduce the length of the integer tuples. The effectiveness of these two encoding methods is demonstrated by experimental result of the circuit example.