基于本体的语义推理研究

语义Web作为新一代Web正倍受关注,而Web的资源描述语言RDF、RDF的词汇描述RDF Schema,以及最新的本体语言OWL等已成为现今语义Web上的规范语言.文中概述了本体语言和描述逻辑及它们之间的关系,并通过一个实例显示了一个本体文件中传递闭包的推理路径.     

一种本体转换为关系数据库模式的方法

语义网是下一代互联网,本体是语义网描述逻辑的具体实现．本文提出了一种本体转换为关系数据库模式存储的方法,将本体中的每个类和属性的实例用单独的数据表存储,使用视图来体现对象之间的关系．本文提出的转换方法的优点是当本体发生修改时,不需要大量修改数据库的结构,适合于中小型本体的转换．     

Ontology-based model of network and computer attacks for security assessment

With increased cyber attacks over years,information system security assessment becomes more and more important.This paper provides an ontology-based attack model,and then utilizes it to assess the information system security from attack angle.We categorize attacks into a taxonomy suitable for security assessment.The proposed taxonomy consists of five dimensions,which include attack impact,attack vector,attack target,vulnerability and defense.Afterwards we build an ontology according to the taxonomy.In the ontology,attack related concepts included in the five dimensions and relationships between them are formalized and analyzed in detail.We also populate our attack ontology with information from national vulnerability database(NVD)about the vulnerabilities,such as common vulnerabilities and exposures(CVE),common weakness enumeration(CWE),common vulnerability scoring system(CVSS),and common platform enumeration(CPE).Finally we propose an ontology-based framework for security assessment of network and computer systems,and describe the utilization of ontology in the security assessment and the method for evaluating attack efect on the system when it is under attack.     

水泥砼疲劳试验数据中含非破坏数据的处理方法

水泥砼疲劳试验数据中常含有非破坏数据 ,人们在处理数据时常将其剔除 ,笔者认为这是不合理的 .据此 ,笔者应用数据统计方法 ,假定数据服从正态 (或对数正态 )分布 ,从理论上推导出了处理这类问题的计算方法 ,并给出了具体算例 .分析发现 ,应用该方法处理疲劳试验数据中含非破坏数据是可行的     

城市群综合交通运输承载力及协调性评价

城市群是区域经济发展的全球化趋势,综合交通系统是其基础条件.在构建综合交通运输系统承载力、协调性的结构模型后,讨论了数据包络分析(DEA)方法建模特点及带非阿基米德无穷小参数DEA模型求解思路.用DEA模型定义了综合交通系统基础设施、经济发展、潜在需求的承载力,以及系统协调效度、发展效度、综合效度.考虑各运输方式投入产出机制的共性与差别,利用DEA方法对输入输出数据去量纲处理的特点,选取了有别于一般的输入输出指标进行评价.以海西城市群为例的评价结果反映出的变化规律与实际情况一致,表明模型构建及指标选取有效.     

外语词汇联想意义的迁移

在外语词汇联想意义的学习过程中,遇到联想意义完全等同的语言现象时,可以直接把汉语的词义知识迁移到外语中去,发生正迁移.联想意义不同的部分如果学生仍以汉语的词义知识替代外语的相关词义知识的话,结果会出现负迁移,形成干扰与阻碍.     

Towards a Formalized Ontology-Based Requirements Model

The goal of this paper is to take a further step towards an ontological approach for representing requirements information. The motivation for ontologies was discussed. The definitions of ontology and requirements ontology were given. Then, it presented a collection of informal terms, including four subject areas. It also discussed the formalization process of ontology. The underlying meta-ontology was determined, and the formalized requirements ontology was analyzed. This formal ontology is built to serve as a basis for requirements model. Finally, the implementation of software system was given.     

桥梁结构在线健康监测预警系统Ⅱ——损伤识别的信号分析及提取方法

在桥梁结构在线健康监测预警系统--监测评估预警体系和模块设计研究的基础上,进一步讨论了桥梁结构在线健康监测预警系统的数据分析的总体要求,给出了结构分析数据的获取方法,采集信号的数据处理方法与流程,分析比较了各类损伤识别方法及特征指纹的特点及适用范围,它对营运中的桥梁监测与养护管理具有重要的指导意义和实用价值.     

树枝形专用线直达车流取送问题优化研究

在组织开行路企直通列车的企业装车区合理安排取送车顺序,对提高运输效率、加速车辆周转具有重要意义。本文针对专用线呈树枝形布置、直达车流非整列装车的情况,以车辆总停留时间最短为优化目标,结合问题特点设计方案树,采用隐枚举算法直接在方案树上搜索最优方案。最后,算例验证了算法的实用性和有效性。     

驾驶员道路安全感受模糊评判模型

应用层次分析法和模糊评判法，分析了道路各因素对驾驶员安全感的影响程度，建立了驾驶员对道路条件安全感受评价的定量描述模型。并利用该模型对一典型事故多发路段进行了实例验证，发现在改造前后驾驶员对该路段的安全感量化值从3．324降低到2．628，这一结果能很好地反映驾驶员的实际感受情况，是一种度量驾驶员安全感的有效方法。     

在城市交通信息集成中基于本体的语义融合模型

交通信息融合技术已成为智能交通系统中研究热点,它对于城市交通综合管理、交通预案应急联动以及数字城市建设有着十分重要的意义. 采用本体技术和语义逻辑代数方法,
对多源异构的城市交通信息的统一表示、融合等问题进行了深入探索. 通过城市交通本体建立静态和动态的城市交通信息的统一语义模型,并定义本体在语义层面上的融合规约和代数操作,以实现城市交通信息融合在语义上的完备性和一致性. 在城市交通信息集成中增加语义融合功能,对降低交通信息集成的数据量,提升集成后交通信息的查询和分析效率及准确性都有较大帮助,在实践应用中也体现了一定的效果.     

