模糊包含关系

本文定义了集合的模糊包含关系，利用测度给出了模糊包含关系的隶属函数的一些生成方法，并在模糊集向量空间上研究了这些问题，得出了一些有意义的结果     

影响齿轮传动平稳性检验组的选择

本文分析了影响传动平稳性指标的误差来源,针对不同加工方法,探讨利用简便量具采用检验组的方案。     

东北小鲵血细胞形态观察及血液检验分析

本文研究了东北小鲵的血细胞形态学特征及血液检验分析,并与大蟾蜍、蛇进行了比较.结果,东北小鲵的血细胞形态、数量均与大蟾蜍及蛇有较大差异,而血红蛋白含量和凝血时则无显著性差异.     

一种用于判断矩阵排序的扩展最小二乘方法

对判断矩阵排序提出一种新的扩展最小二乘方法（ＥＬＳＭ），并从理论上给出相应的收敛性迭代算法和一致性检验方法．与最小二乘排序方法ＬＳＭ相比较，新的排序方法ＥＬＳＭ保序性好，排序结果准确；与特征向量排序方法ＥＭ相比较，ＥＬＳＭ排序方法虽然算法复杂些，但概念更清楚，涵义更明确，更为突出的优点是可以推广应用于群组判断矩阵排序．最后通过仿真实例说明ＥＬＳＭ排序方法的优越性     

血沉,血粘微机检验接口卡的研制

介绍一种基于微机ＰＣ总线而设计的多通道血沉、血粘微机检验接口卡，并在ＷＩＮＤＯＷＳ操作系统上用面向对象编程的工程控集成软件ＧＥＮＩＥ编程测试。     

关于强增生型变分包含问题解的Mann型迭代法

研究P-一致光滑的实Banach空间（1〈P≤2）中一类强增生型变分包含问题解的Mann型迭代逼近问题．在仅假设强增生映象的连续性下，利用徐宗本教授等人（1991年）给出的对偶映象L的HSlder连续性，证明了具误差的Mann迭代法强收敛到这类变分包含的唯一解．     

A QUANTIFIER-ELIMINATION BASED HEURISTIC FOR AUTOMATICALLY GENERATING INDUCTIVE ASSERTIONS FOR PROGRAMS

A method using quantifier-elimination is proposed for automatically generating programinvariants/inductive assertions.Given a program,inductive assertions,hypothesized as parameterizedformulas in a theory,are associated with program locations.Parameters in inductive assertions arediscovered by generating constraints on parameters by ensuring that an inductive assertion is indeedpreserved by all execution paths leading to the associated location of the program.The method can beused to discover loop invariants-properties of variables that remain invariant at the entry of a loop.Theparameterized formula can be successively refined by considering execution paths one by one;heuristicscan be developed for determining the order in which the paths are considered.Initialization of programvariables as well as the precondition and postcondition,if available,can also be used to further refinethe hypothesized invariant.The method does not depend on the availability of the precondition andpostcondition of a program.Constraints on parameters generated in this way are solved for possiblevalues of parameters.If no solution is possible,this means that an invariant of the hypothesizedform is not likely to exist for the loop under the assumptions/approximations made to generate theassociated verification condition.Otherwise,if the parametric constraints are solvable,then undercertain conditions on methods for generating these constraints,the strongest possible invariant of thehypothesized form can be generated from most general solutions of the parametric constraints.Theapproach is illustrated using the logical languages of conjunction of polynomial equations as well asPresburger arithmetic for expressing assertions.     

一类广义集值φ-强增生型变分包含问题解的存在性与迭代逼近

研究Banach空间中一类广义集值φ-强增生型变分包含问题，在实的q-一致光滑Banach空间中，证明了这类变分包含问题解的存在唯一性及其Mann迭代程序的收敛性，所得结果推广了最近文献的一些结果．     

极大η-单调映象的广义隐拟变分包含

作者引入了Hilbert空间中一类关于极大η-单调映象的广义隐拟变分包含,并利用预解算子技术建立了这类变分包含解的迭代算法逼近,证明了其解的存在性以及由算法生成的迭代序列的收敛性.     

用实践检验人才

求才若渴,是每个企业的心声。但现实却往往不尽如人意,外聘名星, 成本高、风险更高;自我培养,时间长、不能马上见效。解决这些矛盾,需要回到问题的本源,企业选用人才,是为了实现价值,而唯有实践才能检验人才能不能创造价值,因而实践是检验人才的唯一标准。