中国戏曲中的美——昆曲的艺术魅力及昆曲的传承与革新

以昆曲的艺术魅力为主线就昆曲的传承与革新问题提出几点思考。昆曲是我国一种古老的戏曲剧种,它的剧目丰富,曲调婉转,表演优美动人,是中国古典戏曲的代表。在“流行”已逐渐成为人们审美定势和思维习惯的现今社会,昆曲在中国传统文化轨道中将如何生存和健康地发展,是摆在戏曲界的一个问题。     

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

以吉林省长白山自然保护区为研究对象,运用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.     

《吾国吾民》与西方“中国形象”话语的互动

林语堂在《吾国与吾民》中建构的“中国形象”与西方“中国形象”话语谱系有着明显的联系与区别。针对西方“中国形象”话语的负面成分。例如“黄祸说“”以及中国妇女形象等问题，林语堂在建构自己的“中国形象”时作了修改；同时，林语堂也借鉴了西方“中国形象”的合理成分。这一借鉴隐含了现代性的观照。林语堂的“中国形象”建构策略为中西文化交流提供了很好的范倒。     

“古今东西”之辨——陈独秀文化观述论

陈独秀是五四新文化运动的发起者和组织者，也是新文化运动在学术上的主要代表。他的文化观以民主和科学为指导，着力探讨了文化的基本内涵、特征，东西文化关系及中国传统文化的价值，内容丰富，体系完整，特色明显，是值得我们研究和珍惜的一份思想遗产。     

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

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

农民的教育需求与农村教育改革

现代化进程中农民多样性、多层次的教育需求与政府主导下结构单一,相对落后的教育供给的矛盾是农村教育中和经费问题同样重要的问题。解决这个问题要把农村教育定位于国民教育的重要部分而不是囿于农村区域性的低层次教育,为此要改革现有的教育管理体制,扩大农村教育主体的教育、教学自主权,改变教育经费的划拨方式等。     

论江西红色旅游资源开发中的问题与对策

江西素有“物华天宝、人杰地灵“的美誉,红色旅游资源十分丰富,是全国红色旅游的发源地,发展红色旅游对江西地方经济具有重要的意义,但目前对红色旅游资源开发中存在一些问题和不足,本文试图分析其存在的问题,提出解决问题的对策.