略论提高学生科学素养的几个问题

本文分析了科学素养结构;论述了科学教育原则;并对科学教育中培养学生科学素养的途径进行了探讨。     

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.     

英文电子书信写作中的"合作"与"礼貌"策略

本文认为在电子书信这一书面语交际方式中,与口语交际的情形类似,写信人应遵守交际规则。一方面写信人需采用“合作”策略,及时回复,确保信息充分、相关、真实有据、表达清晰简明;另一方面,写信人还需考虑礼貌因素,在整体风格、语篇、句法、词汇各个层次上,运用面子维护策略来缓和或弥补言語行为对面子的伤害。     

意象组配及其原则

研究意象组配及其原则，有助于还原意象本真，丰富创作本论，揭示文学创作的内在规律。意象组配通常有三种方式：单象式、多象式和变形式，遵循着六条基本原则：“意”对“象”应有引领作用；“意”与“象”应有一个最佳象征切合点；组配的意象应有一定的延伸性；组配的意象应有一定的暗示性；组配的意象应有一定的独创性；组配的意象应有一定的复合美。     

罗尔斯的正义原则及其启示

罗尔斯的正义论对我国社会转型时期制度正义、社会公正的建设有重大启发意义。现代中国社会面临的主要问题之一是社会正义的缺失，正义论的思想无疑会给我们重建社会正义提供很多有益的启示。     

"细读方法"对语句"花园路径现象"的指明作用

"花园路径现象(GDP)"非局部歧义.花园路径现象在语素、词汇、句子、语篇层面普遍存在."细读三知识"体现内在隐能,"细读三能力"反映外在显能,内外结合、显隐搭配形成"细读原则"(MCR).只有围绕语义中心,满足认知、结构、功能条件,符合充分性、普遍性、结合性、能释性要求,才能正确解读语句层面的花园路径现象.     

各种边界条件下非线弹性梁的自由振动

针对各种边界条件下的非线性弹性矩形截面梁，计及轴向静载变形对梁的影响，考虑梁的非线性效应，运用Galerkin原理，对梁进行了研究．得到其非线性弹性自由振动频率解析解，并对轴向静载N和非线性材料参数B对频率响应的影响进行了讨论．     

函数S-粗集与它生成的F-遗传规律

利用函数S-粗集,给出系统粗规律的F-生成, F-遗传概念,给出了系统粗规律的F-遗传特性;提出了系统粗规律的F-遗传特性定理,系统粗规律的F-遗传依赖于属性集α上的属性补充，并提出了系统粗规律的F-遗传的属性特征定理.利用这些讨论,给出了依赖于F-遗传的规律挖掘.     

汉语中关于“死”的委婉语及其会话原则

会话的合作原则和礼貌原则是语用学研究的一个重要内容，人们在交际中要遵循合作原则，但在具体语境中却可能由于礼貌而故意违反合作原则，以求达到更好的交际效果。汉语中关于“死”的委婉语主要是体现礼貌原则当中的两个准则，礼貌原则受到具体社会文化的影响，人们在交际过程中在考虑礼貌原则的同时也是在寻求其文化适应性的过程。     

19GeV/c能量下质子-铍碰撞中领头奇异超子Λ的产生

利用在美国布鲁克海汶国家实验室的环型加速器(Brookhaven/AGS)上进行的19.6 GeV质子轰击固定铍核的实验数据,通过质子与π介子对的搭配,并用一种新的循环迭代的混合事件方法,从复杂的背景中,提炼出共振态领头粒子Λ的产生.