Foxpro2．5网络环境下文件与记录的加／解锁技术

本文介绍了Ｆｏｘｐｒｏ２．５网络环境下文件与记录的加／解锁技术，供网络数据库编程人员参考．     

工程控制测量内外业记录计算及数据处理的电算程序研制

在进行各类工程控制测量外业、内业（各等级水平角、光电测距及垂直角观测的记录、计算及平距、高差计算）时，用传统手工记录、计算方法，既计算速度慢，易出差错、又要进行大量检查校核。本文提出的用ＢＡＳＩＣ语言在（袖珍）电子计算机上研制的程序，能携带方便地进行内业、外业记录、计算及数据处理，进而代替传统手工记录、计算，既能准确、高效地完成各级控制测量外业各测站的全部记录、计算的数据处理，又能选择任一需要部分进行记录、计算。其高效率、多功能的优点，广泛适用于各类工程勘测，矿山地面及井下测量。图１，表４，参８。     

一种豚鼠心室肌单细胞膜片钳标本制备方法

首次报道一种改良豚鼠心室肌单细胞标本制备方法．运用此方法能获取２０％～６０％的具钙耐受性的心室肌细胞．全细胞记录显示其静息电位和动作电位时程分别为（－６９．７±３．２）ｍＶ（ｎ＝７０）和（５１５±１１６）ｍｓ（ｎ＝２５），同时能检测到多种电压敏感型离子通道电流．以上结果与国外同类报道一致     

用直角坐标系原理设计数据库数据编辑程序

本文阐述了数据编辑程序的功能、结构和设计原理.该程序是在一个屏幕上同时对多条记录进行编辑,并通过移动窗口,实现对整个数据库的操作.其设计原理是将关系型数据库看成一个直角坐标系的二维空间,以左上角为原点,用X和Y方向上的变量控制窗口的移动,因而使屏幕画面动而不乱、变而有序.     

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

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

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

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

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

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

孤啡肽对大鼠背根神经节神经元膜的作用

应用细胞内微电极记录技术,观察了孤啡肽(orphanin OF,OFQ)对2~3周龄大鼠背根神经节(dorsal root gan-glion,DRG)神经元的作用及OFQ受体的特异性阻断剂Nphe对OFQ引起的DRG神经元膜反应的影响。受检的271个细胞,静息膜电位-45.00±7.63mV,当加3×10-7~3×10-10mol/L OFQ时可观察到如下三种膜电位变化:1)超极化;2)去极化;3)双相反应。实验中还可观察到膜电位无反应的现象,其未列入受检细胞个数中。用Nphe(3×10-7~3×10-9mol/L)灌流DRG标本,能分别阻断OFQ引起的膜的3种反应,表明了DRG神经元膜上有OFQ受体的存在,并且OFQ引起DRG神经元膜电位多样性变化。     

基于高阶累积量的线性化子波提取方法研究

在地震子波非因果、混合相位的假设下,分别应用滑动平均(MA)和自回归滑动平均(ARMA)模型对地震记录建模,并采用基于高阶累积量的线性方程法对子波提取和模型适应性进行了研究.数值仿真结果表明,ARMA模型比MA模型在描述地震记录时具有参数节俭、模型更为高效的特点;基于高阶累积量的线性方程法对加性高斯色噪声有较好的压制效果,却强烈依赖于累积量样本估计的准确性.如果累积量样本估计的误差和方差适度,结合AR-MA模型描述的累积量线性方程法适用于非因果、混合相位的子波提取,其有效性通过实际地震数据的处理得到了验证.     

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.