可信链的随机进程代数模型*

计算终端引导过程的可信链表现为顺序性,在运行过程中可信链表现出随机性。相关研究工作以计算终端引导过程的可信链建模为主。以随机进程代数为形式化描述语言,建立了一种可信链模型来描述计算终端运行过程的信任传递。该模型在随机进程代数的语法中扩展了完整性属性和完整性度量概率,建立了信任传递的语义规则,并提出了基于随机进程代数的可信链语义模型。该模型对于进一步研究可信链和计算终端的完整性具有一定的参考价值。     

基于OWL的设计模式正规化描述

设计模式对于程序开发以及软件工程都具有越来越重要的作用.充分利用设计模式,需要有效地描述设计模式,进而解决人和计算机同时能够理解、交流和运用设计模式的问题.然而现有的设计模式描述方法或多或少地存在不足,针对此提出基于OWL的设计模式正规化描述的初步解决方案,以期推动该问题的进一步解决.     

计算机公共弱点/风险(CVE)体系结构的研究

通过对计算机公共弱点／风险(CVE)列表所列漏洞进行了深入分析的基础上，依据对漏洞抽象层次和漏洞看待角度的不同，建立了多种CVE体系结构，包括树形结构、视角三雏、产生三雏等，并给出了由有穷自动机实现的CVE树形结构的形式化描述．CVE体系结构的建立对理解、避免、检测和消除计算杌系统漏洞具有理论和实践意义．     

石化企业多分辨率物流模型的建模方法

基于石化企业综合自动化的需求,提出了多分辨率层次化物流模型建模框架和形式化描述方法,对物流模型的空间映射和时间推演作了统一数学描述,给出了多分辨率物流模型一致化检验的判据。然后以生产执行系统MES物流模型为例,具体介绍了石化多分辨率物流模型的建模方法、时空推演算法和模型验证策略,实际应用表明了多分辨率物流建模方法的有效性。     

面向构件的软件开发方法学研究

文章以集成供应链管理软件的研究开发为背景，从中抽象出面向构件的软件开发的一般过程，原理和方法，首先提出构件化软件开发的过程模型，阐述与过程相适应的阶段和内容划分思想以及机制，进而阐述领域工程及需求分析方法，重点探讨构架和构件设计思想及多种建模方法的综合应用，给出基于软件体系结构风格和形式描述的构架模型和构件模型，最后给出构架与构件实现的典型案例，所提出的过程论和方法论具有一定的理论系统性和工程实践基础。     

群体智能算法总体模式的形式化研究

在对群体智能算法给出形式化定义的基础上 ,给出了群体智能算法的总体模式框图 ,并以微粒群优化算法实例进行了具体算法模式的形式化描述 .     

面向信息处理的语境形式化研究

在自然语言处理研究领域中,句法研究已经取得了可喜的进展,语义研究也日益受到重视。但要真正实现计算机理解自然语言的目标,还必须进一步深入开展语用分析研究,目前还很少有这方面的研究成果。语境是语用学研究中的重要内容,本文首先讨论了现代语言学关于语境的定义,对计算语言学中的语境作了科学的界定,然后给出了语境及其相关概念的形式定义,并结合汉语实例进行了分析。最后指出“计算语用学”这一计算语言学领域中的新兴学科将大有可为。     

基于SVG的动态函数作图研究及其实现

可伸缩矢量图(SVG)是一种基于XML的语言,用于绘制二维图形以及用户定制图形的呈现.利用这种新型网络图形标准,可以构建出初等数学函数的基本结构.应用该结构,实现了支持Web的动态函数作图.详尽讨论了基于SVG的函数表示方法和动态作图的策略及算法,同时确定了一种能够根据用户数据自动确定最佳比例,以缩放SVG图形的方法.     

Collaborative Support for Informal Information in Collective Memory Systems

Informal information, such as the expertise of an organization or the workarounds practiced by a community, is a critical part of organizational or collective memory systems. From a user-centered perspective, a user merely wishes to get his work done, and to do this, he must solve his immediate problems. We have examined how to incorporate this problem solving into a collective memory, as well as how to incorporate the learning that accrues to it or from it. We report here on two systems, the Cafe ConstructionKit and the Collaborative Refinery, as well as an application, Answer Garden 2, built using these two systems. The Cafe ConstructionKit provides toolkit mechanisms for incorporating communication flows among people (as well as agents) into an organizational memory framework, and the Collaborative Refinery system provides mechanisms for distilling and refining the informal information obtained through these communication flows. The Answer Garden 2 application demonstrates the utility of these two underlying systems.     

UML序列图的Z形式规范

用形式化语言Z定义了统一建模语言序列图的严格语义,给出了抽象句法、合式规则及应满足的一致性约束,并通过一个应用实例说明了该形式规范为序列图的语义分析与正确性验证提供了支持。