简介：本文回顾了模拟和数字集成电路设计EDA工具的发展历程,详细地分析了数字电路设计流程,指出在当前深亚微米集成电路设计中存在的问题及EDA工具发展动向.

简介：实体链接是实现军事情报语义理解的关键技术，有助于机器从实体维度自动建立信息之间的关联，为指挥员提供更高效精准的信息服务。提出了一种基于随机游走的实体链接方法。首先，利用实体的描述信息计算得到实体间相似度；然后，基于各实体间的语义关联，生成待链接实体间的关联图，将实体链接问题建模成关联图上的随机游走过程；最后，通过试验表明，该方法与单纯使用相似度函数计算方法相比能有效提升链接效果，修复实体相似度计算的误差，生成更正确的实体链接。

简介：本文论述影响超声清洗设备清洗溶剂的挥发浓的因素，并提出降低清洗溶剂的挥发浓度一些方法。

简介：

简介：随着软件产品在社会生活中的广泛应用,软件产品的可靠性和用户的需求也在逐步提高。软件测试一般分为白盒测试和黑盒测试两种,而路径测试方法是白盒测试中最常用的方法。主要介绍了DD路-径和基本路径两种路径测试方法,并针对它们的测试用例的不同设计方法,分析了软件测试中的结构化测试方法在测试用例生成中的作用。

简介：利用计算机模拟或者雷达实际试验飞行时,都会遇到应该试验多少个点的问题.在计算雷达试飞采样点数时,将采样点数的计算从发现概率的统计可信度转换到探测距离的统计可信度,计算出在置信度90％下,置信区间、发现概率和采样点数之间的关系.在此基础上,依据相关国军标中距离采样间隔的计算公式,探讨了机载预警雷达工作在不同模式下距离采样间隔该如何选取,并给出了相关的仿真实验结果.该研究对今后雷达取样有指导作用.

简介：针对面向服务的应用系统开发缺乏统一服务模型与成熟开发方法的问题,对服务的模型与开发方法展开了研究。分析了服务与构件的相似性,提出了服务构件的概念和形式化模型,并对服务的基本结构、交互方式进行了统一、抽象和描述。在此基础上,提出了一种支持服务资产广泛复用的面向服务构件开发方法,并分析了该方法求解群体问题的效率。

简介：本文建立了光纤数据总线的模型，提出了一种光纤数据总线性能分析的方法，在模型中分别对信号模型、光纤模型和器件模型逐一进行了分析。

简介：论文介绍了在真实能谱衰减环境中,提出一套对核素进行识别学习算法的流程。采用SVD特征抽取对能谱数据降维,提取到能谱特征向量,在形成的特征向量数据集上,训练决策树分类器,进而通过AdaBoost集成学习算法对多轮的决策树算法的训练结果进行融合,使用K轮类别投票法结合策略,构建一个结果更为接近标签值的假设函数算法模型,解决了探测器检测的能量信息具有局部特征、存在重叠峰值导致核素判别出现错失误判的问题,提高核素识别率。

简介：作战能力的形成一般经过物理域、信息域、认知域和社会域，最后反映在对敌作战。文中提出一种对作战能力形成过程进行建模的框架，主要包括确定作战过程中的关键节点、分析影响关键节点间因果关系的外在因素、度量关键节点与影响因素以及形成能力传递函数4个步骤。文中的研究可以加深对C4ISR系统支持作战能力形成的理解，有利于C4ISR系统的评估研究。

简介：船舶自动识别系统（AIS）数据具有海量性、时空性和小记录频繁更新等特性。面向海量AIS数据,提出了一种基于分布式集群的AIS数据存储方法。该方法对AIS数据存储索引结构进行了设计,通过对时间维按月切分,以及对空间范围聚类切分,构造了索引时空立方体,从而提升了时空查询效率。讨论了索引分片和副本设计与数据安全性和系统服务可靠性的关系,分析了时空立方体性能,并针对索引分片与副本数对索引性能的影响,进行了理论分析和试验验证。

