使用NWA对组合web服务进行可达性分析     

杜旭涛  邢春晓  周立柱 《东南大学学报》2008,24(3)

为了提高组合web服务的设计和实现质量,使用形式化方法对其进行建模并对其关键性质进行验证.使用web服务接口控制流自动机（WCFA）对web服务进行建模,主要描述其控制流及与其他web服务的交互关系.组合web服务由一组交互的WCFA组成.使用嵌套字自动机（NWA）对组合web服务的整体行为进行建模.将一组WCFA转换为嵌套字自动机（NWA）的算法是深度优先搜索算法的变种,算法中使用路径相关的可达性分析计算NWA的每个节点的状态公式和调用栈.安全性相关性质、调用栈相关性质及服务调用的前置和后置条件都可以用断言来描述,然后使用一个自动的可满足性（SAT）求解工具对这些断言进行验证.  相似文献   

交际化趣味化英语语法体系教学初探     

郑辉  邢春晓 《语文学刊:高等教育版》2014,(4):136-138,142

  相似文献   

基于Fedora的数字资源管理方案的研究与实现   总被引：7，自引：0，他引：7  

张蓓  董丽  李新伟  邢春晓 《现代图书情报技术》2005,21(5):1-5

以清华大学开展的数字资源长期保存，数字图书馆的建设为背景，通过对开放源代码的Fedora系统框架的研究，以及和DSpace系统的比较，提出了基于Fedora的数字资源管理方案，为解决不同种类数字资源统一存储管理问题提供了思路和方法。  相似文献   

开放源代码的数字资源管理系统DSpace和Fedora的分析和比较   总被引：12，自引：1，他引：12  

董丽  张蓓  邢春晓 《现代图书情报技术》2005,21(7):1-6

对两种流行的开放源代码的数字资源管理系统DSpace和Fedora进行了研究，对其体系结构和主要功能特点作了较为系统的分析和比较，为关注这方面研究的同行提供一些借鉴和参考。  相似文献   

面向开放关联数据的知识地图研究     

朝乐门  张勇  邢春晓 《图书情报工作》2012,56(10):17-24

指出知识地图作为知识定位、组织和可视化展现的一种方法,是开放关联数据的高效利用和深度挖掘的重要途径。目前,关联数据知识地图的研究仍很薄弱。以研发面向开放关联数据的跨域共享与按需服务为目的,依次研究关联数据知识地图的基本原则、主要特征、体系结构和关键技术。在此基础上,采用语义Web编程技术实现面向DBpedia、Yago、FOAF、Freebase等不同关联数据集的知识地图系统,进一步论证本文的研究工作。  相似文献   

国外典型电子政务顶层设计的比较研究     

杨吉江  邢春晓 《中外科技政策与管理》2006,(3):6-24

一、引言 为了改进政府工作效率．消除“信息孤岛现象”，各国政府效仿企业信息集成的观念，开始对政府中的信息资源和系统功能进行有效的集成和整合。美国政府自上世纪90年代中就开始讨论整个联邦政府的信息系统架构．以确保政府各部门之间能按照统一的标准和规范实施信息系统．整理信息资源。欧洲联盟（简称“欧盟”）内，不仅各国政府内部开始构建统一的政府信息平台而且在欧盟各国政府之间也在构建数据交流平台．以保证欧盟内部的信息畅通。  相似文献   

基于规则引擎技术的铁路客运专线浮动票价系统研究     

张勇  张健  赵洁  邢春晓 《雁北师范学院学报》2011,27(1)

随着应用需求的快速增长,能够灵活、快速、高效地处理复杂业务逻辑已经成为中国铁路客运专线票务系统的迫切需求。研究如何将规则引擎技术应用到铁路客运专线票务系统中,利用规则引擎技术抽取铁路客运专线票务系统中的浮动票价计算策略,将其转化成标准的业务规则存储在规则库中,并集成到票价计算系统中,从而建立灵活地浮动票价计算系统。基于两种规则引擎工具开发了验证系统并进行性能测试和对比,分析两种系统优缺点,为铁路客运专线票务系统中浮动票价的实现提供参考。  相似文献   

数字图书馆元数据研究   总被引：46，自引：0，他引：46       下载免费PDF全文

吴开华  邢春晓  罗德胤 《中国图书馆学报》2002,28(3)

元数据是数字图书馆建设的关键技术之一 ,是数字图书馆用以进行知识组织和资源发现的工具。它分为描述性元数据、管理元数据和结构元数据。随着越来越多的特殊科目和格式的元数据标准的出现 ,元数据的互操作问题已成为业内人士关注的焦点。参考文献 4  相似文献   

元数据与建筑学知识管理-以营造学社数字图书馆的建设为例   总被引：3，自引：0，他引：3  

罗德胤  吴开华  邢春晓 《大学图书馆学报》2002,20(3):32-34

元数据和知识管理的概念在建筑学中仍处于探索的阶段,文章以营造学社数字图书馆的建设实例为研究对象,探讨了元数据和建筑学知识管理的方法。  相似文献   

一种基于领域本体的启发式web服务组合方法     

任红博  邢春晓 《东南大学学报》2007,23(3):403-407

为了实现web服务的自动组合,提出了一种基于领域本体的启发式算法.该方法将领域本体与人工智能规划方法相结合,利用领域本体及其推理能力,推理出参数间的语义关系,在此基础上运用人工智能规划的启发式算法将web服务组合问题转化为规划问题加以解决.实验结果表明,该方法弥补了以往人工智能规划方法中缺乏语义的不足,综合考虑了服务语义、服务组合质量和服务组合效率等因素,能高效地自动生成满足用户需求的组合web服务.  相似文献