HI,欢迎来到好期刊网,发表咨询:400-888-9411 订阅咨询:400-888-1571证券代码(211862)

计算机科学杂志   北大期刊CSCD期刊统计源期刊

主管单位:国家科学技术部

主办单位:国家科技部西南信息中心

影响因子:0.94

ISSN:1002-137XCN:50-1075/TP

    基本信息:

  • 下单时间:1-3个月
  • 发行周期:月刊
  • 曾用名:计算机应用与应用数学
  • 发行地:重庆
  • 创刊:1974
  • 类别:计算机类
  • 出版社:计算机科学
  • 语言:中文
  • 价格:¥1000.00
  • 起订时间:2020年01月
  • 邮编:401121
  • 库存:187
相关期刊
服务介绍

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

70-76

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

作者:陈志远 黄少滨 韩丽丽 单位:哈尔滨工程大学计算机科学与技术学院 中航工业集团空气动力研究院

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

377-380

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

作者:黄地龙 邓飞 唐云 单位:成都理工大学地质灾害防治与地质环境保护国家重点实验室 成都理工大学信息科学与技术学院

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