山西省自然科学基金(2008011029-1)
- 作品数:2 被引量:0H指数:0
- 相关作者:李元宗段之宇韩冀皖王园宇段跃兴更多>>
- 相关机构:太原理工大学赫特福德大学更多>>
- 发文基金:山西省自然科学基金更多>>
- 相关领域:自动化与计算机技术更多>>
- 自动基片分类机中的数字图像处理
- 2009年
- 阐述了自动基片分类机软件部分中的主要数字图像处理技术。首先根据系统精度与速度要求,选择了Laplacian无向算子对陶瓷基片图像进行边缘检测,并提出了新的去噪方法,有效消除了影响边缘检测效果的噪声点;其次通过实验得到了两个模板,对边缘进行了修正,减少了陶瓷基片原始尺寸与测量尺寸的偏差;然后通过空间矩像素细分技术对陶瓷基片图像边缘进行了精确定位;最后得出了基片尺寸计算公式。上述研究内容已经成功应用于实际生产中,取得了良好的效果。
- 王园宇李元宗韩冀皖
- 关键词:数字图像处理滤波边缘检测
- 语义Web服务的形式化与满足性研究
- 2012年
- 描述逻辑是语义网的理论基础,首先通过对语义Web服务中的输入/输出参数进行抽象描述,依据描述逻辑理论得到语义Web服务的形式化定义。从描述逻辑的角度把语义Web服务映射成某一领域中的概念,把语义Web服务的组合看成是一个新的语义Web服务的形成,新服务形成后是否有意义其实就是描述逻辑中新概念的满足性问题。通过引入Tableau算法,证明了新语义Web服务的可终止性,并给出了语义Web服务满足性的可判定过程。这一工作为具体语义下的Web服务的发现、组合等问题的解决提供了理论基础,具有十分重要的指导作用。
- 段跃兴段之宇
- 关键词:语义WEB描述逻辑语义WEB服务