摘要:

摘要:XYZ系统是一个以增强软件可靠性和提高软件生产率为目的的程序开发支撑系统.它由时序逻 辑语言(temporal logic language,简称TLL)XYZ/E和以该语言为基础的一组软件工程工具组 成.为了研究XYZ系统在多媒体领域中的应用问题,介绍了一种依据多媒体对象时序描述 自动生成用XYZ/RE表示的播放同步器的方法,XYZ/RE是时序逻辑语言族XYZ/E中表示实时系统 的子语言.与相关工作比较,该方法不仅可以处理简单的时序关系，而且可以处理嵌套的时序 关系,所产生的同步器可以复用于不同的节目.

摘要:在运行时刻,由于某些函数参数的取值 会造成一些函数被重复调用,这在编译时刻是无法被传统的优化器发现的.针对这种情况,提 出一种运行时刻的优化方法.它通过调用依赖图来消除被重复调用的函数.

摘要:提出了一种新的需求分析方法——面向本体的需求分析OORA(ontology-oriented requ irements analysis).该方法的主要特点是,用本体作为对象关联的手段,以增强面向对 象方 法的表达能力.文章首先定义了OORA的需求模型,然后结合实例讨论了信息系统需求分析中的 两种主要的本体类型,最后给出了OORA方法的主要步骤.

摘要:随着移动Agent技术的快速发展以及构件软件的广泛应用,对一种新型的基于移动agent技术 的构件软件框架的需求日益增长.通过对传统的构件软件框架的不足的分析,提出了一种新的 构件软件框架.与传统的构件软件框架相比,新的构件软件框架具有较强的网络环境的动态适 应性.

摘要:提出一种基于时序逻辑语言XYZ/E的可视化体系结构描述语言XYZ/ADL(XYZ/architecture description language).它采用组件、连接件及交互端等设计单元,能描述常用的多种软 件体系结构.XYZ/E能以统一的形式同时表示静态语义和动态语义,因此,以XYZ/E为基础的XYZ /ADL能在统一框架下完成不同抽象级体系结构设计之间的逐步过渡.

摘要:给出了上下文无关文法(context-free grammar,简称CFG)产生式集的一种划分方法,可将产 生式分为两类.使用一类产生式进行推导时,推导过程将无限进行下去;使用另一类进行推导 时,推导过程将迅速结束.证明了CFG句子生成过程一定是先使用一类产生式使生成的句型不 断变长、变复杂,再使用另一类产生式使句型变成句子.据此，提出了一种可控制的通用句子 生成方法.其生成一条句子的时间和空间复杂度是O(r+n),其中n是生成句子的长度或深度 限制

摘要:由于并发的存在和不确定性,在以规约为基础来测试分布式程序的正确性时，必须考虑程序 执行时的内部状态.这些内部状态通过端口显示为事件序列,程序规约需要对序列中各事件间 的依赖关系作约定,即定义事件约束集.该文提出了E-CSPE(extended-constraints on suc ceeding and preceding events)，以形式化描述这类事件约束,它由3个基本描述规则组成, 分别对应于3种不同类型的事件约束.通过判断程序执行时所产生的事件序 列集同这些事件约束集的一致性以及对约束集覆盖程

摘要:COOZ(complete object-oriented Z)的优势在于精确描述大型程序的规约.COOZ本身的结构 不支持精化演算,这限制了COOZ的应用能力,使COOZ难以作为完整的方法应用于软件的开发. 将精化演算引入COOZ,弥补了COOZ在设计和实现阶段的不足,同时也消除了规约与实现之间在 结构和表示方法上的完全分离,使程序开发在一个完整的框架下平滑进行.该文提出了基于CO OZ和精化演算的软件开发模型,通过实例讨论了数据精化和操作精化问题.在精化演算实现技 术方面构造了一种数据精化算子,提出一

摘要:连接件是软件体系结构描述中的重要概念.该文在连接件中引入引擎机制,使其在与相关组件 连接的过程中成为运行活动的触发元素,而且在目标系统实现中转化为可见的组成部分,这种 连接件称作主动连接件.文章介绍一种基于主动连接件的软件体系结构的基本概念及其描述 语言.

摘要:提出了一个面向分布式程序的测试系统框架TFDS(test system framework for distributed software system),并介绍了它在异构网络中的一个实现原型PSET*(distributed progra m structure and event trace, revised version).框架的主要功能是对分布式程序进行单 元测试和集成测试.包括面向规约设计和源码分析的静态部分和面向程序执行和事件序列分 析的动态部分.在构件的基础上,PSET*的功能可以较容易

摘要:移动agent技术是新型软件构件框架的基础技术之一,而通信机制是其重要的组成部分.该文 结合移动agent系统Mogent(mobile agent)平台的研制,在分析了agent的移动特性对通信机 制的影响后,提出并实现了一种用于Mogent平台的一套系统的解决方案.该方案主要包括移动 agent命名机制、移动agent寻址机制以及通信失效解决方法等,具有易于使用、效率高、可 靠性好等优点.

