检索结果-内蒙古大学图书馆

计算机应用研究 2011年第6期28卷 2168-2173页

作者：胡静冯志勇天津大学计算机科学与技术学院天津300072

当前对Web服务进行形式化描述的方法多是基于对某个具体Web服务组合规范的抽象,无法兼顾基于全局和局部的设计方法,并且无法描述Web服务组合的体系结构的动态性。在对现有的Web服务形式化描述方法进行回顾和总结的基础上,基于Pi-演算建... 详细信息

当前对Web服务进行形式化描述的方法多是基于对某个具体Web服务组合规范的抽象,无法兼顾基于全局和局部的设计方法,并且无法描述Web服务组合的体系结构的动态性。在对现有的Web服务形式化描述方法进行回顾和总结的基础上,基于Pi-演算建立了Web服务形式化描述模型,将BPEL4WS和WS-CDL规范的重要行为在模型中作了映射。最后通过例子说明,基于局部和全局的设计方法在提出的模型中的映射是一致的。提出的描述模型直接用来进行Web服务组合的设计时,可以更好地描述动态的体系结构。

关键词： Web服务 Web服务组合形式化描述模型 Pi-演算

来源：评论

学校读者我要写书评

暂无评论

基于Voronoi图的空间方向关系形式化描述模型

引用

武汉大学学报（信息科学版） 2003年第4期28卷 468-471,479页

作者：闫浩文郭仁忠兰州交通大学土木工程学院兰州市安宁西路22号730070 深圳市规划国土局深圳市振兴路3号518031

运用认知心理学信息加工的观点 ,建立了基于Voronoi图的空间方向关系形式化描述模型 ,并详细阐述了模型的逻辑结构、数据结构和空间方向的计算过程。为了验证模型的正确性 ,列举了该模型计算空间方向的几个例子 ,并总结了模型的优。

关键词： Voronoi图空间方向关系形式化描述模型逻辑结构数据结构

来源：评论

学校读者我要写书评

暂无评论

GIS空间方向关系形式化描述模型分析

引用

测绘科学 2007年第5期32卷 94-97页

作者：夏宇朱欣焰李德仁秦昆武汉大学遥感信息工程学院武汉430079 武汉大学测绘遥感信息工程国家重点实验室武汉430079

空间方向关系是空间关系的重要内容,是地理信息系统(GIS)的基础理论问题之一,在GIS空间查询、空间分析、空间推理、制图综合等过程中起着重要作用。空间方向关系的理论研究相对于拓扑关系和度量关系的研究相对滞后。本文给出了空间方向... 详细信息

空间方向关系是空间关系的重要内容,是地理信息系统(GIS)的基础理论问题之一,在GIS空间查询、空间分析、空间推理、制图综合等过程中起着重要作用。空间方向关系的理论研究相对于拓扑关系和度量关系的研究相对滞后。本文给出了空间方向关系形式化描述方法的分类,阐述了空间方向关系的形式化描述模型与表达方法,分析比较了各自的优缺点,并探讨了目前存在的问题和今后的发展方向。

关键词：方向关系空间关系形式化描述模型地理信息系统空间分析

来源：评论

学校读者我要写书评

暂无评论

空间方向关系的概念、计算和形式化描述模型研究

空间方向关系的概念、计算和形式化描述模型研究

引用

作者：闫浩文武汉大学

学位级别：博士

该文针对空间关系理论中的空间方向关系进行了详细、深入探讨,提出了若干的概念、定义、思想、算法和模型,主要的研究工作和创新点包括:近年来的空间方向关系研究主要集中于形式化描述模型和定性空间推理.该文详细总结了学术界对空间方... 详细信息

