沈晶
- 作品数:73 被引量:307H指数:10
- 供职机构:哈尔滨工程大学计算机科学与技术学院更多>>
- 发文基金:中国博士后科学基金中央高校基本科研业务费专项资金黑龙江省青年科学基金更多>>
- 相关领域:自动化与计算机技术文化科学电气工程天文地球更多>>
- 计算机专业人才培养模式的探索与实践被引量:16
- 2008年
- 本文回顾了计算机专业的历史背景,分析了计算机专业的发展现状,并在此基础上探讨了计算机本科专业人才培养模式改革的必要性及改革思路。
- 张国印刘海波沈晶
- 关键词:计算机专业课程体系
- 研究生组合数学课程思政建设与实践被引量:1
- 2023年
- 目前研究生课程思政强调政治认同和科技强国的较多,通过思政元素提高课程趣味性的实践较少。针对上述问题,深入探究研究生组合数学课程的思政实施方法,提出发展历史与现实应用相结合的课程思政元素挖掘和融入方法,并给出了若干实际案例。教学实践结果表明,融入课程思政不仅能潜移默化地对学生进行思想引领,还能增加课程趣味性,在一定程度上克服了数学的抽象性给学生造成的心理抵触,从而更好地达到知识传授、能力培养和价值塑造三位一体的育人效果。
- 沈晶刘海波潘海为吴艳霞史长亭
- 关键词:研究生课程组合数学
- 基于扩展KQML语言的Agent模板实现被引量:9
- 2004年
- 文中针对生成Agent的模板JATLite的协议不完整性问题 ,分析了其工作原理 ,提出修改通信协议的方案 ,在JATLite中的KQML语言基础上定义了扩展的KQML语言 ,并实现了基于扩展KQML语言的新层次exkqmllayer ,从而形成一个新的构建Agent系统的模板。
- 曲朝阳沈晶
- 关键词:AMRKQML
- 基于签名的控制流错误检测算法检测能力的验证模型
- 2010年
- 目前主要采用实验测试的方法对基于签名的控制流错误检测算法进行评价,但由于控制流错误模型的不确定性,而导致测试结果存在一定的偏差,本文尝试采用模型验证的方法评价控制流检测算法的错误检测能力。本文首先简述了基于签名的控制流错误检测算法的基本原理,其次,提出了控制流错误跳转关系表示方法和指出了传统的控制流错误检测能力分析方法中未考虑的影响检测能力的因素,接下来,结合这些因素提出了基于签名的控制流错误检测能力验证模型,最后给出实例,通过验证模型分析了目前典型的基于签名的控制流错误检测能力。
- 吴艳霞顾国昌戴葵沈晶刘海波
- 关键词:可靠性
- 关于人工智能课程改革与建设的几点思考
- 人工智能是计算机科学的一个重要分支,是当前科学技术发展中的一门前沿学科,人工智能课程已在计算机、计算数学、电子信息、控制等专业广泛开设。本文结合国内外人工智能课程建设情况和教学实践,针对哈尔滨工程大学《人工智能》课程的具...
- 刘海波沈晶
- 关键词:人工智能课程建设教材选编教学改革
- 文献传递
- AUV心智逻辑
- 2006年
- 为了表示和处理AUV(Autonomous Underwater Vehicle,自治水下机器人)的心智状态及心智活动,对Rao和Georgeff的BD I逻辑进行了拓展,定义了一种含模态词(信念、目标、能力、意图、上一次、下一次、曾经、将会、总有、总会)的一阶模态时态混合逻辑系统———AML(AUV心智逻辑);基于Kripke可能世界语义模型给出了AML语义,构造了AML公理系统及演绎规则,并证明了AML的可靠性与完备性。AML为建造AUV心智模型提供了有力的表示和处理工具,弥补了Agent理论在机器人应用上的一道鸿沟。
- 刘海波顾国昌沈晶孔晓东
- 关键词:自治水下机器人智能体BDI
- 改进的CFCSS控制流检测算法被引量:1
- 2011年
- 针对软件控制流检测算法(CFCSS)存在的检测混淆和检测出错问题,分析了造成可靠性差的根本原因,并根据汇编语言结构特点,通过修改基础基本块的选择方法和多调整签名值赋值语句的插入位置,提出了改进的软件控制流检测算法(ICFCSS),弥补了硬件故障容错性能上的不足,改进算法克服了出错问题的发生.实验表明:此检测算法的平均未检测出错误率仅为2.9%.
- 李静梅吴艳霞沈晶张健沛
- 关键词:可靠性
- 一种电网调度中心的故障信息识别方法被引量:11
- 2002年
- 故障信息的误发、误传及丢失是影响电网调度中心运行人员准确识别故障的重要因素 ,并可能导致事故的扩大。文中介绍了一种实现故障信息数据滤波的方法 ,该方法将 SCADA系统采集的数据作为数据基 ,建立动态数据库 ,以时间为索引 ,运行方式状态为参照知识库 ,生成剔除了不良信息的、可用以进行故障识别的动态数据链。
- 党德玉沈晶
- 关键词:电网调度中心电力系统数据滤波
- 基于数据挖掘技术的药品营销分析系统被引量:5
- 2004年
- 本文介绍了一个应用数据挖掘技术开发的医药营销平台DMMA,从体系结构、系统实现、应用等方面论述了DMMA的设计,对数据挖掘技术的应用进行了有益的探索。
- 曲朝阳沈晶宋桂娟
- 关键词:数据挖掘技术数据仓库
- 基于DNA微阵列数据的特征子空间集成分类被引量:4
- 2011年
- 针对DNA微阵列数据应用于临床诊断时分类准确率过低的问题,结合其高维小样本的特点提出了一种特征子空间集成分类方法。该方法首先通过层次聚类与信噪比特征选择策略将原始训练数据集映射到一个非冗余的特征基因空间,然后随机抽取一些特征子空间构成训练子集并应用支持向量机训练基分类器,最后采用多数投票的方式决定测试样本的类属。最后在4个标准的微阵列数据集上与其他方法进行了对比实验,结果证明了本文方法的有效性。
- 于化龙顾国昌赵靖刘海波沈晶
- 关键词:计算机应用特征子空间支持向量机