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

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

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

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

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

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

注蒸气采油掺稀油生产工艺的进一步研究

胜利单家寺油田在蒸气吴吐生产后期采用泵下掺稀油生产稠油工艺已取得显著的社会效益和经济效益。本文对该工艺的现场试验与实施效果作了分析，并通过对现场生产数据的回归分析，绘制出确定掺油时机的实用图版。利用该图版可进一步改善生产效果。分析认为，蒸气驱采油井生产初期也 用泵下掺稀油的生产方式来维持正常生产，但应确定停止掺稀油的时机，并论述了其原则和方法。     

在UBBE框架下考虑不肯定的上界的估计方法

对目前的ＵＢＢＥ模型进行了适当的推广，使在解决估计问题时可以考虑那些可能是误差上界的数值，并在此基础上提出了一种方法，能够通过对估计精度和可靠性进行合理的权衡确定所需估计值，实际案例研究结果表明所提方法能够较好地解决估计精度和可靠性之间的矛盾。     

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

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

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

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

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

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

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

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