扩展逻辑相关论文
随着市场化、城市化、城镇化的全面推进，变化中的农村不可避免地被纳入到利益重组、分化及冲突的过程中来。新时期，国家与农民的关系......
在Coffey和Saidha提出的CS逻辑(CS逻辑将时间与逻辑结构相结合,可用于形式化分析Timed-release公钥协议的时间相关性秘密的安全性)......
为了适应传感器网络的发展，应对传感器节点计算能力和存储资源的限制，基于无线传感器网的WSW（Wireless Sensor Whisper，无线传感耳语算......
对的格值模型，取其论域Ａ的幂集Ｓ（Ａ）的一个子集ｑ及Ａ中一组元素，把（Ｑ）中公式Ｑｘ（ｘ，）在（，ｑ）中处的值定义为，则（，ｑ）就构成（Ｑ）的一个格值弱模型．本文对（Ｑ）的格值弱模型证明了......
信访制度是中国共产党的一种基础性执政资源,也是党的群众路线原则在社会治理领域的体现和展开,其在不同的历史时期发挥了独特的社......
