期刊文献+
共找到3篇文章
< 1 >
每页显示 20 50 100
OWL-S模型转化为重写逻辑模型的方法 被引量:1
1
作者 沈雅芬 黄宁 彭永义 《计算机应用》 CSCD 北大核心 2011年第6期1491-1494,共4页
OWL-S模型在基于服务的软件设计中具有重要作用,但由于其非完全形式化的模型,不能直接对其进行形式化分析与验证。基于OWL-S模型的重写逻辑语义框架,通过对数据类型、表达式、控制结构与Process的转换,设计并实现了OWL-S模型到重写逻辑... OWL-S模型在基于服务的软件设计中具有重要作用,但由于其非完全形式化的模型,不能直接对其进行形式化分析与验证。基于OWL-S模型的重写逻辑语义框架,通过对数据类型、表达式、控制结构与Process的转换,设计并实现了OWL-S模型到重写逻辑模型的自动转化工具,为能够在软件实现前为设计模型的形式化分析与验证,以及可靠性分析提供基础。 展开更多
关键词 软件可靠性 Web服务本体 重写逻辑 模型转化 形式化验证
下载PDF
融媒体时代背景下电视新闻的转型
2
作者 彭永义 《记者观察(中)》 2020年第2期14-14,共1页
在互联网信息技术迅猛发展的情况下,电视新闻在信息传播、稳固收视率、巩固受众群体等方面均受到大量挑战。本文就融媒体时代背景下电视新闻的转型路径做出了简要探析,以求能够为有关单位提供借鉴。
关键词 融媒体时代 电视新闻 转型路径
下载PDF
机械加工工艺对加工精度的影响探讨
3
作者 彭永义 《区域治理》 2018年第8期261-261,共1页
随着现代机械加工技术不断发展,在机械加工过程对于加工精度也有着越来越高的要求,因而保证加工精度也就十分必要.在实际机械加工过程中,很多因素均会影响加工精度,而加工工艺属于较重要的一种影响因素,作为机械加工工作人员,应当充分... 随着现代机械加工技术不断发展,在机械加工过程对于加工精度也有着越来越高的要求,因而保证加工精度也就十分必要.在实际机械加工过程中,很多因素均会影响加工精度,而加工工艺属于较重要的一种影响因素,作为机械加工工作人员,应当充分认识机械加工工艺对加工精度产生的影响,从而为更好保证加工精度提供较好理论依据及支持,促使机械加工进一步发展. 展开更多
关键词 机械加工精度 加工工艺 影响
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部