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

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

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

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

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

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

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

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

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

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

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

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

Web服务组合模型的研究

针对Web服务组合问题,提出一种基于先进先出通信通道的Web服务组合模型,支持Web服务的层次性组合。给出了该模型的形式化定义及Web服务描述语言与该模型的对应关系。介绍了用于建模Web服务行为的Pi-演算语言的基本语法及操作语义。通过一个旅游路线预定服务研究了Web服务组合模型的实际应用。     

中国国家治理体系现代化的脉络、逻辑与进路

近代以来,中国国家治理体系变迁的一个基本脉络是:个体—家族统治的衰落,组织管控的兴起和转变,制度调节的作用日益重要;党治国的进入和逐渐回归本位,似乎是理解中国国家治理体系变迁的关键线索。现阶段中国国家治理体系的现代化过程中,抽象的形式化权威与具体的实体性权威的渐进式替代需要较长时间。过渡期内,具体的实体性组织权威由总控制者向总协调者的角色转变,有利于渐进式替代稳定有序的发展。     

吉伯德-萨特思韦特防策略不可能性定理的逻辑初探

自20世纪70年代吉伯德-萨特思韦特防策略不可能性定理确立后,引起了数学、经济学、计算机科学和哲学等诸多领域中学者的广泛关注。然而,在国内外文献中,对吉伯德-萨特思韦特防策略不可能性定理的逻辑研究还比较少。基于此,借助公理化的方法探讨吉伯德-萨特思韦特防策略不可能性定理,并形式化地给出定理的内容和证明,力图把精细的逻辑推理应用于复杂的过程分析中,使防策略投票这一过程形式化、清晰化,以期能指导人们进行合理、有效的决策活动。     

作为认知信念的辩证法

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