基于信号解释Petri网的可重构逻辑控制器分析与设计

为适应可重构制造系统这一新生产模式的顺序控制 ,本文提出了基于信号解释Petri网的可重构逻辑控制器分析和设计的方法 .该方法利用层次化、模块化和接口技术将控制器规划为开放的体系结构 .确定了可达图法和化简技术结合的SIPN模型形式分析方法及步骤 ,采用透明度指标对模型进行评价 ,并给出控制器重构能力分析原则 .接着将该理论及方法用于一可重构装配生产线可重构逻辑控制器的建模和分析案例中 .分析结果表明设计的可重构逻辑控制器形式正确、有效 ,具有可重构能力 .最后提出逻辑控制器建模、分析、仿真、代码生成和逻辑控制实施的软件平台 ,该软件采用CORBA组件模型的软组件技术开发 .     

半范的Gteaux可微性和半范空间的完备性

在局部凸空间上考虑半范的性质,得到了半范的G teaux可微等价条件,并在由局部凸空间上的所有半范构成的集合上赋予一个完备的度量,且证明了等价半范集在此度量空间中的开性.     

基于遗传算法的可进化模拟滤波器的实现

以遗传算法和可编程模拟器件ispPAC80为评估手段和载体，实现了可进化的模拟滤波器的设计，将遗传算法和可编程模拟器件相结合，可在无须改动硬件的情况下。实现转折频率和阻带衰减等滤波参数的变换(即可进化性)，其性能达到甚至超过经典的同阶滤波器。     

中程空地导弹武器系统作战效能评估

为定量分析和评估中程空地导弹武器系统在给定条件下完成规定任务的程度,依据美国工业界武器系统效能咨询委员会给出的模型思路和方法,对武器系统的作战效能进行了分析和评估建模。给出了武器系统可用度、可信性和考虑敌方对抗条件下的系统能力、作战效能计算公式,详细讨论了对抗环境对武器系统作战效能的影响和提高武器系统突防概率及作战效能的方法。着重分析了电子对抗环境对突防空地导弹命中毁伤概率的影响,火力对抗环境对突防空地导弹生存概率的影响和提高突防概率的方法,还依据有关文献分析了突防空地导弹撞地概率的计算方法,在分析的基础上均给出了计算公式,据此可定量分析和评估武器系统的作战效能。     

高锰酸钾氧化法制备可充碱锰电池正极材料MnO2

介绍了一种在HNO3介质中，用KMnO4氧化MnCl2，并通过添加Bi(NO3)，制备可充碱锰电池正极材料MnO2的方法．多次破坏性全充全放循环检测试验表明，利用该方法制备的MnO2作为正极材料，具有较好的循环寿命．放电试验进一步表明，Bi的加入改变了MrO2的结构，提高了稳定性，使MrO2的电化学性能得到明显改善，在深度放电条件下显出良好的可充性．     

道安的"五失本"、"三不易"说

虽植根于传统的土壤中，道安的“五失本”抓住了涉及翻译的直译与意译、质直与丽、质与量的矛盾和统一；“三不易”涉及了翻译活动的主体性问题，是系统的、辩证的、先进的中国传统译论。     

基于可用度的飞机可修件需求分析

科学地预测飞机对航空器材的需求量一直是现代航空保障所瞩目的一个问题。提出了一种以飞机可用度为评价指标来确定可修件需求量的分析模型。分别给出了以飞机可用度为目标函数,经济指标为约束条件的模型Ⅰ和以经济指标为目标函数,飞机可用度为约束条件的模型Ⅱ,以及模型的优化求解方法。最后以某战机的可修件为例,通过实例分析说明了该模型在实际飞行保障中的有效性。     

"活力论"的复活

生命是什么?这也许是一个自人类诞生以来就一直在问的问题。在历史上，人们曾经给出过许多不同的回答。但是，不论这些回答的具体内容如何。大都可以被划归两个相互对立的派别，即“还原论”(reductionism)和“活力论”(vitalism)派别。还原论认为。生命的构成与非生命没有本质区别，而且生命的活动同样遵循着基本的物理和化学规律。     

Ni(OH)2添加剂对碱性介质中MnO2电极可充性的影响

采用球形Ni(OH)2作为正极添加剂,使MnO2电极在7 mol／L KOH溶液中的可充性得到显著改善.对Ni(OH)2和曾广泛研究的Bi2O2添加剂修饰的MnO2电极的循环伏安图谱进行了对比性分析,初步明确了Ni(OH)2的作用机理.模拟电池恒流充放电实验证明,Ni(OH)2添加剂在实际可充碱锰电池中作用效果明显优于Bi2O3.     

连续选择和聚合不动点定理

得到了定义域为非紧、非仿紧，值域为拓扑空间的集值映象的连续选择定理，并且集值映象的连续选择映象的定义域为整个空间而非拓扑空间的一个紧子集，应用连续选择定理，得到了聚合不动点定理，推广了最近一些文献上的相关结论。