基于通信顺序进程的计算机网络通信协议形式化描述

描述和设计计算机网络通信协议时，使用抽象的同步通信机制最为方便。但在实际中，使用异步通信机制将不可避免。基于霍尔的“通信顺序进程”和其他对通信协议描述与设计的理论研究结果，本文提出一个形式化方法。

耶鲁枪击案: 对非单调推理案例的分析(英文)

非单调推理多见于日常生活中。比如，无证据证实Ｂ的反面，我们得出结论Ｂ。这种逻辑在计算机科学中的知识库、超大数据库和推理库中有许多运用。本案例是著名的“耶鲁枪击案”。据此介绍非单调推理。

构造演算以及它在受囿算子系统中的公理化(英文)

首先简略介绍Ｃｏｑｕａｎｄ和Ｈｕｅｔ的构造演算以及Ｐｌｏｔｋｉｎ和孙踊的受囿算子系统。然后，将构造演算在受囿算子系统中进行公理化。此公理化无需无限级（数据）类型结构。原则上，可以在原构造演算的ｔｙｐｅ空间之上引入ｋｉｎｄ空间。但是，不允许在ｋｉｎｄ上使用量词，也不允许引入ｙ：ｋｉｎｄ．从技术上说，将忠实地把构造演算翻译进受囿算子系统中去。为了能对构造演算中的Π类型受予受囿算子系统中的类型，不得不引入新的算子。举例来说，构造演算中的Πｘ：Ｍ．Ｎ可用受囿算子系统中的Πｙ．ｕ：ｔｖ来表达。其中，ｘ对应于ｙ，Ｍ对应于ｔ，以及Ｎ对应于ｕ。

论域理论在超大规模集成电路逻辑设计上的运用(英文)

认为传统的二值布尔不利于大规模集成电路的设计 ,尤其是在逻辑门电路上 .为此引入了三值逻辑 .此三值逻辑是基于集成电路的物理性质 ,且碰巧等同于 Kleene的三值逻辑 .鉴于 Kleene三值逻辑的不完备性 ,文章将论域理论以及普通不动点算子运用于此 ,使三值逻辑获得此逻辑系统的单调完备性定理 .文章认为这个结果有利于集成电路设计的可靠性 。

老区事

【数字】369近年来,江苏省东海县建设“书香东海”、打造“十五分钟便民阅读圈”,不断提升农村阅读场所设施建设,努力开拓公共文化服务供给新模式,推进全民阅读,现在全县已建农村书屋369个,在实现行政村和社区全覆盖的基础上,新建7个达省五星级标准农家书屋,提档升级60家达省三星级标准农家书屋。