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)的转换规则.     

高功率微波TM01模式移相器

研制了一种新型的TM01模式高功率微波移相器,这种移相器通过两个十字交叉圆极化器结构可以将高功率微波输出相位进行0°~360°的调节。对构成这种移相器的TE11圆极化器及移相器的电磁特性通过电磁仿真软件CST进行了仿真,仿真结果表明此移相器可以对1.75GHz的TM01模式进行0°~360°调节,并且误差不超过1°,在0°~360°调节范围内的传输效率均大于97%,且功率容量大于4.3GW。     

多弯头管道磁致伸缩导波无损检测技术

为了研究超声导波在弯管中的传播特性及检测可行性,使用磁致伸缩导波仪器及传感器对多弯头管道进行了检测实验,并对弯管中导波的传播速度、模态转换、能量衰减等现象进行了探讨。结果表明:当弯管弯曲程度较小时,弯管中导波传播速度与直管中近似;弯管中导波存在明显的模态转换现象;弯管中导波能量随着时间近似呈指数形式衰减,且衰减规律与激励频率存在密切联系。该研究结果可以为复杂结构弯曲管道的导波检测提供参考。     

基于网关转换与分域控制的数据传输技术

根据战术机动通信网络特点,满足在轻量化、高机动、高可靠和兼容性等方面的实际传输需求,提出一种数据传输技术。该技术实现战术子网自适应、不落地的网关数据转换和拓扑隔离代理转发,并根据作战编组等按规则自动分域,支持根据网络状态以及业务需求进行传输优先级自适调整,提供适用于弱连接环境下的数据可靠传输能力,支持信息系统的稳定运行。     

完善分配机制实现住房补贴工资化

军队人员实行住房补贴账户管理加大了空账运转的资金缺口,储用脱节减弱了军人的消费能力,且程序繁杂增大了管理难度,因而对其实行工资化分配创新势在必行。要创新原则,统筹分管,按时发放;要创新职能,增强住房中心资金筹集能力;要创新方法,实行“新旧”补贴“两条线”管理。同时,要稳步清理挂账资金,完善住房公积金个人贷款制度、“三房并轨”和货币补差办法。     

国家公务员工资收入规范化对军队的影响及对策

军地收入反差是近期来困扰军队建设的严重问题,国家公务员工资收入规范化,使原本隐形的这一问题公开化。深化军队工资制度改革,更新军人工资的形成、激励机制,才能理顺军地工资关系,增强军队的吸引力和凝聚力。     

从言语的语言学看翻译的多相面对等

本文从言语的语言学出发寻求和翻译的对等面。翻译是一种跨文化的信息交流与交往传播的活动,研究的是使用中的语言即言语,言语的语言学以言语为研究对象,因此言语的语言学应作为翻译的语言学基础。基于上述理论,本文从言语的语言学的语义、语用和文化三方面寻求和翻译的静态、动态和文化对等,使翻译活动更具实践意义。     

上转换荧光强度与激光功率的关系

为了实现较清晰双频上转换三维立体图像,对Pr3＋离子双频上转换发光进行了研究。实验中选用Pr3＋和Yb3＋：ZBLAN玻璃作为频率上转换发光材料,分析了上转换发光强度与泵浦光强度的关系,得出了实现较清晰双频上转换三维立体图像的实验条件。     

框支短肢剪力墙转换结构不同墙肢布置方式抗震试验研究

框支短肢剪力墙转换结构在实际工程中已得到广泛应用,但其理论研究尚需完善.在试验和分析的基础上,通过对不同墙肢布置方式的两榀斜柱式转换结构试件在竖向和水平荷载共同作用下受力机理、承载能力、破坏形态、滞回特性、变形能力、延性系数、抗震耗能以及破坏机制等抗震性能参数的分析和对比,揭示了墙肢布置方式变化对整个转换结构受力性能及...     

坦克排烟管热电转换模拟试验研究

为降低坦克排烟管的红外特性,设计了应用于坦克排烟管高温表面的热电转换方案,并进行了模拟试验和理论计算。结果表明：热电转换器件的开路电压和负载电压、负载电流随冷热面温差的增加呈线性增长,而输出功率、效率则以二次方的速度增长;多片热电转换器件组合能够实现所要求的电能输出。试验中热电系统产生的电能驱动散热风扇运转,说明热电转换用于高温度、高热通量场合实现红外抑制的目的是切实可行的。模拟试验表明：经热量转换和热量转移后热电转换系统表面温度较模拟坦克排烟管表面温度下降超过33％,说明利用热电转换方案实现坦克高温部位的红外抑制效果明显。