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

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

基于随机网络的平均维修保障服务时间分析

利用随机网络建模方法在随机工程项目分析中的优越性,建立了不同保障方式下的维修保障过程模型。重点对网络活动中的维修等待时间和维修等待概率进行了分析,利用随机网络的解析算法,确定了维修力量的平均维修保障服务时间分析模型。最后将该方法应用于伴随修理过程,对其平均维修保障服务时间进行了案例分析。     

DDBMS中的并发控制理论

本文叙述了并发控制的数学理论,以此达到两个目的:一是以精确的术语定义并发控制方法的正确性;二是把并发控制问题分解成两个更容易处理的子问题:读一写同步和写一写同步。为后继论文对分布式并发控制的分析和设计打下基础。     

内可逆卡诺热泵的生态学优化性能

本文导出了内可逆卡诺热泵的供热量、供热率和供热系数的耗散量,以反映热泵供热率π与其耗散φ_cT_Lσ,即热泵熵产率σ、低温热源温度T_L和可逆供热系数φ_c乘积之间最佳折衷的“生态学”性能E=π-φ_cT_Lσ为目标,基于牛顿和线性唯象传热定律,研究内可逆卡诺热泵的优化问题,得到最大E性能时的供热系数界限及相应的供热率和熵产率。     

走出业余时间管理的几个误区

业余时间的管理,是基层行政管理工作的一个重点和难点。从当前情况看,抓好业余时间的管理,应走出三个误区。     

培育民兵战斗精神 应搞好“四个结合”

民兵战斗精神直接支配着民兵的行为,决定着民兵战斗力的强弱。在中国特色军事变革中,民兵要有效提高平时应急和战时应战的能力,履行好党和人民赋予的历史使命,就必须大力培育过硬的战斗精神。要针对民兵集中教育时间难落实、人员难到     

探索野外驻训政治工作途径

野外驻训条件下部队训练时间紧、工作节奏快、生活设施简单。政治工作要坚持以人为本,不断激发官兵训练热情。官兵高昂的士气是确保野外驻训顺利完成的重要条件。政治工作要始终把激发官兵的训练热情作为工作重点,让官兵当主人,让基层唱主角,确保训练效果。（一）不间断地搞好思想发动。搞好针对性教育,不失时机地做好思想动员,是开展好野外驻训政治工作的主要形式。     

复杂系统的MTTR建模研究

现代武器系统的结构越来越复杂,在进行系统修复前,系统往往发生多个故障的情况,致使原来的维修性模型不能完全地反映系统的维修性水平。针对多重故障的维修,推导出一种能反映这种情况下的维修性预计的平均修复时间(MTTR)数学模型。模型中的一次维修事件由原来的只进行单一故障维修扩展到可以对多个不同故障进行维修的情况,更好地反映了复杂系统的实际维修情况。通过实例验证了该模型能实际地反映出复杂系统的维修性情况,从而更加准确地预计出系统的维修性水平。     

室内装饰织物燃烧特性研究

室内装饰织物因其容易点燃、燃烧速度快、蔓延迅速等燃烧特性,对室内火灾的发展蔓延及火灾危害都有重要影响。运用锥形量热仪对棉麻、涤纶、帆布、泡纱、条绒等5种室内装饰织物的燃烧性能进行了实验研究,测量了室内装饰织物在不同热辐射条件下的燃烧特性,并对实验数据进行图像拟合,通过具体的实验数据和图像分析比较了5种室内装饰织物在不同热辐射条件下的点燃时间、热释放速率、质量损失速率、比消光面积及CO生成量。最后得出了各种织物的火灾危险性相对大小。     

外语受蚀时间对语言学习策略使用频率的影响

调查外语受蚀时间对语言学习策略使用频率的影响。调查发现,学习者学习策略的使用频率,特别是记忆策略、认知策略和补偿策略的使用频率,随着受蚀时间的增加逐渐降低。