资源约束的拼件维修模型与粒子群求解算法

为了获得最优的装备作战单元的拼件维修方案与任务分配方案, 建立了一种同时优化拼件维修方案与任务分配方案的非线性规划模型, 模型中同时考虑了不同任务对武器系统的具体需求、武器系统的客观情况、维修资源约束, 可以最大化地协调任务、装备群与维修资源之间的矛盾, 所以更加贴合实际. 设计了基于粒子群算法的求解算法, 包括算法框架、粒子的表示、初始化、适应度函数、更新方法等. 最后, 应用该粒子群算法对具体实例进行了求解, 分析表明模型与算法可以有效地优化任务分配方案与拼件维修方案, 提高装备作战单元任务成功概率, 为决策者制定决策提供指导.     

动态抗饱和平滑切换控制器设计方法

针对一类受饱和约束的切换系统,提出了一种动态抗饱和平滑切换控制器的设计方法。首先,基于模型依赖平均驻留时间的方法设计了平滑切换控制器,能够确保系统全局一致渐进稳定并具有一定的鲁棒性能。同时,通过引入链式切换律降低控制器设计的保守性。在此基础上,给出动态抗饱和补偿器的设计方法。将动态抗饱和补偿器设计问题转化为受线性矩阵不等式组约束的优化问题。以航天器在轨加注过程姿态控制系统为例,建立了该系统的链式平滑切换模型,上述模型能够更加准确地反映系统转动惯量的渐变特性。最后,数值仿真算例表明了所提出的控制器设计方法的有效性。     

陕西省生态经济系统的可持续发展评价

运用基于能值分析理论的生态足迹计算模型,计算了陕西省2005年的生态足迹和生态承载力。结果表明：2005年陕西省能值密度为5．02×10^14sej／hm^2,人均生态足迹为4．4810hm^2,人均生态承载力为0．7881hm^2,人均生态赤字达到3．6929hm^2,这说明2005年陕西省的人类活动对生态环境的影响远远超过了生态承载力的范围,其生态经济系统的发展是不可持续的。图1,表3,参10。     

基于语言等价的Petri网化简

定义了α闭包表达式和同步交错正规表达式,证明了同步交错正规表达式与Petri网语言的等价性,给出了Petri网语言的结构特征:任意一个Petri网语言都是一个正规语言表达式与α闭包表达式的同步,借助于这一特性,给出了Petri网的化简过程及其算法。     

碳纳米管的制备及其在电化学中的应用研究进展

介绍了碳纳米管的制备方法,对碳纳米管在电化学中的应用及其催化机理进行了概述,并对其应用前景进行了展望.     

利用辛空间的子空间构作dz-析取矩阵

分组测试在医学、工业、统计等领域都有许多实际应用,近年来人们借助于复形理论、图理论、专门模型、信息渠道和容错估算来研究它.介绍了分组测试的基础知识和文章中符号的含义,利用有限域上辛空间里的子空间构作了dz-析取矩阵并证明了它的若干性质.     

二氧化钛/碳纳米管复合纳米材料的制备和表征

采用溶胶-凝胶法,以钛酸四丁酯为前驱体,分别制备了二氧化钛/碳纳米管(TjO,2,/CNT)复合纳米膜电极和TiO,2,/CNT复合纳米粉体材料,利用UV-Vis,EIS等方法对复合纳米膜电极进行了表征,利用SEM对TiO,2,/CNT复合纳米粉体材料进行了观察,并测定了该材料对甲基橙光降解的催化活性.结果表明,复合TiO,2,/CNT纳米材料比单独TiO,2,纳米材料具有更高的化学活性.     

四维凸多胞形f-向量的二维投影问题

介绍了凸多胞形有关面向量的一些概念和定理,对四维多胞形面向量(f0,f1,f2,f3)的二维投影(f1,f3)的相关问题作了进一步的讨论,并对二元有序数组能成为棱锥、双棱锥、棱锥面向量的二维投影数组的充分必要条件给出了证明.     

应用扩展的UML活动图建模审计专家经验

计算机审计专家经验来源于实践,应用于实践,但目前还没有对专家经验进行建模的统一建模语言.由于模型中的语法语义不一致、不明确,极大妨碍了审计业务人员对专家经验的理解、掌握和应用.统一建模语言(UML)已经成为事实上的信息系统领域建模语言标准.扩展UML活动图将其应用于审计专家经验建模,并给出了具体应用案例.应用扩展的活动图建模专家经验具有简单、清晰、标准化、国际化的优点,并能被不同领域的专家接受和理解.     

Rashba自旋轨道耦合效应对散粒噪声的影响

计算了自旋电子隧穿铁磁/半导体/铁磁异质结的隧穿系数.根据Landauer-Büttier公式及其理论框架,计算了零温时的散粒噪声和电导,对散粒噪声和电导的函数曲线进行了对比分析,讨论了它们和Rashba自旋轨道耦合效应及量子尺寸效应的关系.