基于MDA的MARTE模型形式化转换

非形式化/半形式化模型到形式化模型之间的转换是当前软件工程领域的研究热点。根据异构模型转换,提出了基于MDA的MARTE模型到Object-Z规约之间的转换方法。针对Object-Z在实时领域表达能力不足的问题,首先扩展Object-Z元模型;然后在MDA的元元模型体系下,定义了MARTE元模型和扩展的Object-Z元模型之间的转换规则。MARTE模型可以重用这些转换规则以实现到Object-Z形式化描述之间的转换,进而可以对模型进行形式化验证;最后通过一个实例使用该方法完成模型转换,具体说明了转换规则的应用。     

离散线性系统部分可观测性测试配置

不可观测系统的部分状态可观测性对于大系统故障检测具有十分重要的意义.研究了基于部分可观测性的不可观测离散线性系统测点优化配置问题,证明了采用有限次观测值构造一个矩阵,可以给出部分可观测性成立的充分必要条件,并进一步证明了部分可观测性的度量可以用一个矩阵的秩的特性来刻画.最后,给出了离散线性系统部分可观测性测试优化配置的度量指标.算例表明,提出的部分可观测性度量指标具有简单实用的特点.     

状态数计算的卫星控制系统健康状态评估

健康评估是卫星在轨安全健康工作的关键技术之一.针对卫星控制系统的健康状态评估问题,首先分析了卫星控制系统的内部结构特征,将控制系统按其结构分层并提出了基于层次推理地健康状态评估方法,然后通过分析系统特有的工作关系确定了各级系统状态数的计算方法,最后以某型气象卫星的一种控制模式为例计算了从部件到整系统的各级别状态数.计算以及仿真的结果显示该方法能够利用状态数合理地表示控制系统的健康状态.     

一种支持并行离散事件仿真建模和并行模型检验的建模语言

并行离散事件仿真(Parallel Discrete Event Simulation,PDES)模型的正确性和可信度对PDES应用的发展起着决定性作用.然而,现有的并行离散事件仿真开发环境都没有提供仿真模型检验功能.并行模型检验(Parallel Model Checking,PMC)方法以其完备性、高效性已经在工业...     

以军民融合式发展思想为指导完善文职人员制度

分析了非现役文职人员制度实行的时代背景、目前存在的主要问题以及解决对策,指出文职人员制度是我军顺应整体社会转型而实行的重大改革,是军民融合式发展思想的重要体现,完善的政策和军地双方的协调沟通,直接关系到这一改革的成败。     

关于Smarandache序列Pd（n）和qd（n）的均值估计

对任意正整数n,Pd（n）定义为n的所有正因子的乘积,gd（n）定义为n的所有小于n的正因子的乘积。若n=p1^a1p2^a2…px^as是n的标准分解式,算数函数Ω（n）=a1＋a2＋…＋as。用解析的方法研究关于Smarandache序列Pd（n）、qd（n）与Q（n）的混合均值,并给出两个较好的渐近公式。     

HVU护航编队防空作战模型

以M.Poulos的防空作战模型为基础,将护航编队防空分为区域防御和点防御2个层次,在进行必要的假设和简化后,建立了HVU (high value units)护航编队防空作战模型.在此模型的基础上,假设护航编队面114 3种攻击态势,对各种态势的防空效能进行了计算,得出了护航编队防空作战效能的衡量标准应选择HVU目标的剩余生命力为依据的结论,并建议为提高护航编队的防空作战效能,HVU应装备防御能力较强的点防御舰空导弹.     

FFT-MTD滤波器组优化设计与仿真

介绍了用FFT算法实现雷达信号动目标检测(MTD)的方法,为提升MTD在强杂波环境下的检测性能,对加权FFT优化MTD时窗函数的选取进行了讨论,比较了6种窗函数加权时FFT等效多普勒滤波器组的幅频特性和改善因子,得出了适合于MTD的最佳窗函数,并针对某型雷达信号体制进行了仿真分析和验证,结果表明优化方法增强了MTD在杂波背景下的检测性能.     

对公共领域结构转型批判的批判

哈贝马斯的《公共领域结构转型》自刊出至今引起广泛争议,包括欧洲的社会历史学家和非欧洲的社会历史学家都参与到讨论之中,安德列斯.盖斯特里希在总结各种争端的基础上,从五个方面对哈贝马斯的理论展开批判,并以卢曼的社会分化理论作为替代方案整合各种哈贝马斯理论中存在的困难,但是在解释公共领域时也存在深刻的问题,因此运在通信技术批判理论的框架对安德列斯.盖斯特里希的观点加以批判和建构是必要的。     

基于LMS2UKF的主/被动雷达融合算法

在主/被动雷达双传感器目标跟踪背景下,针对IMM算法的计算量大,提出一种基于变结构多模型思想的LMS2UKF分布式融合算法。该算法将LMS算法和UKF滤波算法结合进行矩阵加权融合。与IMM2UKF算法进行仿真比较,结果表明在相同情况下,本算法有较好的稳定性和较好的定位精度。