延时下基于事件触发的多智能体系统一致性

研究了通信延时下基于事件触发的一阶多智能体系统一致性问题。针对有向固定拓扑,设计了通信延时下基于事件触发机制的控制器。利用李雅普诺夫稳定性理论提出了能够使系统稳定和一致的事件触发函数和时延上界,并利用该事件触发规则求取两次触发之间的最小间隔,证明了该系统不存在Zeno行为。事件触发机制的引入有效减少了控制器的更新次数和智能体之间的通信频率,节约了资源,最后通过仿真实例验证了该理论方法的可行性与有效性。     

分布式传感器网络自适应一致性融合估计算法

针对分布式传感器网络的目标一致性状态估计问题,提出自适应一致性融合估计算法。考虑到网络中节点为测距和测方位的传感器,基于观测噪声与目标状态相关的假设,构建量测模型;引用无迹卡尔曼滤波与CI算法得到各节点的局部估计,通过误差矩阵加权更新节点状态以改进一致性算法,实现各节点对目标状态的一致性估计。仿真实验结果表明,该算法能够在快速收敛的过程中实现无中心节点的分布式传感器网络中各节点对目标位置的精确估计,同时又保证各节点之间的一致性。     

一种改进的指数型序贯抽样检验方法

针对指数型产品的可靠性验收问题,通过分析总结两次序贯概率比检验和序贯网图检验的思想,提出了一种改进的序贯抽样检验方法。通过构造验收风险的马尔可夫链模型,研究了改进的指数型序贯抽样检验方案的风险计算方法。在此基础上,给出了指数型序贯抽样检验方案的制定程序。实例分析表明:改进的指数型序贯抽样检验方案在保证截尾时间的条件下,明显降低了美军标MIL-STD-781C标准方案的验收风险,可以更好地满足双方的风险要求。     

关于评估和检验思想政治教育质量的思考

评估和检验对思想政治教育具有导向、反馈和借鉴参考作用。评估和检验标准的不同 ,对思想政治教育的评估结果有很大影响 ,对思想政治教育工作实践的影响更大。根据评估和检验的依据和方法来看 ,评价的标准必须满足三个方面的内容 :根本标准———战斗力标准 ,基本标准———“两个提供”标准 ,具体标准———从思想教育既定任务的要求出发所确定的标准     

模糊偏序关系的一种信息集成方法

以模糊超过关系、模糊不协调关系为例,就模糊偏序关系给出了一种基于分组加权极大(极小)算子的信息集成方法,讨论了该方法的一致性、非独裁性等性质.     

基于伪临界值的Cache一致性协议验证方法

针对Cache一致性协议状态空间爆炸问题,提出共享集合伪临界值(Pseudo-cutoff)的概念,并以采用释放一致性模型的CC-NUMA系统为例,分析了共享数据的分布情况,推导出在一定条件下共享集合伪临界值为4的结论,有效优化了目录Cache协议状态空间,并提出了解决小概率的宽共享事件的方法.实验数据表明,基于伪临界值的协议模型优化,能够有效缩小Cache协议状态空间,加快验证速度,扩大验证规模.     

一种高效的显式模型检验方法

随着软硬件系统规模和功能的不断扩充,状态空间爆炸问题严重影响了模型检验的进一步发展与应用,成为验证大规模系统的瓶颈.在显式模型检验工具Murphi的基础上,针对其可达状态空间组织存在的问题进行改进,提出了基于整型指针与Fibonacci散列的可达状态空间组织方法,实现了一个高效的显式模型检验原型系统,在确保验证正确的同时有效缩短了验证时间,并能在系统规范不可满足的情况下给出反例,有助于系统设计人员快速定位错误.理论分析和实验结果表明了本方法的有效性.     

真情催生战斗力——记贵州省贵阳市云岩区区委书记蒋纪鸣

“作为地方领导，检验工作落实的标准是看生产力；作为人武部党委第一书记，衡量工作落实的标准就是战斗力，因此我们的工作就是要做到生产力与战斗力同步提升。”这是贵州省贵阳市云岩区区委书记、区人武部党委第一书记蒋纪鸣在区委大小会议上常说的一句话。为了这句话，他可没少费心思。     

空间军事系统研讨厅中专家意见集成模型研究

在德尔菲调查法基础上,研究了专家评价意见的集成问题.通过构造专家意见的可靠度函数和专家意见集成的可信度,以专家一次性原始意见为基础,在保留专家意见独立性前提下利用专家意见集成的优化搜索模型,获得了专家意见集成的最佳协调方案.该模型有效避免了传统专家研讨过程中由于组织不当而造成的群体思维、趋同行为、风险转移等促使研讨结果偏离事实的现象的发生,并通过实际应用显示该模型具有良好的使用效果和广泛的适应性.     

C~4ISR系统需求一致性开发方法

C~4ISR系统是复杂大系统,C~4ISR系统需求工程的建设需要建立一套完整的C~4ISR系统需求体系框架和开发方法论.对C~4ISR系统需求的开发方法进行了研究,按照C~4ISR系统需求的层次,结合系统体系结构的开发方法,提出C~4ISR系统需求的分析开发过程和基于UML的模型表述方法;为保证需求模型的一致性,提出C~4ISR系统需求开发的一致性策略.