TSP及其操作语义模型研究

在有限状态进程(Finite State Process, FSP)和时间自动机(Timed Automata, TA)的基础上,提出了一种描述分布式实时系统(Distributed Real Time System, DRTS)行为的模型:时间状态进程(Timed StateProcess, TSP).TSP包括4个常量进程IDLE进程、SKIP进程、STOP进程和ERROR进程;以及前缀进程、超时进程、时钟复位进程、卫式条件进程、非确定性选择进程、数据(/消息/应答消息)发送进程、数据(/消息/应答消息)接收进程、组合进程和顺序进程.定义了TSP模型的结构化操作语义,以及TSP到时间标号迁移系统(Timed Labeled Transition System , TLTS)的转换规则.     

中国发射并成功运行的自制航天器简表

发射时间:1970年4月24日21时35分由长征一号 运载火箭从甘肃酒泉卫星发射中心发射,21时48分进入预 定轨道。 卫星简况:属于技术试验卫星。它采用自旋稳定方 式,质量为173千克。 有效载荷:《东方红》乐音装置、宇宙强度计、太 阳短波辐射计和高空磁强计等,其中科学探测仪器设备的 任务是探测空间电离层和地球大气密度,然后通过遥测系 统把有关数据发送回地面。     

浅析一体化作战中如何处置时间上敏感的目标

通过对时间上敏感的目标的分析确定,打击过程的指挥与控制及注意事项的研究,对一体化作战行动的联合目标选择与打击的相关问题进行了探讨.     

基于符号树信息熵的机械振动瞬态信号特征提取

用简单的二进制划分简要说明了信号符号化问题,给出了二进制划分下符号树结构及其Shannon熵计算方法,叙述了符号序列编码方法和符号序列直方图的作用,提交了符号时间序列分析的计算机流程图,对内燃机机身振动信号和转轴振动信号用符号树信息熵进行了特征提取。     

态势估计中基于假设检验的统计时间推理方法

在战场态势估计中，常常需要判断事件发生的时间顺序，而对事件发生时间的观测往往含有统计不确定性。这里将假设检验理论引入时间推理，建立了一种判别两个事件发生顺序的新方法，同时研究了在统计不确定性下时间顺序的传递性，从而有效增强了态势估计中对时间关系的描述和推理能力     

预处理方法在低速粘性流动中的应用

用时间相关法、LU SGS隐式求解经过预处理后的二维可压Navier Stokes方程 ,数值模拟了低速情况下不同马赫数、不同雷诺数的驱动空腔流动。为了使时间相关法能应用于计算低速流动及加快收敛 ,在控制方程的时间导数项前乘了一个预处理矩阵 ,实现了对方程的预处理。数值模拟结果表明 ,预处理确实加快了计算的收敛性 ,而定常解却没有改变。所得结果与可能的计算结果进行了比较     

要强化公民的国防责任意识

安徽省教育厅曾就"灾难即将到来,在安全撤退的前提下,是降下教学楼前的国旗,还是在第一时间逃生"这一问题对400人进行了问卷调查.这是个热爱祖国、维护国家荣誉的精神信仰问题,能反映出被调查者是否具备基本的国防责任感.     

不要轻易放弃

不要轻易放弃，是我在投稿过程中的感悟，从作战部队调到人武部后，政委见我是大学生，文化底子还行，就鼓励我有空闲时间写写新闻稿件，一来可以锻炼自己的写作能力。     

态势估计中一种基于贝叶斯估计的统计时间推理方法

统计时间推理是态势估计中的一个重要组成部分。Ｋｉｒｉｌｏｖ的基于极大似然估计（Ｍａｘｉ－ｍｕｍＬｉｋｅｌｉｈｏｏｄＥｓｔｉｍａｔｉｏｎ,ＭＬＥ）的推理方法将未知时间变量看作常数,估计方差较大。文中建立的已知时间信息和未知时间变量之间的关系模型,将未知时间变量扩展为随机变量,将贝叶斯估计（ＢａｙｅｓＥｓｔｉｍａｔｉｏｎ,ＢＥ）引入时间推理。经过对两种推理算法的性能进行分析和比较,发现在一定范围内,基于ＢＥ的方法性能优于基于ＭＬＥ的方法。     

火箭子母弹电子时间引信电路设计

为火箭子母弹定时开舱提供了一种性能先进的电子时间引信电路系统,阐述其电路组成、工作原理和功能,并分析了该电子时间引信系统的特点。