杂志简介:《计算机科学》杂志经新闻出版总署批准,自1974年创刊,国内刊号为50-1075/TP,是一本综合性较强的计算机期刊。该刊是一份月刊,致力于发表计算机领域的高质量原创研究成果、综述及快报。主要栏目:网络与通信、信息安全、软件与数据库技术、人工智能、图形图像与模式识别
作者:陈志远 黄少滨 韩丽丽 刊期:2013年第S1期
现代模态逻辑是在经典数理逻辑基础上发展起来的,主要包括狭义模态逻辑、道义逻辑、认知逻辑、信念逻辑、时态逻辑与动态逻辑。克里普克语义模型的建立,使得模态逻辑成为现代逻辑的重要分支之一,并成功应用到数学、经济学、社会科学、计算机科学和量子力学等众多领域。介绍了现代模态逻辑研究的主要内容,重点综述了现代模态逻辑在计算机科学的程...
作者:黄地龙 邓飞 唐云 刊期:2013年第S1期
针对复杂地质结构与多地质灾害风险的地下隧道开挖安全和科学施工,提出了一种隧道开挖计算机仿真方法。方法首先以地质勘探资料为基础,通过智能推演和人机交互方法进行三维地质建模,然后应用计算机仿真技术虚拟隧道开挖,最终揭示隧道围岩地质结构变化特征,实现隧道开挖过程中的地质灾害风险预警。方法成功地应用于几个大型铁路隧道开挖工程,结果...