基于Petri网的网格系统形式定义

1

作者 应宏 王自全 +1 位作者 刘福明 鄢沛 《计算机科学》 CSCD 北大核心 2008年第2期58-59,106,共3页

Petri网有严格的数学定义,具有描述分布式通信计算系统的能力。通过分析网格系统的特点,高度抽象网格系统概念,基于Petri网原理,构造网格系统的库所和变迁,用有色Petri网系统给出网格系统的形式化定义,并对相关概念进行了讨论。

关键词 网格 有色PETRI网 WEB服务 WEB服务资源框架 形式定义

在线阅读 下载PDF 职称材料

菜单的形式定义及自动生成

2

作者 焦云鹏 耿长湖 《计算机技术》 CSCD 1992年第1期14-22,共9页

关键词 菜单 形式定义 自动生成

在线阅读 下载PDF 职称材料

群签名的准形式化定义及实现方案 被引量：16

3

作者 敖青云 陈克非 白英彩 《计算机研究与发展》 EI CSCD 北大核心 2001年第10期1181-1186,共6页

1998年 ,L ee和 Chang提出一种基于离散对数问题的群签名方案 .然而 ,该方案不具备不可链接性 :一旦某个群签名的签名者被识别 ,该签名者所有以前的群签名都将泄露 .Tseng和 Jan给出的改进方案也被 Sun证明是可链接的 ;此外 ,Joye,L ee... 1998年 ,L ee和 Chang提出一种基于离散对数问题的群签名方案 .然而 ,该方案不具备不可链接性 :一旦某个群签名的签名者被识别 ,该签名者所有以前的群签名都将泄露 .Tseng和 Jan给出的改进方案也被 Sun证明是可链接的 ;此外 ,Joye,L ee和 Hwang指出 L ee- Chang和 Tseng- Jan方案有一个安全漏洞 .之后 ,Tseng和 Jan对其方案进行了修改 ,弥补了该安全漏洞 ,同时也避开了 Sun的攻击 ,但又失去了一个重要性质——可证实性 .在出现争执时 ,群权威可以识别出签名者 ,却无法向验证方证实 .在此给出了群签名方案的准形式化定义 ,并综合 Tseng和 Jan的两种方案 ,提出一种改进方案 ,对其进行了简要分析 . 展开更多

关键词 密码协议 离散对数 群签名 准形式化定义 信息安全

在线阅读 下载PDF 职称材料

联锁软件的Petri网形式化定义 被引量：10

4

作者 杨扬 潘明 何梅芳 《中国铁道科学》 EI CAS CSCD 北大核心 2002年第3期49-54,共6页

用Petri网对联锁系统中的核心部分———联锁机中的联锁软件进行形式化定义和分析 ,以减少联锁系统中的不确定性因素 ,降低联锁软件的复杂性 ,保证联锁软件定义的正确性 ,并对该定义进行了形式化验证。同时以进路建立过程作为事例 ,说... 用Petri网对联锁系统中的核心部分———联锁机中的联锁软件进行形式化定义和分析 ,以减少联锁系统中的不确定性因素 ,降低联锁软件的复杂性 ,保证联锁软件定义的正确性 ,并对该定义进行了形式化验证。同时以进路建立过程作为事例 ,说明了用Perti网形式化定义联锁软件的具体过程。采用分层模型化技术对联锁软件中的各个变迁 (模块 )进行逐级分解和验证 ,最终得到经过验证的、足够详细的联锁软件模型。利用该模型能对系统的一些重要性能 (如安全性和实时性 ) 展开更多

关键词 联锁软件 铁路信号 计算机联锁 PETRI网 形式化定义 形式化验证

在线阅读 下载PDF 职称材料

SDL形式语义定义现状及其改进 被引量：4

5

作者 王颖 倪朝 艾波 《通信学报》 EI CSCD 北大核心 2000年第4期75-79,共5页

