期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到168篇文章
< 1 2 … 9 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
计算可靠的密码协议形式化分析综述 被引量：10
1
作者 雷新锋 宋书民 +1 位作者 刘伟兵 薛锐 《计算机学报》 EI CSCD 北大核心 2014年第5期993-1016,共24页
密码协议的描述和分析有两类截然不同的方法:一类以形式化方法为主要手段,另一类以计算复杂性理论为基础.Abadi和Rogaway首次试图将这两类不同的方法关联起来,证明一个协议在形式化模型下具有某种安全属性,那么在计算模型下也保持相应... 密码协议的描述和分析有两类截然不同的方法:一类以形式化方法为主要手段,另一类以计算复杂性理论为基础.Abadi和Rogaway首次试图将这两类不同的方法关联起来,证明一个协议在形式化模型下具有某种安全属性,那么在计算模型下也保持相应的安全属性.在这一工作的带动下,形式化方法的计算可靠性研究越来越受到关注,成为密码协议分析研究的一个重要内容.围绕这一热点问题,人们做了大量的工作.该文首先对两类分析方法做概要介绍;其次对形式化分析的计算可靠性研究成果进行分类和总结,并对各种方法的主要思想进行了介绍;最后对该领域未来的研究方向进行了展望. 展开更多
关键词 密码协议 形式化方法 计算可靠性 信息安全 网络安全
在线阅读 下载PDF
机载软件层次化需求的形式化建模与分析
2
作者 王康星 胡军 +3 位作者 王立松 丁鼎 董亚炯 戴嘉磊 《南京航空航天大学学报(自然科学版)》 北大核心 2025年第1期195-204,共10页
越来越复杂的多层级功能需求给高安全机载软件的设计开发带来了重要挑战。本文给出了一个面向工程应用领域具有层次化语义特征的软件需求形式化建模与分析方法。首先,设计了一个层次化的形式化需求模型。层次化变量关系模型(Hierarchica... 越来越复杂的多层级功能需求给高安全机载软件的设计开发带来了重要挑战。本文给出了一个面向工程应用领域具有层次化语义特征的软件需求形式化建模与分析方法。首先,设计了一个层次化的形式化需求模型。层次化变量关系模型(Hierarchical variable relation model,HVRM)引入工程领域中典型的功能模块属性以及端口等概念来表达系统功能的层次化特征语义,同时也具备原有变量关系模型(Variable relation model,VRM)中基于表格形式的形式化语义,可表示包括条件型、事件型、多维度模式转换等多种类需求的语义信息。进而,基于需求的一致性完整性要求确立了VRM一致性完整性约束簇。其次,设计了一个将工程条目化需求建模为HVRM形式化需求模型的处理框架,并在一个机载软件需求工具平台(Hierarchical avionics requirement tools,HART)中进行了处理功能和需求追溯功能的实现和集成。最后采用某机型自动飞行系统中飞行模式转换软件逻辑需求进行了实例需求建模和模型分析。 展开更多
关键词 计算机软件与理论 需求工程 形式化方法 需求建模与分析 飞行控制系统
在线阅读 下载PDF
基于通信顺序进程与B方法的CBTC计算机联锁系统的形式化建模与验证 被引量：9
3
作者 王鲲 《中国铁道科学》 EI CAS CSCD 北大核心 2018年第3期101-109,共9页
针对CBTC联锁系统的复杂性,提出一种基于通信顺序进程(CSP)与B方法集成的形式化方法,即在通信顺序进程的通信事件与B方法抽象机的操作之间建立起一对一的映射关系,实现通信事件通过控制抽象机的操作、进而影响抽象机状态的目标,从而实... 针对CBTC联锁系统的复杂性,提出一种基于通信顺序进程(CSP)与B方法集成的形式化方法,即在通信顺序进程的通信事件与B方法抽象机的操作之间建立起一对一的映射关系,实现通信事件通过控制抽象机的操作、进而影响抽象机状态的目标,从而实现通信顺序进程和B方法之间的同步。以1个实际站场为例,采用B方法对具有复杂状态空间的CBTC联锁系统的逻辑状态运算建立抽象机,采用通信顺序进程对CBTC联锁系统与外部系统的并发交互行为建立进程,并通过映射关系使CBTC联锁系统的抽象机与外部交互行为进程同步,由此建立基于通信顺序进程与B方法的CBTC联锁系统的形式化模型。采用ProB工具对建立的CBTC联锁系统模型的安全性、无死锁性进行验证。发现并修改模型中的不一致、不完全、歧义等错误,从而验证了CBTC联锁系统的安全性和无死锁性,保证了系统的最终实现。 展开更多
关键词 城市轨道交通 CBTC 计算机联锁系统 形式化方法 通信顺序进程 B方法
在线阅读 下载PDF
欧洲高等院校计算机学科形式化方法教育探析 被引量：2
4
作者 古天龙 《中国大学教学》 CSSCI 2007年第11期48-50,共3页
本文基于欧洲形式化方法协会教育研究分会FME-SoE(Formal Methods Europe Association-Subgroup on Education)所发布的欧洲高等院校计算机学科本科生形式化方法教育的调查分析报告,对欧洲高等院校的形式化方法教育知识体系进行介绍,总... 本文基于欧洲形式化方法协会教育研究分会FME-SoE(Formal Methods Europe Association-Subgroup on Education)所发布的欧洲高等院校计算机学科本科生形式化方法教育的调查分析报告,对欧洲高等院校的形式化方法教育知识体系进行介绍,总结给出了形式化方法教育可能采取的三种模式.以期对国内高校计算机学科相关专业开设形式化方法课程提供参考. 展开更多
关键词 计算机学科 形式化方法 知识体系 课程教学
在线阅读 下载PDF
软件形式化开发关键部件选取的水波优化方法 被引量：10
5
作者 郑宇军 张蓓 薛锦云 《软件学报》 EI CSCD 北大核心 2016年第4期933-942,共10页
形式化方法有助于从根本上提高软件系统的质量与可靠性,但其开发成本往往过于高昂.一种折衷的办法是在软件系统中选取关键性部件进行形式化开发,但目前尚无非常有效的定量选择方法.将软件系统中的形式化开发关键部件选取建模为一个0-1... 形式化方法有助于从根本上提高软件系统的质量与可靠性,但其开发成本往往过于高昂.一种折衷的办法是在软件系统中选取关键性部件进行形式化开发,但目前尚无非常有效的定量选择方法.将软件系统中的形式化开发关键部件选取建模为一个0-1约束规划问题,以便使用元启发式搜索方法对其进行优化求解.另外,针对该问题专门设计了一种离散水波优化(water wave optimization,简称WWO)算法.在一个大型软件系统上的应用验证了问题模型的有效性,同时证明了WWO算法相对于其他若干典型元启发式搜索方法的优越性. 展开更多
关键词 形式化方法 可靠度 元启发式搜索方法 水波优化算法
在线阅读 下载PDF
性能评价形式化方法的现状和发展 被引量：17
6
作者 林闯 李雅娟 王忠民 《电子学报》 EI CAS CSCD 北大核心 2002年第12A期1917-1922,共6页
性能评价(Performance Evaluation,PE)是计算机网络和计算机系统研究与应用的重要理论基础和支撑技术,也是当今通信和计算机科学领域的重要研究方向.本文对性能评价的形式化方法(Forman Methods,FM)、该领域的主要研究成果和发展前景进... 性能评价(Performance Evaluation,PE)是计算机网络和计算机系统研究与应用的重要理论基础和支撑技术,也是当今通信和计算机科学领域的重要研究方向.本文对性能评价的形式化方法(Forman Methods,FM)、该领域的主要研究成果和发展前景进行了综述.文章着重介绍了FM中的三种方法:排队论(Queuing Theory)、随机Petri网(Stochastic Petri—Net,SPN)和随机进程代数(Stochastic Process Algebra,SPA).另外,本文还对不同方法之间的区别和结合做了初步的讨论.最后对形式化方法做了总结和展望. 展开更多
关键词 形式化方法 排队论 随机PETRI网 随机进程代数 计算机网络 PE 性能评价 现状
在线阅读 下载PDF
机械模糊可靠性计算方法的研究 被引量：56
7
作者 董玉革 朱文予 陈心昭 《系统工程学报》 CSCD 2000年第1期7-12,共6页
提出了用普通事件概率表示模糊事件概率的方法 ,从而把模糊可靠性设计问题转化为常规可靠性设计问题求解 ,并以随机应力和模糊强度时为例 ,讨论了可靠性指标的计算方法 ,得出了一些定性的结论 .
关键词 模糊可靠性 机械设计 计算方法 模糊信息
在线阅读 下载PDF
导弹折叠展开机构工作可靠性的Monte Carlo模拟计算方法研究 被引量：6
8
作者 刘飞 陈文华 +2 位作者 钱萍 杨帆 胡昭光 《工程设计学报》 CSCD 北大核心 2012年第1期16-19,共4页
针对导弹折叠展开机构工作可靠性计算精度较差的问题,应用力矩状态函数和功状态函数相结合的可靠性分析方法,以导弹翼面上的力矩和功作为可靠性特征变量,建立导弹折叠展开机构工作可靠性计算模型,提出了机构可靠性的Monte Carlo模拟计... 针对导弹折叠展开机构工作可靠性计算精度较差的问题,应用力矩状态函数和功状态函数相结合的可靠性分析方法,以导弹翼面上的力矩和功作为可靠性特征变量,建立导弹折叠展开机构工作可靠性计算模型,提出了机构可靠性的Monte Carlo模拟计算方法,并对某型导弹的翼面折叠展开机构工作可靠性进行了分析计算,所得可靠度比仅仅基于力矩的计算结果提高24.34%,比仅仅基于功的计算结果提高11.74%.计算结果表明,采用所提出的方法计算得到的机构可靠度,与仅仅基于力矩或功的计算结果相比较,更接近于工程实际. 展开更多
关键词 折叠展开机构 工作可靠性 MONTE CARLO模拟 计算方法
在线阅读 下载PDF
大型网络系统可靠度计算新方法 被引量：16
9
作者 金星 余浩章 +1 位作者 李永 李辉 《系统仿真学报》 EI CAS CSCD 2001年第4期432-433,共2页
在大型网络系统可靠度的不交最小路集算法基础上，提出大型网络系统可靠度的不交最小路集算法的实现新方法。由于直接采用两节点之间弧表示逻辑运算，编程实现过程直观而简便，根据需要可以提供网络系统的全部最小路集、全部最小割集和... 在大型网络系统可靠度的不交最小路集算法基础上，提出大型网络系统可靠度的不交最小路集算法的实现新方法。由于直接采用两节点之间弧表示逻辑运算，编程实现过程直观而简便，根据需要可以提供网络系统的全部最小路集、全部最小割集和系统可靠度，并且采用Fortran 90语言和C++语言编程，为大网络系统的可靠度和不可靠度分析提供了计算模块。 展开更多
关键词 Fortran90语言 C++语言 程序设计 大型网络系统 可靠度 计算方法
在线阅读 下载PDF
结构体系可靠度的近似计算方法 被引量：28
10
作者 李云贵 赵国藩 《土木工程学报》 EI CSCD 北大核心 1993年第5期70-76,共7页
以条件概率和数值分析方法为基础,提出了一种新的结构体系可靠度点值估算方法,并通过算例说明了该法的应用。分析结果表明,本文建议的方法计算简单,便于实际应用。由于较好地考虑了失效机构间线性相关性对结构体系可靠度的影响,本文建... 以条件概率和数值分析方法为基础,提出了一种新的结构体系可靠度点值估算方法,并通过算例说明了该法的应用。分析结果表明,本文建议的方法计算简单,便于实际应用。由于较好地考虑了失效机构间线性相关性对结构体系可靠度的影响,本文建议的方法可得到令人满意的分析结果。 展开更多
关键词 结构体系 可靠度 计算方法
在线阅读 下载PDF
一种形式化开发非递归算法的方法 被引量：3
11
作者 石海鹤 石海鹏 薛锦云 《计算机应用研究》 CSCD 北大核心 2007年第11期203-205,共3页
提出了一种简单、统一的形式化开发非递归算法的方法。该方法直接面向非递归算法,在形式化方法PAR的指导下,使用循环不变式的开发新策略,在得到求解递归问题的循环不变式的同时,能直接得到易读、高效且可靠的非递归算法,并通过一个具体... 提出了一种简单、统一的形式化开发非递归算法的方法。该方法直接面向非递归算法,在形式化方法PAR的指导下,使用循环不变式的开发新策略,在得到求解递归问题的循环不变式的同时,能直接得到易读、高效且可靠的非递归算法,并通过一个具体实例进行了阐述。对使用形式化方法及循环不变式开发新策略开发非递归算法的方法作了较深入的实践和探讨。 展开更多
关键词 形式化方法 非递归 PAR 循环不变式 可靠性
在线阅读 下载PDF
基于GA的发输电合成系统最优可靠性计算新方法 被引量：16
12
作者 宋云亭 周双喜 +1 位作者 鲁宗相 张瑞华 《电网技术》 EI CSCD 北大核心 2004年第15期25-30,共6页
将可靠性和经济性相结合,提出了基于总拥有费用法的发输电合成系统最优可靠性算法的总体框架,进而在概率安全性和概率充裕度综合评估基础上,将综合评估风险指标和可靠性经济评估理论相结合,建立了基于遗传算法和蒙特卡罗仿真相结合的最... 将可靠性和经济性相结合,提出了基于总拥有费用法的发输电合成系统最优可靠性算法的总体框架,进而在概率安全性和概率充裕度综合评估基础上,将综合评估风险指标和可靠性经济评估理论相结合,建立了基于遗传算法和蒙特卡罗仿真相结合的最优可靠性计算模型和算法。算法使最终求得的各元件的最优解所对应的规划方案的总成本最小。最后对IEEE-RTS标准测试系统进行了计算,结果表明所提模型和算法是可行的。 展开更多
关键词 电力系统 电网 发输电合成系统 GA 遗传算法 最优可靠性计算方法
在线阅读 下载PDF
基于改进PSO的可靠性稳健优化计算方法 被引量：6
13
作者 叶南海 戚一男 +1 位作者 陈凯 翟银秀 《中国机械工程》 EI CAS CSCD 北大核心 2012年第5期551-555,共5页
基于现代设计方法和可靠性设计理论,建立了多目标约束优化数学模型,根据动态加速常数和速度自适应的改进粒子群算法(PSO),用编写的程序代码实现了数学模型的数值化求解。同时研究了加速常数和粒子速度的变化对优化计算结果的影响规律。... 基于现代设计方法和可靠性设计理论,建立了多目标约束优化数学模型,根据动态加速常数和速度自适应的改进粒子群算法(PSO),用编写的程序代码实现了数学模型的数值化求解。同时研究了加速常数和粒子速度的变化对优化计算结果的影响规律。算例表明,提出的可靠性稳健优化计算方法与传统方法相比,具有简便易行、能迅速得到结构可靠性稳健优化设计信息的优点,适合工程应用。 展开更多
关键词 稳健设计 改进PSO 可靠性计算方法 多目标约束优化
在线阅读 下载PDF
公钥密码体制下认证协议的形式化分析方法研究 被引量：4
14
作者 钱勇 谷大武 +1 位作者 陈克非 白英彩 《小型微型计算机系统》 CSCD 北大核心 2002年第2期145-147,共3页
本文通过对形式化方法中最广泛使用的类 BAN逻辑进行研究发现 ,此方法更侧重于对称密码体制下认证协议的分析 ,而在分析基于公钥体制的认证协议时 ,该方法有很大的局限性 .因此 ,文中针对公钥密码的特点对类 BAN逻辑进行了扩展 .
关键词 公钥密码体制 认证协议 形式化方法 类BAN逻辑 身份认证 网络安全 计算机网络
在线阅读 下载PDF
N:K系统可靠度及备件量的仿真计算方法 被引量：13
15
作者 周江华 肖刚 孙国基 《系统仿真学报》 CAS CSCD 2001年第2期159-162,共4页
采用基于排队网络的仿真模型来描述(m)交叉储备系统，并给出了系统可靠度及备件最优储备量的仿真计算方法。本文的方法能适用于具有多个维修台的非马尔科夫型(m)交叉储备系统。各种算例检验了本文方法的适用性。文末用解析的方法和本文... 采用基于排队网络的仿真模型来描述(m)交叉储备系统，并给出了系统可靠度及备件最优储备量的仿真计算方法。本文的方法能适用于具有多个维修台的非马尔科夫型(m)交叉储备系统。各种算例检验了本文方法的适用性。文末用解析的方法和本文的方法计算了马尔科夫型(m)系统的可靠度及备件最优储备量，二者符合的很好。 展开更多
关键词 可靠度 最优储备量 排队网络 仿真 N:K系统 计算方法
在线阅读 下载PDF
形式化方法的理论基础专题前言 被引量：3
16
作者 傅育熙 李国强 田聪 《软件学报》 EI CSCD 北大核心 2018年第6期1515-1516,共2页
形式化方法主要研究如何把具有清晰数学基础的模型、规范、分析以及验证融入软硬件设计开发的各个阶段,是改善和确保计算机系统正确性和可靠性的重要途径.在领域需求的推动下,形式化方法技术和工具方面的研究取得了显著成效的同时,需要... 形式化方法主要研究如何把具有清晰数学基础的模型、规范、分析以及验证融入软硬件设计开发的各个阶段,是改善和确保计算机系统正确性和可靠性的重要途径.在领域需求的推动下,形式化方法技术和工具方面的研究取得了显著成效的同时,需要研究新的理论和方法来解决更复杂的计算机系统问题,这些理论和方法包括新模型下形式化验证的可判定性及复杂性结论、算法实现以及面向领域形式化方法. 展开更多
关键词 形式化方法 数学基础 计算机系统 形式化验证 专题 软硬件设计 可判定性 面向领域
在线阅读 下载PDF
利用蒙特卡洛方法计算陶瓷刀具磨损可靠性 被引量：5
17
作者 樊宁 艾兴 邓建新 《摩擦学学报》 EI CAS CSCD 北大核心 2001年第6期460-464,共5页
在连续切削的条件下 ,陶瓷刀具的失效形式是以磨粒磨损为主的磨损失效 ,其磨损寿命由材料的断裂韧性、硬度和切削过程的参数决定 .利用蒙特卡洛方法分别随机生成断裂韧性与硬度的样本值 ,利用连续车削试验确定切削过程参数 ,将得到的样... 在连续切削的条件下 ,陶瓷刀具的失效形式是以磨粒磨损为主的磨损失效 ,其磨损寿命由材料的断裂韧性、硬度和切削过程的参数决定 .利用蒙特卡洛方法分别随机生成断裂韧性与硬度的样本值 ,利用连续车削试验确定切削过程参数 ,将得到的样本值与切削参数相结合可计算刀具在相应切削条件下的磨损寿命及其可靠性 .计算结果表明 :陶瓷刀具的断裂韧性对磨损寿命的可靠性影响较为明显 。 展开更多
关键词 陶瓷刀具 磨损 可靠性 蒙特卡洛方法 计算
在线阅读 下载PDF
应用模糊方法计算构件振动可靠性 被引量：9
18
作者 徐可君 江龙平 隋育松 《机械强度》 CAS CSCD 北大核心 2003年第5期523-526,共4页
分析影响构件振动可靠性的不确定性和模糊性因素 ,定义构件振动模糊安全状态 ,构建构件振动的模糊共振失效区域及相应的隶属函数、模糊强度失效区域及相应的隶属函数 ,建立构件振动可靠性计算的模糊模型 ,并将其应用于某航空发动机压气... 分析影响构件振动可靠性的不确定性和模糊性因素 ,定义构件振动模糊安全状态 ,构建构件振动的模糊共振失效区域及相应的隶属函数、模糊强度失效区域及相应的隶属函数 ,建立构件振动可靠性计算的模糊模型 ,并将其应用于某航空发动机压气机、涡轮叶片的振动可靠性计算。研究结果表明 ,应用模糊方法评估构件振动可靠性是可行的。 展开更多
关键词 构件 振动可靠性 计算 模糊方法 航空发动机 压气机 涡轮叶片
在线阅读 下载PDF
基于证据推理的可靠度近似计算方法 被引量：4
19
作者 郭惠昕 胡冠昱 谈锋 《农业机械学报》 EI CAS CSCD 北大核心 2008年第5期128-132,共5页
提出了一种基于证据推理的可靠度近似计算方法。定义结构失效的命题为F,通过证据推理求出F的信度Bel(F)和似真度pl(F),Bel(F)和pl(F)的均值可作为失效概率的近似值。研究了该方法的数值计算方法,给出了具体的计算步骤,并分析了影响计算... 提出了一种基于证据推理的可靠度近似计算方法。定义结构失效的命题为F,通过证据推理求出F的信度Bel(F)和似真度pl(F),Bel(F)和pl(F)的均值可作为失效概率的近似值。研究了该方法的数值计算方法,给出了具体的计算步骤,并分析了影响计算精度与计算效率的关键因素。研究表明:随机变量分布区间的等分数k越大则失效概率的计算精度越高;而随机变量个数n和k越大,计算效率则越低。开发了用该方法计算可靠度的专用程序,并通过应用实例验证了该方法的正确性和有效性。 展开更多
关键词 可靠度 失效概率 计算方法 证据理论
在线阅读 下载PDF
形式化方法与工具专刊前言 被引量：6
20
作者 王戟 李宣东 《软件学报》 EI CSCD 北大核心 2011年第6期1121-1122,共2页
形式化方法是指有严格数学基础的软件和系统开发方法，支持计算机系统及软件的规约、设计、验证与演化等活动．随着高可信软件的兴起，形式化方法作为重要的途径，关注度日益提高．其作用不仅深化了人们对计算系统规律的认识，而且支持... 形式化方法是指有严格数学基础的软件和系统开发方法，支持计算机系统及软件的规约、设计、验证与演化等活动．随着高可信软件的兴起，形式化方法作为重要的途径，关注度日益提高．其作用不仅深化了人们对计算系统规律的认识，而且支持了计算系统开发、运行和演化之工具、平台、环境的构建．本专刊收录的11篇论文反映了近年来我国学者在形式化方法与工具领域的部分研究成果. 展开更多
关键词 形式化方法 工具 高可信软件 计算机系统 计算系统 数学基础 研究成果 开发
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 9 下一页 到第 页
关于我们 | 版权声明 | 联系我们 | 帮助中心| 意见反馈
主办单位：上海市教育委员会
技术支持：重庆维普资讯有限公司
渝公网安备 50019002500403号
使用帮助 返回顶部