广义量词的单调性与其他语义性质之间的关系

广义量词理论是一阶逻辑的扩展理论,它比一阶逻辑更有利于计算机进行知识表示和知识推理.广义量词的语义性质主要包括:同构闭包性、扩展性、驻留性、单调性、对称性.单调性是广义量词最为重要的语义性质.给出6个定理,主要论述广义量词的单调性与其他语义性质之间的关系,比如:具有单调性的广义量词首先得满足驻留性.     

城镇休闲广场座椅设施的探讨

提出了在现今的城镇广场设计中座椅设施布置不合理的问题,从广场上人们的行为特性和广场的空间特质及人体工程学在座椅设施中的应用等不同角度,论述了座椅设施在休闲广场中的布局及座椅设施本身的设计,发析了目前存在的主要问题,并指出了在未来的设计中应进一步改进设计,使城镇休闲广场的座椅设施形式多样化,将对人性的关怀融入广场设计的每个方面,设计出充满人情味的城镇休闲广场座椅。     

传统的驻留方式--双凤村摆手堂及摆手舞的人类学考察

从湖南省永顺县双凤村摆手堂的历史演变以及与摆手堂紧密相关的摆手舞由衰到兴的过程中可以看到,作为社会日常生活的一种重要整合模式的传统总是处于动态的变化过程中.追求原汁原味的传统只是一厢情愿的幻想.某些传统的式微或最终消失是因为其社会整合功能难以在新的历史条件下实现.而一些传统得以驻留的原因则往往在于它们在失去某些原有内涵的同时,新的形式、新的内容以及相应的新的文化功能在其中又得以发现与发明,从而形成了重新整合社会日常生活的新的模式.     

分布式防火墙技术及应用

分布式防火墙是指那些驻留在网络中主机如服务器或桌面机并对主机系统自身提供安全防护的软件。本文在分析传统防火墙的特点和存在的问题的基础上,讨论了分布式防火墙这种新的防火墙体系结构及其技术特点,最后介绍一个应用实例。     

论广义量词的对称性及相关性质

首先介绍相关的概念;其次,笔者证明了类型为〈1,1〉的广义量词的对称性与单调性的关系定理;然后,笔者给出了该类量词的余对称性、余相交性和余驻留性的定义;接着,笔者提出并证明了关于这三个性质的四个定理;最后,证明了余对称性与单调性的关系定理。