论文部分内容阅读
[!--newstext--]
[!--title--]
【摘 要】
：
This paper introduces a new methodology that uses knowledge structures, a specific form of Kripke semantics for epistemic logic, to analyze communication protoc
【机 构】
：
Department of Computer Science, Sun Yat-Sen University, Guangzhou 510275, P.R. China;Institute for I
【出 处】
：
计算机科学技术学报（英文版）
【发表日期】
：
2006年6期
其他文献
十八大报告中明确指出要“严格控制机构编制，减少领导职数，降低行政成本。”因此，研究省级地方政府的人力规模具有一定的政策参考价值。本文以2011年全国31个省级行政单位（台湾、
企业工会贯彻十八大精神和全国总工会十六大精神，促进职工素质提升，培养和锻造知识型、技术型、创新型的职工队伍，拥抱富强中国梦；坚持发展工人阶级先进性，促进职工建功立业，拥抱幸
在雷诺数8．7×105的条件下，运用眼镜蛇探针、压力扫描阀和表面油膜流动可视化技术对倾角为25°的Ahmed类车体尾流与尾部压力分布进行了研究。对比了模型尾部斜面上边缘和两侧不
律师法是律师执业的基本法律依据，新修改的《中华人民共和国律师法》使律师的权利进一步得到保障，特别是在律师调查取证权方面变更了一些规定，这更加增强了律师调查取证的可操作
随着我国经济的迅速发展，我国的建筑事业也随之蓬勃发展，但是由于建筑工程施工自身具有的特殊性和复杂性，造成在施工现场经常容易发生安全事故，这不仅直接关系到施工现场施工人员
提出液罐车罐体截面形状设计方法，研究液罐横截面形状对半挂式液罐车侧倾稳定性影响，分析广泛使用的圆形截面液罐、改进的椭圆截面液罐及锥形截面液罐特点。提出两种改进的液罐
通过风洞试验测试了单箱的颤振性能,基于流固松耦合的计算策略和动网格技术,应用计算流体动力学(CFD)的方法,模拟了单箱的颤振过程,并采用相位平均的方法研究了颤振临界状态
以2008-2010年三年的《中国科技期刊引证报告(核心版)》中影响因子、总被引频次、即年指标、他引率、基金论文比和载文量共6项指标为依据,赋于各项指标不同的权重并作归一化
在出版业转型的背景下,管理模式的创新显得意义重大.开放互动的组织管理模式:精简部门设置,建立互动型的合作机制和环形沟通机制.“人尽其才”的人本管理模式:建立良好的选拔