简介：基于时态逻辑,定义了标准的逻辑操作公式、公理和扩展定理。根据测试生成和验证所要求的初始特性,提出了全局时态逻辑（GlobalTemporalLogic）GTL,避免了验证和测试中的回溯问题,从而提高验证和测试的效率。另外根据电路节点的扇入和扇出特性,介绍了利用时序线等启发知识来提高搜索策略的方法。

简介：基于软件维护性尽早、全过程迭代验证的思想,提出了贯穿软件生命周期的维护性迭代验证策略及过程,建立了基于功能块平均维护时间的维护性迭代验证模型。通过阶段性地开展软件维护性验证,可及时发现软件维护性设计缺陷并及早更改,避免造成严重的维护性质量问题,大大降低软件使用阶段的维护费用,提高软件系统的完好率。通过制定规范的软件维护性验证策略和方案,规范了软件维护性验证实施过程,为软件维护性验证人员提供了可行的操作指南,也为软件维护性验证平台开发人员明确平台需要提供参考。实例验证结果表明:所提出的软件维护性迭代验证方法是有效、可行的,可为软件研制人员提供理论指导,也为软件使用和维护人员制订软件维护计划、配置软件维护资源提供决策依据。

简介：为了探究先验信息对软件可靠性验证测试次数的影响,对软件可靠性验证测试中的实时先验信息进行动态整合,提出了纠错、不纠错2种情况下的先验信息动态整合方法,以此为基础,提出了基于先验信息动态整合的贝叶斯软件可靠性验证测试方法。最后,通过实例分别分析了这2种情况下先验信息动态整合方法对软件可靠性验证测试次数的影响。

简介：针对现有加密系统安全性不高的问题，设计了基于时空混沌的加密系统。在混沌同步加密系统的基本结构下研究了其中的发射器、接收器和同步控制方案的设计问题。设计了基于时空混沌系统Kuramoto-Sivashinsky的发射器和异结构接收器，给出了基于反馈控制和脉冲控制相结合且适用于保密通信传输的同步控制方案。结合图像加密设计了一整套加密系统，数值实验验证了算法的有效性，分析结果表明算法具有较高的安全性。

简介：利用CAN总线的高性能价格比、实现简单和DSP的集成度高、运算速度快等突出优点,将CAN总线和DSP应用于火灾自动报警控制系统中,为火灾自动报警和灭火系统远程控制提供了一种新的设计方法。

简介：破片定向聚焦是战斗部实现高效毁伤的重要途径。基于Shapiro公式和壳体微元分析方法，提出一种轴向和环向双聚焦破片战斗部壳体形状设计方法，可根据需要的聚焦程度设计对应的壳体形状，利用LS-DYNA中ALE算法对设计的壳体飞散过程进行数值模拟，并考察了壳体形状对破片分布的影响。结果表明：设计的壳体可实现破片在轴向和环向2个方向聚焦飞散，从而获得较大的破片密度增益。

简介：为了验证高功率密度柴油机智能化控制冷却系统控制策略是否正确,以DSPACE为基础搭建了半实物仿真试验平台;通过仿真试验平台验证,控制策略符合柴油机冷却系统工作要求,电控阀、传感器、驱动电路等部件工作可靠,节省了研制时间、经费,降低了研制风险。

简介：在一次哲学课上,教授拿出一杯浑浊不堪的水,放在讲台正中,问台下的学生：＂不借助任何化学物质,大家有什么办法,能让它变得清澈起来？＂台下的学生纷纷议论起来。有人说,用滤网将水中的杂质过滤出来;有人说,将这杯水煮开,用蒸馏的方法将水和杂质分离出来……对于学生们给出的这些答案,教授摇了摇头：＂大家有没有更简单、便捷的方法？＂学生们想了一会,都纷纷摇头表示没有。

简介：定价:198元出版社:五洲传播出版社抗日战争期间,曾经有一支由美国人组成的空军部队—中国空军美国志愿航空队—活跃在中国的天空,被中国人民亲切地称为'飞虎队'。这支由陈纳德领导、指挥的空中力量,从空中给日本侵略军以沉重打击。

