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

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

善于处理好“三对关系” 提高贯彻民主集中制质量

<正>习主席指出,坚持民主集中制是保证党的创造力、凝聚力、战斗力,保证党的团结统一的重要法宝。《中国共产党军队党的建设条例》第十七条也明确,军队必须贯彻党的民主集中制原则。民主集中制是军队各级党委议事的根本,也是抓班子、带队伍的有效方法。工作实践中,要善于处理好"三对关系",提高贯彻民主集中制质量。一、处理好"民主"与"集中"的关系,做到民主与集中的有机结合《中国共产党章程》指出,"民主集中制是民主基础上的集中和集中指导下的民主相结合"。贯彻民主集中制,必须辩证地认识民主与集中的关系,其具体包含三层含义:一是民主基础上的集中。     

片上trace：嵌入式处理器的有效调试和优化技术

片上trace技术弥补了传统调试方法的不足,可以实现对嵌入式软件的非入侵调试.首先分析了当前主流调试方法的不足,论述了trace与断点调试方法互为补充的关系,而后介绍了YHFT系列DSP的片上trace系统TraceDo的功能与结构,并解释了路径trace的原理和工作过程,最后讨论了片上trace的应用.     

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

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

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

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

关于i=(4n+7&#177;√6n^2+6n-11)/10的正整数解快速求角原理

本文给出了有效信号为二次多项式时,线性二乘一步外推点与采样点关系方程正整数解的快速求解的几个定理。     

α2肾上腺素能受体激动剂

综述了α2－AR激动剂的药理作用特点、结构类型、构效关系、合成方法等国外研究概况,为医药研究等提供参考。     

图像数据库中虚图像的相似性检索

虚图像,作为一种图形符号索引,能对图像数据库中的图像信息进行存取,并且能进行基于内容的检索。通过借助一组空间关系,虚图像以解释的形式表征实时图像的空间关系。主要介绍了图标索引中虚图像的定义,并提出了空间关系相似度计算的新方法,使相似度的计算更形象化。     

一种基于灰色模糊关系的多属性决策模型研究

实际中的决策问题常常具有不确定性和灰色性。本文根据灰色系统和模糊数学的一些理论,同时考虑一个问题中的模糊性与灰色性,将其综合起来表示为灰色模糊数的概念。在原有多属性决策方法的基础上提出了一种灰色模糊多属性决策模型,并给出了模型的求解方法。模型的求解是基于采用海明距离的测度工具来度量决策方案与模糊理想解和模糊负理想解之间的差异来决定其排列顺序的,是一种模糊折衷性决策方法。