SDL语言自身的形式化描述对于该语言的不断发展、完善将发挥重要的核心作用 ,而SDL- 92的形式语义已无法充分满足应用需要 ,本文分析了现有形式语义定义的基本方法 ,指出其存在的主要不足 ,并针对SDL形式语义的定义方法提出了一种基于SD... SDL语言自身的形式化描述对于该语言的不断发展、完善将发挥重要的核心作用 ,而SDL- 92的形式语义已无法充分满足应用需要 ,本文分析了现有形式语义定义的基本方法 ,指出其存在的主要不足 ,并针对SDL形式语义的定义方法提出了一种基于SDL未来发展方向的语义定义框架。 展开更多

关键词 SDL 形式语义定义 静态语义 动态语义

在线阅读 下载PDF 职称材料

Web资源质量模型的形式化定义及拟合优度分析 被引量：1

6

作者 朱焱 赵波 《西南交通大学学报》 EI CSCD 北大核心 2012年第2期306-312,共7页

为了合理规范所提出的Web资源质量模型(WebQM),验证WebQM在实际Web质量评测中的可行性和有效性,基于ISO/IEC标准化Z语言,对WebQM进行了形式化描述,并应用结构方程模型技术对WebQM进行了实证研究.通过获取数据样本集和构建WebQM的结构方... 为了合理规范所提出的Web资源质量模型(WebQM),验证WebQM在实际Web质量评测中的可行性和有效性,基于ISO/IEC标准化Z语言,对WebQM进行了形式化描述,并应用结构方程模型技术对WebQM进行了实证研究.通过获取数据样本集和构建WebQM的结构方程模型,采用广义最小二乘法实现其与实际Web质量状态的拟合分析.基于实际采样数据,计算得到拟合优度指数、修正拟合优度指数和比较适合度指数分别为0.944、0.911和0.981.分析结果表明,WebQM的实际拟合优度高,具有可行性和有效性. 展开更多

关键词 Web资源质量模型(WebQM) 模型的Z形式化定义 结构方程模型 模型拟合分析 拟合优度指标

在线阅读 下载PDF 职称材料

经济制度的形式化定义及其基本特征:系统经济学观点 被引量：3

7

作者 昝廷全 《河南社会科学》 2002年第1期6-9,共4页

本文首先把制度定义为经济系统对它的经济元及其子系统的约束和影响(称为制度要素),以及这些不同的约束和影响之间的关系构成的有机整体,其可以形式化地表示如下:经济制度=(狖制度要素狚,狖不同制度要素之间的关系狚)。在此基础上,讨论... 本文首先把制度定义为经济系统对它的经济元及其子系统的约束和影响(称为制度要素),以及这些不同的约束和影响之间的关系构成的有机整体,其可以形式化地表示如下:经济制度=(狖制度要素狚,狖不同制度要素之间的关系狚)。在此基础上,讨论了制度的层次性和全息性,以及不同层次制度之间的相互关系。最后论述了制度要素的类型,以及它们之间的局整关系和因果关系。从本文研究中可以得出一个重要启示:各层次的经济制度是一个密不可分的大系统,任何一个层次制度的改革和创新,都与其他所有层次的制度密切相关。这就从客观上要求我国目前所进行的体制改革必须采取系统推进模式。 展开更多

关键词 经济体制 制度要素 形式化定义 层次结构 全息性

在线阅读 下载PDF 职称材料

功能点分析方法的一种形式化定义

8

作者 顾勋梅 虞慧群 《计算机工程》 CAS CSCD 北大核心 2010年第14期10-12,15,共4页

针对功能点分析(FPA)方法因缺少精确化定义而导致度量结果与实际之间有一定偏差的问题,基于B方法对FPA的度量规则进行形式化定义,即为功能点计算提供一个明确的定义。实例应用表明,把B方法应用到软件度量中,能够提高软件项目管理的效率... 针对功能点分析(FPA)方法因缺少精确化定义而导致度量结果与实际之间有一定偏差的问题,基于B方法对FPA的度量规则进行形式化定义,即为功能点计算提供一个明确的定义。实例应用表明,把B方法应用到软件度量中,能够提高软件项目管理的效率,为软件功能规模的自动化度量奠定基础。 展开更多

关键词 功能点分析 B方法 度量 形式化定义

