河南方言词"高低"词汇化探析

在河南方言中,"高低"是一个使用频率极高的词汇.翻阅相关方言词典,发现对河南方言里"高低"的解释并不全面,但在口语及小说中却有很多用例,通过搜集具体的语料,发现在河南方言中双音节词"高低"的衍生途径,即通过并列式短语粘合而成,且有五种义项:高度层面的高低比较;水平优劣;分寸;无论如何、横竖;终究.     

词语的隐义及其对使用的制约

汉语中某些词语除了具有表面显现的反映义以外，还有隐含在使用上的某些特殊要求和含义。词语的隐义在其使用中表现为感情褒贬的不同，使用范围及语义轻重的差异，搭配上对词语的限定等。     

"改前世之失,正始受命之统"--路温舒《尚德缓刑书》述评

西汉武帝时期任用酷吏，严法重刑，禁网密如凝脂，导致社会矛盾日益加深，一些有识之士对此忧心忡忡。汉宣帝即位之初，路温舒上书痛斥酷吏政治，言宜尚德缓刑，热切企盼宣帝能“改前世之失，正始受命之统”，同时提出了崇仁义、省刑罚、废狱治、开言路等一系列政治主张，为儒家思想的重新崛起和时局的逐渐扭转起到了积极的作用。     

语词零札

本文摭拾了几个常见的古语词予以训释,或援例以证,或略加申论,或稍作补苴,以期与同相切磋,俾使训诂在文化传承上继续发挥其应有的价值。     

浅谈英语单词快速记忆的六大法

通过学习英语快速记忆的六种方法．在扩大英语的词汇量方面，起到了事半功倍的作用。     

中国传统学术视阈中的历史与历史哲学

从中国传统学术的视阈入手，梳理与辨析历史和历史哲学的内涵与外延。考察历史一词的多重含义；指出西方历史哲学乃根据对历史的两分法，即历史事实和历史著述，而有“思辨的历史哲学”和“分析的历史哲学”两大流派；进而指出中国古代对历史有一三分法，即史事、史文、史义，认为史义即为中国的历史哲学，同时史义又包含有“历史之大义”与“吾心之精义”两部分内容。     

羟基磷灰石义眼台植入30例报告

介绍了30例眼内容物剜除采用自体巩膜包埋羟基磷灰石义眼台植入术。     

生物活性材料义眼台

本文采用羟基磷灰石与生物活性玻璃制做义眼台。用液态化学反应法合成羟基磷灰石，取适宜数量的生物活性玻璃与之混合，经高温烧结制成义眼台，并进行了动物实验和临床应用。动物实验表明材料具有优异的生物相容性和一定的生物活性，临床应用效果良好。本材料是制做义眼台的新型材料。本文就材料研究、动物实验、义眼台的制做工艺进行了探讨。     

《尔雅义疏》以"通"为训诂的得与失

“通”是《尔雅义疏》阐明字词之间音形义关系的常用术语之一,在方法论和实践上取得了一定的成就。但由于主客观原因,它在术语性质和具体结论方面也存在不少疏误。     

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.