股市价格指数成交量的单位根及因果关系检验

对上海证券指数收市价及成交量作了ADF检验，发现指数收市价存在有单位根，价格服从随机行走模型，成交量趋势平稳，市场是有效的．用葛兰杰(Granger)因果关系检验发现指数收市价增量与成交量增量互为因果关系，没有谁变化在先谁变化在后的问题。     

农药残留函数模型的显著性检验

给出了文献[1]中农药残留函数模型的检验方法，从而完善了文献[1]的方法     

太阳能红外中草药干燥工艺优化研究

用太阳能红外综合干燥装置和自动测试仪器，对秦艽（Ｇｅｎｔｉａｎａ ｍａｃｒａｐｈｙｌｌａ）、黄芩（Ｓｃｕｔｅｌｌａｒｉａ ｂａｉｃａｌｅｎｓｉｓ）、丹参（Ｓａｌｖｉａ ｍｉｌｉｏｒｒｈｉｚａ）进行干燥特性试验，并进行温度、相对湿度、物料脱水量的动态连续测量。结果表明，较合理的工艺是在干燥初期将空气流体相对湿度控制在５０－６０％，匀速干燥阶段控制在４０％－４５％，降速干燥阶段迅速将室内空气温度降至与     

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

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

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

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

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

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

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

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

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.     

用实践检验人才

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

故障条件下的联邦滤波鲁棒信息分配方法研究

研究了某个子系统发生传感器故障时,信息分配对无故障子系统的鲁棒性影响问题。基于提高无故障子系统的抗故障污染能力考虑,从使故障影响极小化出发提出了一种鲁棒信息分配思想。对于仅由双子滤波器组成的联邦滤波结构,给出了一种基于故障检测函数的自适应信息分配方法。从概率的角度,根据这种方法可使其他无故障子滤波器具有较强的抗干扰能力。对于具有主滤波器的联邦滤波结构,给出了一种给定故障衰减系数条件下的鲁棒信息分配系数设计方法。理论分析表明,该方法可使其他无故障子滤波器对故障具有很强的抗干扰能力,从而有利于提高联邦滤波器的快速重构能力。仿真说明本文思想是可行的。