关于样本区间长度的联合分布

设（X1，X2，…，Xn）为服从I=[0，1]上均匀分布的简单随机样本，它们将[0，1]分成（n＋1）个样本区间，以Y0，Y1，…，Yn分别表示这些样本区间的长度．本文讨论Y0，Y1，…，Yn的联合分布及其极限分布．     

在工程力学教学中培养学生阅读能力的点滴体会

指导学生阅读教材,培养学生的阅读能力在教学中是很重要的,所以教师必须加强对学生阅读能力的指导,根据教材的难易,采用不同方法指导学生读书,教会学生读图,提高分析能力,从而使他们的的阅读能力得到全面提高.     

四连杆式独立悬架运动学分析与优化

四连杆式悬架是技术比较先进的悬架形式,可以从设计上保证车辆良好的直线行驶性能并最大程度减轻载荷的影响.本文建立了四连杆式悬架多刚体系统模型并对车轮定位参数等特性进行仿真,运用多目标函数的最优化方法对悬架的结构参数进行优化,并将优化前后的车轮定位参数运动学特性进行对比,说明进行悬架结构参数的优化对于提高悬架性能的重要作用.     

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.     

四连杆式独立悬架运动学分析与优化

四连杆式悬架是技术比较先进的悬架形式,可以从设计上保证车辆良好的直线行驶性能并最大程度减轻载荷的影响。本文建立了四连杆式悬架多刚体系统模型并对车轮定位参数等特性进行仿真,运用多目标函数的最优化方法对悬架的结构参数进行优化,并将优化前后的车轮定位参数运动学特性进行对比,说明进行悬架结构参数的优化对于提高悬架性能的重要作用。     

用实践检验人才

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

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

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

中国传统文化对语言学习风格形成的影响

学习者的学习风格是二外习得中个体差异的一个内在的固定因素,其形成受多种外部及内部因素的影响,而学习者最基本的性格特点构成了学习风格的核心。论述了学习风格的主要分类及四种语言学习者,并探讨了中国传统文化对学习者学习风格形成的影响。     

教育应关注受教育者个体

教育是一种人道事业，人是教育的出发点和归宿。从教育理论发展和历史及现实的需要看，教育必须关注受教育者个体，这对于帮助我们认识教育的本性和培养个体的独立人格具有重要意义。     

相律的应用--确定平衡体系状态的独立变量(Ⅱ)

在确定平衡体系状态的独立自变量基础上，讨论了在不同情况下，如何选择独立自变量，以及在选择独主自变量时，强度变量与容量变量的关系。