基于本体的模型集成

模型在决策支持系统中具有非常重要的作用.如何更好地集成模型,实现模型协作,一直是该领域的重点研究内容.模型参数的表示和匹配是模型集成的核心问题.由于难以描述模型输入、输出参数的语义,模型集成的自动化程度、智能化程度、扩展性、开放性和可理解性等性能一直不够理想.提出一种基于本体的程序-逻辑混合(PLM)模型表示法.该方法易于实现,支持推理,具有高开放性和可扩展性.使用本体描述模型参数的语义,并基于参数的语义匹配,设计模型集成策略,可自动、智能地创建易于理解的模型集成方案.给出模型集成的形式化定义并证明相关定理.

网构软件中实体发现和排序的TEA方法(英文)

自治软件实体分布在开放、动态和多变的互联网中,它们的协作构成网构软件的基础。动态连接模式是网构软件重要的协作方式。在该模式下,如何选择具有所需质量的软件实体,是一个非常困难的任务。介绍了运行时测试和自动化测试技术,提出网构软件的自动化运行时测试方法。总结网构软件中用于软件实体的发现和排序的解决方法,提出了测试和评估方法TEA。网构软件不知道候选软件实体的质量,通过进行自动化的运行时测试,TEA可以选择具有更高质量的实体。如同网构软件一样,自治软件实体也可以在运行时改变自身结构。通过使用确认断言来评估每次实体调用的结果,TEA可以尽早发现实体变化引起的质量问题。TEA中的软件实体注册机收集每个不同的网构软件反馈的测试和评估结果信息,可以产生按估计质量排序的实体列表。在模拟实验中,TEA产生的有序列表获得最好的评估分数。

从面向方面程序设计的定义到面向方面程序设计语言

目前无论在学术界还是工业界,很多人士简单地将面向方面程序设计理解为模块化横切关注点,狭隘地认为面向方面程序设计构建在面向对象程序设计之上,是面向对象程序设计的扩展、有效的补充等。回顾了面向方面程序设计的定义,分析了面向方面程序设计区别于其它程序设计方法的本质特征,并形式化了定义中的量化语句与方面,给出了量化语句与方面的语义。重申了面向方面程序设计的本质特性是Quantification与Obliviousness,模块化横切关注点只是其带来的一个好处。同时指出了面向方面程序设计是一种新型的程序设计范式,独立于面向对象等其它程序设计方法。并且,基于此定义,给出了面向方面程序设计语言需满足的最小条件集,并比较了主流的面向方面程序设计语言,探讨了这些语言在面向方面程序设计理念上的差异。

基于状态管理的服务器节能策略研究

随着云计算的蓬勃发展,计算机行业的能耗问题日益突出。状态管理一直是优化能耗的有效方法之一。对数据中心的服务器进行合理的状态管理能带来可观的节能收益。针对数据中心等机群环境下服务器的状态能耗进行研究,提出基于状态管理的服务器能耗优化方法,以在保证性能的同时,降低了能耗。首先分析状态管理对服务器能耗带来的影响,根据分析提出服务器的状态优化策略,然后利用Petri网及其状态分析技术对该策略的状态能耗模型和性能模型进行分析。实例分析和模拟实验验证了该方法的有效性和优越性。

并行PSVM算法及其在入侵检测中的应用(英文)

基于并行PSVM(proximal support vector machine)分类法,利用ε-支持向量与原数据集等价的特点,将PSVM和cascade SVM模型高效结合,加速训练入侵数据集.提出一种新的PSVM增量学习方法,它能快捷更新分类器.通过大量基于著名的KDD CUP1999数据集实验,研究表明,该算法相对其他SVM方法,在保证较高检测率和较低误报率的同时,其训练时间降低80%,且能通过增量学习新数据集来有效更新分类器.

一种UML2的交互的形式化语义

UML2(unified modeling language2.x)的规范为其交互定义了一种基于事件发生轨迹的语义,弥补了之前版本在语义上的欠缺。但是此语义是用自然语言(英语)描述的,不够精确、不一致,并且很多细节解释得不够清楚和完备。利用集合论以组合定义的方式形式化语义,并且证明了形式化后交互的语义为拟序集,此拟序集的线性化恰好就是规范所定义的轨迹集。此形式化语义可以作为UML2交互规范的很好的补充,不但有助于UML2交互的理解,还为UML2交互的应用和研究奠定了坚实的理论基础。

本体的继承及一致性分析