简介：为了对大规模军事知识资源分类管理,提出了一种基于知识地图的文本分类(KMTC)方法。将知识地图划分成层次社区结构,构建了知识地图的社区结构树,社区结构树的节点具有主题聚集属性,可作为文本按主题分类的依据;基于知识单元进行文本特征向量提取,并引入复杂网络的度中心度概念,计算文本对应的特征向量值。与传统文本分类方法相比,将收集整理的军事领域文本作为训练文本集合进行试验验证,提高了文本分类准确性。

简介：能源测试的误差主要来源于装置误差、环境误差、人员误差、方法误差四个方面,能源测试涉及设备广,测试项目种类多,具体测试中会遇到各式各样的问题,本文就误差理论学习和能源测试实践,对一些常见问题做简要阐述。

简介：管制指令语义理解对场面冲突判断至关重要,为了避免因管制员失误导致的场面冲突问题,需采用自动语音识别和自然语言处理技术在第一时间提取管制指令并进行理解。以无线电陆空通话规则及其基本语法理论为基础,设计了一种管制指令结构化模板。为了更细致地理解管制指令中动词与其他词之间的关系,基于格语法理论构建了管制指令语义网,并建立了动词-论元-关系三元组。该模板可用于解析实际管制指令,从而实现计算机自动理解管制指令功能。为了将管制语音转化为结构化管制指令,采用了自动语音识别和自然语言处理技术。试验结果表明,该模板可用于计算机对管制指令的自动理解。

简介：国内商业银行IT审计势在必行90年代末期至今,国内商业银行一直在持续的进行信息系统建设,90%以上的商业银行都已经应用信息系统来实现对客户的服务.根据相关统计数据,针对国内商业银行,硬件网络平台已经实现了100%的应用;软件应用已经覆盖了80%以上的商业银行业务;部分商业银行在管理信息化方面也陆续的完成信贷管理、财务管理等管理信息系统的建设.随着商业银行信息化建设的进一步完善,商业银行对IT系统的依赖也越来越强.

简介：摘要随着我国经济发展速度越来越快，电力资源作为人们生活中必不可少的内容，其需求量也逐渐增加，这样的社会背景下，供电企业的整体发展处于一个十分良好的时期。但通过对目前我国的供电企业发展现状来看，在电力营销环节的管理工作还存在一定的不足，有些问题的影响范围比较广，对于供电企业的发展带来一定的负面影响。本文主要对供电企业的电力营销管理方法进行分析，提出合理化的解决措施。

简介：文章介绍了SerialEEPROM的测试原理,提出了一种基于NiosⅡ软核CPU测试SerialEEPROM的方法,该方法具有稳定性高、所需器件少、可编程、低成本等优点.在SerialEEPROM的大量测试中可以代替昂贵的测试系统,是一种性价比较高的替代测试方案.

简介：针对战术环境中由终端设备和网络带宽等条件限制导致的信息共享不精确问题,提出了面向战术信息环境的实时共享方法,包括基于多分辨率网格和基于位置的服务（LBS）信息推送以及面向任务的战术信息实时推荐2种方法。该方法依据候选推荐信息与用户位置间的实际距离筛选出用户关注区域内推荐信息,根据推荐目标信息与任务相关度进行过滤,得到最终推荐结果。最后,通过战术信息服务应用试验验证了该方法的有效性和可行性。

简介：蜕变测试可解决测试Oracle问题，但不是所有的蜕变关系都能有效地发现软件缺陷。提出了一种基于复合函数的蜕变关系构造方法，通过该方法构造的蜕变关系，集合了复合蜕变关系的所有特点，具有较高测试效率。试验验证表明该方法有效。

简介：对锅炉的热效率进行分析,指出了层燃锅炉运行中的燃烧不合理现象,对节能而言,这是一个值得引起重视的问题。