在线阅读 下载PDF 职称材料

计算网格的抽象定义 被引量：1

9

作者 曾国荪 陈闳中 《同济大学学报（自然科学版）》 EI CAS CSCD 北大核心 2003年第9期1092-1097,共6页

计算网格是第三代因特网和高性能并行计算的研究热点,它提供了一个有效的平台,共享资源,支持全球范围内分布异构应用程序的运行,其动机和目标是明显的,并被人们广泛认同和接受。但是目前网格系统尚无一个清楚的定义,因此基于网格语义,... 计算网格是第三代因特网和高性能并行计算的研究热点,它提供了一个有效的平台,共享资源,支持全球范围内分布异构应用程序的运行,其动机和目标是明显的,并被人们广泛认同和接受。但是目前网格系统尚无一个清楚的定义,因此基于网格语义,通过高层抽象,用谓词/变迁系统给出计算网格的框架模型。 展开更多

关键词 计算网格 形式定义 谓词/变迁系统 点火规则

在线阅读 下载PDF 职称材料

语义Web服务自动组合定义、方法及验证调查 被引量：7

10

作者 王向辉 冯志勇 《计算机应用研究》 CSCD 北大核心 2014年第5期1292-1301,1311,共11页

针对近几年在语义Web服务自动组合上的研究成果,深入归纳和总结了语义Web服务组合的定义、组合方法以及正确性验证技术,对语义Web服务组合问题进行分类和形式化定义,并归纳出一个语义Web服务自动组合框架。按照不同问题分析和比较相关... 针对近几年在语义Web服务自动组合上的研究成果,深入归纳和总结了语义Web服务组合的定义、组合方法以及正确性验证技术,对语义Web服务组合问题进行分类和形式化定义,并归纳出一个语义Web服务自动组合框架。按照不同问题分析和比较相关的组合方法,同时总结了组合方案正确性验证技术。最后,根据前面的分析和总结,提出了语义Web服务自动组合当前面临的问题和挑战。 展开更多

关键词 语义WEB服务 形式化定义 组合框架 组合方法 正确性检验

在线阅读 下载PDF 职称材料

代理多重签名的形式化模型及一个新的体制(英文) 被引量：5

11

作者 王琴 曹珍富 《计算机学报》 EI CSCD 北大核心 2006年第9期1628-1635,共8页

作为普通的数字签名的一种变形,代理签名允许一个代理签名人代替原始签名人进行签名.代理多重签名是代理签名的一种扩展形式,它允许两个或多个原始签名人把签名的权力委托给同一个代理签名人.自2000年以来,尽管文献中已经提出很多具体... 作为普通的数字签名的一种变形,代理签名允许一个代理签名人代替原始签名人进行签名.代理多重签名是代理签名的一种扩展形式,它允许两个或多个原始签名人把签名的权力委托给同一个代理签名人.自2000年以来,尽管文献中已经提出很多具体的代理多重签名方案,但是至今还未提出代理多重签名的形式化定义和安全模型.文中给出了代理多重签名的形式化定义和安全模型,并构造了一个具体的方案.在计算Co-Diffie-Hellman问题是困难的假设条件下,该方案被证明是安全的.在形式上,这个新的方案非常简单,而且最终的代理多重签名的长度是一定的,不受原始签名人个数的影响. 展开更多

关键词 代理签名 代理多重签名 形式化定义 可证安全 双线性群对

在线阅读 下载PDF 职称材料

关于拟凸函数几种定义的讨论

12

作者 郝彦 《浙江海洋学院学报（自然科学版）》 CAS 2002年第4期388-390,共3页

在文献1的基础上,给出了拟凸函数的几种定义形式,并讨论了它们之间的等价关系。

关键词 拟凸函数 等价 连续性 定义形式

在线阅读 下载PDF 职称材料

网络可生存性定义研究 被引量：6

13

作者 袁丹 张玉清 《计算机研究与发展》 EI CSCD 北大核心 2006年第z2期525-529,共5页

