高级操作系统课程思政探索与实践

以操作系统课程为主线,分析理工类课程思政存在的困境,通过典型案例深入探讨思政教育与高级操作系统课程融合的可能性和入手点,最后说明课程思政教学效果并提出课程在实践和迭代过程中的教学反思.     

油气勘探开发协同工作环境建设与应用

油气勘探开发协同工作环境是近年地学研究与信息技术结合的前缘领域,其建设目标是实现勘探开发多学科、多层次、多业务对象、多业务阶段的协同工作和成果共享,提高油气勘探开发决策效率和成功率。中国石油统一建设的"勘探与生产技术数据管理系统"(A1系统)在数据库建设与服务、主流软件协同、项目研究成果管理与共享等方面取得的成果,满足了勘探开发协同工作的需求,在大庆油田、大港油田等单位的实际应用中得到完善并取得了良好效果。     

用KERBEROS实现网络计算的安全认证

Ｋｅｒｂｅｒｏｓ是为分布式计算应用提供基于密钥加密的强度认证协议。通信双方通过ｋｅｒｂｅｒｏｓ相互认证身份,且其通信内容可以采用加密方式传输。本文介绍了Ｋｅｒｂｅｒｏｓ的原理,提出了Ｋｅｒｂｅｒｏｓ的实施过程和配置方法。     

面向计算思维培养的大学计算机基础课程实训体系建设与应用

分析如何精准明确知识体系、如何构建配套实训体系,以落实计算思维培养的问题,提出并设计以计算思维核心能力为核心的知识体系,以及与该知识体系相配套的实训体系,并给出基于该实训体系进行计算思维核心能力培养的方法。     

基于四轴飞行器的合训类本科毕业设计实践

针对信息化战争的发展趋势和基础合训类学员的任职需求,以提高学员的综合实践能力和激发学员的学习兴趣为目的,介绍基于AR.Drone四轴飞行器开展飞行器控制软件的合训类本科毕业设计的探索实践。     

数据挖掘中的预处理技术

1 方法概述 数据挖掘技术是通过数据库或数据仓库发现并提取隐藏在其中的信息 ,由于高质量的决策依赖于高质量的数据 ,因此数据预处理是知识发现过程的重要步骤。检测数据异常 ,尽早调整数据并简化待分析的数据 ,将在决策制定时得到高回报。数据清理可去除数据中的噪音并纠正其不一致性 ;数据集成可将数据由多个数据源合并成一致的数据存储 ;数据转换是将数据转换成适合于挖掘的形式 ;数据化简可以通过诸如聚集、删除冗余特征或丛聚来压缩数据的大小。如果在数据挖掘之前采用这些数据处理技术 ,可以大大提高数据挖掘的有效性。2 技术实现为…     

SMT求解器理论组合技术研究

可满足模理论(SMT)求解器是计算机科学中用来判定一阶逻辑公式可满足性的程序,是许多形式化方法的验证引擎.理论求解器实现了SMT基于不同理论背景的求解过程,然而实际问题常以多个理论为背景.因此,本文重点介绍理论组合判定方法,概述SMT求解器的发展现状,并分析了几个主流SMT求解器理论组合判定关键技术.通过对照实验,评估...     

基于分区表的RAC 优化技术应用

OracleRAC架构是从Oracle9i开始采用的一项新技术,是高可用性的一种,也是Oracle数据库支持网格计算环境的核心技术。RAC的性能主要取决于Cache Fusion的性能。通过分析Cache Fusion的原理以及产生等待事件的原因,利用分区技术分散实例的数据请求,减少Cache Fusion的压力,充分发挥了RAC的性能。     

无人驾驶汽车决策系统的规则描述与代码生成方法

无人驾驶汽车的高层决策系统是其实现自主驾驶功能的核心,在决策系统的开发过程中,由于信号变量与状态数量庞大等原因,系统面临着可维护性与可拓展性差的难题。UNMANNED_RULE_EDIT是面向无人车高层决策系统的规则编辑与代码自动生成辅助工具,具有图形化编辑和代码自动生成的功能,有利于开发人员清晰直观地设计规则,并摆脱繁琐的编码工作。主要讨论了UNMANNED_RULE_EDIT的中间语言(规则语言)设计和代码自动生成算法。目前,该工具已初步应用在国内某单位研制的无人车上,为其决策系统的开发提供便利。     

线性μ-演算交换深度的可判定性及其复杂度

模态μ-演算被十分广泛地应用在模型验证技术中.影响模态μ-演算检验复杂度的主要瓶颈来源于规约公式的交换深度.讨论了线性μ-演算交换深度的可判定性以及求解复杂度.证明了线性μ-演算交换深度是可判定的;同时证明了对于长为l的公式判定及求解的复杂度为2O(l logl).