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

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

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

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

基于ANSYS的结构设计优化

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

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

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

东北黑土有机碳和全氮水平分布及其影响因子

对黑土有机质特性空间分布的充分认识与了解,是管理好土壤养分和合理施肥的基础。应用经典统计学方法,分析了东北黑土表层1100个样点的有机碳和全氮空间分布规律。结果表明:土壤有机碳和全氮平均含量分别为19．25 g/kg和1．89 g/kg,从南到北随纬度增加而增加,土壤有机碳和全氮与纬度的相关系数分别为0．70和0．76。以上研究结果为进一步深入了解黑土有机质退化机理提供了理论依据。     

系统和谐度测度研究

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

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.     

TT管节点在轴向压力下的极限载荷分析

用三维20结点固体单元,对TT节点在支管端部承受轴向压力作用下所能承受的极限载荷进行了数值模拟.将结构有限元网格划分为不同区域,每个区域的网格独立产生,通过合并形成整个结构的有限元网格.使用ABAQUS软件分析了TT节点在支管端部承受轴向载荷的变形及与外部载荷之间的关系,得到了不同参数影响下的TT节点极限载荷.     

典型模糊PID控制器的插值算法及参数优化

推导出了输入采用正规模糊集、三角形、全交迭的隶属度函数;推理输出采用PID形式的典型模糊PID控制器的插值解析表达式,揭示了其本质特征,为实际应用提供了一种快速精确的控制算法。基于该插值解析表达式,研究了利用遗传算法对这一类模糊控制器进行参数优化的方法。最后通过仿真实例验证了本文方法的有效性。     

微通道热沉的稳健优化设计

将田口稳健设计方法用于硅基微通道热沉的优化设计，建立了微通道热沉的简化性能分析模型，确定了影响其散热性能的关键参数，利用正交试验和信噪比分析实现了参数的稳健优化。利用外部监控程序对CAD和CAE软件的脚本进行动态修改，并且创建专门的进程来执行修改后的脚本，采用共享文件和延时的方法实现主进程、几何建模进程和性能分析进程的同步运行，实现了稳健设计过程的自动化。