排序方式: 共有31条查询结果,搜索用时 0 毫秒
1.
2.
3.
4.
油气勘探开发协同工作环境建设与应用 总被引:1,自引:0,他引:1
油气勘探开发协同工作环境是近年地学研究与信息技术结合的前缘领域,其建设目标是实现勘探开发多学科、多层次、多业务对象、多业务阶段的协同工作和成果共享,提高油气勘探开发决策效率和成功率。中国石油统一建设的"勘探与生产技术数据管理系统"(A1系统)在数据库建设与服务、主流软件协同、项目研究成果管理与共享等方面取得的成果,满足了勘探开发协同工作的需求,在大庆油田、大港油田等单位的实际应用中得到完善并取得了良好效果。 相似文献
5.
6.
随着智能信息时代的发展,深度神经网络在人类社会众多领域中的应用,尤其是在自动驾驶、军事国防等安全攸关系统中的部署,引起了学术界和工业界对神经网络模型可能表现出的错误行为的担忧.虽然神经网络验证和神经网络测试可以提供关于错误行为的定性或者定量结论,但这种事后分析并不能防止错误行为的发生,如何修复表现出错误行为的预训练神经网络模型依然是极具挑战性的问题.为此,深度神经网络修复这一领域应运而生,旨在消除有缺陷的神经网络产生的错误预测,使得神经网络满足特定的规约性质.目前为止,典型的神经网络修复范式有3种:重训练、无错误定位的微调和包含错误定位的微调.介绍深度神经网络的发展和神经网络修复的必要性;厘清相近概念;明确神经网络修复的挑战;详尽地调研目前已有的神经网络修复策略,并对内在联系与区别进行分析和比较;调研整理神经网络修复策略常用的评价指标和基准测试;展望未来神经网络修复领域研究中需要重点关注的可行方向. 相似文献
7.
SMT求解器理论组合技术研究 总被引:2,自引:0,他引:2
可满足模理论(SMT)求解器是计算机科学中用来判定一阶逻辑公式可满足性的程序,是许多形式化方法的验证引擎.理论求解器实现了SMT基于不同理论背景的求解过程,然而实际问题常以多个理论为背景.因此,本文重点介绍理论组合判定方法,概述SMT求解器的发展现状,并分析了几个主流SMT求解器理论组合判定关键技术.通过对照实验,评估... 相似文献
8.
数据挖掘中的预处理技术 总被引:2,自引:0,他引:2
1 方法概述 数据挖掘技术是通过数据库或数据仓库发现并提取隐藏在其中的信息 ,由于高质量的决策依赖于高质量的数据 ,因此数据预处理是知识发现过程的重要步骤。检测数据异常 ,尽早调整数据并简化待分析的数据 ,将在决策制定时得到高回报。数据清理可去除数据中的噪音并纠正其不一致性 ;数据集成可将数据由多个数据源合并成一致的数据存储 ;数据转换是将数据转换成适合于挖掘的形式 ;数据化简可以通过诸如聚集、删除冗余特征或丛聚来压缩数据的大小。如果在数据挖掘之前采用这些数据处理技术 ,可以大大提高数据挖掘的有效性。2 技术实现为… 相似文献
9.
10.
为使符号化模型检验技术适用于全部ω-正规性质,研究了ETL(extended temporal logic)的符号化模型检验方法.首先,扩展了LTL(linear temporal logic)的Tableau方法,给出了ETL的Tableau构造方法,进而给出了该方法基于BDD(binary decision diagram)的符号化实现.同时,在NuSMV的基础上实现了支持ETL符号化验证的模型检验工具ENuSMV.该工具允许用户自定义时序连接子,从而可以检验全部ω-正规性质.实验结果表明,ETL性质能够被高效地采用符号化技术加以检验. 相似文献