期刊文献+
共找到531篇文章
< 1 2 27 >
每页显示 20 50 100
方向关系与距离关系的定性描述与推理 被引量:20
1
作者 曹菡 陈军 《西安石油学院学报(自然科学版)》 2001年第1期68-72,共5页
由于空间问题固有的复杂性和不确定性 ,空间关系的描述和推理普遍采用定性的方法 .方向关系和距离关系是两类重要的空间关系 ,用以确定空间目标的方位 .当前方向和距离关系分别使用各自独立的描述推理模型 ,限制了推理的准确度 .而人们... 由于空间问题固有的复杂性和不确定性 ,空间关系的描述和推理普遍采用定性的方法 .方向关系和距离关系是两类重要的空间关系 ,用以确定空间目标的方位 .当前方向和距离关系分别使用各自独立的描述推理模型 ,限制了推理的准确度 .而人们对空间目标方位的确定通常是同时考虑目标的方向和距离 .在形式化定性描述方向关系和距离关系推理的基础上 ,将方向关系和距离关系的推理结合起来 ,形成方向关系和距离关系的集成组合运算 ,方向和距离关系相互限制 ,能够进一步准确推断目标的方位 .最后 ,以实例说明方向关系和距离关系的集成组合运算将提高空间目标方位推断的准确度 . 展开更多
关键词 地理信息系统 GIS理论 空间关系 定性推理 形式化方法
下载PDF
基于UML模型的CTCS-3级列控系统功能安全分析方法 被引量:10
2
作者 刘金涛 唐涛 +1 位作者 赵林 李宪 《铁道学报》 EI CAS CSCD 北大核心 2013年第10期59-66,共8页
本文利用UML支持的底层扩展机制对UML进行面向列控系统混成性的扩展,使用扩展后的UML对列控系统进行半形式化建模,并采用故障事件机制对系统的故障情况进行刻画。给出UML模型到PHAVer模型的转化规则以及故障监视器模型的建立方法,利用... 本文利用UML支持的底层扩展机制对UML进行面向列控系统混成性的扩展,使用扩展后的UML对列控系统进行半形式化建模,并采用故障事件机制对系统的故障情况进行刻画。给出UML模型到PHAVer模型的转化规则以及故障监视器模型的建立方法,利用可达集计算原理验证列控系统的PHAVer模型并对其进行功能安全性分析。以CTCS-3级列控系统的RBC交接为例,使用UML结合可达集计算对系统进行功能安全分析。分析结果表明:UML与可达集计算相结合的方法适用于CTCS-3级列控系统的功能安全分析。 展开更多
关键词 CTCS-3级系统 形式化方法 UML 可达集 功能安全分析
下载PDF
软件开发中的形式化方法介绍 被引量:5
3
作者 张玮玮 陈珊 《张家口职业技术学院学报》 2005年第1期54-57,共4页
软件工程中的形式化方法就是依靠数学模型和计算来描述和验证一个目标软件系统的行为和特性,包括需求规格、设计和实现等,其最根本的一点就是建立在严格的数学基础上的方法。使用形式化方法可以帮助开发者获得对其所描述的系统的深刻而... 软件工程中的形式化方法就是依靠数学模型和计算来描述和验证一个目标软件系统的行为和特性,包括需求规格、设计和实现等,其最根本的一点就是建立在严格的数学基础上的方法。使用形式化方法可以帮助开发者获得对其所描述的系统的深刻而正确的理解,发现并及时更正设计中的错误和缺陷。众多的形式化方法在功能上可以实现互补。目前软件开发中的形式化方法主要是形式化规范说明语言,有Z语言、VDM语言和RAISE语言等。 展开更多
关键词 形式化方法 软件工程 软件开发
下载PDF
形式化及其历史发展 被引量:4
4
作者 李建华 李红革 《自然辩证法研究》 CSSCI 北大核心 2008年第8期27-30,共4页
形式化方法是现代逻辑最重要的方法。它把精确性、严格性、显明性、能行性和普遍性等等特性带入理论研究之中,促使理论研究走向深入与深化。形式化方法有一个从萌芽到逐步成熟、定型的过程,这个过程就是实质公理化、抽象公理化、形式公... 形式化方法是现代逻辑最重要的方法。它把精确性、严格性、显明性、能行性和普遍性等等特性带入理论研究之中,促使理论研究走向深入与深化。形式化方法有一个从萌芽到逐步成熟、定型的过程,这个过程就是实质公理化、抽象公理化、形式公理化。考察形式化方法的历史发展,有助于我们把握这种方法的实质、发展趋势及其作用。 展开更多
关键词 形式化 形式化方法 历史发展 形式系统
下载PDF
集成CCS和B语言的形式化方法 被引量:2
5
作者 匡春临 潘孝铭 蒋胜利 《计算机工程与科学》 CSCD 2007年第11期102-104,共3页
本文尝试集成通信系统演算(CCS)和B语言,以扩展CCS在数据和操作定义方面的能力,以及B方法在描述并发系统方面的能力。集成后的形式化模型BCCS可以描述和分析系统的不同方面(结构、控制、数据和功能)和不同类型的系统(顺序、并发和分布式)。
关键词 形式化方法 CCS 集成
下载PDF
形式化语言B与UML/OCL的比较 被引量:2
6
作者 顾建丰 陈名铭 周秀芳 《电脑知识与技术》 2009年第12期9739-9741,共3页
该文介绍了形式化方法中B语言和UML/OCL语言,从软件开发生命周期的角度对B语言和OCL语言进行了比较,归纳了这两种形式化语言的异同和各自的适用范围。
关键词 B语言 OCL 形式化方法 比较
下载PDF
面向对象结合形式化技术的框架式开发方法
7
作者 吴会松 《河北师范大学学报(自然科学版)》 CAS 1997年第3期250-254,共5页
在面向对象及形式化方法的基础上,系统地提出了一种严格的软件开发方法,力图使开发者的创造性及开发环境的自动化能力都得到充分发挥。
关键词 软件开发 面向对象 形式化方法 框架式开发法
下载PDF
安全应用系统的形式化规范与求精过程研究 被引量:1
8
作者 李改成 《信息网络安全》 2009年第5期24-27,共4页
形式化方法是提高系统安全等级必不可少的保障技术。然而,由于诸多原因,它在安全应用系统开发过程中的应用尚不普及。本文将以Z语言为依托,以Mondex电子钱包系统为范例,探讨形式化方法在安全应用系统开发过程中的应用方法和过程。
关键词 应用系统 安全等级 形式化方法 规范 求精
下载PDF
基于B方法的电梯控制系统形式化研究
9
作者 李启南 《信息技术》 2008年第1期101-103,107,共4页
B方法是一种新的形式化方法,使用B方法开发软件可有效提高软件的可靠性、可复用性和开发效率。文中使用B方法对电梯控制系统建立了抽象机模型并对其进行活性证明,自动生成相应软件,提高了电梯控制系统的可靠性和稳定性。
关键词 形式化方法 电梯控制 B方法 抽象机
下载PDF
形式语言B与RSL的比较
10
作者 张宏 邹盛荣 《电脑知识与技术》 2008年第S2期115-116,共2页
本文介绍了形式化方法中B方法和RAISE方法,从软件开发生命周期的角度对B语言和RSL进行了比较,归纳了这两种形式化语言的异同和各自的适用范围。
关键词 B RSL 形式化方法 异同
下载PDF
面向嵌入式系统的IPSec形式化建模
11
作者 赵跃华 段巍巍 《计算机工程与设计》 CSCD 北大核心 2007年第4期901-903,共3页
为了满足嵌入式系统在网络通信环境下的一些安全需求,通过考察嵌入式开发的系统环境,对比现存的一些网络安全问题的解决方法,采用选取适用的IPSec(网络层安全协议)模块,并使用形式化语言对其进行描述,以给有此类安全需求的嵌入式开发提... 为了满足嵌入式系统在网络通信环境下的一些安全需求,通过考察嵌入式开发的系统环境,对比现存的一些网络安全问题的解决方法,采用选取适用的IPSec(网络层安全协议)模块,并使用形式化语言对其进行描述,以给有此类安全需求的嵌入式开发提供一个形式化的IPSec模型。同时,在协议的开发过程中引入形式化的方法也有利于保证协议的一致性。 展开更多
关键词 形式化方法 结构描述语言 嵌入式系统 认证头 安全联盟
下载PDF
一种基于学分制排课系统的Z规格说明
12
作者 姜虹 李峰 俞均 《现代电子技术》 2012年第12期50-53,共4页
运用形式化方法建模在软件开发过程中可提高目标系统的正确性和可靠性,在此提出了一种利用Z语言进行语义分析的方法。该方法在序列图Z规范的基础上,用属性集表示对象状态,并将序列图的上下文表示为Z形式约束,通过检查上下文约束与对象... 运用形式化方法建模在软件开发过程中可提高目标系统的正确性和可靠性,在此提出了一种利用Z语言进行语义分析的方法。该方法在序列图Z规范的基础上,用属性集表示对象状态,并将序列图的上下文表示为Z形式约束,通过检查上下文约束与对象状态间的一致性对序列图进行语义分析。在此以一个基于学分制的排课系统为例,使用面向对象的形式规格说明语言Z,描述了一个精确、完整的高校排课系统的形式化数学模型。过程显示,该方法具有精确的描述性和很强的抽象性,能为软件系统的开发和验证提供科学的框架。 展开更多
关键词 形式化方法 规格说明 Z语言 排课系统
下载PDF
一种基于可信网络连接的度量模型
13
作者 侯迎春 谢辉 《河南科学》 2011年第2期206-209,共4页
可信网络连接是构建可信网络环境的关键问题.通过对可信网络的架构和基本流程的分析,提出一种Z形式化方法对可信网络连接的理想化度量模型,并对可信网络连接的发展进行了展望.
关键词 可信网络连接 Z形式化方法 信任链 度量
下载PDF
面向对象模型与形式化方法
14
作者 屈玉贵 《小型微型计算机系统》 CSCD 北大核心 1999年第10期773-777,共5页
本文在分析面向对象和形式化方法两种重要系统建模方法的基础上,论述了两种方法的关系,指出二者互补、组合的优越性,概述了各种领域里的组合应用.并进一步设想未来的发展方向可能是二种方法的优点的活用和统一.
关键词 面向对象模型 形式化方法 人工智能 软件开发
下载PDF
一种基于射频识别技术的过程跟踪形式化图式推演建模方法及其生产应用研究 被引量:3
15
作者 江平宇 孙培禄 +1 位作者 丁凯 王闯 《机械工程学报》 EI CAS CSCD 北大核心 2015年第20期9-17,共9页
射频识别技术(Radio frequency identification,RFID)在制造过程跟踪中得到了广泛应用。目前RFID的应用研究仅适用于具体的场景,缺乏通用性的建模和形式化的描述方法。针对上述问题,提出一种基于RFID的过程跟踪形式化图式推演建模方法... 射频识别技术(Radio frequency identification,RFID)在制造过程跟踪中得到了广泛应用。目前RFID的应用研究仅适用于具体的场景,缺乏通用性的建模和形式化的描述方法。针对上述问题,提出一种基于RFID的过程跟踪形式化图式推演建模方法。通过对广义单工序活动进行多粒度分解,形成单工序作动时序单元模型;在此基础上,定义四种通用的RFID探测模式并建立图式状态block模型,构建图式描述的单工序RFID过程跟踪监控时序流;借助Gantt图分析广义单工序作动时序单元的'串联-并联-条件'连接,建立多工序RFID过程跟踪模型,为生产、物流、库存等的全过程跟踪提供依据。以机加工车间高价值刀具流转过程、Job-shop零件加工过程以及零件外协加工过程的跟踪三个应用场景为例,验证了该模型方法的可行性和通用性。 展开更多
关键词 射频识别技术 过程跟踪 图式化推演 建模方法
下载PDF
数学解题的形式化方法 被引量:2
16
作者 张会凌 《甘肃联合大学学报(自然科学版)》 2009年第2期117-121,共5页
对数学解题中一类规律进行了总结,重点通过齐次线性方程组的形式化解法说明了数学解题中形式化方法的应用,说明了应用此方法可以把许多复杂的数学问题的综合答案同时求出,从而收到事半功倍的效果.
关键词 数学解题 形式化方法 齐次线性方程组 特解 基础解系 通解 曲面 一般方程 参数方程
下载PDF
形式化验证方法用于核电厂数字化仪控系统HPD验证的探索与实践 被引量:1
17
作者 吴飞 张亚栋 +1 位作者 程建明 王晓燕 《核科学与工程》 CSCD 北大核心 2012年第S2期201-205,共5页
为提高核电厂数字化仪控系统中HPD(HDL-Programmed Device)验证工作的效率和有效性,从而帮助提高仪控系统可靠性,引入形式化验证方法。形式化验证方法与传统的基于功能仿真的验证方法相比可以更有效地发现系统设计中的错误,更充分地验... 为提高核电厂数字化仪控系统中HPD(HDL-Programmed Device)验证工作的效率和有效性,从而帮助提高仪控系统可靠性,引入形式化验证方法。形式化验证方法与传统的基于功能仿真的验证方法相比可以更有效地发现系统设计中的错误,更充分地验证系统设计,更方便地对验证流程进行管理。目前基于断言的形式化验证方法已经在大规模ASIC设计,以及数字通信领域HPD设计的功能验证中取得了成功,本文将这一方法引入核安全级系统HPD验证实践中,主要介绍HPD形式化验证的特点、原理和方法,以及其在FirmSys系统安全级HPD验证工作中的初步应用。 展开更多
关键词 数字化仪控系统 形式化验证 可编程逻辑器件 可靠性 FirmSys
下载PDF
装备指挥训练模拟需求概念模型研究 被引量:1
18
作者 郑怀洲 刘兵 《系统仿真学报》 CAS CSCD 北大核心 2009年第S1期28-31,共4页
需求概念模型是对模拟系统整体与细节期望的描述。按照构件层次划分原则,将装备指挥训练模拟需求概念模型划分为三个层次:仿真系统层次、仿真应用层次和仿真服务层次;探讨了需求概念模型的开发过程,按照"Volere需求过程模型"... 需求概念模型是对模拟系统整体与细节期望的描述。按照构件层次划分原则,将装备指挥训练模拟需求概念模型划分为三个层次:仿真系统层次、仿真应用层次和仿真服务层次;探讨了需求概念模型的开发过程,按照"Volere需求过程模型"的思想,将需求概念模型开发过程分为:项目启动、网罗需求、编写需求、评审需求、使用需求五个阶段;研究了需求概念模型的形式化描述方法,重点对用户需求、功能性需求、非功能性需求和反向需求进行形式化描述。 展开更多
关键词 装备指挥训练 需求概念模型 形式化描述方法 UML
下载PDF
装备指挥训练任务空间概念模型研究
19
作者 刘兵 郑怀洲 赵宏宇 《系统仿真学报》 CAS CSCD 北大核心 2009年第S2期18-22,共5页
按照构件层次划分原则,将装备指挥训练任务空间概念模型划分为三个层次:仿真系统层次、仿真应用层次和仿真服务层次;探讨了任务空间概念模型的开发过程,按照"面向实体的作战建模方法",将任务空间概念模型开发过程分为:识别实... 按照构件层次划分原则,将装备指挥训练任务空间概念模型划分为三个层次:仿真系统层次、仿真应用层次和仿真服务层次;探讨了任务空间概念模型的开发过程,按照"面向实体的作战建模方法",将任务空间概念模型开发过程分为:识别实体、实体属性描述、确定实体关系、确定实体行为与交互;研究了任务空间概念模型的形式化描述方法,综合运用IDEF0、UML等方法分别完成了不同层次任务空间概念模型的形式化描述。 展开更多
关键词 装备指挥训练 任务空间概念模型 形式化描述方法 IDEF0 UML
下载PDF
基于区块链的智能合约技术与应用综述 被引量:251
20
作者 贺海武 延安 陈泽华 《计算机研究与发展》 EI CSCD 北大核心 2018年第11期2452-2466,共15页
随着以比特币为代表的区块链技术的蓬勃发展,区块链技术已经开始逐步超越可编程货币时代而进入智能合约时代.智能合约(smart contract)是一种由事件驱动的、具有状态的代码合约和算法合同,随着区块链技术的深入发展而受到广泛关注和研究... 随着以比特币为代表的区块链技术的蓬勃发展,区块链技术已经开始逐步超越可编程货币时代而进入智能合约时代.智能合约(smart contract)是一种由事件驱动的、具有状态的代码合约和算法合同,随着区块链技术的深入发展而受到广泛关注和研究.智能合约利用协议和用户接口完成合约过程的所有步骤,允许用户在区块链上实现个性化的代码逻辑.基于区块链的智能合约技术具有去中心化、自治化、可观察、可验证、可信息共享等特点,可以有效构建可编程金融和可编程社会,广泛应用于数字支付、金融资产处置、多重签名合约、云计算、物联网、共享经济等多个领域.首先阐述了智能合约技术的基本概念、全生命周期、基本分类、基本架构、关键技术、发展现状以及智能合约的主要技术平台;然后探讨了智能合约技术的应用场景以及发展中所存在的问题;最后,基于智能合约的理论知识,搭建了以太坊实验环境并开发了一个众筹智能合约系统,旨在为基于区块链的智能合约技术的研究与发展提供参考与借鉴. 展开更多
关键词 智能合约 区块链 以太坊 分布式应用 形式化方法 众筹合约
下载PDF
上一页 1 2 27 下一页 到第
使用帮助 返回顶部