计算机科学杂志社
分享到:
《计算机科学》杂志在全国影响力巨大,创刊于1974年,公开发行的月刊杂志。创刊以来,办刊质量和水平不断提高,主要栏目设置有:网络与通信、信息安全、软件与数据库技术、人工智能、图形图像与模式识别等。
  • 主管单位:国家科学技术部
  • 主办单位:国家科技部西南信息中心
  • 国际刊号:1002-137X
  • 国内刊号:50-1075/TP
  • 出版地方:重庆
  • 邮发代号:78-68
  • 创刊时间:1974
  • 发行周期:月刊
  • 期刊开本:A4
  • 复合影响因子:0.94
  • 综合影响因子:0.687
相关期刊
服务介绍

计算机科学 2013年第S1期杂志 文档列表

现代模态逻辑在计算机科学中的应用研究

摘要:现代模态逻辑是在经典数理逻辑基础上发展起来的,主要包括狭义模态逻辑、道义逻辑、认知逻辑、信念逻辑、时态逻辑与动态逻辑。克里普克语义模型的建立,使得模态逻辑成为现代逻辑的重要分支之一,并成功应用到数学、经济学、社会科学、计算机科学和量子力学等众多领域。介绍了现代模态逻辑研究的主要内容,重点综述了现代模态逻辑在计算机科学的程序设计语言、知识表示与多系统以及模型检测、定理机器证明和非单调逻辑5个方面的应用,阐述了现代模态逻辑在计算机科学领域的研究目标、研究进展和发展趋势,最后指出现代模态逻辑研究中存在的问题,并预测其未来可能的研究与发展方向。
70-76

虚拟现实技术在隧道开挖工程中的应用

摘要:针对复杂地质结构与多地质灾害风险的地下隧道开挖安全和科学施工,提出了一种隧道开挖计算机仿真方法。方法首先以地质勘探资料为基础,通过智能推演和人机交互方法进行三维地质建模,然后应用计算机仿真技术虚拟隧道开挖,最终揭示隧道围岩地质结构变化特征,实现隧道开挖过程中的地质灾害风险预警。方法成功地应用于几个大型铁路隧道开挖工程,结果证明该方法能够有效预测隧道围岩地质结构变化与地质灾害可能发生的空间位置、类型与级别。方法为实际隧道科学施工决策、安全开挖提供了可靠依据。
377-380