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

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

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

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

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

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

搭建融资平台加速经济发展--安徽金信科技担保公司创业纪实

安徽金信科技担保公司(以下简称担保公司)始立于2001年9月,属股份制企业,旨在借助担保机构的资本放大器和桥梁作用,撬动银行资金对中小企业、科技大户的投入.担保公司原始注册资本290万元,其中,安徽龙津集团出资80万元,舒城县科技局干部职工出资120万元,舒城县水泥构件厂、县供电服务公司、县房管局各出资30万元.至2004年6月,担保公司股本扩展至1420万元.2003年2月担保公司被国家经贸委批准为全国第三批中小企业担保体系试点担保公司,纳入国家中小企业担保体系,公司享受免征营业税、所得税3年的优惠政策支持.     

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

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

合肥亿元企业创新基金竞标

“能参加这次创新基金竞标演说，真的很激动。有政府的资金支持，我们做大做强企业的信心更足!”在8月26日至27日合肥市举办的“2006年度高新技术产业化有偿资金竞标会”上，合肥金星机电科技发展有限公司的负责人表露了他们的心声。据了解，在此次竞标会上，有20家中标企业将获得200万元600万元的创新资金支持。     

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

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

浅谈教育培训工作的五个“强化”和五个“创新”

煤炭企业安全教育培训的创新,可为煤矿安全生产提供源源不断的智力支持和人才保证,是煤矿筑牢基础、实现卓越发展的开始。笔者认为,实现教育培训健康发展要着重抓好五个“强化”,坚持五个“创新”。