仪器分析实验教学模式改革初探

针对仪器分析实验教学中经常性存在的问题,提出了相应的改革措施:通过合理地安排实验进程,将理论教学和实验教学有机地结合;充分利用CAI课件,强化学生预习环节;运用“WHWSD”教学模式,充分发挥学生的学习自主性;突出实验的规范性,完善实验考核机制,培养学生良好的实验习惯和严谨的科学态度——使学生在获得实验技能的同时巩固和加深了对理论知识的理解,提高了分析问题和解决问题的能力。     

高校体育俱乐部现状的实证调查与分析

通过对公共体育教学改革走在国内前面的南京师范大学、上海中医大学和深圳大学进行调查,并对3所高校体育俱乐部现状的优缺点进行分析,同时对杭州师范学院教学改革提出了一些建议,目的是为该院的体育课程教学改革提供参考.     

Lu3+-8-羟基喹啉-5-磺酸-CTMAB体系L*-L型荧光反应的研究及其分析应用

研究表明8-羟基喹啉-5-磺酸与Lu3 和CTMAB形成稳定的三元离子缔合物,发射Lu3 微扰的配体的荧光.表面活性剂CTMAB的加入提高了量子效率,使荧光强度增加10倍.对于此三元体系,体系的荧光强度与Lu3 的浓度在1.0×10-6~1.0×10-5mol/L范围内呈线性关系,当信噪比=2时,检测限为4.0×10-7mol/L,采用多点增量标准加入法测定了重稀土混合样品中的Lu3 ,结果满意.     

辨析生态旅游内涵

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

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

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

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

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

系统和谐度测度研究

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

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.     

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

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

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

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