简介：据英国《简氏防务周刊》报道,根据2018年11月19日美国国防安全合作局公布的通知,美国已批准向其盟国出售近9.5亿美元的导弹和精确制导弹药组件。这份通知涵盖3个拟销售项目,前2个针对日本,第3个针对北约支援与采购局。

简介：蔡和森,湖南湘乡县永丰镇(今属双峰县)人,1895年3月3日生,1913年进湖南省立第一师范学校,与毛泽东同学,并结成挚友。1918年4月,与毛泽东等人组织新民学会。1919年赴法勤工俭学。1921年回国加入中国共产党,一面探索传播马列主义理论,一面投身党建工作和革命斗争。先后编《先驱》,办《向导》,倡农运,搞暴动,成为我党早期的卓越领

简介：

简介：本期刊登一组企业民兵工作的报道,读后令人振奋。为适应社会主义市场经济体制的新形势,解决企业民兵组织建设中遇到的新情况、新问题,这些企业就如何开展民兵工作的做法进行了积极的改革和探索,取得了一定成效。

简介：尚弓在来稿中说上海市委书记黄菊同志提出,宣传思想工作要上新台阶。指出,迎接挑战,加快发展,需要强大的精神动力。如果说基础设施是城市的“骨”和“筋”,那么精神文明建设则是一个城市的“气”和“神”。我们要进一步增强政治意识、大局意识和责任意识,牢牢把握正确的舆论导向,切实加强思想道德建设,深入开展爱国主义、集体主义、社会主义和艰苦创业精神的教育,引导人们树立正确的世界观、人生观和价值观,积极弘扬正气,为上海在2(XX)年交出物质文明和精神文明两份满意答卷作出新的贡献。物质文明是“骨”和“筋”精神文明是“气”和“神”@尚弓

简介：我的老公李海涛是空军某飞行学院某飞行大队的副大队长．高高的个头儿看起来不那么像飞行员，当初恋爱的时候我就是看中他那股憨厚、诚实和上进的劲头。一晃我们结婚5年多了．时间过得真快。

简介：党课教育是我党我军特有的优良传统，是基层党组织的一项基本制度，是党的思想建设的重要载体，也是党支部统一党员思想、培养合格党员和实现部队中心工作任务的有效手段。因此，上好党课、抓好党课教育。是基层党支部书记的一项重要职责和基本功。作为基层支部的“班长”，在实际工作中，应努力探索和改进党课教育的形式和方法，切实提高党课的质量和效果。

简介：国防部继承一贯的作风，深入关注着未来世界的发展，发掘那些将对美国利益构成威胁的因素，由此判断军队的需求，并开发应对这些威胁所必备的作战平台、系统和技术，目前，美国国防部正深入关注的是“新一代的技术”。至今为止，白宫并没有确切宣布如何在可承受的条件下快速地获得这些“跳跃式的超前技术”，但同时政府又不断发表竞选誓言，继续迎合当前的国防需求，是以当前的标准还是以未来的标准发展军队装备是当前的一个争论焦点，在这场辩论中，航母的发展已经成为争论的重点之一。

简介：

简介：电梯作为住宅楼、写字楼等楼宇内的垂直运输工具，应用日益广泛，电梯的事故也逐渐增多，已引起人们的普遍关注。分析了当前电梯事故的原因及类型，从外部救援和电梯内自救两方面阐述了电梯事故救援的方案，提出了有效预防电梯事故的对策。

简介：近日到一位民兵通讯员家去串门,信步走近主人那散发着书香的书橱,图书整齐有序,琳琅满目。书橱两旁新书一副对联:好书犹如最精美的宝器珍藏着人类思想的精华写得多好啊,爱好读书的人,谁不喜爱选买和珍藏这人世间最精美的空器,拥有一个哪怕是小小的储积人类思想精