关于高维系统中Poincαre—Bendixson定理的反例

本文给出了在n(n≥4)维系统中,Poincare-Bendixson定理不成立的多项式系统的反例。     

基于软件内建自测试的模板和基准程序设计

论述了软件内建自测试项目中“模板”模块的设计方法，利用硬件测试中所使用的基准电路的思想，研究并开发了一种基准程序，使用这种基准程序，可以较为方便地对所生成的测试用例进行测试，最后给出了一个基准程序实例。     

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

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

网的收敛与分离公理

用Ｍｏｏｒｅ－Ｓｍｉｔｈ收敛给出了一个拓扑空间分别是Ｔ０，Ｔ１，正则，正规空间的充要条件．     

积木式教学黑白电视机的设计

为方便教学,将电视机按功能分成9个部分,每个部分的元件安装在一块独立的电路板上,并用金属匣子封装成为一个电路模块,各模块通过接插件组合起来,就是一台完整的电视机。可对单个模块进行实验与检修操作。     

IS γα≤δ FOR GRAPHS WHICH HAVE DIAMETER TWO?

A subset of S of the vertex set of a graph G is called acyclic if the subgraph it induces in G contains no cycles. S is called an acyclic dominating set of G if it. is both acyclic and dominating. The minimum cardinality of an acyclic dominating set, denoted by 7a(G), is called the acyclic domination number of G. S. M. Hedetniemi et al. on 2000 introduced the concept of acyclic domination and posed the following open problem: Is -ya(G) < <5(G) for any graph whose diameter is two? In this paper, we give a counterexample which disproves the problem.     

吊舱式推进装置水动力性能试验研究

对吊舱式推进装置进行了多方案的模型试验研究，考察了串列式吊舱推进装置前后桨的负荷匹配及初始相位角的影响。空泡水筒敞水试验结果表明，无论双桨串列式或单桨拖、推式吊舱推进装置，由于吊舱影响使螺旋桨效率均比常规桨有所提高；但若计及吊舱阻力则吊舱推进装置的系统效率有所下降。可以预见，吊舱式推进装置因其众多的优越性而具有广阔的发展前景。     

牛奶的微生物学检验

为提高牛奶的食用价值，以选择最佳的灭菌方法，最佳的贮存温度及有效存放时间，对临汾地区奶牛场的牛奶进行了生物学检验，从而得出了牛奶的最佳灭菌方法为巴斯消毒法；牛奶的最佳贮存温度为O℃；有限的存放时间为O℃贮存大约7d，室温(22℃)贮存12h。32℃贮存6h。     

知识论域、知识拓扑与集合邻域

定义了知识论域和知识拓扑，组建了4种拓扑空间，分析了它们的联系．从拓扑算子与近似算子的复合、近似邻域、拓扑不变性质3个方面研究了各个拓扑空间的性质，提出了集合邻域的概念，研究了它与点邻域的深刻联系和对一般拓扑空间的作用，并以它为手段研究了新组建的拓扑空间．     

网络考试系统的安全设计

从对数据库系统的安全分析入手，结合网络考试系统的实际，从硬件系统、数据库系统、网络操作系统和网络应用程序几个方面，提出了解决网络考试系统安全性的方法。