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

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

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.     

Using the Viable Systems Model to Structure a System Dynamics Mapping and Modeling Project for the Australian Taxation Office

This paper is a case study of a major System Dynamics (SD) intervention in policy design in the Australian Taxation Office. The project, which lasted two years, tested a number of hypotheses regarding the application of Stafford Beer's Viable Systems Model (VSM) to the structure and process of the project. The paper reports that the success of the VSM within the ATO was qualified by political changes in the external environment.     

汉武帝治吏制度化建设探析

治吏是既古老又常新的政治课题。汉武帝为维护自己的统治，实现其理政驭民的政治目标．注重治吏的制度化建设。首先健全选吏制度，提升官吏理政驭民的整体素质，把选拔贤吏作为治吏制度化建设的切入口；其次完善考课制度与监察制度，强化治吏手段，以课吏察吏作为制度化建设的重点；最后严密法律，借助刑律来督促官吏依法行政、廉洁奉公，为治吏制度建设提供法律保障。     

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

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

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

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

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

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

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

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

论网络时代高校思想政治工作面临的挑战及对策

本文主要分析新形式下网络对高校思想政治工作带来的挑战,及如何应对这种挑战,提出相应的对策,旨在为高校思想政治教育工作者提供指导。     

超大型弧形剪力墙、梁施工设计研究

介绍超大型弧形剪力墙、弧形梁的应力分析,结构设计,精确定位,模板设计,混凝土的浇筑等施工设计技术,确保工程的顺利完工。