摘要：基于语义检索的目的,结合成语典故本体的构建,设计了一个基于成语典故本体的语义检索模型,阐述了检索模型中用户界面模块、数据存储模块、查询分析模块和检索分析模块的功能;分析了系统中的本体构建技术、分词技术及检索技术,设计并实现了词语相似度及概念相似度算法;通过语义检索系统的实验,得到较高的查全率和查准率。

摘要：针对现实生活中信息的时间性和模糊性,在模糊描述逻辑和时态逻辑的基础上,提出了一种模糊时态描述逻辑FTDL,并给出了其语法和语义的相关说明。与模糊描述逻辑FALC相比,FTDL的提出为语义Web服务的建模和推理提供了一种有效的途径。

摘要：知识本体是共享概念的明确形式规范说明,本体合理有效地存储是保证本体共享利用的前提。通过对几种典型的本体存储模式的对比分析,给出成语典故本体存储模式的设计原则,并基于该原则提出一种混合的本体存储模式,实例表明存储实现简单、结构稳定,而且具有良好的可扩展性,适用于存储大规模的本体。

摘要：针对目前人民法院在审理各类案件时缺乏同类案例参考,从而造成大量资源浪费、适用法条不当等情况,本文提出一种建立覆盖全国各级法院判例检索系统(CCSS),在对该系统的功能进行了详细分析的基础上,进行了系统设计和网络模型设计,系统采用较为简单的B/S结构,实现了法院判例的收集、统计、查询和维护,具有一定的实用性和安全性。

摘要：UML是标准的对象建模语言,已成为公认的建模标准,但UML模型的推理能力较弱。OWL表示的本体可以描述类与类之间的各种关系,从语义上建立类信息的全面描述,其表达能力及推理能力都较强。本文比较分析了UML类和OWL类的异同,阐述了UML类可向OWL类转换原理。通过OWL DL定义了UML的类图,描述了类和子类的关系。以学生本体为例,实现了UML类图的OWL本体形式化表示,进而将UML模型转换为相应的OWL本体,实现了UML类图中知识的再利用,为本体建设提供了新的途径。

摘要：针对日益严重的城市交通拥堵、城市建设、生活节奏等问题,提出以物联网为基础,利用群智感知技术实现信息采集,利用广播电视技术、移动电话技术、车联网技术实现信息共享的智慧城市交通系统。不同的组织和人群将会从中得到不同的支持,并对关键问题从数据采集、数据纠正、大数据处理、数据发布等方面做了阐述。

摘要：针对RFID系统的Gen-2类标签容量有限的特点,提出了一种基于Gen-2标签的RFID认证协议,将标签32位ID号分为低16位和高16位,利用标签的CRC-16位生成相应校验码作为密文传输.该协议避免了已有协议在安全性方面的5个缺陷,提高了数据库查询速度、降低了RFID标签的设计成本.并利用BAN逻辑对所提出协议的目标、假设和消息传递进行形式化分析,从理论上证明了该协议是安全可达的.

摘要：重庆忠县至万州高速公路A3合同段是重庆规划建设的“三环十射’骨架公路中十射的一段。是重庆市长江三峡库区开发的主要通道。重庆交通规划勘察设计院根据批准的工程文件和路线方案及控制性工程类型、位置，委托重庆江北地质工程勘察院完成A3合同段（K57＋700．K73＋270，SK57＋800～K72＋850）工程地质初步勘察任务。

摘要：光电转塔广泛搭载于各类航空平台,通过集成多个谱段的成像传感器实现全天时成像侦察,在执行各种任务时发挥着越来越重要的作用,世界各主要军事强国均发展了先进的光电转塔产品。通过对航空光电转塔发展历程的简要回顾及当今世界各国同类产品进行分析,对该领域国外发展现状、主要产品性能及参数进行阐述,从系统设计、伺服技术、结构技术、光学技术、新体制探测成像、图像处理、人工智能、处理器性能等方面,对其主要技术发展特点及趋势进行提炼总结,并对需要重点关注的关键技术进行简要评价,以期对国内航空光电转塔的未来发展思路提供参考。

摘要：当我们关注13亿人口中最真实、平凡的民工生活的时候,一种对于空间创造的强烈渴望瞬时在我们心中膨胀.这是一个拥有1亿4千万人口的群体,是一个去全世界拼搏,却得不到能够满足最基本要求空间的群体.可是,就是他们创造着不可思议的世界.