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

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

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

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

基于ANSYS的结构设计优化

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

系统和谐度测度研究

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

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.     

常系数线性中立型方程的一般周期的周期解

本文利用Fourier经数理论及矩阵的Jordan标准形理论研究了单时滞常系数中立型方程组的一般周期的周期解,获得了保证周期解存在、唯一的充分必要条件及一些简单的充分条件.     

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

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

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

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

二氢杨梅素印迹聚合物的表面行为

应用前沿分析技术测定了二氢杨梅素印迹聚合物块的实验吸附等温线，并用Langmuir方程、Bi-Langmuir方程和Freundlich方程进行拟合，从最佳拟合求得了印迹聚合物的表面位点分布、吸附常数和饱和吸附量.测定了不同温度和不同流动相组成时分子印迹聚合物固定相的吸附等温线.结果表明：双朗格缪尔模型和福伦登里西模型均能给出较好的拟合效果.当20 ℃、四氢呋喃为流动相时，从Bi-Langmuir方程的最佳拟合参数得到第1类键合位点的键合常数和饱和吸附量分别为0.39 mL·mg^-1和133.23 mg·mL^-1，第2类键合位点的键合常数和饱和吸附量分别是135.07 mL·mg^-1和0.071 mg·mL^-1.     

江西高等职业教育发展趋势分析及对策

江西高等职业教育从八十年代初发展至今,取得了可喜的成绩,面对江西经济的高速发展,面对江西高等职业教育发展的新形势、新环境,及时明确江西高等职业教育的发展趋势,并采取相应的措施是非常有必要的.本文对江西省高等职业教育的发展趋势进行了分析,并提出相应的措施和对策,促进江西高等职业教育的发展.