东方建筑之启示

论述了中国及其周边国家在建筑文化上的相互联系，分析了中国周边国家，如日本、印度，现代建筑走向成功的先进经验．提出以扬弃态度，深入学习西方现代建筑，深入研究中国传统文化，探求一条“有中国特色的”、“现代建筑创作之路．     

窑居文化的固本性与交融性

以山西平遥地区窑洞为例，详细阐明了窑居文化之固本性与交融性在建筑文化发展过程中所起的作用和作用方式，希望以此促进对建筑传统文化的尊重和对建筑发展道路的广泛思路。     

CRDT协议的TLA+描述与验证

无冲突复制数据类型（conflict-free replicated data types，简称CRDT）是一种封装了冲突消解策略的分布式复制数据类型，它能保证分布式系统中副本节点间的强最终一致性，即执行了相同更新操作的副本节点具有相同的状态.CRDT协议设计精巧，不易保证其正确性.旨在采用模型检验技术验证一系列CRDT协议的正确性.具体而言，构建了一个可复用的CRDT协议描述与验证框架，包括网络通信层、协议接口层、具体协议层与规约层.网络通信层描述副本节点之间的通信模型，实现了多种类型的通信网络.协议接口层为已知的CRDT协议（分为基于操作的协议与基于状态的协议）提供了统一的接口.在具体协议层，用户可以根据协议的需求选用合适的底层通信网络.规约层则描述了所有CRDT协议都需要满足的强最终一致性与最终可见性（所有的更新操作最终都会被所有的副本节点接收并处理）.使用TLA+形式化规约语言实现了该框架，然后以Add-Wins Set复制数据类型为例，展示了如何使用框架描述具体协议，并使用TLC模型检验工具验证协议的正确性.     

高温氯化与低温氯化工艺技术对比

介绍了乙烯平衡氧氯化法生产氯乙烯工艺中低温氯化工艺与高温氯化工艺,比较了2种工艺各自的优势及发展趋势。