期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到4篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
基于非交互式Petri网的异步程序验证模型和方法
1
作者 吴志文 李国强 《软件学报》 EI CSCD 北大核心 2023年第8期3674-3685,共12页
异步程序使用异步非阻塞调用方式来实现程序的并发,被广泛应用于并行与分布式系统中.验证异步程序复杂性很高,无论是安全性还是活性均达到EXPSPACE难.提出一个异步程序的程序模型系统,并在其上定义两个异步程序上的问题:等价性问题和可... 异步程序使用异步非阻塞调用方式来实现程序的并发,被广泛应用于并行与分布式系统中.验证异步程序复杂性很高,无论是安全性还是活性均达到EXPSPACE难.提出一个异步程序的程序模型系统,并在其上定义两个异步程序上的问题:等价性问题和可达性问题.通过将3-CNF-SAT规约到这两个问题,再将其规约至非交互式Petri网的可达性证明两个问题是NP完备的.案例表明,这两个问题可以解决异步程序上一系列的程序验证问题. 展开更多
关键词 异步程序 非交互式Petri网 ϵ可达性 ϵ等价性 可达性
下载PDF
Node.js对多种数据库协同访问实践——以图书馆短信服务系统为例 被引量：2
2
作者 刘红卫 《天津科技》 2019年第7期77-81,共5页
在多个信息系统上建立整合的应用系统,需要对多种类型异构的数据库进行协同访问。以图书馆短信服务系统为例,利用Node.js进行开发,协同访问mysql、Oracle、DB23种数据库,阐述Node.js数据库访问模块的安装要点、连接方式、数据库连接池技... 在多个信息系统上建立整合的应用系统,需要对多种类型异构的数据库进行协同访问。以图书馆短信服务系统为例,利用Node.js进行开发,协同访问mysql、Oracle、DB23种数据库,阐述Node.js数据库访问模块的安装要点、连接方式、数据库连接池技术,以及如何发挥异步程序优势,避免“回调地狱”的方法。案例实施效果好,系统性能优异、稳定可靠。 展开更多
关键词 Node.js 数据库 数据库连接池 异步程序
下载PDF
解析.NET Framework的委托机制
3
作者 胡玉蓉 牟丽莎 《四川工程职业技术学院学报》 2009年第2期59-61,共3页
本文对．NET Framework中的委托机制进行了探讨。主要阐述了．NET Framework平台中委托的相关概念，介绍了委托的基本编程原理，分析了利用委托机制构建的事件模型及对异步编程的支持。
关键词 委托 事件模型 异步编程
下载PDF
基于通信Petri网的异步通信程序验证模型 被引量：3
4
作者 杨启哲 李国强 《软件学报》 EI CSCD 北大核心 2017年第4期804-818,共15页
由于多栈的模型图灵等价,因此,通用的异步通信程序模型的验证问题不可判定.为此,基于Petri网,提出了一个新的模型通信——通信Petri网,对异步通信程序进行刻画.通过对输入通信进行k-型限制以及对每个栈进行基于正则语言泵引理的抽象,通... 由于多栈的模型图灵等价,因此,通用的异步通信程序模型的验证问题不可判定.为此,基于Petri网,提出了一个新的模型通信——通信Petri网,对异步通信程序进行刻画.通过对输入通信进行k-型限制以及对每个栈进行基于正则语言泵引理的抽象,通过将这样限制下的模型编码到数据Petri网,证明了限制下的新模型可覆盖性可判定. 展开更多
关键词 异步通信程序 通信Petri网 可覆盖性 程序验证 k-型
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部