似稳场中的位移电流

本文对似稳条件下位移电流的磁效应作了较深入的讨论，得出在似稳场中全部位移电流对磁场的贡献为零的结论，并应用此结论估算了平行板电容器的边缘效应。     

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

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

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

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

基于树形结构酉空时星座设计的译码方法

针对酉空时码最大似然检测复杂度高的问题，提出了一种酉空时星座的设计及低复杂度译码方法．根据酉空时信号失真测度的定义，依照最邻近原则对星座进行划分，以最小失真准则计算各个星座子集中信号的最佳中心，再通过迭代算法，交替使用两个局部最佳准则，生成由各个信号子集与对应中心所构成的若干子树，形成树形结构的酉空时星座．接收方以接收信号为树根，选择具有最小失真的中心信号．对选定的中心信号对应的子树进行遍历搜索得到对发送信号的估值．该译码方法仅需要对某一中心信号及其对应子树的叶子节点进行计算，避免了最大似然方法对整个星座的全搜索，从而有效地降低了译码复杂度．仿真实验表明，相对于最大似然检测方法，该方法能够以有限的性能损失换取译码计算的有效简化．     

定时截尾缺失数据下指数分布的参数AMLE

试验数据缺失是产品寿命试验中经常遇到的情况,处理起来比较复杂.当寿命分布为指数分布时,给出寻求定时截尾寿命试验数据缺失场合下,样本分布参数的近似极大似然估计.通过大量的Monte-Carlo数值模拟试验,证实所给方法的可行性.     

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.     

用实践检验人才

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

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

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

铝-铬天青S-Triton X-100光度法测定蛋白质

在pH 3 0～ 4 3的酸性介质中 ,铝 铬天青S TritonX 10 0配合物与蛋白质迅速反应生成多元配合物 ,从而引起吸收光谱的改变 ,在 2 2 0nm和 6 36nm附近吸光度增大 ,且吸光度差ΔA(=A0 -A)值与蛋白质的浓度成正比 .不同蛋白质在 0～ 5 0mg/L和 10～ 80mg/L范围内遵循比尔定律 ,各反应的摩尔吸光系数分别在 4 2 3× 10 5～ 2 0 1× 10 6(2 2 0nm附近 )和 2 6 4× 10 5～ 1 6 4× 10 6(6 36nm附近 )之间 .基于此 ,建立了一种测定蛋白质的新光度法 .该法简便、快速、选择性好 ,用于人血清和尿液样品中蛋白质总量的测定 ,结果满意     

石河子市流通环节动物检疫的探讨

“国以民为本，民以食为天”，肉品的安全关系到国际民生，亦关系到每个人的身体健康和国家的稳定发展，保障“放心肉”的上市和流通销售是我所每个员工责无旁贷的职责。我们的目的是要通过对动物、动物产品的检查和处理，达到防止动物传染病传播扩散，保护畜牧业生产和人民的身体健康。而把好流通环节的检疫是我们动检工作的重中之重。根据石河子的现状为把好动检关探讨如下：