基于改进熵权物元模型的作战方案评估

针对作战方案优选和量化评估不理想的问题,提出了一种基于改进熵权物元模型的作战方案评估方法.通过系统论证作战方案评估指标体系和评分方法,构造基于经典物元模型的作战方案评估框架,集成初等关联函数和熵权法,建立作战方案的物元评估模型;采用反熵权和欧几里得(Euclidean)距离改进指标权值计算和距离计算,形成4种组合量化评...     

面向 MPP Fortran 的程序自动并行化初探

ＭＰＰＦｏｒｔｒａｎ是由Ｃｒａｙ公司推出的一种较有代表性的数据并行语言,本文首先介绍了ＭＰＰＦｏｒｔｒａｎ的主要特点,然后,以该语言为例,对面向ＭＰＰ系统程序自动并行化的主要内容进行了初步的探讨。     

巨型机中软硬结合的函数计算方案

本文分别讨论了巨型机中计算ｙ／ｘ、ｙ／、ａｘ、ｌｏｇａｘ、ｘｙ等函数的算法设计及其误差分析。     

面向验证的启发技术设计

采用有效的人工智能技术提高验证效率正成为解决验证复杂性的手段之一。本文针对STG（State Transition Graph）中状态枚举数据量大的问题,提出隐含遍历的状态映射策略。并根据状态存储和电路结构特征,重点研究了HASH表状态冲突处理、函数域限定、函数不相交分解和混合搜索等启发技术策略。     

基于神经网络的特征结构提取

本文在详细讨论特征结构提取问题的能量函数表示的基础上,通过对该能量函数表示的适当变换和整理,高阶关联非线性连续时间神经网络被引入到特征结构的提取问题中。这种方法直观、明了,它将所要提取的特征结构与网络稳定时的输出直接对应起来,可对特征结构进行自适应跟踪、估计,这为特征结构的提取提出了一个新的方法。     

广义原函数与广义不定积分

本文利用积分限函数定义了可积函数的广义原函数与广义不定积分,并给出了用广义原函数计算可积函数定积分的公式.     

窗函数对谱分析精度的影响

FFT是古典和现代谱分析的基础,采用不同的窗函数,FFT变换的结果有明显的差异,用图解的方式,比较了矩形窗与汉宁窗对谱分析精度的影响。