基于OBDD时序电路设计的验证

依据有序二叉判定图（OBDD）和计算树逻辑（或称分支时态逻辑）CTL（Computational Tree Logic)的基本原理，分析了基于OBDD和CTL的验证数据电路设计的基本原理，并在此基础上，给出了时序电路等价验证的方法。     

统计模式识别的研究

模式识别的基本目标就是在有监督和无监督的情况下进行分类,在模式识别的各种模型中,基于统计的方法已经被广泛的研究并应用于实际.一些新的技术和方法的引入（神经网络和支持向量机方法）也促进了该领域发展,文章研究了基于统计的模式识别的进展情况,给出了模式识别的概念、原理、方法并对各种方法进行了相关的评述.     

面向对象数据库"联系_选择"查询操作的优化

综合考虑逻辑因素和选择谓词的选择率、谓词本身的复杂度等物理因素后，给出了“联系_选择”及其拓展“联系_选择_投影”两个重要的复合操作的优化算法，提高了查询的执行效率。     

树与色树

给出了色树的两种性质；（１）色树相关联的两个顶点对应的串是色分划的不同色组对应的串；（２）色树顶点的对应串所含链的上等。并应用构造方法证明了任意树都是以树，从而解决了遗留问题。     

Quantitative genetic models of sexual selection

Summary Quantitative genetic models of sexual selection have disporven some of the central tenets of both the handicap mechanism and the sexy son hypothesis. These results suggest that the good genes approach to sexual selection may generally lead to erroneous results.Runaway sexual selection seems possible under a wide variety of circumstances. Quantittive genetic models have revealed runaway processes for sexually selected attributes expressed in both sexes and for attributes of parental care. Furthermore, the runaway could occur simultaneously in a series of populations that straddle an environmental gradient. While the models support the feasibility of runaway processes, empirical studies are needed to evaluate whether runaways actually happen. Estimates of critical genetic parameters are particularly needed, as well as measures of natural and sexual selection acting on the same population.The models also show that sexual selection has tremendous potential to produce population differentiation, particularly in epigamic traits. Differentiation is promoted by indeterminancy of evolutionary outcome, transient differences among populations during the final slow approach to equilibrium, sampling drift among equilibrium populations, and the tendency of sexual selection to amplify geographic variation arising from spatial differences in natural selection. Recent work with two- and three-locus models of sexual selection has produced results that parallel the results of the polygenic models^36–38,58. Thus the feature of indeterminate equilibria (outcome dependent on initial conditions) is common to both types of model.     

棉纺厂管理信息系统的研制

本文根据开发CTU-JMS管理信息系统已取得的成功经验,介绍CTU—JMS管理信息系统的运行环境;总体规划中运用的两种设计策略——“由顶向下”分析法和“由下至上”分析法;MIS中建立大型基础数据库采用的主要技术;MIS决策管理层的形成以及生产经营决策子系统的技术特点。为推进我国的纺织企业管理信息系统的开发和实现现代化管理作了探索。     

面向对象的二叉树装配模型研究

文章研究可装配性设计中的产品装配建模,提出一种以装配体为对象并能充分反映装配过程特点的二叉树装配模型。应用面向对象技术,建立了相应的数据结构及应用框架,为可装配性评价奠定了基础,也可做为通用的产品装配模型应用于ＣＡＰＰ等领域。     

火力发电厂汽机房屋盖结构选型分析

本文对汽机房屋盖结构的两种受力体系进行了技术经济比较,阐述了空间网架在我国的应用情况,介绍了平板型网架应用在火力发电厂汽机房屋盖中的可行性及经济性。根据工业厂房建筑中的传力路线,分析了用于汽机房屋盖结构的平板型网架考虑吊车水平刹车力作用时的内力分布特点及其应用,提出了汽机房屋盖结构使用平板型网架的观点     

关于Hamilton图的一点注记

通过类似于对一可平面图求生成树个数的方法,得到一个关于Hamilton图的Hamilton圈的个数的等式。并讨论了一类特殊的平面图。     

应用模糊优先理论确立核心期刊

为利用图书馆与情报部门对图书资料的管理。提出了运用模糊优先比定律、结合各单位实际情况来确立图书馆与情报部门核心期刊的方法,并依照图书馆的科技期刊使用情况,对《中文核心期刊要要总览》中的部分自动化类、机械类的核心期刊进行了模糊优先排序,较好较好效果。