一种面向测试的RTL行为抽象与蕴含方法

针对寄存器传输级（register transfer level,RTL)行为的抽象，提出了一种层次化的带条件的表示，这种抽象的行为是面向测试的，它不仅表达简单，而且能很方便地进行蕴含操作，通过抽象，电路可以规范为行为集，并代替电路本身进行功能测试向量的生成，在测试生成过程中，大量地应用蕴含操作何以使其中的行为得到简化，并极大地提高了系统的效率。     

基于灰色系统与神经网络的航材消耗广义加权函数平均组合预测模型研究

建立了航材消耗的灰色系统预测模型与神经网络预测模型，同时给出了一种新的具有广泛代表性的组合预测模型－－广义加权函数平均组合预测模型及其加权系数的参数估计方法，并利用此方法建立了基于灰色系统与神经网络的航材消耗广义加权函数平均组合预测模型，最后以实例说明了其预测效果。     

向量变分不等式解的存在性

利用广义向量平衡问题解的存在性结论，给出了向量变分不等式解的存在性定理。     

不变拟凸性与多目标规划的一个问题

定义了Ⅰ类不变拟凸、Ⅰ类严格不变拟凸、KT－Ⅰ类严格不变拟凸的向量值函数，并在目标规划中，获得了每个驻点（或KT－T点）是有效点的等价条件。     

应用统计预测理论研究吉林省海外游客消费结构

在旅游经济学研究与实践中应用统计预测理论,以定量的研究方法代替以往定性的方法,以吉林省入境旅游流为切入点,综合运用主成份分析及回归分析等数理统计分析方法,结合大量的市场调研收集到的相关数据资料,研究了吉林省海外游客消费结构问题.     

一类信号所确定的预测误差滤波器的零点分布

对R.Kumaresan提出的由M个指数衰减(或不衰减)的正弦信号的和组成的信号进行了推广,讨论了由这类推广了的信号所确定的预测误差滤波器多项式的零点分布。信号零点完全由信号所确定。不论信号零点如何分布,只要预测误差滤波器多项式的系数满足某些条件,则其额外零点在单位圆的外部呈均匀状分布。     

无界报酬向量值折扣马氏决策规划—最优平稳策略及算法

本文主要讨论了无界报酬向量模型的平稳策略问题，给出了改进平稳策略的方法，建立起向量模型的最优方程，获得平稳策略为强最优策略的充要条件．指出最优平稳策略的期望报酬函数必为极大不动点，最后提出一种寻求最优平稳策略的策略迭代算法．     

发展听的预料和猜测

本文结合大学英语听力测试题型、重点、难点 ,分析、探讨了影响听力预测的诸方面因素 :语音识别技能、词汇、语法关系、语境、文化背景知识、语篇类型以及如何在教学中发展听的预料和猜测。     

钟群鹏我国失效分析预测预防分支学科的主要开拓者之一

钟群鹏，男，汉族，1934年10月28日生，浙江上虞市人，1957年北京航空学院研究生毕业并留校任教至今，1999年11月当选中国工程院院士；现任北京航空航天大学校学术委员会主任、材料科学与工程系教授、博士生导师，是我国失效分析预测预防分支学科的主要开拓者之一；先后荣获包括国家科技进步奖在内的科技奖10余项，出版专著、教材20余部，发表论文140余篇。