从六朝诗看中国古典诗歌结构的演进

“入题－铺写－反应”的“三部式”结构是六朝诗歌的“定准”结构，其中“铺写”是主体支撑部分；而“对仗”又是“铺写”环节中的关链要素，对仗集中于“三部式”结构中间部分所蕴含的“美学动机”则是利用其独具的工稳对称性，将意象、声律统一进结构之中，建构起一个更具多维空间形态的诗歌系统结构。     

论90年代文学审美意识走向

90年代以来,文学审美经历了政治群体意识向自由个体意识的激变并形成了三个生成点:追求一种以零度情感为特征的叙事策略,使审美形式化;以苟安的众生相描绘为特点的审美庸俗化;颓废美成为作家价值失范、精神虚无中的无奈追求。这三种审美趋势反映在作品中则呈露出大面积的审美感性泛化趋势,要不要重返理性王国应成为90年代以来文学面临的重要问题。     

协议入侵者攻击能力的统一建模

基于协议预言机模型是一个开放的模型,能为准确地描述入侵者的攻击能力提供统一的框架。该文提出了一种协议预言机模型,使用协议预言机来形式化地描述入侵者对协议的攻击能力,通过协议生成树,该模型可以跟踪入侵者攻击协议的轨迹。     

浅析化学科学语言的类型及功能

本文以化学科学的特征,论述了构成化学科学语言的类型有自然语言、专业符号语言及形式化语言,并阐述了几种语言类型的相互关系及其在化学科学理论发展中的作用。     

语义复制:一个处理语义的心理过程

语义复制是一个处理语义的心理过程。由此产生xy或yx结构。该结构可以在词和大于词的层面上找到实例。比如汉语中的“牛犊”、“用脚踢”、英语中的“deeplyingrained”     

关于互补性逻辑、辩证逻辑及次协调逻辑——对马佩教授挑战的一种回应

1.玻尔的黎曼面模型是互补性的语义模型,恰当地表征了辨证矛盾与逻辑矛盾之间的相互关系,恰当地刻画了互补性的逻辑结构."互补性"的要点是"相反相成"或"互补又互斥",说的是矛盾双方既互相排斥又互相联结而形成统一体,因此它与辩证法的核心思想相一致.2.与马佩先生主要从语义角度着手不同,次协调逻辑学者主要从句法角度对矛盾进行划分,考虑形式系统允许或不允许哪一种矛盾.3.所谓辩证逻辑的形式化,就是像多种非经典逻辑那样采用形式化手段,对辩证法的现实原型进行恰当刻画和再现.我们认为,关键在于要保证兼有次协调逻辑/相干逻辑/模糊逻辑的禀性:(1)有次协调性(能刻画有意义的矛盾,而不会使得每一个公式都变成定理);(2)有相干性(避免不相干的推理);(3)能恰当刻画模糊性(即恩格斯所说的恰当地承认"亦此亦彼");(4)有表征辩证法特有原理的公理组.     

作为认知信念的辩证法

辩证法有本体论、认识论和辩论方法三个层面的原初语义。揭示和反映认识对象相反相成的矛盾属性是辩证法的精神所在,体现辩证精神的思维即辩证思维。学界试图刻画辩证思维结构而建构辩证逻辑的形式系统,但其公认度较低。这既有逻辑思想和技术不成熟的原因,也有辩证法理论不精细的原因。现在的辩证法理论及其理念,可以为人们把握事物发展状况提供认知信念,但不具有精确地演算和预测事态变化的功能。     

基于可拓工程方法的企业物流服务-成本权衡分析

在物流服务与物流成本的矛盾中可寻求的影响因素很多,可拓学的理论和方法为挖掘这些因素的关系提供了形式化的思路和方法.本文基于可拓学及物元的理论方法,提出用可拓工程方法建立物流服务-成本权衡分析的物元模型,并对原始方案进行可拓研究,为服务-成本的价值可拓分析提供依据.     

从汉语动词分类看语义的形式化处理

语义与语法之关系的争议一直是语言研究的焦点问题,也是不同语法理论分化的起点。语义对于语法研究的影响是不容置疑的,以汉语动词分类为例,黄正德应用非宾格假设将其细化为两个系列——动作类和状态类,其着眼点恰是动词语义的分析。其分析过程证明语义不仅是非宾格假设理论建构的基点,也是其理论进一步发展的契机。所以,语义的形式化处理是语义进入语法研究的关键,从而体现语法研究的形式化和系统性要求。     

合适成年人参与制度的形式化——社会工作者的参与观察和反思

"合适成年人"参与未成年人刑事诉讼程序是对未成年人一种特殊保护的国家刑事司法制度,这一制度在走向完善的同时,也开始出现了形式化倾向.通过参与观察和访谈,发现办案人员的高工作负荷、重刑报复的传统刑罚观念、对未成年人知情同意权的轻视、机构之间的利益关联以及办案人员和未成年人的"合谋"等因素共同造成了制度的形式化.