【摘 要】
：
语义验证是束缚语义软件和语义程序设计语言发展的问题之一,针对这一问题,在基于语义Web服务的语义程序设计语言SPL及其知识库业务领域本体(BDO)的基础上,提出了一种基于Mealy!机对SPL所编排的业务过程进行语义验证的方法,结合在线外汇交易平台的案例,详细描述了运用该方法进行语义验证的过程。通过案例证明,本方法有助于编写语义正确的语义程序。
【机 构】
：
湖北第二师范学院计算机学院,华中科技大学计算机学院,武汉大学软件工程国家重点实验室
【基金项目】
：
国家自然科学基金资助项目（61070012）,湖北省教育厅重点科研项目（D20103004）,湖北省科学技术研究计划优秀中青年人才项目（Q20113001）
论文部分内容阅读
语义验证是束缚语义软件和语义程序设计语言发展的问题之一,针对这一问题,在基于语义Web服务的语义程序设计语言SPL及其知识库业务领域本体(BDO)的基础上,提出了一种基于Mealy!机对SPL所编排的业务过程进行语义验证的方法,结合在线外汇交易平台的案例,详细描述了运用该方法进行语义验证的过程。通过案例证明,本方法有助于编写语义正确的语义程序。
其他文献
针对目前国内高校的实习现状,分析了校外实习面临的困境和校内实习的局限性,介绍了过程装备与控制工程专业《生产实习》的校内校外实践过程和结果.实践表明,根据专业特色合理
考虑到时隙Aloha网络中的非合作系统行为,并针对该网络中存在的不稳定区域及带宽受限问题,建立基于演化博弈论的时隙Aloha网络接入控制模型,并在该模型的基础上提出ABEGT协议。ABEGT协议在考虑用户有限理性的前提下,既保证了系统稳定性,也提高了网络的吞吐量。同时证明了时隙Aloha网络的接入控制中存在演化稳定策略。最后使用MATLAB仿真,结果表明ABEGT协议不仅减少了用户的冲突,而且提高
从大学生党员质量保障及评价机制存在的问题入手,深入研究、科学归纳,提出了要牢牢把握好大学生党员质量保障及评价机制的内在联系,并创造性地提出了大学生党员质量保障及评
针对光照、表情变化给人脸识别造成的影响以及大型人脸图像库的训练样本中只有部分标记的问题,结合多通道Log-Gabor小波和半监督流形学习算法,提出一种新的人脸图像检索方法。该方法首先使用Log-Ga-bor小波对人脸图像进行滤波获得特征矩阵,进一步利用提出的二维半监督流形学习算法进行维数约简,得到低维判别特征。由于该方法直接作用于Log-Gabor特征矩阵,克服了小样本带来的奇异问题;另外,通过充
增量ETL过程的并行化是提高ODS数据实时性的有效途径。结合通信顺序进程理论研究了增量ETL过程模型,形式化分析了增量ETL过程事件在并行环境下执行状态的变换过程,提出了增量ETL过程并行调度算法,解决了增量ETL过程在并行环境下调度策略的问题。应用及实践表明,模型及算法具有源系统负载小、数据的实时性高等特点。
探讨了万维网（Web）在大学教育中的应用现状与趋势。Web激发我们通过采用信息和通信技术，从根本上改变大学教育方式和提高大学教育质量的想像力。Web在大学教育中的应用，主要呈现
提出了一种基于双目视觉的三维重建方法,无须昂贵设备和通用模型。从校正后的图像中提取有效人脸重建区域以降低整体耗时。改进了Realtime局部立体匹配算法和基于种子视差约束的区域生长算法,融合Realtime阈值排序和置信度排序进行区域生长,提高了种子像素提取的可靠性和降低区域生长误匹配的可能性。最后,研究了纹理映射技术,提高了重建模型的逼真度。实验结果表明,该方法能够产生逼真光滑的三维人脸模型。
以应用化学专业为例,对地方院校在向应用技术型大学转型中的生产实习模式进行探索、改革和实践.通过对实习意义和现状的探讨、实习基地建设和实习模式的拓展、实习内容安排和
为了获取鲁棒的特征区域,提出了一种基于轮廓的旋转和尺度不变区域的检测算法。算法应用多尺度乘积LoG(Laplacian of Gaussian)提取轮廓上稳定的角点作为特征点。根据角平分线的旋转和尺度不变性提取特征方向,利用特征方向求得特征半径。由角点、特征方向和特征半径构造不变区域。进行了特征匹配的实验,图像集包含旋转、尺度、仿射、光照和压缩五种变换,算法获得了很好的匹配结果。结果表明算法简单快
为了克服边框匹配算法因边框匹配不准确而导致最优运动矢量的漏选,以及差错掩盖效果明显下降的问题,提出了一种新的基于外推运动矢量的自适应时域差错掩盖算法。首先,根据宏块运动矢量的时空相关性,从相邻宏块的运动矢量及其外推运动矢量中自适应地构造出一个有限的候选运动矢量集;然后,利用边框匹配算法从构造的候选运动矢量集中选取最佳运动矢量进行差错掩盖;最后,在H.264/AVC的参考模型JM12.2中编程实现该