王萍
- 作品数：17 被引量：18H指数：3
- 供职机构：青岛农业大学更多>>
- 发文基金：江苏省普通高校研究生科研创新计划项目公益性行业(农业)科研专项国家自然科学基金更多>>
- 相关领域：自动化与计算机技术农业科学理学文化科学更多>>
- 基于MDA的MARTE模型形式化方法被引量：4
- 2012年
- 针对嵌入式系统对可靠性和可预测性的要求,提出基于MDA对嵌入式系统的建模语言MARTE进行形式化描述的方法。建立Object-Z的元模型,定义了MARTE元模型与Object-Z元模型之间的模型转换关系,给出了MARTE模型到Object-Z模型的语义映射和语法转换的具体过程。该方法支持将MARTE模型形式化转换为Object-Z模型,有利于软件开发早期的检验和验证。
- 许海洋王萍
- 关键词：模型驱动体系形式化方法
- 高等数学教学改革与实践
- 2008年
- 传统的教学模式无法让学生将学到的数学理论和方法用于实际的问题中，开设高等数学实验可以培养学生应用数学来解决实际问题的能力，分析了Mathematica在高等数学教学中的应用。
- 王萍张好治许海洋
- 关键词：高等数学教学改革教学实践实验教学
- 几个牡丹品种抗涝性比较研究
- 牡丹（Paeoniasuffruticosa）为中国特产的传统名花，被誉为“百花之王”、“国色天香”，在园林绿化中具有举足轻重的作用。如用富有中国民族特色的牡丹装扮2010年上海世博会，这将大大丰富上海世博会的文化品味，...
- 王萍
- 关键词：水涝胁迫生理生化特征抗逆性
- 面向嵌入式软件的异构形式化方法的集成
- 2015年
- MARTE为实时嵌入式软件的构造提供了基础,为了克服MARTE缺乏精确的语义、无法有效地分析、验证软件系统模型的问题,结合Object-Z和PTA在形式化建模中的优点,提出一种集成的形式化方法,该集成模型PTA-OZ能够分别对软件系统的静态结构和动态语义进行验证和分析。在MDA架构下,基于XMI建立了MARTE模型和集成模型之间静态结构的转换框架。最后,通过实例分析了MARTE模型和PTA-OZ模型之间的转换。结果表明,该方法有利于实现图形化模型和形式化模型之间的转换,便于软件开发人员的使用。
- 许海洋王萍
- 关键词：元模型
- 人工智能中概率逻辑的研究
- 2008年
- 概率论是在不完备的、不确定的数据中进行推理的，它是度量不确定性的重要手段。在人工智能中，研究者结合概率和逻辑各自的优点，进行概率逻辑的研究。本文介绍了传统概率逻辑的三大派别，阐述了二值逻辑概率和三值逻辑概率的发展；最后介绍了泛逻辑，通过对概率逻辑和泛逻辑学的研究，将概率逻辑纳入泛逻辑学的框架内。
- 王萍
- 关键词：概率逻辑泛逻辑
- 基于改进全卷积网络的临产母猪体态识别
- 2023年
- 【目的】优化临产母猪体态识别的方法,为客观反映母猪生理状态和有效预防母猪疾病提供参考。【方法】基于改进全卷积网络(FCN)的母猪体态识别算法,构建FCN训练模型,采用自适应学习率进行训练,识别临产母猪体态。【结果】模型训练前15轮模型loss和评价指标mae迅速下降,30轮时模型基本完全收敛,且模型在训练集和测试集上的准确率可达100%;模型微调后,loss和mae仍有小范围下降,但对模型最终预测结果的提升不明显。不同光照条件下该模型可有效识别定位母猪的不同体态,具有较强鲁棒性,模型平均识别准确率为97%,且能较好地捕捉样本特征,预测框IOU为92.56%,运行速度为0.2 s,基本可达实时检测要求。【结论】基于改进全卷积网络的临产母猪体态识别方法可在光照条件欠佳的猪舍环境中有效识别母猪体态,实现对临产母猪的实时监测。
- 王萍侯岩松许海洋张伟
- 关键词：临产母猪
- 一种猪皮肤来源干细胞分化为卵母细胞样细胞的方法
- 本发明属于生物医学干细胞与组织工程学技术领域，具体涉及一种猪皮肤来源干细胞经体外异种重组卵巢类器官分化为卵母细胞样细胞的方法。该方法包括以下步骤：S1：猪皮肤来源干细胞诱导分化为猪原始生殖细胞样细胞；S2：分离胚胎期12...
- 程顺峰王萍解新香刘文祥沈伟
- 高可靠性智能灌溉系统的形式化验证方法被引量：3
- 2015年
- 针对智能灌溉系统中嵌入式软件的可靠性,提出了在软件的设计阶段,采用MARTE建立软件的系统模型,通过将软件模型转换为形式化模型,对软件系统中各个子系统的可靠性进行验证。通过对智能灌溉系统的嵌入式软件进行可靠性分析,指出在本文假设前提下,数据采集单元软件的故障率最大,在实际应用中应该有针对性的进行改善,有助于解决不利于可靠性的影响因素,提高整个智能灌溉系统的可靠性。
- 许海洋王萍
- 关键词：可靠性形式化验证
- 基于零级N/T泛数完整簇的概率逻辑算子的研究
- 2009年
- 在人工智能中不确定性理论、主观Bayes方法、证据理论等都是基于概率论的。但是,这些不确定性推理方法仅仅是基于概率,而不能真正实现逻辑框架内的概率逻辑不确定推理,产生这种现象的主要原因是概率逻辑自身存在着缺陷。按照泛逻辑学的生成规则,基于零级N/T/S范数完整簇从泛逻辑学的角度来构造概率逻辑算子。结果表明概率逻辑是能够在泛逻辑学的框架内进行柔性化的,是命题泛逻辑在h=0.75时的一种特例。
- 许海洋王萍姜德民
- 关键词：概率逻辑泛逻辑
- 基于ARIMA的新城疫风险预测模型被引量：2
- 2016年
- 本研究旨在探讨ARMIA模型在新城疫风险预测方面的可行性,主要以地区为单位预测新城疫月新发生次数,为制定科学的防控措施提供指导。通过分析2009年1月到2012年12月的新城疫月新发生次数的官方数据,建立具有时间序列属性的风险预测模型,并对所建立的模型进行随机性、显著性和拟合度检验,从而确立风险预测模型中的参数,并使用分析预测模型对2013年1月到2013年6月的新城疫月新发生次数进行预测。将模型预测结果与实际新城疫月新发生次数进行对比表明,基于ARIMA模型的新城疫风险预测误差较小,效果比较显著。
- 王萍程冰孙金领
- 关键词：新城疫
