从EDOC模型到J2EE程序：一个MDA工具的实现

模型驱动体系结构MDA是OMG组织推出的一种新的软件开发方法。根据MDA的框架，设计者首先建立平台无关模型PIM，然后遵循一定的转换规则转化成平台相关模型PSM，最后转化成目标平台上的代码。为了体现MDA低成本、高效率的优点，模型之间、模型代码之问的自动转换就显得尤为重要。本文描述了我们实现的一个MDA转换工具。该工具可以编辑用EDOC的Entities profile和Business Process profile构建的PIM，并且辅助自动转化成基于J2EE平台的PSM，最终转化成J2EE代码。     

UML实时活动图的形式化分析

统一建模语言(UML)自从成为OMG规范后，应用越来越广泛．但UML没有精确的、形式化的语义阻碍了它的进一步发展．该文基于Petri网，给出带时间约束的UML活动图的形式化描述．与Petri网不同的是，Petri网的时间约束是在跃迁(transition)上，而作者将UML活动图的时间约束放在活动状态上,在此基础上，用整型时间的验证技术对实时活动图的时间性质加以分析，为实时系统的建模打下了基础.     

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

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

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

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

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

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

从Executable UML模型到J2ME程序

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

常压微波等离子体气相法制取纳米二氧化钛

介绍了微波等离子体与微波等离子体的发生以及微波等离子体TiCl4气相氧化反应法制取纳米二氧化钛。     

高频等离子体固相分解仲钼酸铵制备MoO_3、MoO_2超微细粉

利用固相仲钼酸铵喷入高频等离子体，经高温热分解与气化再结晶的过程，成功地制备了三氧化钼、二氧化钼超细粉，产品平均粒径为0.09～0,16μm，产品粒子的形貌及晶体结构和大小取决于‘淬火’方式和反应温度的控制，高频等离子法与传统生产方式相比较，具有工艺简便、过程容易控制、产品粒度细、可连续运行等优点，因此具有重要的开发前景．     

硬质合金打印针的发展概况

由于现代社会已进入信息时代,生产、经营与办公自动化装置普及极快,作为自动化象征的电子计算机已获得了广泛的应用,电子计算机输出装置的打字机的生产量也几乎成指数地逐年增长。 作为电子计算机的输出装置的打字机目前研制的类型已有三种:     

氧气电弧等离子体的特性及其应用

简要介绍了氧气电弧等离子体加热法的研究工作。指出它与高频加热法有不同的特性和优点,认为它在气相氧化制取钛白工艺中有很大潜力。