谨防原则变“圆”则

《现代汉语词典》对“原则”的解释是：说话或行事所依据的法则或标准。可见,原则是经过实践检验的合理化准则,是我们日常工作生活中不可偏离的基本准绳。     

参数化系统二维抽象框架

针对参数化系统状态空间爆炸问题提出了一个通用的参数化系统二维抽象框架TDA。对所有进程单独进行抽象,利用参数化系统的设计思想,隐藏系统参数构建全系统的抽象模型,最大限度地剔除了原始系统中的冗余信息。建立的具有真并发语义的参数化系统的形式化模型,更适合描述一般意义上的并发系统,较好地解决了验证大规模同构和异构系统的空间激增问题。理论推导和实例均证实了TDA的正确性和合理性。     

军用活性炭和特种碳材料的研究与进展

军用活性炭和特种碳材料作为一所的一个重要研究方向,自20世纪90年代以来研究领域不断拓展,涉及的研究课题包括防化基础研究、院长基金课题,国家863、973计划课题,国家自然科学基金课题以及多个横向协作课题等,并取得了一系列重要的研究进展,研究工作呈现出蓬勃发展的趋势．对“八五,,和“九五,,期间在军用活性炭和特种碳材料研究方面所取得的一些研究成果以及目前正在开展的一些研究方向进行了归纳和总结．     

理论创新的科学指南——学习江泽民关于理论创新思想的体会

十三届四中全会以来,以江泽民同志为核心的第三代中央领导集体,带领全党在全面推进中国特色社会主义伟大事业的历史进程中,坚持理论创新,对全国亿万人民群众建设中国特色社会主义的伟大实践不断作出新的理论概括,特别是提出“三个代表”的重要思想,进一步丰富和发展了马列主义、毛泽东思想和邓小平理论。     

射击精度的序贯检验评定方法

在分析传统T检验法不足的基础上,提出采用序贯比值检验方法评定射击精度,能有效减少试验次数,缩短试验时间.并对序贯比值检验中两个常值的取值问题进行了深入的研究,最后给出了确定常值的具体方法并进行了方案设计举例,供有关人员参考.     

饿不洗澡 饱不剃头

中医养生有句俗话说:饿不洗澡,饱不剃头。专家说,饿着洗澡,会越洗越饿。洗澡是一项耗费体力的活动,如果饿着洗,很容易低血糖,甚至突然晕倒。刚吃饱半小时内不建议洗澡。因为刚吃饱时洗澡会使大量本应集中     

软件装备检验技术研究

本文就软件装备检验技术的定义、组成、过程和对象提出了一些看法,针对软件测试的目的和原则提出了建议。     

揭开经得起实践检验的奥秘——解读广东省湛江军分区党委提高科学决策水平的几个关键词

党委班子实现科学决策的抓手在哪里?广东省湛江军分区党委"一班人"把学习实践科学发展观与党委班子决策实践相结合,提高科学决策水平,决策效能经受住了实践检验。     

阻击式防空防御体系的作战有效性分析

阻击式防空防御体系作为主要的防空防御体系之一,对其作战有效性进行分析显得非常必要.通过运用随机服务系统理论对阻击式防空防御体系的作战有效性进行了初步分析,给出了空袭目标突防概率模型,并采用计算机模拟方法进行计算,最后结合一个简单算例进行了分析,检验了该模型的可行性.     

美国“红人”吸干纳粹“血液”

1944年的一个秋日,在德国南部的一个机场上,纳粹德国的秘密武器被缓缓地拖到起飞跑道上,世界上第一架喷气战斗机将进行最后一次试飞。德国人深信这种代号为“Me262”的飞机一投入战斗,就能迅速摧毁行动迟缓的盟军轰炸机,从而挽救濒临崩溃的德国军事机器。