�ڳ��н�ͨ��Ϣ�����л��ڱ���������ں�ģ��

交通信息融合技术已成为智能交通系统中研究热点,它对于城市交通综合管理、交通预案应急联动以及数字城市建设有着十分重要的意义. 采用本体技术和语义逻辑代数方法,
对多源异构的城市交通信息的统一表示、融合等问题进行了深入探索. 通过城市交通本体建立静态和动态的城市交通信息的统一语义模型,并定义本体在语义层面上的融合规约和代数操作,以实现城市交通信息融合在语义上的完备性和一致性. 在城市交通信息集成中增加语义融合功能,对降低交通信息集成的数据量,提升集成后交通信息的查询和分析效率及准确性都有较大帮助,在实践应用中也体现了一定的效果.     

自主CAE平台及计算力学软件研发新进展

数值模拟是求解复杂工程问题强有力的工具.科学计算程序的一大需求在于复杂及可变数据结构的存储、提取和处理能力.对于用户而言,不仅需要强大的求解器,还需要良好的图形交互界面,因此,开发具有通用性和开放性的CAE软件平台和友好的用户界面势在必行.本文在介绍CAE软件平台OmtDesk的基础上,采用C++语言和面向对象软件开发技术,建立了高效CAE平台,解决了CAD模型与计算力学平台接口、网格生成、大型数据存储、快速求解算法等关键问题;同时基于Qt+OpenGL技术,开发了跨系统的友好图形用户界面;最后,以固体力学数值模拟为例,基于该平台和用户界面,开发了计算固体力学专用软件.由此可见,本文提出的软件设计理念是有效的,实现的CAE平台已经拥有了强大的功能.      

地铁暗挖车站预留核心土双侧壁导坑法施工技术

以青岛地铁延安三路站为背景,详细阐述了地铁暗挖车站预留核心土双侧壁导坑法施工技术。该技术成功解决了传统双侧壁导坑法衬砌作业难度大、危险系数高、工期较长等问题,具有工序简单、施工速度快、节省成本、安全性高等优点。最后通过监控量测数据分析得知使用该方法地表沉降、拱顶沉降、收敛变化值均较小,适合城市地铁施工,对类似工程具有参考意义。     

生物医学信息系统及Ontology构建

介绍了生物医学信息系统的设计、实现及其功能，并讨论了ontology及知识库构建的相关问题．基于现有的浪潮天梭TS10000集群系统，采用数据处理的新技术和新方法构建的这一用户化的、可扩展的综合系统，支持用神经影像方法来对脑结构、功能和疾病进行研究；为新的知识发现提供大量的文献数据集及神经影像ontology和基础知识库．     

TOWARDS AN ONTOLOGY-BASED MULTI-AGENT MEDICAL INFORMATION SYSTEM BASED ON THE WEB

Introduction　　 Medical information systems cover a numberof medical domains to satisfy different medical ap-plications and characterized by the rich functionali-ties and valuable medical case data[1,2 ] .But infor-mation systems are heterogeneous and lack of effi-cient knowledge organization mechanisms.So theredundant information is existing,and real time in-formation acquisition and updating is difficult andmedical information systems are hard to interoper-ate and implementcomplex medical a…     

区间DEA的鲁棒稳定性分析

用这种方法，首先求解区间DEA模型中DMU的最高效率值和最低效率值，从而确定DMU的区间效率值，并依此对DMU进行分类。然后，建立一个后区间DEA模型，根据该模型的最优解定义DMU能保持其最高效率值的稳定性的指标，并依据该指标进行区间DEA的鲁棒稳定性分析，为了说明这种方法的应用，给出一个算例。     

有砟客运专线CPⅢ控制网测量方法与实践

有砟客运专线的列车运营速度较一般列车快,对轨道的平顺度要求较高,借鉴无砟客运专线CPⅢ控制测量技术对有砟客运专线进行CPⅢ控制网测量。以胶济铁路为例,详细论述平面控制测量、高程控制测量和数据处理方法,实践验证该方法可行,能够为类似工程提供借鉴。     

区域与次区域交通模型的一致性研究——以南加州橙县和尔湾市交通分析模型为例

介绍了区域交通模型和次区域交通模型，以及两种对接方法。以美国南加州橙县和尔湾市交通分析模型为例探讨实现交通模型一致性的具体过程。首先通过构建3级交通分析小区系统，运用土地利用／社会经济数据转换系数，以及遵循同区域交通模型相一致的公路网构建方式确保模型输入数据一致；同时，对次区域交通模型的模拟结果进行适当后处理，使其与实际交通量吻合。结果表明，尔湾市交通分析模型与橙县交通分析模型之间的结果差异为．4．2％，可认为二者之间是一致的。     

基于多源数据融合的城市道路网络宏观基本图模型

宏观基本图(MFD)是描述路网平均流量和平均密度的关系模型,在路网服务水平评估、区域控制和宏观交通建模中具有重要的作用.本文以路网加权流量和加权密度为MFD描述指标,提出了一种融合微波检测器数据和车牌识别数据的MFD构建方法.为了评估不同数据源下路网MFD的有效性,提出了采用状态比指标描述 MFD的差异性.以青岛市实际数据为例,分析了单一数据来源和融合数据下的MFD变化规律.结果表明,在路网中存在不同类型检测器时,融合模型仍能够精确描述路网MFD.