该文针对空间关系理论中的空间方向关系进行了详细、深入探讨,提出了若干的概念、定义、思想、算法和模型,主要的研究工作和创新点包括:近年来的空间方向关系研究主要集中于形式化描述模型和定性空间推理.该文详细总结了学术界对空间方向关系形式化描述模型的研究成果,包括矩形模型、锥形模型、四半区域模型、2-D String模型、MER模型和方向关系矩阵模型,该文从空间、方向的定义出发,遵循人们空间认知的习惯给出了空间方向关系的定义,指出了空间方向和空间方向关系的不同;阐述了空间方向的三种参考框架:内部参考框架、直接参考框架和外部参考框架.以普通心理学、认知心理学、格式塔心理学为依托,定义了可视点、不可视点、可视点集、不可视点集、可视链、可视区域/可视场等新概念,并基于这些概念用心理学对比实验的方法分析了人们在进行空间方向判断时所依赖的因子.从方向Voronoi图的定义出发,提出并用计算几何的方法证明了在4方向、8方向情况下用方向Voronoi图描述两目标空间方向关系的可行性.该文用Delaunay三角网、凸壳等计算几何的概念和算法,基于认知心理学的信息加工观点建立了空间方向关系描述的Triesman-Broadbent过滤器模型.

关键词：空间方向关系形式化描述模型心理学空间认知计算几何

来源：评论

学校读者我要写书评

暂无评论

基于Pi-演算的Web服务形式化描述模型

基于Pi-演算的Web服务形式化描述模型

引用

作者：胡静天津大学

学位级别：博士

Web服务组合使得开发者可以基于面向服务的计算无缝地访问众多分布式服务，组合在一起解决复杂问题。大多数Web服务是独立开发并运行在异构平台上的，为了能够实现它们之间的服务组合，需要能够兼容其异构性的服务组合描述方法以及对组... 详细信息

Web服务组合使得开发者可以基于面向服务的计算无缝地访问众多分布式服务，组合在一起解决复杂问题。大多数Web服务是独立开发并运行在异构平台上的，为了能够实现它们之间的服务组合，需要能够兼容其异构性的服务组合描述方法以及对组合后的服务进行验证或测试的方法。本文在总结以前的研究结果的基础上，以Pi-演算为基础，建立了Web服务形式化描述模型PiFM4WS，对Web服务以及Web服务组合的主要行为进行描述，为Web服务组合的动态体系结构提供统一的描述方法；将基于不同视角的Web服务组合描述规范的主要行为映射到PiFM4WS中，说明经过映射之后的两类描述规范具有等价性；将类型系统加入PiFM4WS模型中，细化了Web服务的相容性，提出可替换性的概念和验证方法；在PiFM4WS模型中对服务网络进行描述，为实现Web服务组合的自动化提供理论基础。本文所取得的主要研究成果如下： (1)建立Web服务形式化描述模型PiFM4WS：给出Web服务外部和内部行为的描述，即PiFM4WS的语法结构定义；给出Web服务经由交互发生组合的行为，即PiFM4WS的同构规则和操作语义。 (2)为两类基于不同视角的描述规范的主要行为提供映射规则：为BPEL4WS规范以及WS-CDL规范的概念和各类行为提供PiFM4WS的描述方法，从语法定义和操作语义的角度说明两类不同规范的等价性，并指出PiFM4WS提供的对动态体系结构的描述方法是现有描述规范无法实现的。 (3)基于类型化PiFM4WS的Web服务组合验证：将类型系统加入PiFM4WS中，根据子类型的关系细化Web服务的相容性，给出Web服务的可替换性的定义；根据信道是否和业务流程相关进行分类，结合Pi-演算中的代换算法，提出在动态体系结构下的Web服务可替换性的验证方法。 (4)对服务网络进行形式化描述，为实现Web服务自动组合提供理论基础：将抽象服务和具体服务之间的通信信道进行结构的抽象和描述，为服务关系的形式化描述建立理论基础。综上所述，本文提出的形式化描述模型PiFM4WS、类型化的PiFM4WS以及服务网络的形式化描述，为Web服务组合提供了统一的形式化描述和验证框架，为实现Web服务的自动组合和验证提供了理论基础。

