论会计责任与审计责任

介绍了会计责任与审计责任的含义,分析了会计责任与审计责任的相关性与差异性,探讨了会计责任与审计责任的划分与具体界定,指出了认识和区分会计责任与审计责任的现实意义。     

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.     

高师数学专业学生情感因素与数学成绩的相关性研究

通过对335名高师数学专业学生的测试,研究了情感因素与数学成绩的相关关系.结果表明(1)数学成绩与问卷中所涉及的6种情感因素存在显著相关.其中,数学成绩与数学价值及应用、数学动机、数学态度、数学兴趣和数学成功感呈显著正相关,与数学焦虑呈显著负相关;(2)数学兴趣和数学态度成为影响数学成绩的主要情感因素.     

用实践检验人才

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

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

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

酚类疏水性参数与有机性无机性比值的相关性研究

基于有机概念图，探索酚类化合物的有机性无机性比值OI与其正辛醇／水分配系数logKow之间的相关性，结果令人满意。     

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

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

改进的分子连接性和拓扑指数方法预测硫醚的气相色谱保留指数

在分子拓扑理论基础上，定义原子结构参数αi和βi，由αi建构连接性指数^mL，由βi建构拓扑指数B。研究硫醚在不同极性固定相上的气相色谱保留指数与结构的相关性，建立相应的定量模型，预测了硫醚在4种极性固定相上的气相色谱保留指数，各样本总体所建模型的相关系数均在0．97以上。对硫醚保留指数的计算结果表明，计算值与实验值较为吻合。该法还具有计算简单，物理意义明确等优点．     

DBL(1,0,1)误差非线性回归模型相关性和方差齐性的检验

讨论了具有双线性DBL(1，0，1)误差的非线性回归模型的相关性和方差齐性的检验问题，用Score检验方法给出了双线性项检验以及相关性和方差齐性同时检验的检验统计量，并用随机模拟验证了检验方法的正确性；推广和发展了具有线性序列误差回归模型的结果；最后将结果应用于DBL(0，1，1)误差的非线性回归模型。     

时间函数与地表动态移动变形规律

详细分析了单参数的Knothe时间函数、双参数的Sroka-Schober时间函数和Kowalski 广义时间函数的优缺点及其相互关系,建立了应用Knothe时间函数进行地表动态移动变形预计的原理、无实测资料矿井时间参数的确定方法和开采单元划分的周期来压步距法.通过对不同工作面推进速度和不同时间影响系数条件下地表动态移动变形规律研究,获得了工作面稳定推进过程中回采速度、时间影响系数与地表最大动、静态变形关系的计算公式.经过1176东工作面观测资料的检验,证明了研究结果的有效性和实用性.