摘要:完整地介绍了一个基于重写技术的程序开发和验证系统,重点展示验证子系统的理论、方法 和技术.验证子系统使得系统能自动证明程序和规范中的优化规则及测试等式,从而进一步保 证程序开发过程的正确性.验证子系统所采用的主要技术是以成批证明方法和证据测试集为 特色的重写归纳方法.

摘要:由于数据精化需要针对更大的程序块, 所以，它比一般的算法精化更加复杂.在精化演算中过程如何有效地进行数据精化是形式化 方法研究中的一个重要内容.该文介绍了相关的基本概念.在精化演算的基础上,构造了一种 数据精化算子,并提出一种基于数据精化演算和程序窗口推理的数据精化的方法.

摘要:软件体系结构的使用是提高软件质量、减少软件开销和促进软件生产率提高的最有效方法之 一.该文提出一种基于面向对象框架和角色模型的软件体系结构规约方法,该方法把体系结构 基本元素作为首要的规约对象.在上述方法的基础上,设计了一种体系结构描述语言FRADL(fr amework and role-type based architecture description language).FRADL认为框 架是一种构件,包含主动连接机制的角色模型是一种连接器,构件实例与连接器实例的配置构 成软件体系结构.

摘要:介绍了一种基于并行虚拟机结构的体绘制算法.该算法以切片为单位来划分和组织体数据,既 降低了通信代价,也保证了各子任务的数据局部性.在任务分配时,维护并使用性能指数数据 库,自适应式地确定各个子任务,实现了负载平衡.使用一种异步二分方法,所有局部图像可以 在O(logn)时间内完成合并.针对可视化算法在虚拟机环境中的并行化实现,自行设 计并实现了一个基于TCP/IP和Socket标准开发平台.所提出的算法利用该平台而实现,系统采 用客户/服务器结构.对系统在任务规模、虚拟机规模方

摘要:分析传统BP算法存在的缺点,并针对这些缺点提出一种改进的BP学习算法.证明该算法在一定 条件下是超线性收敛的,并且该算法能够克服传统BP算法的某些弊端,算法的计算复杂度与简 单BP算法是同阶的.实验结果说明这种改进的BP算法是高效的、可行的.

摘要:机群系统静态任务调度是NP-完全问题,通常的算法是通过一些启发式算法得到多项式次优 解.该文提出的图解-子图重构算法实现了对分布在有向无环图(directed acyclic graph, 简称DAG)上的并行任务的快速有效调度.该算法的复杂性为O(log^|V|×(|V|+| E|)),采用递归方法实现了对任务图的有效分解和子图重构,生成任务群,完成任务调度,并 且初步实现了对处理机的优化.通过实例分析以及与其他启发式调度算法的性能比较,证明该 算法是一种快速、有效、可

摘要:研究了在集成服务用于用户子网和区分服务结构用于主干网时,为保证服务质量而进行 服务映射的问题.基于已有的分类方法,建立了应用类与集成服务(integrated service,简称 IS)类、集成服务类和区分服务(differentiated service,简称DS)类、数据流和PHB(par ho p bahavior)的对应和映射关系.标识是服务映射中的关键,该文把它分为预标识和标识两个 过程,IS域确定的预标识码携带单个数据流的特性到DS域,DS域的边界路由器根据预标识码准 确地标识数据包和映射P

摘要:用遗传算法设计了一种通用二叉树画树算法框架.在该框架下,可以根据应用的不同,通过设 计反映美观标准的不同目标函数来得到不同的画树算法,而且容易添加或减少美观标准以适 应不同用户的需要.与以前的算法相比,此算法具有算法统一、方法简单、容易实现和易于修 改的优点,并且具有自适应、自学习和易于并行化的特点.

摘要:现有的“信念-愿望-意向(BDI)”Agent系统将它的3个主要心智状态(信念、愿望、意向) 作为数据结构而不是模态算子来使用,导致信念-愿望-意向Agent的研究在理论和实践之间 存在较大的差距.该文深入研究了过程推理系统(precedure reasoning system,简称PRS)和 扩展的多Agent推理系统(developed multi-agent reasoning system，简称dMARs),针对dM ARs系统的解释器,提出了一种改进的编程语言AgentBDI,结合一个典型的分布

摘要:在许多应用于有噪声环境下的语音识别系统中,唇读技术能有效地降低噪声的影响,通过视觉 通道来补充仅取决于听觉通道的信息量,从而提高语音识别系统的识别率.该文提出了一种有 效和稳健的唇定位跟踪方法,以满足不用特殊标识物和规范性照明就能对信息进行有效提取 的应用需求.该方法首先用肤色模型查找脸;然后用迭代算法搜索脸部区域内的眼睛;再根据 眼睛的位置来确定脸的大小和位置,并对脸的下半部分采用彩色坐标变换法将唇从肤色中明 显地区分出来;最后,用可变模板将上下唇的内外轮廓描述出来.

摘要:在(部分)密钥托管中,监听阶段是一个关键阶段.因此,如何安全而有效地实施监听是一个重 要的问题.按照以前的监听方案,用户被监听后，他的整个私钥就暴露了.这对于诚实守法的 用户来说是不公平的.该文提出部分密钥托管中的监听方案.在这个方案下,即使用户被监听 多次,其托管密钥也不会受到危害.