安全Petri网事件分离状态的BDD算法

基于区域法可以获得最佳的活性控制器,但由于要计算网的可达状态集而导致状态爆炸问题.提出一种应用二值决策图(BDD)计算安全Petri网事件分离状态的算法.用布尔代数对Petri网的结构和行为进行描述,用BDD实现布尔代数运算.BDD共享的数据结构能以较小的空间表示较大可达集并能对其进行高效的运算,从而节省了存储空间,减少了运算时间.最后用著名的哲学家就餐问题的Petri网模型对该算法进行仿真.仿真结果说明,使用BDD计算复杂Petri网的合法状态集、危险节点、坏点和计算事件分离状态具有很高效率.

“破”类动词的多维语义分析

本文以原型-样例连续统为理论支撑,采用基于用法的多重对应分析探索"破"类动词的范畴化。语料分析发现:(1)"破"和"开"的范畴化受到多重概念变量的共同驱动,范畴结构表征为以原型特征和典型样例为核心、以非典型样例为边缘的原型-样例连续统;(2)"破"和"开"对分离状态变化事件的范畴化呈现分工明确和边界重叠模式:一方面,不同动词各司其职,分别负责不同分离状态变化事件的范畴化;另一方面,"破"和"开"的概念边界相互重合,对应于连续变动的分离状态变化事件。