基于公平谓词法的JMS消息过滤改进算法

研究了JMS发布／订阅消息传递模式的工作机制，分析了JMS在对事件进行匹配时的过滤算法，针对该算法的不足提出了采用公平谓词法来改进JMS的消息过滤速度，改进方法对基于JMS的发布／订阅应用程序的开发具有一定的指导意义。

谓词中心法:语言结构规律的凸显——《古代汉语》教学优化研究之二

运用谓词中心法,着重考察谓词与各种相关成分的关系,从句子成分的语法地位和语法作用出发,在语言结构规律的凸显中研究语言现象,可以快捷有效地解决词类活用、虚词语法、以及古文标点等教学的难点问题。

从《十三经》看秦汉时期“衣”的谓词用法

“衣”是个常用的名词,在古代汉语里用作谓词时一般被认为是词类活用。《从<十三经>看秦汉时期“衣”的谓词用法》一文普查了《十三经》中“衣”的用例,根据它的搭配关系、语法功能、词汇意义上的特点,分析了在确定“衣”的词性时存在的问题,发现了“衣”谓词用法的成熟性及其重要性,认为“衣”在秦汉时期是个具有名词和动词性质的兼类词,用作谓词时并非名词活用为动词。

Hanoi塔非递归算法的形式化推导和正确性验证

关于Hanoi塔问题的非递归算法已有大量的研究.运用薛锦云教授自创的PAR方法和循环不变式开发的新策略,形式化推导出逻辑结构清晰的Hanoi塔非递归算法及其循环不变式,并用Dijkstra最弱前置谓词法验证了该算法的正确性.充分体现了PAR方法的优越性、高效性和可靠性.

集合论与初等数学

集合作为数学的基础概念在中学数学教学中虽然占的比例不大,但却是一个很重要的概念,而且成为每年全国普通高等学校招生考试中的必考内容。更应该引起我们注意的是,在中学数学教学中有不少概念、说法都是与集合论密切相关的,而事实上注意这些问题的人并不多,或者说没有引起足够的重视。例如: 1)在讲集合论中集合的运算时要事先指定一个全集I,为什么?

逻辑语义学视野下汉语意合性问题探索——以汉语否定式连动句为例

连动句含有两个或两个以上的逻辑谓词,多个逻辑谓词受否定词限制或约束时,呈现出结构不平衡现象,有的句子由此而形成了歧义,这为对外汉语教学和自然语言信息处理带来一定的困惑。纵观其内部复杂的语义内涵和形成机制,逻辑语义学的谓词逻辑法可以明晰形式和意义之间复杂的对应关系,并且对其内部复杂化的语义内涵可以很好地进行形式化的描写和分析,并能更好地解释其形成机制和动因。