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

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

北京市旅游产业发展战略研究

用灰色系统关联分析方法 ,测算了北京市旅游产业及三个主要旅游行业经济要素对收益的关联序 ,找出了各行业发展的关键因素和优势因素 ,进而以此为依据提出了旅游产业投资的方向和重点 .     

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

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

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

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

加热炉推钢机系统的振动分析

根据加热炉推钢机的工作原理和特点，对推钢机推力进行校核计算并分析了其影响因素，阐述了加热炉推钢机系统的振动问题，指出了生产振动的原因，提出了改进措施，对现场解决加热炉推钢机系统的振动问题具有一定的指导意义．     

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

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

In:Fe:LiNbO3晶体及其全息关联存储性能研究

在LiNbO 3 晶体中同时掺入质量分数w为0.03%的Fe 2 O 3 和摩尔分数x(In 2 O3 )为0.5%,1%和1.5%,分别生长成In(x=1%)FeLiNbO 3 ,In(x=2%)FeLiNbO 3 和In(x=3%)FeLiNbO 3 晶体.测试晶体的红外光谱;测试晶体的位相共轭反射率,并以In(x=3%)FeLiNbO 3 晶体作为存储元件,以In(x=1%)FeLiNbO 3 晶体位相共轭镜作为阈值反馈系统,实现了全息关联存储.     

多指标综合评价方法的分析与研究

评价是社会各领域的一项经常性的重要工作,本文总结了目前常用的各种综合评价方法,讨论了这些方法的基本原理、优缺点及适用领域,为正确合理选择评价方法提供参考.