论新时期科技企业孵化器的社会功能

通过芜湖高新技术创业服务中心的发展情况,阐述了我国科技企业孵化器自1987年创办以来,在将科技资源迅速、高效地转变为生产力；培育中小科技企业成功创业和迅速成长；加速地区和国家产业结构调整等方面发挥的巨大作用,特别是在建设创新型国家的新时期,科技企业孵化器将承担更多的社会功能。     

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

针对仪器分析实验教学中经常性存在的问题,提出了相应的改革措施:通过合理地安排实验进程,将理论教学和实验教学有机地结合;充分利用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分析方法,分析了长白山自然保护区生态旅游的优势、劣势、机遇与挑战,并以此对长白山自然保护区开展生态旅游提出了具体对策。     

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

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

Research on Flax Fiber Reinforced Polylactide Environmental Friendly Composite

Biodegradable polylactide acid （PLA） resin can be combined with flax fibers to produce biodegradable composite materials. In our study, commercial PLA fibers were mixed with flax fibers by a non-woven method so as to make non- woven pre-forms, which can be generated into flax fiber reinforced PLA environmental friendly composites by heat pressing technology. The tensile, flexural and impact properties are tested in order to evaluate the basic physical properties of the composites, and the influenced factors listed as making technology of the pre-forms, weight ratio of flax fibers and heat pressing technology are discussed and optimized, which can be described as weight ratio of flax fibers and PLA fibers is 50/50, heating temperature, time and pressure are respectively 195℃, 20 rain and 12.5 Mpa. Preliminary results show that mechanical properties of the flax/PLA composites are quite promising compared with flax/PP composites in coclrnon commercial automotive use. Scanning electron microscope （SEM） is used to analyze the tensile specimen fracture surfaces, which shows voids and gaps occurring between flax fibers and PLA matrix and sign of fiber pull.out, the strength of flax/PLA interface can be further improved.     

系统和谐度测度研究

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

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.