一种动态消减时间自动机可达性搜索空间的方法

时间自动机的可达性分析算法通常采用对符号状态的枚举来遍历其状态空间。符号状态由位置与时间区域组成,时间区域用形如x-y≤（〈）n的原子公式的合取式来表示。在对时间自动机进行可达性分析的过程中,分析算法将生成大量的符号状态,往往导致对计算机内存的需求超出了可行的范围。本文给出了一个消减符号状态个数的方法。该方法通过对符号状态间的依赖关系进行分析,在不影响分析结果的前提下消去某些时间区域的原子公式,从而扩展符号状态。扩展后的符号状态包含有更加多的其它的状态,通过删除掉那些被包含的符号状态可以减少算法存储的状态个数,节省存储空间。本文最后给出了相关的案例分析,结果表明这个算法有效地减少了某些时间自动机可达性分析过程中所需的存储空间。     

C++的一种并发扩充方案*

该文给出了一种对C++进行并发扩充的方案.它基于这样的并发面向对象模型：系统由一组自治的并发对象构成,对象可以有一个体,一旦对象被创建,对象体就开始执行；对象间采用同步消息传递,允许对象内部的并发；对象的并发控制分散在各方法的激励条件中.文章还给出了一种转换策略,把扩充的C++描述转换成C++描述,使之能被现有的C++编译器识别.转换中利用了某些多任务操作系统(如Windows 95)所提供的多线程和同步设施.     

面向对象逻辑语言LKO的类型系统

文中主要介绍面向对象逻辑语言ＬＫＯ中基于声明和推理的有序类型系统，在谓词声明中，类型由有序的构子构造而成，子句中变量类型由类型推理决定，对象类型由方法声明决定，独立于便于代码复用，它可作为基类型参与项类型构造。     

并发程序性质的时序分析

不同于顺序程序,并发程序并不能完全主简单的输入／输出关系采说明。并发程序的一个执斤行为可以视为一个无穷状态序列     

面向Agent软件工程(Ⅰ):Agent计算、编程风范与语言设计

Agent技术源于人工智能,现已融入主流计算机的各个领域。面向agent的风范自提出以来一     

基于数据切片度量JAVA内聚性

面向对象的程序切片在程序分析、程序理解、软件测试和调试以及软件维护方面有着广泛的用途.首先建立了抽象数据切片和类内切片的概念,然后基于这两种切片讨论了JAVA语言中存在的内聚问题,通过分析这些切片与数据、方法、类之间的关系来度量数据、方法以及类的内聚性问题.     

硅烷偶联剂在镁合金工序间防锈的应用研究

为解决镁合金工件在加工过程中短期存放时容易发生腐蚀的问题,在相对湿度80%和温度50℃的湿热条件下,对比了F35防锈油、KH69硅烷和KH460硅烷对AZ31镁合金的防护效果。结果表明:KH69硅烷处理后的镁合金经过15天的湿热试验,未出现肉眼可见的腐蚀,在显微镜下也只观察到轻微点蚀,与F35防锈油的防锈性能相当,且轻微的沉淀对其防锈性能影响不大;KH460硅烷处理镁合金也可获得良好的耐蚀性,但不及KH69硅烷。     

制造粉末冶金复合材料的一种新工艺

虽然干法高压静电涂层工艺已用于陶瓷或塑料工业。但在粉末冶金工业上应用,是一个新的课题。主要的困难在于金属粉末,特别是超细粉末的自燃性。作者基于电晕放电原理,并和流态化床原理相结合,提出了一种适于超细金属粉末的新的静电上粉工艺,其主要特点包括:流态化床的设计,以高纯氮作为粉末的载气,电晕针的合理分布以及气体流率的调整。采用最佳工艺参数,轧制后最大厚度差为6μ(上粉量7～10mg/cm~2)。本文还讨论了这种工艺的粉末荷电问题。     

接口自动机--一种用于组件组合的形式系统

接口自动机是描述基于组件系统中组件及组件间交互行为的形式化工具。接口自动机在处理组件组合问题时所使用的“乐观方法”和博弈思想是区别于其它形式化工具的关键点。本文对接口自动机、时间接口自动机和资源接口及其中的博弈思想进行综述。在同其它形式化方法比较的基础上,指出了接口自动机的长处和局限。文中总结了接口自动机在理论上和实际中的意义并对其应用前景做了展望。     

从Executable UML模型到J2ME程序

嵌入式系统由于功能的特定性和底层硬件的多样性,使得其代码的重用和易移植性一直是困扰开发者的一大难题。模型驱动体系结构（MDA）是OMG组织提出的一种新的软件开发方法。MDA将关注点集中于业务模型,把平台相关内容和不同的实现技术从中剥离,并利用工具遵循一定的转换规则,实现其到特定平台的自动转换,最终得到目标平台上的代码。MDA针对解决复用和移植问题提出了新的解决途径,在嵌入式系统开发中有广泛的应用前景。本文在研究基于MDA的嵌入式系统开发途径的基础上,提出了一个从ExecutableUML模型到J2ME平台下JAVA气代码的转换框架。