对已经提出的网络可生存性定义进行了分析与研究,归纳并总结了网络可生存性的关键要素,然后基于这些要素给出了一个网络可生存性的定义;在该定义的基础上,提出了更加精确、全面、利于实现的七元组的形式化定义,为网络可生存性需求分析... 对已经提出的网络可生存性定义进行了分析与研究,归纳并总结了网络可生存性的关键要素,然后基于这些要素给出了一个网络可生存性的定义;在该定义的基础上,提出了更加精确、全面、利于实现的七元组的形式化定义,为网络可生存性需求分析、设计和实现提供理论框架,同时也为验证实现的系统是否满足可生存性定义了标准. 展开更多

关键词 网络可生存性 大规模分布式网络系统 形式化定义

在线阅读 下载PDF 职称材料

WEB日志实时规则数据库的查询

14

作者 胡和平 陈鹰 《计算机工程与科学》 CSCD 2000年第6期42-45,共4页

随着 WWW应用的高速发展和广泛普及 ,WWW服务器上收集了大量的 Web日志。对这些日志进行实时的数据开采 ,可得到大量关联规则 ,这些规则存放在实时规则数据库中。为了能即时并准确得到最能反映当前用户访问模式的规则 ,我们需要一套建... 随着 WWW应用的高速发展和广泛普及 ,WWW服务器上收集了大量的 Web日志。对这些日志进行实时的数据开采 ,可得到大量关联规则 ,这些规则存放在实时规则数据库中。为了能即时并准确得到最能反映当前用户访问模式的规则 ,我们需要一套建立在规则形式基础上的查询和触发器系统 ,从实时规则数据库中 ,分析出 Web用户当前访问模式的变化趋势。 展开更多

关键词 WEB日志 实时数据开采 规则数据库 形式定义 查询 触发器

在线阅读 下载PDF 职称材料

BOM一致性维护 被引量：9

15

作者 袁平鹏 陈刚 董金祥 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2002年第1期83-86,共4页

BOM是企业里不同部门、不同流程间传递数据的基本形式 .由于企业内各部门的需求不一样 ,为满足不同的需求 ,企业内存在众多的 BOM型式 ,这些型式的存在阻碍了企业信息的有效传递 ,并可能导致数据不一致 .文中给出部件关系、部件约束、... BOM是企业里不同部门、不同流程间传递数据的基本形式 .由于企业内各部门的需求不一样 ,为满足不同的需求 ,企业内存在众多的 BOM型式 ,这些型式的存在阻碍了企业信息的有效传递 ,并可能导致数据不一致 .文中给出部件关系、部件约束、以及部件配置等基本概念的形式化定义 ,并在此基础上给出 BOM的一种柔性的定义 .该形式化定义可有效地减少 BOM的数量与种类 .虽然此定义以制造业为基础 ,然而只要稍加推广 ,便可适用于其它领域 .最后 ,针对 BOM可能出现不一致的几种情况进行分析 。 展开更多

关键词 BOM 形式化定义 一致性维护 企业信息化

在线阅读 下载PDF 职称材料

面向语义的制造服务构建技术 被引量：7

16

作者 吴晶晶 孔庆华 徐克林 《同济大学学报（自然科学版）》 EI CAS CSCD 北大核心 2012年第1期102-108,共7页

为了支持网络化协同制造过程中制造服务的匹配、选择和组合,同时提高服务的查全率和查准率,提出了基于语义的制造服务形成方法.首先,从制造服务的基本信息、服务类别、功能、资源构成、关联制造任务、访问、状态及服务质量等方面对制造... 为了支持网络化协同制造过程中制造服务的匹配、选择和组合,同时提高服务的查全率和查准率,提出了基于语义的制造服务形成方法.首先,从制造服务的基本信息、服务类别、功能、资源构成、关联制造任务、访问、状态及服务质量等方面对制造服务进行了形式化定义和案例说明.其次,利用XML文档对标准OWL-S(Web服务本体语言)进行了扩展以传达服务的动态信息.然后,采用扩展后的OWL-S对制造服务模型进行了描述实现.最后,给出了协同制造平台原型与运行流程,通过某纺织机械制造企业的生产实例进行了原型系统的验证和应用. 展开更多

