用于虚拟化环境的进程隔离方法研究与实现

针对虚拟化环境中用户进程运行安全问题,提出一种适用于虚拟化环境的进程隔离方法.该方法引入安全域作为进程隔离保护的基本单元,安全域是进程以及进程运行过程中依赖的环境构成的整体,通过建立安全域之间的依赖关系和安全域之间信息的交换规则,确保进程初始安全和运行过程中的隔离性.给出了安全域的相关概念和形式化描述,以及安全域之间信息流交换和依赖关系的建立方法和相关证明.以Xen虚拟化系统为基础,给出了该保护方法的具体实现以及实验结果,实验结果分析表明:该方法在虚拟化环境中能够抵御多种攻击手段,额外执行开销不超过10%.     

基于多色集合的概念设计产品模型形式化描述

为了实现计算机辅助概念设计,必须对概念设计产品模型进行形式化处理,以获得计算机仿真所要求的数学描述。本文针对现有模型的不足,提出了基于公理化设计的概念设计产品模型-域结构模板,并采用多色集合的方法对其进行了形式化描述,使得模型便于计算机表达和操作。     

一种基于顺序图的软件性能分析方法

软件性能工程SPE是一种重要的性能分析方法，它将UML顺序图转化为执行图，进而分析软件的性能是否符合期望的指标。然而软件性能工程（SPT）却未给出顺序图到执行图的具体转化方法，在实际应用特别是自动实现时存在一定的困难，文中通过对模型图的形式化定义，提出了一种顺序图转换为执行图的基本算法，并给出了一种基于顺序图的软件性能评价方法。     

The Implementation Technology of a Model Description and Management Tools of Comprehensive Information

ＴｈｅＩｍｐｌｅｍｅｎｔａｔｉｏｎＴｅｃｈｎｏｌｏｇｙｏｆａＭｏｄｅｌＤｅｓｃｒｉｐｔｉｏｎａｎｄＭａｎａｇｅｍｅｎｔＴｏｏｌｓｏｆＣｏｍｐｒｅｈｅｎｓｉｖｅＩｎｆｏｒｍａｔｉｏｎＷＡＮＧＳｈｉｐｉｎｇ；ＸＩＡｎｂａｎｇ（ＭａｎａｇｅｍｅｎｔＳｃｈｏ...     

渠道关系中公平和知识转移间的关系研究

关注了渠道关系中公平对知识转移的作用,以及渠道决策结构、市场导向和声誉对公平的影响。发现:渠道成员感知的公平会增强渠道成员间的知识转移,私人关系会强化上述关系;渠道决策结构中的正式化和参与、企业市场导向和声誉会影响渠道成员感知的公平。研究结论进一步丰富和扩展了现有研究成果,对企业实践具有一定指导意义。     

C4ISR系统能力需求行为建模及验证

针对C⁴ISR系统需求分析行为建模中,统一建模语言（unified modeling language, UML)的行为模型验证困难问题,提出了一种C⁴ISR系统能力需求行为建模及验证方法。从构建C⁴ISR能力元概念模型入手,通过扩展UML行为元模型得到能力行为元模型,然后使用能力行为元模型来构建能力需求的行为模型。为了检查行为模型是否满足能力元概念模型、能力行为元模型和领域规则约束等模型一致性和领域完整性问题,将行为模型的语义形式化为OWL-DL和DL-Safe规则表示的本体,并定义模型检查规则通过对本体进行逻辑推理和查询实现模型验证。     

由语言自动构造文法的递推描述算法

通过分析程序设计语言L的特征,提出了一种能由语言L自动构造文法的算法,证明了在有限次递推后算法能结束的充分必要性．该算法根据具有无穷句子的语言L,首先写出由L中基本符号组成的初值集ΣG,再确定体现规则式右部符号串形式,并由L中基本符号和（或）文法符号组成的递推性质的描述f（）,在ΣG和,（）的基础上,经有限次逐步递推得到一系列规则式,消除冗余规则式后的结果即为符合该语言的文法的规则式．实例表明：若能确定f（）,可得到文法的所有规则式．     

论数学教育学的范畴

按照科学认识的一般发展顺序和哲学范畴构成的逻辑顺序构建了数学教育学的范畴存在层面范畴、认识层面范畴、实践层面范畴和价值层面范畴；并认为数学化、形式化与非形式化、知识的学术形态与教育形态、形式与实质、合情推理与演绎推理、数学地思考与数学建模等为数学教育学的基本范畴。     

UML状态机视图的RSL形式描述

使用RAISE规范语言RSL给出了UML状态机视图的形式描述.通过这一形式化提出了一种对图形化的UML状态机视图模型的形式化和RSL规范进行集成的框架,这一工作是对UML类图在RSL中形式化的继续,使得人们可以对UML的非形式化模型给出一种精确、无二义性的语义解释,同时也提高了RSL规范的抽象层次,增强了其可读性、简明性.最后通过一个应用实例,说明这一框架如何用于从UML模型创建对应的形式化规范,并对模型的性质进行了分析.     

The Formal Specifications for Protocols of Decoders

This paper presents a formal approach, FSPD (Formal Specifications for Protocols of Decoders), to specify decoder communication protocols. Based on axiomatic, FSPD is a precise language with which programmers could use only one suitable driver to handle various types of decoders. FSPD is helpful for programmers to get high adaptability and reusability of decoder-driver software.