本体的继承理论是目前尚未解决的重要问题.该文通过扩展继承的数学理论,系统研究了本体的继承语义、继承机制等问题.主要工作有(1)继承系统的数学理论是描述继承系统和探讨其一致性、二义性等问题的一个重要基础理论.该理论已被广泛引用.但使用该理论描述允许例外的类/属性继承系统会出现假冲突.本文发现并定义了假冲突,扩展了原理论的单词表,重新定义了结论集、可继承等概念,使继承断言的接地扩展集不因假冲突而产生二义.从而解决了假冲突的问题.(2 )证明原继承系统中的大部分重要定理在扩展后的继承系统中仍然成立,并且提出了新的定理3)将本体(D ,P ,U ,V ,H)转换为三元组(F ,E ,I)的表示形式,证明这种转换不削弱本体的表示能力,并且将本体映射到扩展后的继承系统,利用继承系统的定义、定理分析本体继承的一致性问题,并证明这种映射对本体的包含断言的判定是完备的.4 )设计了上、下扫描算法,通过检测系统变化可能引起的冲突,保持系统的一致性.对本体继承的一致性分析为发展迅速的面向本体工程方法提供了有力支持.

AO系统的侵入耦合测量框架

AOP具有模块化横切关注点的能力,能很好地解决面向对象编程中固有的代码散乱与代码纠缠问题.这种能力伴随着一种新的耦合,此耦合发生在方面与基础程序之间.与一般耦合不同的是,这种耦合对基础程序具有侵入影响,破坏了基础程序的信息隐藏,严重影响到整个软件系统的质量.现有的关于AO系统的耦合度的测量的研究极少关注这种耦合,现有的测量指标也甚少能用于测量这种耦合.提出一个AO系统的方面与基础程序的交互框架,并在此基础上,提出一个测量方面对基础程序的侵入耦合的框架.框架从单个或多个方面与基础程序的单个实体、单个或多个方面、整个基础程序等多个侧面反映出方面对基础程序的侵入影响.

基于外包项目的软件测试教学过程探索

鉴于高校培养的软件测试人才与企业所需人才在测试实践上存在差距,在分析传统软件测试课程教学局限性的情况下,提出一种引入企业外包项目用于软件测试教学的改革方案,介绍教学过程和考查方法。经过三届毕业生的实践,证明该方案能大幅提高受训人员的软件测试实战能力。

基于规则和语义匹配的模型合成研究

设计一种基于规则和词汇语义匹配的模型合成框架,采用形式化方法描述模型及合成过程,提出语义匹配算法和合成规则,自动识别匹配元素并确定合成规则,根据规则自动生成合成模型。该框架较好地处理了模型合成中模型种类的多样性及模型命名的灵活性问题。

一种AOP方面的代数语义

面向方面程序设计可以模块化横切关注点,因此受到工业界及学术界的广泛关注。目前模块化横切关注点几乎成为面向方面程序设计的代名词,而且有不少人士狭隘地将面向方面程序设计认为是面向对象程序设计的延续、扩展或补充。回顾了面向方面程序设计的定义,分析了产生这一现象的原因。并且形式化了定义中的量化语句和方面,给出了它们的语义。探讨了量化语句和方面的一系列性质,包括量化语句和方面的可满足性,量化语句的包含、交叉及精化关系,方面的同态、同构、构成、完全语义保持精化、语义保持精化及等价替换等关系。该研究为面向方面程序设计的理论研究打下了坚实的基础,也为更好地理解面向方面程序设计提供了有效的帮助。

使用约束条件支持领域本体的重用

在利用领域本体知识库(DOKB)中已有领域本体构造新的领域模型或领域本体后,知识工程师需要检查新领域本体以确保其符合规则前提。使用约束条件可以令计算机自动解决这个问题,从而减少知识工程师的工作量,并加快知识的重用过程。

建立本体的协作-挖掘方法

提出建立本体的协作-挖掘方法,即领域专家、知识工程师、领域终端用户通过互联网,协作建立本体。利用网络爬虫从语义网搜索并收集RDF文档或片段,自动分析初步建立RDFDB。自动分析领域专家、领域终端用户使用半形式化语言RDFL书写的实例文档和它们使用引导程序输入的记录,完善RDFDB。检验清洗RDFDB数据,并设计本体挖掘算法挖掘产生初始领域本体。挖掘算法使用红黑树建立索引,最坏时间复杂度为O(n3log2n)。验证、评估初始本体产生领域本体,并产生文档说明。建立新本体时,可合并RDFDB集成现有本体。在实验系统中,应用该方法建立计算机硬件信息领域本体。实验结果表明该方法是可行和高效的。