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年,是一种能够攻击点目标的近战武器。炸弹由弹体和一个制导装置组成,后者能够探测到被激光束照射的目标。激光制导方式分为寻的制导和波束制导两种。激光寻的制导原理是:当瞄准跟踪目标后,由装甲车辆或者飞机上的人员用目标指示器发射出编码脉冲激光照射目标,随即发射激光制导武器,目标会向各个方向反射激光;武器在飞行过程中,装在头部的激光寻的器接收由目标反射回的激光信号,经光学系统会聚在光电探测器上,将光信号转为电信号,然后经放大、运算处理,得出引导信号,驱动执行机构使武器导向目标。1984年开始装备美军…     

海浪Block2完成了陆地发射试验

在瑞典的Vidsel靶场,MBDA导弹系统公司已经完成了新型海狼Block 2点防御导弹第一阶段的陆基开发试验。实弹试验后,该项目计划于2005年初进入第二阶段的舰上试验。 MBDA公司2000年2月得到这份3.78亿英镑的(合6.98亿美元)的研制生产合同,2005年中期应开始向英国皇家海军交付新的海狼Block2导弹。Block2本质上是一个重新设计的导弹,它保持外形、密接部和功能与现有的GWS25-3型和GWS26-1型系统兼容的同时,克服大量部件逐渐过时的问题。Block2制造概念还考虑到使用普通“ 标枪” 导弹和火箭助推器,以填补常规发射和垂直发射弹药的不足…     

pH 值对碳钢在 3%NaCl 溶液中极化行为的影响

采用准稳态的极化方法研究了两种碳钢在不同ｐＨ值的３％ＮａＣｌ溶液中的极化行为,发现：碳钢在３％ＮａＣｌ溶液中发生钝化的临界ｐＨ值约为８．０;当ｐＨ＞８．０时,随着ｐＨ值的增大,致钝及维钝电流逐渐变小,点蚀电位逐渐变正．同时发现ＮＨ＋４对碳钢的极化行为有影响．     

小数分频频率合成器的研究和实现

本文通过对小数分频频率合成器的探讨和研究,对小数分频中的难点——相位补偿问题提出了点补偿和全补偿的概念并给出了实现电路,在一个波段上实现了五位小数分频。所研制的小数分频频率合成器可用于通信和电子仪器等有关设备中。     

滤波去噪对正确确定当量系数的重要作用

深入讨论了滤波去噪对正确核爆当量的重要作用,揭示了滤波去２噪能保证当量测量有足够的确度,这是和持别值得注意的。     

真谓宾动词及其主语分布

真谓宾动词是只能带真谓词性宾语的及物动词.真谓宾动词内在的复杂性,映射为对主语强烈的选择性.本文试图通过对真谓宾动词句主语的考察,进一步探讨真谓宾动词的下位功能及其语义特征.     

低碳钢中硫化物夹杂物诱发点蚀的机理

选择两种具有典型硫化物夹杂物的碳钢,通过显微腐蚀试验、浸泡试验及带有显微跟踪观察的极化试验考察了点蚀发生的初始过程,结合金相和扫描电镜电子探针分析,提出了碳钢中硫化物夹杂物诱发点蚀的机理。