基于SPIN的G语言系统模型的验证

对于大型系统,为确保其运行的可靠性、稳定性及高效性,需要从两个方面对系统进行验证:业务模型和系统模型。目前,对业务模型的验证可通过BPMN来完成;对系统模型的验证可通过SPIN(Simple Promela Interpreter)工具执行。G语言是由NI公司创建的一种图形化程序框图语言,还未被加入ANSI标准,因此,文中第一步工作是提取G语言的形式、规则、文法等语言特性。由于SPIN对G语言不提供直接的支持,因此第二步工作是完成G2Promela的映射。在G2Promela的工作中,主要是基于编译器的框架,以Scanner-Parser-Optimizer-Generator(SPOG框架)为主线,根据第一步的预处理工作,按方法函数、指针、关键字、变量等分类创建G2Promela的映射规则,最终实现G2Promela的转换,完成对G语言系统模型的验证。该方法的提出弥补了G语言系统模型验证方面的空白,从而更深入地确保了G语言程序的性能。     

隐身烟雾在红外隐身技术中的应用研究

介绍了在红外隐身技术中常用的一种手段——隐身烟雾技术，综述了隐身烟雾的特点和其在红外隐身方面的应用，探讨了红外隐身烟雾的发展趋势。     

废双基药的再利用

废双基药（ＤＢＰ）经处理后,与乙烯醋酸酯共聚物、线性低密度聚乙烯和聚苯乙烯混合,同时加入阻燃剂、抑烟剂,可制成各种塑料代用制品及漆布料;与聚氨酯接枝,可加工成双组分胶粘剂。这种代用制品的氧指数可达３０以上,抗拉强度可达３２ＭＰａ,梯度电阻大于０．８×１０１５Ω,表面电阻不小于１．３×１０１５Ω,在８０～９０℃时无变形,－５０℃不破裂;所制作漆布料不仅具有阻燃特性,其它品质也不亚于用硝化纤维制成的漆布料;制成的胶粘剂也取得了满意的结果。这不仅可节省部分工业原料,而且能有效地减少环境的污染,与传统的销毁方法相比,既提高了作业安全性,又为废双基药再利用找到了一条可行途径。     

直接力／气动力复合控制导弹自动驾驶仪鲁棒稳定性分析

针对两类不同的直接力／气动力复合控制导弹自动驾驶仪结构。进行了鲁棒稳定性分析，分别给出不同结构复合控制系统的鲁棒稳定区间，即确保系统稳定前提下，直接力喷流机构应满足的约束条件；最后，对不同驾驶仪结构的鲁棒稳定性进行了对比分析。为直接力复合控制系统的设计提供了依据，具有较好的工程参考价值。     

直接力/气动力复合控制导弹自动驾驶仪鲁棒稳定性分析

针对两类不同的直接力/气动力复合控制导弹自动驾驶仪结构,进行了鲁棒稳定性分析,分别给出不同结构复合控制系统的鲁棒稳定区间,即确保系统稳定前提下,直接力喷流机构应满足的约束条件;最后,对不同驾驶仪结构的鲁棒稳定性进行了对比分析.为直接力复合控制系统的设计提供了依据,具有较好的工程参考价值.     

MALDI-TOF-MS法测定聚丙烯酸钠的分子量

The sodium salt of poly(acrylic acid) has to be converted to poly(acrylic acid) with ionexchange resin to get clear MALDI/TOF mass spectrum. The average molecular weight, polydispersity and end-group can be determined based on the spectrum.     

五氧化二铌电脱氧制备金属Nb的反应动力学

采用交流阻抗谱技术研究了Nb2O5的电脱氧机理．Nb2O5的电脱氧过程的交流阻抗谱的响应规律和中间产物表明，Nb2O5的电脱氧反应是分三步逐级进行的：第一步是Nb2O5得到电子还原为低价氧化物NbO2，交流阻抗谱表现为高频半圆；第二步是NbO2得到电子还原为NbO，交流阻抗谱出现第二个响应半圆；第三步是NbO还原为金属Nb，交流阻抗谱在低频端出现第三个响应半圆．用等效电路拟和交流阻抗谱，得到了脱氧反应的电荷传递电阻及其活化能．电荷传递电阻和活化能均随着阴极电势的增加而降低．     

坑内土体开挖对工程桩变位影响分析

软土地区由于基坑内土体开挖不当引起的工程桩变位事故频频发生,造成很大的经济损失,给工程安全带来隐患,因此迫切需要解决这个问题。从分析基坑土体开挖时工程桩上受到的荷载作用入手,研究了滑动土体及施工荷载对工程桩变位的影响,运用弹性抗力法分析了荷载作用下工程桩桩身任一点内力和位移分布情况。对某工程实例进行分析,计算开挖时作用于桩身的最大弯矩及其位置,与现场实测的桩身断裂位置基本一致,表明开挖形成的临空面滑动土体及施工荷载引起的水平荷载是导致桩身偏位甚至断裂的根本原因。     

磷酸锆化合物合成研究进展

磷酸锆类化合物是近年发展的一类新型多功能材料,在催化领域有广泛应用。本文概述磷酸锆类化合物的合成方法及过程,综述近年来层状磷酸锆和具有分子筛结构的多孔磷酸锆的合成进展,并展望了磷酸锆化合物合成的方向。