“解方程器”软件包(EQNS-SOLVER)

作者提出了对于任意多项式方程组的一种带有普遍性的求解方法。多项式方程组可能没有解,或者有无穷多个解,或者有有限个解,解是实数也可以是复数。在有限个解的情况下,所创建的方法能够求出所有的解。作者完成了一个软料包,称为《解方程器》,曾在微型计算机上用FORTRAN语言完成计算过程。本文是《解方程器》软料包的说明,内容包括基本原理、方法、程序结构、应用举例以及使用的步骤。     

基坑支护中土压力主、被动区的互换分析

以太原市某工程为例，从实际的基坑设计中得出，基坑支护中土压力设计值一般都比实际值偏大；支护桩周围的土压力的主动区、被动区并不是一成不变的。提出用位移分析的土压力模型来区分实际工程中的主、被动区，而后进行土体受力定量的分析。     

卡尔曼滤波过程的稳定性研究

卡尔曼滤波器的稳定性并不能保证实际的滤波器算法具有收敛性,而传统的关于滤波发散的判定方法是基于量测不能出现野值这一严格的假设条件,具有一定局限性;并且通常关于滤波发散只是一种定性的描述,具有一定模糊性。为此,考虑到量测可能出现野值的情况,从滤波发散的具体数学形式出发,提出了卡尔曼滤波过程的稳定性概念,在此基础上给出了滤波发散的判定定理,既消除了通常关于滤波发散描述的模糊性,又降低了通常判定方法的要求。     

模型化推理与理论的建构

理论模型并不完全与理论一致.模型化推理的逻辑特征在于在原型与模型之间,以及模型与理论假设之间尽可能地建立起可靠的、完善的逻辑联系.利用模型化推理建构理论时,首先是提出模型,然后对其进行检验,最后根据检验结果,看看这个模型是否代表待说明现象的内在结构.理论的延伸可沿两条不同的路线进行.一是形式化的延伸;二是非形式化的延伸,它又可区分为两类:展开与发展.     

关于积分中值函数性质的注记

本文在严格单调的前提下 ,讨论了积分中值函数的严格单调性、连续性和可微性 ,得到了具有一般性的结论。     

Toda-Lattice系统的显式精确解

利用双曲函数方法，研究了具有广泛、深刻物理背景的Toda-Lattice系统，得到了它的显式精确解，这种方法也适用于求解其他离散的非线性方程(组)。     

理工科院校法学专业走出就业困境之策略探析

经过几年的扩招之后，各理工科院校培养出的法学专业毕业生已经开始陆续走向市场，从各理工科院校所统计的数据来看，法学专业毕业生的就业问题已显得十分突出。突出法学教育在理工科院校的专业特色，多方面强化学生的实践能力是理工科院校法学专业走出就业困境的必由之路。各理工科院校应理性地面对目前的艰难与困境，充分依据各自的资源来追求自己在法学教育上的比较优势。     

试析新中国户籍制度形成的历史背景

新中国户籍制度的形成，既有其深刻的历史渊源，更是中华人民共和国成立后重工业优先发展战略和计划经济体制的必然产物。     

论城市社区体育的大众化

城市社区体育大众化有着深刻的内涵和重要的意义,但也面临着认识偏差、投入不足、人才短缺、中青年居民参与度低等问题,针对这些问题本文提出了提高认识、资金投入、整合现有资源、加紧培养人才、培育体育社团、扶持体育产业等对策.     

论加快发展民营经济的重要性及主要措施

在我国,民营经济已成为提供有效供给,促进经济增长的主力军;发展民营经济有利于推动国有经济的改革和重组;有利于促进二元经济结构向一元经济转化.加快民营经济发展应解放思想,解决民营经济的市场准入问题;营造良好的法律、融资和政策环境.