胡罗凯 作品数:24 被引量:36 H指数:3 供职机构: 湖北第二师范学院计算机学院 更多>> 发文基金: 国家自然科学基金 国家教育部博士点基金 国家重点基础研究发展计划 更多>> 相关领域: 自动化与计算机技术 文化科学 交通运输工程 更多>>
一种基于WSDL4S的语义Web服务资源制作平台 2009年 语义Web服务是目前研究的热点问题,其中基础性和关键性的问题之一是语义Web服务资源的描述问题。在我们提出的一种语义Web服务描述语言WSDL4S(Web Service Description Language for Seman-tics)的基础上,本文分析了基于WSDL4S的语义Web服务资源制作平台的功能需求,给出了该平台的设计和实现方案。该平台为Web服务的语义描述提供了一种很好的解决方案。 胡罗凯关键词:语义WEB服务 语义描述 智能化瓶盖制造生产线关键技术及产业化应用 杨莉 舒军 雷建军 邓芳 潘健 余良俊 胡罗凯 丁毅娟 万润泽 余双喜 陈张言 刘伟 张家礼 王芳 许庆炜 1.所属科学技术领域:制造业。 2.主要内容瓶盖包括旋冠瓶盖、压旋瓶盖、压力罐盖等,广泛应用于化工、食品、机械、烟草、军事等领域,传统瓶盖生产方式需要大量人工操作,生产效率低、成本高、板材浪费严重。在省自然基金和产学研项...关键词:关键词:定位装置 一种基于云计算的视频重定向方法 本发明公开了一种基于云计算的视频重定向方法,包括视频在虚拟机上的分析与分离、客户端IP地址的获取、视频在网络中的传播、视频在客户端的解码与显示。本发明数据通道传输视频头、每帧的视频数据和音频数据,通过云桌面协议的主控通道... 胡罗凯 肖利民 杨莉 雷州 曾艳 卢迎文献传递 基于Petri网的面向方面用况建模研究 2009年 将现有的在面向对象领域中的一些比较成熟的技术使用到面向方面领域是一个重要的研究方向。提出在需求分析时通过UML的扩展机制来进行面向方面的用况建模方法,阐述如何应用Petri网来对面向方面用况模型进行形式化,以增加用况模型的语义约束。通过一个在线外汇交易平台系统的建模实例,详细说明基于Petri网的面向方面用况建模方法,最后应用这种方法在需求分析阶段方便、有效地产生测试用例。实践证明,基于Petri网的面向方面用况建模方法取得了良好的效果。 胡罗凯 蔡恒进 邱长春关键词:PETRI网 面向方面程序设计 测试用例 面向语义Web服务的资源搜索方法 本发明涉及一种面向语义Web服务的资源搜索方法,该方法包括以下步骤:(1)运用语义操作符表达用户对搜索条件的语义信息;(2)将语义操作符映射成对应的搜索操作序列;(3)根据生成的搜索操作序列执行搜索动作,得到搜索结果。所... 应时 王权于 曾志浩 贾向阳 许承瑜 陈锐 胡罗凯 汪磊 郭鹏 李康文献传递 语义编程语言SPL的语义策略及其关键技术研究 胡罗凯关键词:语义标注 语义策略 基于UML对AspectJ建模方法的研究 2008年 开发基于面向方面的应用是目前软件工程领域研究的热点,AspectJ又是AOP的一个具有代表性的语言,而UML是用于建立面向对象系统模型的标准建模语言,如何运用UML对基于AspectJ的应用系统建模是一个新的研究方向。阐述了结合使用AspectJ和UML的原因以及提出了一种运用UML扩展机制对AspectJ的建模表示,并结合一个在线外汇交易平台系统的建模实例,详细说明了建模过程和方法。 胡罗凯 邱长春关键词:统一建模语言 面向方面程序设计 建模方法 一种基于Mealy!机的语义程序验证方法 2012年 语义验证是束缚语义软件和语义程序设计语言发展的问题之一,针对这一问题,在基于语义Web服务的语义程序设计语言SPL及其知识库业务领域本体(BDO)的基础上,提出了一种基于Mealy!机对SPL所编排的业务过程进行语义验证的方法,结合在线外汇交易平台的案例,详细描述了运用该方法进行语义验证的过程。通过案例证明,本方法有助于编写语义正确的语义程序。 胡罗凯 柴新 许庆炜 应时关键词:MEALY机 本体 语义验证 一种吹盖实时多路智能控制系统及方法 本发明公开了一种吹盖实时多路智能控制系统及方法,系统包括冲压花型计算器、决策器、时间间隔计算模块、同步跳变检测器、红外跳变检测器、红外传感器和吹盖同步信号传感器;本发明冲压过程中能有效避免红外被脏污遮挡后误判;本发明自动... 杨莉 舒军 丁毅娟 刘鸿翔 邓芳 雷建军 胡罗凯文献传递 一种基于MapReduce和Oracle的本体查询方法 2013年 当前语义Web研究的瓶颈问题之一是本体查询与推理的性能问题。利用Oracle的语义技术,在将本体文件存储入Oracle数据库的基础上,基于并行编程框架MapReduce设计并实现了面向大规模本体数据的并行查询算法,将本体查询编织进MapReduce框架,使其能够并行执行。最后,基于LUBM实验用本体,对前述的工作进行展开实验测试,佐证了设计思想的有效性。 胡罗凯关键词:本体 语义WEB MAPREDUCE