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

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

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

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

施工项目质量问题分析处理程序

施工项目由于具有产品固定,生产流动,产品多样,结构类型不一,露天作业多,自然条件多变。材料品种,规格不同,材质各异,交叉施工,现场配合复杂,工艺要求不同,技术标准不一等特点。因此,对质量影响的因素很多,在施工过程中稍有疏忽,易引起产生质量问题或严重的工程质量事故。为此,     

高校科技创新推进我国数字电视技术发展

随着“十五”、国家“211工程”以及“教育振兴行动计划”的实施,我国高等教育事业有了巨大的发展,高校已经毋庸置疑地成为知识创新、科学研究和各类高层次人才培养的重要基地,高校已经成为我国科技创新的主力军之一,凭借高校学科交叉综合、人才基础雄厚、学术氛围宽松、国际合作交流活跃、信息灵通等优势,高校在国家创新体系中的战略地位日益凸现。高校科技创新对我国数字电视技术发展的巨大推动作用正说明了这一点。     

前交叉韧带运动损伤临床治疗的进展

前交叉韧带是膝关节最重要的稳定因素,对膝关节起着导向和限制作用.前交叉韧带断裂可以导致严重的关节不稳,从而严重影响运动功能;如未得到及时治疗,还会继发半月板、关节软骨损害和骨性关节炎等.近年来临床研究中发现,前交叉韧带断裂导致膝关节功能丧失,常常在一段时间内呈进行性加重的态势.因此,在治疗上需要从韧带的解剖、组织学和生物力学等各方面进行研究,完善前交叉韧带运动损伤的临床治疗.     

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.     

新课程改革与思想政治课教学

当代科学技术发展日新月异，特别是20世纪90年代以来，以信息技术革命为中心的新技术迅速发展。新技术的发展对社会、对个人的影响是极为深远的。人们获得的知识不再是终身性的，而且更因高新技术本身的综合性，要求人们必须掌握多学科知识和技能，特别是相邻学科交叉渗透的知识技能，才能适应时代变革的要求。为适应形势发展的要求，普通高校招生考试制度改革的“3＋X”模式应时而生。“3＋X”模式下，“X”代表“文科综合”或“理科综合”或“文理综合”，无论哪种形式下的综合试题，都具有下面两个基本特征。     

加入制度变量的货币需求函数协整分析

从目前中国货币需求现状出发，修正了1978年以来中国的货币需求函数及加入货币化进程这一制度变量，并运用协整分析对相关变量的年度数据（1978—2004）进行实证分析，得出以下结论：在长期内，实际M1余额、实际GDP、一年期定期存款利率和货币化进程指数间存在协整关系；实际M2余额、实际GDP、商品零售物价指数和货币化指数间存在协整关系。     

用实践检验人才

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

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

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