李河
- 作品数：19 被引量：104H指数：6
- 供职机构：吉林大学软件学院更多>>
- 发文基金：国家自然科学基金国家重大科学工程国家教育部博士点基金更多>>
- 相关领域：自动化与计算机技术天文地球文化科学电子电信更多>>
- 高级语言程序设计课程的慕课建设与思考被引量：14
- 2017年
- 高级语言程序设计作为国家级精品和资源共享课程,率先完成慕课建设工作并持续推进课程建设。文章从大纲制订、视频资源制作和文本资源准备3方面,详细介绍慕课建设的具体措施和工作内容;针对课程实施,从慕课和传统课堂、慕课与实践教学两方面,讨论建立慕课与传统混合教学模式的必要性;最后说明高级语言程序设计课程建设和改革的未来规划。
- 陈娟张长海邓春燕李河
- 关键词：程序设计课程建设教学内容
- 大数据量地球物理测井绘图关键技术研究被引量：19
- 2005年
- 在开发地球物理测井解释软件过程中,绘图所涉及的数据量很大,在绘图过程中要进行大量的比例运算、坐标转换及坐标映射等,特别是绘制巨幅、需要连续滚屏显示的声电成像测井图像,数据量和运算量更大,因此,就会经常出现内存不足、图形刷新速度过慢、图形重叠和闪烁等现象.在开发测井解释系统GeoWell过程中,采用内存映射文件、内存DC绘图、局部重绘等技术实现了大数据量巨幅测井图形的快速度、高质量绘制以及图形的连续滚动显示,提高了绘图效率,为微机环境下开发大数据量复杂测井绘图软件提供了技术参考.
- 李河王祝文李舟波王朝辉
- 关键词：测井软件内存映射文件
- 关系扩展规则被引量：1
- 2008年
- 基于关系转换方法对模态逻辑进行转换,使用一阶扩展规则定理证明器对转换后得到的一阶片段进行推理,得到一种新的可用于模态逻辑的推理方法,并证明了其正确性和完备性.
- 吴瑕于海鸿李泽海李河孙佳瑜
- 关键词：定理证明模态逻辑
- 一种离散事件系统的反向遍历诊断方法
- 本发明涉及一种离散事件系统的反向遍历诊断方法，属于模型诊断技术领域。首先建立系统模型自动机；选择合适位置加入便于诊断所需的传感器，参考系统最大传输延迟的相关性质设计时间窗口。然后，根据时间窗口的长度，周期得到系统的观测序...
- 张立明欧阳丹彤赵毅李占山白洪涛张永刚于海鸿李河刘杰董旭初
- 地球物理测井数据格式及面向对象的数据读取被引量：5
- 2005年
- 在进行地球物理测井数据处理或解释软件开发时,只有知道所处理的测井数据的格式,才能正确地进行读取、格式转换、数据处理以及绘图等工作。在对ECLIPS5700数控测井系统XTF文件格式分析的基础上,基于内存映射文件技术,采用面向对象的方法创建了XTF文件数据读取类,实现了大数据量XTF文件数据的快速读取,也可为其它格式测井数据的格式转换和数据处理提供技术参考。
- 李河王祝文李舟波丁永浩
- 关键词：地球物理测井数据读取内存映射文件
- 油田勘探地质信息系统研究与实现
- 该文研究内容是大庆油田公司2000年年初正式立项的科研项目,项目名称为'油田勘探地质信息系统'.该文在对大庆油田大量复杂数据以及信息系统结构进行分析的基础上,选择基于C/S模式的信息系统结构,MapGis作为二次开发平台...
- 李河
- 关键词：大庆油田信息系统C/S模式油田勘探
- 文献传递
- 一种结合依赖关系消除误判的等价性验证方法
- 本发明涉及一种结合依赖关系消除误判的等价性验证方法，属于模型验证技术领域。在验证等价性的两个电路中，引入新变量代替候选等价点后得到两电路不等价，此时新引入的变量扩大了原候选等价点的取值范围，可能发生误判。为消除误判，本方...
- 张立明欧阳丹彤赵毅叶育鑫李占山张永刚于海鸿李河刘杰董旭初
- 文献传递
- 基于构件复用的测井解释系统及成像测井图像处理与自动识别技术研究
- 李河
- 关键词：构件复用成像测井图像处理自动识别
- 文献传递
- 一种离散事件系统的反向遍历诊断方法
- 本发明涉及一种离散事件系统的反向遍历诊断方法，属于模型诊断技术领域。首先建立系统模型自动机；选择合适位置加入便于诊断所需的传感器，参考系统最大传输延迟的相关性质设计时间窗口。然后，根据时间窗口的长度，周期得到系统的观测序...
- 张立明欧阳丹彤赵毅李占山白洪涛张永刚于海鸿李河刘杰董旭初
- 文献传递
- 大庆深部火山岩含气储层产能预测
- 本文根据大庆深部火山岩含气储层产能测试现有的有限数据,利用BP神经网络方法进行训练,然后对含气储层的产能指数进行预测.经过对汪903井、升深2井等数口井的预测计算,与已知的结果进行对比,指示有效含气储层的吻合率在80﹪以...
- 王祝文刘菁华李河许延清
- 关键词：油气勘探火山岩含气储层产能预测人工神经网络
- 文献传递
