许海洋
- 作品数：32 被引量：91H指数：5
- 供职机构：青岛农业大学理学与信息科学学院更多>>
- 发文基金：国家自然科学基金北京市自然科学基金江苏省普通高校研究生科研创新计划项目更多>>
- 相关领域：自动化与计算机技术理学文化科学农业科学更多>>
- 面向嵌入式软件的异构形式化方法的集成
- 2015年
- MARTE为实时嵌入式软件的构造提供了基础,为了克服MARTE缺乏精确的语义、无法有效地分析、验证软件系统模型的问题,结合Object-Z和PTA在形式化建模中的优点,提出一种集成的形式化方法,该集成模型PTA-OZ能够分别对软件系统的静态结构和动态语义进行验证和分析。在MDA架构下,基于XMI建立了MARTE模型和集成模型之间静态结构的转换框架。最后,通过实例分析了MARTE模型和PTA-OZ模型之间的转换。结果表明,该方法有利于实现图形化模型和形式化模型之间的转换,便于软件开发人员的使用。
- 许海洋王萍
- 关键词：元模型
- 基于改进全卷积网络的临产母猪体态识别
- 2023年
- 【目的】优化临产母猪体态识别的方法,为客观反映母猪生理状态和有效预防母猪疾病提供参考。【方法】基于改进全卷积网络(FCN)的母猪体态识别算法,构建FCN训练模型,采用自适应学习率进行训练,识别临产母猪体态。【结果】模型训练前15轮模型loss和评价指标mae迅速下降,30轮时模型基本完全收敛,且模型在训练集和测试集上的准确率可达100%;模型微调后,loss和mae仍有小范围下降,但对模型最终预测结果的提升不明显。不同光照条件下该模型可有效识别定位母猪的不同体态,具有较强鲁棒性,模型平均识别准确率为97%,且能较好地捕捉样本特征,预测框IOU为92.56%,运行速度为0.2 s,基本可达实时检测要求。【结论】基于改进全卷积网络的临产母猪体态识别方法可在光照条件欠佳的猪舍环境中有效识别母猪体态,实现对临产母猪的实时监测。
- 王萍侯岩松许海洋张伟
- 关键词：临产母猪
- 基于MDA的MARTE模型形式化方法被引量：4
- 2012年
- 针对嵌入式系统对可靠性和可预测性的要求,提出基于MDA对嵌入式系统的建模语言MARTE进行形式化描述的方法。建立Object-Z的元模型,定义了MARTE元模型与Object-Z元模型之间的模型转换关系,给出了MARTE模型到Object-Z模型的语义映射和语法转换的具体过程。该方法支持将MARTE模型形式化转换为Object-Z模型,有利于软件开发早期的检验和验证。
- 许海洋王萍
- 关键词：模型驱动体系形式化方法
- 高等数学教学改革与实践
- 2008年
- 传统的教学模式无法让学生将学到的数学理论和方法用于实际的问题中，开设高等数学实验可以培养学生应用数学来解决实际问题的能力，分析了Mathematica在高等数学教学中的应用。
- 王萍张好治许海洋
- 关键词：高等数学教学改革教学实践实验教学
- 一种基于离散化全局分布搜索的可信服务组合方法
- 本发明公开了一种基于离散化全局分布搜索的可信服务组合方法，包括可信服务组合模型和离散化全局分布搜索人工蜂群算法DGABC两部分。可信服务组合模型中，通过引入时间衰减函数，将服务组合问题转化为非线性整数规划问题；DGABC...
- 庄毅霍瑛顾晶晶许海洋倪思如
- 文献传递
- 一维对流扩散方程逆过程LS-SVM解被引量：2
- 2016年
- 将最小二乘支持向量机方法,应用于一维对流扩散方程逆过程研究。相对于其它已有的方法,该方法具有简便实用、稳定性好等优点。使用高斯核函数对方程的解进行整体逼近,利用样本点得到回归参数的值。数值结果表明,该方法具有较高的精度和稳定性,可以有效地求解其它反问题。
- 吴自库许海洋李福乐
- 关键词：最小二乘支持向量机近似解
- 基于物联网的蓝莓生产智能管控云平台构建及应用被引量：1
- 2021年
- 青岛西海岸新区于2000年开始栽培蓝莓,在相关政策扶持下,蓝莓产业进入高速发展阶段,截至2020年,面积达6667 hm^(2);随着物联网、云计算技术的发展,智慧农业已经成为农业发展的新方向,已建成多种作物果蔬的云平台,极大的推动了农业信息化进程。为实现蓝莓的标准化和智慧化生产,从技术架构、数据采集与处理分析、通信传输、可视化管控、智能决策和精细化服务等方面介绍了基于物联网的蓝莓生产智能管控云平台构建及应用。
- 殷登科许海洋尹建华葛树莲
- 一种面向深度包检测的DFA压缩算法
- 2017年
- DFA(确定性有限自动机)对于实现深度包检测(deep packet inspection,DPI)技术具有重要作用。随着深度包检测规则的不断增多,DFA所需的存储空间急剧增大。为此,提出了一种基于字符替换的DFA压缩算法,利用状态转换表中每个状态通常只有少数几个不同跳转的特点,将状态转换表分解为剩余表和字符替换表,减少了存储空间。此外,通过使相似的状态可以共享相同的字符替换表以进一步压缩存储空间,给出了复杂度为O(n2)的压缩算法,n为DFA的状态数。实验结果表明,该算法在L7-filter和Snort规则集上具有较稳定的压缩率,压缩率都在5%以下。
- 张伟许海洋
- 关键词：正则表达式深度包检测
- 基于灰色半生成的图像加密分存
- 2007年
- 利用GM(1,1)[1]中的数据生成理论,构造了一种密钥集生成方法,并将密钥集应用于图像分存,提出了一种具有灰色生成的图像加密分存技术比较传统算法,具有更好的安全性。最后,给出了实验结果。
- 吴春妹姜德民孙春薇许海洋
- 关键词：GM(1,1)模型图像分存
- 一种新型计算机主机设备的安装底座
- 本实用新型公开了一种新型计算机主机设备的安装底座，包括第一连接杆，第一连接杆内设有第一T型槽，第一T型槽内设有第一弹簧和按钮，按钮通过第一弹簧滑动连接在第一T型槽的内部，按钮靠近第一弹簧的一端连接有推杆，推杆的一端延伸至...
- 许海洋
- 文献传递