关键词： SOC pi-演算形式化描述模型 Web服务组合验证类型化服务网络

来源：评论

学校读者我要写书评

暂无评论

GIS空间拓扑关系形式化描述模型分析

引用

江西理工大学学报 2008年第5期29卷 41-44页

作者：刘耀开刘传立江西理工大学建筑与测绘工程学院江西赣州341000

空间拓扑关系形式化描述模型是GIS空间关系研究的重要内容之一,在GIS数据建模、空间查询、空间分析、空间推理等过程中起着重要作用.文中主要给出了空间拓扑关系形式化描述方法的分类,阐述了空间拓扑关系的形式化描述模型与表达方法,分... 详细信息

空间拓扑关系形式化描述模型是GIS空间关系研究的重要内容之一,在GIS数据建模、空间查询、空间分析、空间推理等过程中起着重要作用.文中主要给出了空间拓扑关系形式化描述方法的分类,阐述了空间拓扑关系的形式化描述模型与表达方法,分析比较了各自的优缺点,并探讨了目前存在的问题和今后的发展方向.

关键词：拓扑关系空间关系 GIS 形式化描述模型

来源：评论

学校读者我要写书评

暂无评论

面目标间拓扑关系形式化描述的层次模型

引用

测绘学报 2005年第2期34卷 142-147页

作者：邓敏冯学智陈晓勇南京大学城市与资源学系江苏南京210093 亚洲理工学院空间技术应用研究系曼谷12120

拓扑关系形式化描述和区分的标准是拓扑不变量。在4交差模型的基础上,通过对两面目标边界交集的信息深入分析,提出具有不同分类能力的拓扑不变量,分别是维数、分离数、分量类型和分量排列顺序,并依次建立相应的形式化描述模型。这些模... 详细信息

拓扑关系形式化描述和区分的标准是拓扑不变量。在4交差模型的基础上,通过对两面目标边界交集的信息深入分析,提出具有不同分类能力的拓扑不变量,分别是维数、分离数、分量类型和分量排列顺序,并依次建立相应的形式化描述模型。这些模型都是在其分类层次上对面目标间拓扑关系的完备描述,并且它们的区分能力是层次递进的。

关键词：拓扑关系面目标层次模型形式化描述模型拓扑不变量分类能力排列顺序类层次区分分量

来源：评论

学校读者我要写书评

暂无评论

基于构造类别代数的协议形式化描述语言的研究

基于构造类别代数的协议形式化描述语言的研究

引用

作者：刘政中国科学技术大学

学位级别：博士

该论文提出了一种基于并发的构造类别代数的协议形式化描述模型及其语言,这种模型基于代数规范和条件重写逻辑的理论,它是面向属性的,相比于其他模型具有灵活、面向协议、易于实现的特点,并且提供了相应的测试生成和验证推导的方法.该... 详细信息

