高性能的标准单元库设计

从仿真和流片两个方面对标准单元库的验证方法进行了研究.在仿真方面,提出了采用静态时序分析工具和SPICE仿真工具对单元的估算值和仿真结果进行比较分析的方法来验证,同时还给出了具体的操作步骤实例.在流片验证中,提出了一种非常有效的电路结构.这种电路结构不但能够准确验证时序,还能极大地减少PAD数量;最重要的特点是:该电路能够完全避免PAD和非被测单元的引入带来的额外延迟,从而得到准确的被测单元延迟.     

基于知网的汉语语义实例库的建设与应用

为了解决有指导词义消歧任务中的知识源问题,提出并构建了一个基于知网的汉语词义实例库(CSIC),同时开发了一个语义标注平台(SenseTag)。该平台通过方便快捷的人机交互方式显著提高了实例库的建设效率和质量。利用条件随机场模型,从实例库中自动学习消歧知识,进行自动标准在随机选取的部分汉语高频多义词的词义消歧开放测试中,取得了平均正确率85%的较好效果。     

一种新的基于可解释性置信规则库的飞轮健康状态评估模型

飞轮系统的稳定运行对于航天器在轨安全影响重大，因而对飞轮系统进行健康状态评估至关重要。在进行飞轮系统健康状态评估建模时，不仅要求模型能够处理各种不确定性以保障评估结果的准确性，同时要求其具有透明合理的评估过程与可解释、可追溯的评估结果。因此，在深入研究置信规则库（BRB）建模方法的基础上，构建了一种新的基于可解释性建模的置信规则库（BRB-e）飞轮系统健康状态评估模型。首先，结合飞轮系统特征对模型的可解释性建模准则进行定义；在此基础上，设计了BRB-e评估模型的推理过程；然后，基于鲸鱼优化算法（WOA），提出了一种具有可解释性约束的BRBBRB-ee模型参数优化方法；最后，通过对某飞轮系统中轴承组件的评估案例研究，验证了模型在飞轮系统健康状态评估中的有效性。对比研究表明，BRBBRB-ee模型在评估结果准确性和评估过程可解释性方面具有一定的优势。     

一种微内核分区操作系统C库的适配验证方法

针对传统C库的开发和适配方法存在的局限性问题,提出一种基于微内核架构的嵌入式分区操作系统新C库的适配验证方法,依次对基于微内核架构的嵌入式分区操作系统之上C库的总体部署方案、初始化过程、典型功能模块的适配开发方法进行了详细阐述;搭建相应的硬件测试环境,在恩智浦公司的四种硬件平台上对开发和适配的C库进行了相应的功能测试和验证,提出了三个创新点.     

8mm Dicke辐射计波形仿真研究

采用System view软件对从输入到天线的噪声信号到A/D采样之前的各个模块和辐射计线性度进行了波形的仿真研究,仿真结果和实际相符合,对辐射计的硬件实现提供了很好的指导作用。     

软件配置管理典型问题的研究与思考

概述软件配置管理过程是软件能力成熟度模型集成(CMMI)的重要活动,围绕软件配置管理开发库的工作,分析软件配置管理过程中常见的突出问题,并提出解决方法与构想。     

浅谈在沿海一线机场修建地面单机掩蔽库的几点做法

本文结合工程建设的实践，总结了沿海一线机场修建地面单机掩蔽库在总体布局、主体结构、防护门、库内地勒保障和机库伪装等方面的几点做法。     

CATIA软件Tubing Design模块应用研究

本文系统研究了CATIA软件Tubing Design模块,建立了直升机基于特征的零部件库的建库方法及组织架构,确定了直升机管路系统设计、协同设计的一般原则.针对工程实际,提出了管路设计过程中零部件装配不必严格采用摆放规则的原则以及软管建模的新方法.     

JTIDS系统物理层的研究与实现

文章对联合战术信息分发系统(JointTactical Information Distribution System,缩写JTIDS)的物理层和数据链路层进行了研究;首先介绍了该系统的信号结构及其基本工作方式,然后根据已有的硬件平台设计出该系统下层的硬件实现方案,利用波形存储技术简化了系统的实现过程,并对该系统发送和接收处理的实现过程进行了仿真。     

提高长线传输数字波形质量的技术措施

从两方面论述数字编码波形在长线上传输的影响因素及其改善措施。通过分析并经实验表明，长线的分布电容影响通常居诸因素之首位。改进长线驱动电路，在一定程度上，可改善其传输波形之质量。另外，可利用长线传输波形的同时，还传输供总线接口电路需要的电源能量，满足总线浮空隔离的要求，有效地抑制了共模干扰。此项技术适用于远距多路串行总线的数据采集系统。