空基指控系统动态效能评估方法

针对目前指控系统自身特性或使命要求的不同导致系统评估有效性指标不稳定的实际,结合空基指控系统的功能、特点以及应用研究情况,以空基指控系统试飞效能数据为基础,借助兰彻斯特方程描述战争过程的广泛适用性和实时有效性,提出了一种以系统空间与使命的匹配程度为目标的动态评估模型,即把系统的运行与系统要完成的使命结合起来,根据系统在特定情况下本原的取值范围,计算系统属性空间的运行轨迹与使命所要求轨迹相符合的程度,得到对空基指控系统有效性评价总的度量.此方法能在一定程度上弥补由于使命属性选择不够合理而导致的评估差异.仿真结果验证了该方法的有效性和合理性.     

离散事件动态系统的一种新仿真方法

本文针对离散事件动态系统,提出了一种新的仿真方法,它由异步仿真运行、仿真死锁检测、解除仿真死锁三部分组成。文中详细讨论了这种方法的原理及特性,并应用此方法对—FMS进行了仿真研究。     

TCP拥塞控制中的死锁与混沌

为了研究传输控制协议(TCP)拥塞控制中的死锁和混沌现象,提出TCP发送端解除死锁的方法,以避免因为死锁而导致网络传输的不公平性,该文通过分析logistic映射的初始值对其状态的影响,证明了不同的初始值会改变混沌系统的状态。把该证明结果用于分析TCP拥塞控制,指出了对于确定参数的网络系统,不同的初始值会导致网络处于周期变化、混沌或不稳定状态,而死锁就是不稳定状态。因此,TCP发送端可以采用改变初始值的方法来避免死锁。仿真表明,该方法能有效地解除死锁,使网络回到混沌状态,提高网络传输的公平性。     

整体式半导体自动物料搬运系统解死锁算法

为了有效地解决300mm晶圆制造中整体式自动物料搬运系统的设备缓冲约束引起死锁的问题,构建了基于图论的两阶段解死锁算法.首先对问题域进行了形式化描述,在此基础上,证明了死锁产生和解除的充分条件,以关键设备死锁解除时间最小化为目标,建立了数学规划模型,并构造了解死锁算法.该启发式算法使用存储柜转存晶圆批来释放死锁的小车资源,并应用图论理论构造了多个并行路径来解除死锁.最后,对算法进行了仿真实验,结果表明该算法能有效求解设备缓冲约束引起的死锁问题.与其他解死锁方法相比,上述算法能有效减少解死锁时间,提高了关键设备的可用率.     

装备保障通信网络仿真模型研究

针对装备保障仿真中通信系统建模的问题,从分析装备保障指控网络的拓扑构成入手,提出了以考虑无线通信模块为主的指控网络建模仿真方法,并给出了信息传输模型的仿真流程和具体实现方法.     

基于模板的天基预警系统目标性质匹配模型与仿真实现

防空反导作战过程中,地面反导指控系统为达成早期识别并估计弹道目标攻击企图,以提高防空反导系统拦截效率的目的,需要天基预警系统提供目标信息支援保障。基于天基预警系统的目标信息采用有效的匹配模型能够实现对弹道目标的快速发现及性质确认。以天基预警系统目标性质匹配模型与算法为研究重点,在建立反导天基预警系统测量模型的基础上,以仿真方法初步实现了目标性质匹配模型。仿真结果表明:所建立的匹配模型与算法具有较好的应用价值,可为反导指控系统的构建与完善提供一定参考。     

基于petri网的多级管理并发信息流模型与死锁分析

在多级信息管理系统中,如ERP管理软件,往往存在多维并发信息流,由此引发因争夺资源而产生的系统死锁,这将严重影响系统效能.本文基于petri网建立了系统的数学模型,进而分析在并发信息流中产生死锁的关节所在,为从理论上研究系统的效能,例如,发现和排解死锁等,提供了可靠根据,有效地保证了系统的正常运行.     

含有不可控变迁的Petri网死锁避免策略

文章针对Petri网建模的并发系统中的死锁问题,利用Petri网可达树分析方法检测系统死锁的存在,结合Petri网控制器的设计来达到预防和避免死锁的目的;提出了一种新的约束设计思想,进行控制器设计,使得系统不会出现死锁;更进一步地考虑到控制器设计过程中存在不可控变迁的情况下系统避免死锁的设计问题。     

基于改进粒子群算法的柔性制造系统无死锁优化调度

