大学生体质变化规律的成因分析

大学生体质的变化直接体现出高校体育对大学生体质的影响,根据我院对大学生体质的多项指标进行了连续四年的追踪测试,结果表明体质水平指数(或分数)在一、二年级呈迅速上升趋势,二年级达最高点,然后又呈逐年下降的趋势。为此,我们建议大学生进入高年级后应继续开设体育课和课外体育活动,并对毕业生的体质水平进行高标准要求。     

辨析生态旅游内涵

生态旅游是一种新兴的旅游产品,国内外学者对生态旅游概念有不同的阐述,剖析各种界定,指出生态旅游的四个标准:是一种旅游方式;以自然为基础;以可持续发展为原则;以学习和教育为核心内容。在此基础上,讨论了生态旅游与绿色旅游、自然旅游、探险旅游和可持续发展旅游的区别和联系,揭示出生态旅游的本质内涵。     

自然保护区生态旅游状况分析及对策研究——以长白山自然保护区为例

以吉林省长白山自然保护区为研究对象,运用SWOT分析方法,分析了长白山自然保护区生态旅游的优势、劣势、机遇与挑战,并以此对长白山自然保护区开展生态旅游提出了具体对策。     

一类多点边值问题的算法研究

针对一类拉普拉斯方程多点边值问题的数学计算方法进行了研究,构造出了一类差分格式。对该差分方法进行了误差分析,并给出了数值实验结果。     

On-line Weighted Least Squares Kernel Method for Nonlinear Dynamic Modeling

Support vector machines （SVM） have been widely used in pattern recognition and have also drawn considerable interest in control areas. Based on rolling optimization method and on-line learning strategies, a novel approach based on weighted least squares support vector machines （WLS-SVM） is proposed for nonlinear dynamic modeling. The good robust property of the novel approach enhances the generalization ability of kernel method-based modeling and some experimental results are presented to illustrate the feasibility of the proposed method.     

基于ANSYS的结构设计优化

优化设计是工程界较为关注的领域,阐述了ANSYS软件设计优化程序的原理及具体设计步骤,针对两个实例分别采用GUI交互式和命令流式介绍ANSYS在具体结构优化设计中的实现方法。结果表明:基于ANSYS的合理结构设计能够在满足安全性的前提下节省材料。获得很大的经济效率。相对于交互式来说。采用ANSYS程序的命令输入整个优化文件并进行优化的方法是采用计算机解决工程实际问题的简单易行、快速可靠的方法。     

地基应力解除法纠偏模拟分析

对某实例应用有限元法对地基应力解除法纠偏建筑物的全过程进行了数值模拟,并对模拟过程中地基应力水平场和位移场的变化转移进行了分析。得出在掏土孔一侧,地基的竖向沉降量较大:而另外一侧的沉降量非常小:在地基范围以外的地表而甚至出现了反向隆起:在采用地基应力解除法进行建筑物纠偏施工时,纠偏孔应尽量靠近建筑物基础等结论。得出了地基应力和位移的变化规律,以加深岩土工作者对地基应力解除法纠偏技术认识的深度。     

系统和谐度测度研究

通过系统和谐度构成的分析,建立了和谐度的测度体系。和谐度的测度指标分为构成和谐性、组织和谐性、内部环境和谐性、外部环境和谐性和总体和谐性。通过在理论上对各构成要素的敏感性分析,表明单因素或多因素的改进对和谐度是有影响的。利用和谐度分析矩阵构建和谐度测度方法,并结合企业实际对系统和谐度给与实证研究,验证单因素改进对系统和谐度有正向影响。     

OUTPUT FEEDBACK CONTROL FOR MIMO NONLINEAR SYSTEMS WITH EXOGENOUS SIGNALS

The paper addresses the global output tracking of a class of multi-input multi-output （MIMO） nonlinear systems affected by disturbances, which are generated by a known exosystem. An adaptive controller is designed based on the proposed observer and the backstepping approach to asymptotically track arbitrary reference signal and to guarantee the boundedness of all the signals in the closed loop system. Finally, the numerical simulation results illustrate the effectiveness of the ProPosed scheme.     

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.