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

基于可拓工程方法的维修保障系统效能评估研究

分析了维修保障系统效能的影响因素,应用可拓工程方法建立了维修保障系统效能多指标参数的物元可拓评估模型,以定量的结果对维修保障系统效能进行了评估分级,并与层次分析法和突变评价法的结果进行了比较,结论基本一致.为维修保障系统效能评估问题寻求出一种新的方法,其评估结果可为决策提供定量依据.     

分布式虚拟操作训练系统误操作数据采集方法

介绍了某型武器系统分布式虚拟操作训练系统的功能、构成,并在此基础上研究分布式系统误操作数据采集方法。根据虚拟训练的需求,确定了采集数据的类型,包括2项1级指标、5项2级指标和6项3级指标,全面反映了操作过程中的各种误操作情况;在主仿真流程的基础上,设计了误操作数据采集流程,并将结果写入相关数据库。在系统开发过程中对误操作数据采集方法进行了验证。     

基于目标可感知性的跟踪器设计

本文介绍了基于目标可感知性的跟踪器的理论设计。还介绍了用于增强跟踪性能的最佳跟踪决策（即，航迹起始、确认和终止）的跟踪器参数确定的基本法则和解析式。本文还提供了支持理论设计的信真计算结果并证明该跟踪器在跟踪性能方面的增强。     

跳测度的可料对偶投影

证明了跳测度 ν的 Doob-Meyer分解 ν=m+π中 ,π即为跳测度的可料对偶投影 ,也是 ν-π的鞅特征     

基于全寿命周期费用分析的可重复使用运载器级数选择

建立了可重复使用运载器全寿命周期费用模型 ,并利用该费用模型分析了不同级数的可重复使用运载器方案的全寿命周期费用 ,对全寿命周期费用的各部分组成比例及其随级数的变化规律进行了分析。研究结果表明两级入轨的可重复使用运载器方案全寿命周期费用最低 ,是基于目前技术水平的一种较优的可重复使用运载器级数选择方案     

浅谈一种有线电长途通信电缆网干线监控系统的建设

本文介绍了一种建设有线电长途通信电缆网干线监控系统的方案,包括它的总体结构、各部分的实现、简单的效益分析,并详细介绍了信息传输的实现。     

一种新的运输问题对偶算法

本文给出求解运输问题的一种新的方法——运输问题对偶算法(仍是表上作业法)。最后给出的实例说明本文算法在解决某些问题时比[1]中方法简便。     

先验信息下的改进主成分估计

对于线性模型Ｙ＝ＸＣ＋ε,Ｅ（ε）＝０,Ｃｏｖ（ε,ε）＝σ２Ｉ,在先验信息（Ｅ（Ｃ）＝０,Ｃｏｖ（Ｃ,Ｃ）＝σ２０Ｉ）下,本文给出主成分个数的一种更合理取法,并提出了一种改进的主成分估计。文中证明了该估计是可容许估计,且在“平均”均方误差意义下,优于最小二乘估计,亦优于主成分估计     

工作站网络并行计算的性能分析

本文介绍了异构工作站网络环境下一种新的并行计算性能评价标准。应用该标准分析了在四台异构的ＳＧＩ工作站上浅水波方程并行计算的性能