向时间自动机转换的军事电子信息系统性质验证

日益复杂的军事电子信息系统面临正确性验证挑战,形式化验证方法如模型检验技术成为必需.给出基于时间Petri网表示的军事电子系统模型PMES的定义,然后给出PMES模型转换为时间自动机网的步骤,利用已有的基于时间自动机的模型检验工具对系统性质进行验证;系统的性质要求用时序逻辑语言CTL或TCTL公式表示.雷达干扰机系统说明了该方法的实际应用效果.     

基于逆向分层的工作流时间-费用优化方法

针对效用网格下基于优先级因子的工作流时间-费用优化问题,基于工作流的同步完成特征对任务进行分层并提出三种实时调度算法:基于逆向分层的sufferage(BLSuff)、基于逆向分层的min-min(BLMin)及基于逆向分层的min-max(BLMax)。算法设计基于优先级因子的衡量标准对时间与费用同时进行优化,并为任务设置期望完成时间以达到充分利用费用优化空间进行费用优化的目标。实验结果表明这三种算法在各种优先级因子下都能对工作流的执行时间与执行费用进行较好的优化。     

磷酸盐水泥凝结时间研究

试验研究了缓凝剂、氧化镁比表面积及活性、粉煤灰、环境温度、水固比等因素对磷酸盐水泥(MPC)凝结时间的影响,并就磷酸盐水泥水化机理进行讨论.研究结果发现,缓凝剂、氧化镁比表面积及活性、环境温度三者对磷酸盐水泥凝结时间影响较大,而粉煤灰掺量与水固比对凝结时间的影响作用相对较小.     

新中国成立后毛泽东对局部战争战局控制的指导

新中国成立后,毛泽东在指导抗美援朝、中印边境自卫反击作战等局部战争中,有意识地从战略目标的选择、战争手段的运用、战争节奏的控制、战争进程的把握、战争范围和时间的伸缩等方面对战争规模和强度进行限制和约束,有效地控制了战局,防止了战争的扩大和升级.     

本征模式函数与经验模式分解方法分析

介绍本征模式函数IMF满足的条件和定义,分析了经验摸式分解EMD的前提、本质及其对非线性平衡系统数据处理所体现的优越性,并以隧道采集的风力数据处理为例,对上述理论进行了验证,展示了这种新方法的作用和效果。最后,从理论上证明了所处理数据的完备性及EMD成员正交性应满足的条件。     

武警野战型干酪优化参数研究

对影响野战型干酪加工主要因素进行了研究。结果表明,原料乳浓度越大,凝乳效果越好;杀菌条件以巴氏杀菌或高温短时杀菌效果较好;调整酸度为24～28°T效果较好;CaCl_2添加量为0.06%为宜;用小牛皱胃酶或羔羊皱胃酶作为凝乳酶,可得较好的凝乳效果。     

如何搞好高三英语复习

从2003年开始高考提前一个月举行,这给我们广大师生的复习迎考提出了新的挑战,使本来就紧张的时间少与内容多的矛盾显得更为突出。就英语学科而言,原高三下册由选学内容改为必修内容,要在高三有限的时间内,既要学会高三24个单元的教学内容,还要进行专项的综合能力训练,在这么短的时间内想复习到位就显得非常困难,那么如何克服时间少,而内容多的矛盾呢?一、明确复习目的,理清思路高考是认真考查学生英语运用能力为主的,因此,高考复习首先要明确目的。高考试题在重视英语基础知识的同时,突出考查语言运用能力,形成了以篇章阅读为主体的试题布…     

“和平-07”军演演奏着和平音符

3月13日下午,当地时间15时(北京时间18时),我海军舰艇编队圆满完成"和平—07"多国联合军事演习的任务。历史会记住这一时刻,"和平-07"军演为维护世界和平而做出的努力。我们为和平而来"我们为和平而来!"当这片流     

“初岗效应”与指挥人才的培养

在部队工作时间长、岗位变化多的人,大多有这样的经历,每次工作调动,初到新岗位的一两年间,为了尽快适应新岗位的需要,往往学习更认真,工作更敬业,生活上也相当谨慎。有人将这一现象称之为“初岗效应”,认为“初岗”时期往往是一个人学知识最刻苦、能力素质提高最快的时间段之一。有的还半开玩笑地说．如果在一个岗位干四五年，后两三年的工作靠吃“初岗”时一两年的“利息”也能胜任。     

斯大林与苏联第一颗原子弹

不知怎么，在20世纪80年代出现了这样一种说法，即世界上第一颗原子弹是苏联制造的。这种说法的大意是—— 苏联在1938年下半年开始研制原子弹。斯大林考虑到希特勒可能进攻苏联，要求在一年半的时间里造出第一颗原子弹，后来改为4年。为赢得时间，苏联同德国于1939年8月签订了互不侵犯条约。