柔性制造系统的优化调度问题是一个复杂的组合优化和NP-hard问题。以赋时Petri网为模型、最小化最大完工时间为优化目标,利用改进粒子群算法对一类柔性制造类系统建立了一种新的无死锁优化调度方法。该方法首先采用2层编码方式对路径和工序进行编码,建立工序与粒子位置之间的一一映射关系;其次,基于实时在线的死锁避免策略对粒子进行死锁检测与修复,保证所搜索的粒子均能解码为无死锁的可行调度序列;然后,设计了2种改进策略：粒子工序定向调整策略和局部搜索策略,以提高算法的寻优效率和局部搜索能力,保证快速得到最优或次优的可行序列;最后,利用2个仿真实验验证所提算法的有效性。实验结果表明：与其他已有算法相比,改进粒子群算法在求解柔性制造系统无死锁优化调度问题上具有较好的寻优能力。     

视景仿真技术及在指挥控制系统中的应用

该文阐述了视景仿真系统的一种组成构架及各种软件工具在视景仿真系统中的作用 ,提出了视景仿真系统指控系统分布式交互式仿真开发中的一些原则 ,并提供了所开发出的一种典型仿真应用作为例证。最后对视景仿真技术在指挥控制系统中的应用前景进行了构想     

民间法正义观的转型

研究了国家法的抽象正义观与民间法的情理正义观,认为西方国家法的抽象正义观与东方民间法的情理正义观存在实质的不同,原因在于思维方式、超验与经验传统、政治结构的差别。在现代法治理念下,传统民间法所代表的正义观将向混合正义观转型,西方法治所代表的国家法抽象正义观是其骨架。     

关于农业区划地图集中的统一协调问题

图集的统一协调,对图集质量有很大影响。本文是作者在编制北京市农业区划地图集的实践基础上,根据地图信息传输论的观点,对农业区划地图集的统一协调的内容及方法进行了探讨。试图总结编制这类图集的统一协调模式,以供读者编图时参考。     

十二烷基苯硝化选择性的测定

利用对位异构体的对称性由核磁共振氢谱测定了工业十二烷基苯在硝硫混酸中的硝化选择性，发现一硝化产物中对位异构体的比例为７５％￣８０％。以月桂酸和苯为原料，经氯化、酰化和还原合成了正十二烷基苯。在同样条件下研究了正十二烷基苯的硝化，由核磁共振氢谱和气相色谱分析，发现一硝化产物中对位异构体的比例仅为６０％。根据空间位阻效应，对结果进行了讨论，并与甲苯，乙苯，异丙苯等短链烷基苯的硝化结果进行了比较。     

YBCO掺杂效应研究

介绍了YBCO掺杂的基础知识,总结了YBCO各个位置采用典型元素掺杂而导致的超导电性和结构的变化,阐述了掺杂对YBCO的重要影响,并简介了当前YBCO掺杂效应研究中的几个热点问题.     

高频机组基础振动检测分析

为了找出诱发高频机组基础不良振动的原因，从基础计算模型方面对基础激励与响应进行了分析，以两个高频机组基础为动测实例，经模态分析得出钢筋混凝土构架式基础竖向1阶振动与电机产生共振；应用功率谱法对动力机组及基础平台进行动测，得出平台异常响应频率66Hz为水泵工作频率，调整机器的工作频率可避开不良振源影响，达到明显的减振效果。由此而知，动力机器基础出现不良振动时，不可盲目改变结构的动力特性，应在机器不同工况比如：停机、起机及正常转速下，对机器及基础进行动测并对振动信号进行比较分析，以制定出行之有效的减振方法。     

老年人生活空间移动性影响要素研究进展

 老年人生活空间移动性是老年人在日常生活中能动生活状态的重要表征。在梳理老年人生活空间移动性相关概念、测度方法基础上,分析了物质环境要素和非物质环境要素对老年人生活空间移动性的影响;提炼出有效支持老年人生活空间移动性的中观环境规划、微观环境设计和政策文化扶助层面的策略;指出了老年人生活空间移动性的研究建议和发展方向。     

整数幂的和计算中的一些规律

给出整数幂的和的另一种计算公式的方法.     

曲面“侧”概念的“参照物”理解法

曲面“侧”是一个重要而难以理解的概念 ,本文对曲面“侧”概念的讲授方法进行了探讨 ,给出了曲面“侧”概念的“参照物”理解法 ,通过实践证明 ,效果良好。     

关于一维非自治时滞系统点态退化一例

给出了一维非自治时滞系统点态退化的一个例子,拓宽了该领域的研究。     

宏观收入分配不等性分析

宏观收入量的分配不仅反映一个国家总体消费的基础水平，而且影响到各阶层消费水平及消费方式．虽然一个国家的宏观收入量的分配不可能绝对平等，但是不等性的大小往往影响到社会和经济的发展，影响到社会的稳定．本文采用洛伦茨曲线、基尼系数来描述宏观收入的不等性，并结合实际情况对我国宏观收入的不等性进行了具体的分析．