该论文提出了一种基于并发的构造类别代数的协议形式化描述模型及其语言,这种模型基于代数规范和条件重写逻辑的理论,它是面向属性的,相比于其他模型具有灵活、面向协议、易于实现的特点,并且提供了相应的测试生成和验证推导的方法.该论文的主要工作包括:1.提出新的适用于协议形式化描述的模型和语言;使用代数的方法来描述数据结构可以利用很多代数的特点,例如可以合理的表述充分性、完备性等等,但是这种方法无法表达协议的一些特点,例如并发性、分布性和不确定性等等.构造类别代数是对代数规范的一个扩充.它的缺陷是无法描述网络系统的动态结构以及并发性.该文提出了一种并发的构造类别代数的协议形式化描述模型,它是对构造类别代数的扩充,使用条件重写逻辑来替换等式逻辑,公理集合增加了重写规则集合,这种规则集合的增加以及条件重写逻辑所具备的并发语义使得规范的表达能力极大的增加了.另外,为了适应网络中分布式对象的特点,利用面向对象的程序概念,该文提出了反应体的概念,它是具有输入输出、可观察数据以及一系列参与协议的变量的特殊数据结构,它代表了网络中的一个主体或者一个节点,它是对传统的代数规范的公理形式的扩充.形式化描述语言CCAL是一种面向属性的代数规范语言,它基于上述的模型,具备该模型的所有优点,并且满足初始语义,因此适合用于协议的测试和验证.2.确立基于CCAL的规范的一致性测试的基本原理;该文提出了一种新的对逻辑公理产生测试用例的方法,CCAL规范使用重写逻辑来表达协议规则,所有的规则都是满足汇合性和终止性的带并发语义的重写规则,这些规则被看成是一个断言集合,通过这个断言集合可以构造一个满足系统行为的可执行树,树的每一条路径都是一个重写链,该重写链实际上构造出了系统的一个测试序列.同时,CCAL引入了称为反应体的模块,该模块是一类特殊的多类集合,它允许利用已有的构造函数和可观察函数的概念来生成测试数据.综合以上所述就可以得出基于CCAL规范的测试用例的产生方法.3.使用CCAL描述和验证密码协议;该文提出一种密码协议安全缺陷检测的形式化方法,通过使用CCAL语言对密码协议进行规范,利用协议规则作为推导条件,协议推理规则和等式公理作为推导的规则,从协议的目标开始作逆向的推导.检查这种推导过程可以发现,一个攻击者可以在协议所规定的动作之外完成协议的会话,例如不需要完成某个解密动作.从而由此确定协议的确存在着安全缺陷.

关键词：协议工程形式化描述模型形式化描述语言条件重写逻辑并发的程序模型协议一致性测试安全协议验证代数规范构造类别代数

来源：评论

学校读者我要写书评

暂无评论

蜕变关系形式化描述与分解技术

引用

计算机工程与设计 2016年第2期37卷 405-412页

作者：惠战伟黄松李辉刘剑豪解放军理工大学指挥信息系统学院软件测评中心江苏南京210007 全军军事训练软件测评中心江苏南京210007 空军预警学院信息对抗系湖北武汉430019

蜕变测试的实践应用研究虽得到了极大发展,但其理论基础却还未引起学者的足够关注,蜕变关系的描述就是其中关键问题之一。分析蜕变测试正确性理论基础,提出一种蜕变关系形式化定义与描述方法,对蜕变关系的取值进行分析;分析蜕变关系与... 详细信息

蜕变测试的实践应用研究虽得到了极大发展,但其理论基础却还未引起学者的足够关注,蜕变关系的描述就是其中关键问题之一。分析蜕变测试正确性理论基础,提出一种蜕变关系形式化定义与描述方法,对蜕变关系的取值进行分析;分析蜕变关系与失效之间的联系,基于形式化定义提出一种蜕变关系分解技术。通过两个实例验证了该描述与分解技术的有效性。

关键词：蜕变关系蜕变测试测试判定形式化描述模型分解模型

来源：评论

学校读者我要写书评

暂无评论

受限语言子集的理论研究和探索

引用

中文信息学报 1998年第1期12卷 9-16页

作者：宗成庆宋今陈肇雄黄河燕中国科学院计算机语言信息工程研究中心

本文在综述受限语言研究成果的基础上，提出受限语言子集的一种形式化描述模型，并给出其相应的语言特性和数学特性，就受限汉语子集的确定方法问题进行了理论研究和探索。作者希望本文提出的表示模型和确定方法能够引起有关的讨论，并... 详细信息

本文在综述受限语言研究成果的基础上，提出受限语言子集的一种形式化描述模型，并给出其相应的语言特性和数学特性，就受限汉语子集的确定方法问题进行了理论研究和探索。作者希望本文提出的表示模型和确定方法能够引起有关的讨论，并在充分认识受限语言研究的必要性和困难的基础上。

关键词：受限语言子集形式化描述模型计算机信息处理

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：