关键词 面向服务架构 制造服务 形式化定义 语义描述

在线阅读 下载PDF 职称材料

柔性化工作流系统的研究与实现 被引量：7

17

作者 张光庭 陆倜 刘彩虹 《计算机工程》 CAS CSCD 北大核心 2002年第2期117-119,共3页

提出一种柔性化工作流的形式化定义,给出了柔性化工作流系统模型和应用系统的实现。工作流柔性化设计提高了系统灵活性OA和实用性。

关键词 形式化定义 OA 工作流模型 柔性化工作流系统 自动化系统

在线阅读 下载PDF 职称材料

用户层次化的RBAC授权管理模型 被引量：2

18

作者 任传伦 李忠献 +1 位作者 钮心忻 杨义先 《计算机应用研究》 CSCD 北大核心 2010年第12期4633-4637,共5页

为了降低授权的管理成本,基于用户分层的思想,提出了用户层次化的授权管理模型,即AHURBAC,通过将用户和管理员分层降低了管理成本。给出了AHURBAC模型的形式化定义,并给出can_assign、can_re-voke、can_assignp和can_revokep的形式化定... 为了降低授权的管理成本,基于用户分层的思想,提出了用户层次化的授权管理模型,即AHURBAC,通过将用户和管理员分层降低了管理成本。给出了AHURBAC模型的形式化定义,并给出can_assign、can_re-voke、can_assignp和can_revokep的形式化定义。给出的授权管理模型对有效降低授权管理成本是有益的。 展开更多

关键词 角色 基于角色的访问控制 授权管理 形式化定义

在线阅读 下载PDF 职称材料

一种带有动态群管理员的群签名方案 被引量：1

19

作者 吴勇 孙星明 +1 位作者 罗纲 李雯 《计算机应用研究》 CSCD 北大核心 2008年第2期379-381,共3页

提出了一种带有动态数量群管理员的群签名方案,解决了在开放网络环境某些应用中,群管理员不能完全信任的问题。该方案签名长度比较短,并满足群签名的安全要求和形式化定义,且符合子群签名的定义,具有良好的应用前景。

关键词 群签名 双线性映射 q-SDH假设 形式化定义

在线阅读 下载PDF 职称材料

数值流形方法及其在岩石力学中的应用 被引量：16

20

作者 李树忱 程玉民 《力学进展》 EI CSCD 北大核心 2004年第4期446-454,共9页

数值流形方法是目前岩石力学分析的主要方法之一.该方法起源于不连续变形分析,主要用于统一求解连续和非连续问题,其核心技术是在分析时采用了双重网格:数学网格提供的节点形成求解域的有限覆盖和权函数;而物理网格为求解的积分域.数学... 数值流形方法是目前岩石力学分析的主要方法之一.该方法起源于不连续变形分析,主要用于统一求解连续和非连续问题,其核心技术是在分析时采用了双重网格:数学网格提供的节点形成求解域的有限覆盖和权函数;而物理网格为求解的积分域.数学网格被用来建立数学覆盖,数学覆盖与物理网格的交集定义为物理覆盖,由物理覆盖的交集形成流形单元.流形方法的优点在于它使用了独立的数学和物理网格,具有和有限元明显不同的定义形式,且数学网格对于同一问题不同的求解精度的需求可以很方便地细化.由于该方法考虑了块体运动学,可以模拟节理岩体裂隙的开裂和闭合过程,因而在岩石力学中得到了广泛应用,近年来许多学者对该方法进行了研究.本文简要叙述了节理岩体的数值方法从连续到非连续的发展过程,详细地介绍了数值流形方法的组成和数值流形方法在岩石力学及其相关领域的研究和发展概况,最后就作者所关心的一些问题,如三维问题的数值流形方法、数值流形方法在物理非线性问题和裂纹扩展问题中的应用、相关的耦合方法等进行了探讨. 展开更多

关键词 数值流形方法 求解精度 交集 定义形式 非连续 积分域 有限覆盖 数学 物理 学分

在线阅读 下载PDF 职称材料