【摘 要】
：
深圳信息职业技术学院软件工程系,罗湖,深圳,中国摘要本文提出、设计并开发了一个对Web服务组合的验证的OWL-S的模型检验工具OWLSVerifyTool。它在动态方面,能把OWL-S文档转换为PNML描述的Petri网文档的形式,用Petri网进行分析验证;并在静态方面,组合了基于DL的推理引擎Pellet和基于F-logic的推理引擎Flora-2,发挥其各自优势进行推理和验证。该自动化验证工
论文部分内容阅读
深圳信息职业技术学院软件工程系,罗湖,深圳,中国摘要本文提出、设计并开发了一个对Web服务组合的验证的OWL-S的模型检验工具OWLSVerifyTool。它在动态方面,能把OWL-S文档转换为PNML描述的Petri网文档的形式,用Petri网进行分析验证;并在静态方面,组合了基于DL的推理引擎Pellet和基于F-logic的推理引擎Flora-2,发挥其各自优势进行推理和验证。该自动化验证工具能对OWL-S描述的Web服务提供有效的验证支持。
其他文献
作为云南首批省级全域旅游示范区的香格里拉,拥有丰富的自然景观资源和藏族传统建筑文化资源,保护利用价值较高,改造型民宿的发展尤为迅猛。实地调研考察发现:目前,香格里拉地区,尤其是独克宗城区（建塘镇）内的藏族传统民居,在民宿化改造过程中出现了空间使用不便、文化挖掘不深、资源利用不合理、建设性破坏、管理粗放等现实问题,直接影响了游客的旅居体验、传统建筑的保护利用及当地民宿行业的可持续发展,迫切需要地方政
故障预测是实现预测性维修策略的关键，也是现代工程装备保障重要的研究内容之一。科学的故障预测可以有效降低装备维修保障费用，提高装备的安全性和完成任务的成功概率。本文综述工程装备故障预测的研究现状，简述开展工程装备故障预测的基本步骤，详细从故障趋势预测、剩余寿命预测、故障模式预测以及故障率预测等层面分析故障预测内容，归纳故障预测的方法体系，评价主流故障预测方法的优缺点。最后，对故障预测技术的发展前景做
互联网金融作为传统金融和网络信息技术的结合和创新，现已发展成为我国金融市场的重要组成部分，在弥补传统金融行业不足的同时，也为促进金融业创新发展做了有益的补充。但互联网金融产品在给人们的消费和生活带来方便的同时，也产生了很多的问题。文章在分析我国互联网金融发展现状的基础上，针对我国互联网金融运行中存在的问题进行了研究，并根据互联网金融产品、行业的特性分析了产生问题的原因，最后从完善政府监管模式、制定
＜正＞近年来，江苏省常州市钟楼区小学语文学科致力于“精读+略读”全课时整体设计研究，通过“初读感知—理解内化—运用巩固”进阶式学习，引导学生由教师指导下的阅读走向自主独立的阅读，实现由“知”向“行”的能力提升。一、教材解读：由主题关联到深层融合要实现“精读+略读”（精读2课时、略读1课时）全课时整体设计，需要教师从专业角度深入理解文本内核，发掘精读课文与略读课文在语言文字运用、
作为现代信息技术的高级形态，人工智能在变革教学形态、方式、环境以及促进教学个性化和精准性等方面具有显著价值。同时，也给教师重构教学、角色转换、技术依赖和教学伦理等带来了严峻挑战。为此，需要我们坚守教学的人文主义立场，遵循智能化教学伦理规范，研究人工智能融入教学的契合度，提升教师智能教育素养，确保立德树人根本任务的实现。
＜正＞近些年来我国的综合国力快速发展，建筑给排水工程施工是重要的组成部分。社会在不断地进步，人们对生活质量的要求也越来越高，在实际生活中，给排水工程建设关系到人们的日常生活，也是市政工程建设的基础，是政府形象和实力的象征。在具体的给排水工程施工建设中，必须积极引起重视，要确保施工的质量安全。在本次研究中针对建筑给排水工程常见的质量问题，对具体的控制对策进行分析。
＜正＞作为我国市场和经济发展的重要力量，房地产行业的项目投资决策不仅与人们的生活紧密相关，更能有效推动国民经济增长。房地产企业项目投资决策与其未来长远发展有着直接的联系。基于房地产行业本身的特殊性，一旦制定了项目决策就很难发生改变，如果决策发生更改，就会为企业带来较大的损失。房地产企业项目在建设过程中，每个环节都会要投入大量的物力和人力成本，一旦中途发生决策变更，企业将会遭受经济上的严重损失。因此
文章依托G30连霍高速公路洛阳-郑州段改扩建工程项目，介绍主线改扩建设计技术标准，对沿线自然地理特征进行研究，对比分析了分离式路基段及整体式单侧加宽等段落的具体工程措施，并从路线、路基路面及排水、桥涵、交通工程及沿线设施等四个方面探讨总体设计方案。研究成果可为相关高速公路改扩建工程项目提供借鉴。
将质疑释疑策略运用于初中议论性课文学习中，可以提升学生批判性思维。经过实践发现，教师要精心筹划，引导学生依据文体特征，围绕论点、论据、论证、意图四个承载点进行质疑释疑,有助于培养学生批判性思维的各项具体技能。
＜正＞小学语文情境化的家庭作业融情境性、趣味性、实践性为一体,不但激发了学生浓厚的作业兴趣,而且培养了学生动手、动脑、想象、观察等诸方面的能力,使学生的训练从"单一"走向"综合",也使"减负"落到了实处。因此,只要我们在家庭作业形式、内容的设计上花一番工夫,创设学生感兴趣的情境,便能真正使家庭作业焕发其生命的色彩!一、再现文本情境——家庭作业的趣味性小学语文教材凭借多彩的语言,丰富的人文,绵延的情