期刊文献+
共找到9篇文章
< 1 >
每页显示 20 50 100
一种多数据库事务模型 被引量:6
1
作者 肖卫军 卢正鼎 +1 位作者 李兵 李瑞轩 《小型微型计算机系统》 CSCD 北大核心 2003年第12期2224-2227,共4页
分析了多数据库系统中事务的特征 ,给出了多数据事务和事务经历的形式化描述 .在此基础上 ,提出了多数据库事务正确性标准MDB 可串行化 ,最后给出了基于MSG图的多数据库串行化定理 .
关键词 多数据库形式化模型 MDB-可串行化 MSG图 多数据库串行化定理 多数据库事务模型 异构数据
在线阅读 下载PDF
农村非正规金融正规化的模式比较与政策选择 被引量:6
2
作者 邵传林 王莹莹 裴志伟 《经济与管理》 CSSCI 2013年第2期32-36,共5页
中国农村非正规金融的正规化不仅有助于降低交易费用与信贷风险,还有益于提高资金的配置效率。中国农村非正规金融向正规金融转化主要有四种经典模式:即农村互助合作金融模式、"农村非正规金融组织+小额贷款公司+民营中小银行模式&... 中国农村非正规金融的正规化不仅有助于降低交易费用与信贷风险,还有益于提高资金的配置效率。中国农村非正规金融向正规金融转化主要有四种经典模式:即农村互助合作金融模式、"农村非正规金融组织+小额贷款公司+民营中小银行模式"、"农村非正规金融组织+村镇银行+地区性中小银行"模式、"农村合作银行或农村商业银行"模式。这四种模式为农村非正规金融正规化的途径选择提供理论依据。当然,要想农村非正规金融正规化,还需从法律壁垒、财税政策、运作成本、外部环境等方面多加谋划。 展开更多
关键词 非正规金融 正规化 交易费用 模式比较
在线阅读 下载PDF
基于语义的数据库并发控制研究进展 被引量:2
3
作者 雷霖 熊伟 +1 位作者 吴烨 景宁 《小型微型计算机系统》 CSCD 北大核心 2011年第12期2337-2344,共8页
事务的语义信息可以从更高层次上刻划数据库的状态及其变化,提高数据库处理能力.这方面的研究已经产生了大量的研究成果,其核心是要解决语义信息层次性、灵活性、难以表达等难点问题.在回顾基于语义的数据库并发控制的研究背景和现状基... 事务的语义信息可以从更高层次上刻划数据库的状态及其变化,提高数据库处理能力.这方面的研究已经产生了大量的研究成果,其核心是要解决语义信息层次性、灵活性、难以表达等难点问题.在回顾基于语义的数据库并发控制的研究背景和现状基础上,提出将数据库并发控制抽象为计算模型以便于数据库语义信息的表达;阐述了解决该问题的两类主要模型:一维计算模型和多维计算模型,介绍了两种模型的基本概念以及主要事务模型,总结了数据库并发控制的形式化方法,分析了基于高维计算模型研究并发控制模型的部分理论依据;最后展望了基于语义的数据库并发控制发展趋势. 展开更多
关键词 事务处理 语义 并发控制 计算模型 形式化
在线阅读 下载PDF
社会网络和交易成本对农户生产性正规信贷的影响 被引量:8
4
作者 邸玉玺 郑少锋 《西北农林科技大学学报(社会科学版)》 CSSCI 北大核心 2022年第1期151-160,共10页
利用对陕西省1091位农户的调研数据,将农户的生产性正规信贷分解为是否获得生产性信贷、是否获得生产性正规信贷和获得的生产性正规信贷金额三个阶段,运用Triple-Hurdle样本选择模型,实证检验了社会网络对农户从正规渠道获得生产性贷款... 利用对陕西省1091位农户的调研数据,将农户的生产性正规信贷分解为是否获得生产性信贷、是否获得生产性正规信贷和获得的生产性正规信贷金额三个阶段,运用Triple-Hurdle样本选择模型,实证检验了社会网络对农户从正规渠道获得生产性贷款的影响,进而重点考察了交易成本的中介作用机制。结果表明:农户的总体社会网络提高了生产性信贷的获得概率和信贷金额,交易型社会网络增加了生产性正规信贷的获得概率;降低正规信贷交易成本能够增加农户正规信贷的获得概率和信贷金额;社会网络能够降低农户在申请正规信贷过程中由于专用性较高、交易频次较低、不确定性较高所导致的高额交易成本,从而提高农户生产性正规信贷的获得概率和信贷金额。因此,增强农户社会网络的信息传递功能,降低正规信贷的交易成本,进而缓解农村地区生产性正规信贷约束,对于乡村振兴具有重要意义。 展开更多
关键词 生产性信贷 正规信贷 社会网络 交易成本 Triple-Hurdle模型
在线阅读 下载PDF
多数据库事务处理原型系统的设计与实现 被引量:3
5
作者 卢正鼎 肖卫军 +1 位作者 李瑞轩 易童 《计算机工程与科学》 CSCD 1997年第4期1-4,共4页
本文给出了多数据库事务处理原型系统MDBS-1的设计方案,并着重讨论了事务处理核心和局部代理的设计与实现。利用多线索技术来提高事务间的和事务内的并行性,以提高系统的性能。
关键词 多数据库 事务处理 MDBS-1 数据库系统
在线阅读 下载PDF
基于事务形式验证(TBFV)及8051的TBFV模型 被引量:2
6
作者 王彬 林争辉 《上海交通大学学报》 EI CAS CSCD 北大核心 2003年第10期1574-1577,共4页
提出了一种基于事务的形式验证方法(TBFV),为待验证的系统构造功能验证模型,每个模型包括指令序列、输入变量、输出变量、输出函数、输出判定函数.这些可用Kripke结构来描述.这些功能验证模型实现了特定的事务,从而可以将一般的验证要... 提出了一种基于事务的形式验证方法(TBFV),为待验证的系统构造功能验证模型,每个模型包括指令序列、输入变量、输出变量、输出函数、输出判定函数.这些可用Kripke结构来描述.这些功能验证模型实现了特定的事务,从而可以将一般的验证要求映射为具体的实现属性.这样,验证者无需了解设计的细节,可在较高层次上对系统行为进行验证.为了证明该方法的效率,分别用该方法和传统的形式验证方法验证了8051的RTL实现.8051中所有的指令都进行了验证,并给出了相应的功能验证模型.实验结果表明,采用该方法可大大节省验证工程师的时间.功能验证模型和验证指令可以在其他设计中复用. 展开更多
关键词 基于事务的形式验证 功能验证模型 状态爆炸
在线阅读 下载PDF
支持业务事务验证的服务协调模型
7
作者 袁敏 黄志球 李祥 《小型微型计算机系统》 CSCD 北大核心 2011年第9期1734-1739,共6页
在Web服务业务流程中如何保证参与者之间的协调一致性是亟待解决的重要问题.Web服务事务规范中描述的参与者之间的交互消息缺乏严格的语义,无法精确地描述复杂的协调活动,本文用Pi-演算形式化描述WS-TX规范中定义业务活动事务的WS-BA协... 在Web服务业务流程中如何保证参与者之间的协调一致性是亟待解决的重要问题.Web服务事务规范中描述的参与者之间的交互消息缺乏严格的语义,无法精确地描述复杂的协调活动,本文用Pi-演算形式化描述WS-TX规范中定义业务活动事务的WS-BA协议,在此基础上建立了适用于多方参与的业务事务的服务协调模型;并利用基于等价自动机转换的HAL模型检测工具,验证分析了WS-BA协议的安全性和活性,给出一个多方参与的业务事务实例的验证过程,介绍如何利用模型检测技术来分析业务流程设计正确性的方法,有效地确保了业务事务执行的可靠性和一致性. 展开更多
关键词 服务协调 业务流程 事务 形式化建模
在线阅读 下载PDF
事务级形式验证技术及8051验证模型
8
作者 王彬 任艳颖 林争辉 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2003年第8期921-924,共4页
提出一种基于事务的用于电路系统的形式验证方法 (TBFV) 应用该方法 ,验证工程师可以在行为级对系统进行验证 ,无需了解设计的细节 为了对该方法进行示范 ,验证了 80 5 1的RTL级实现 ,并给出了 80 5
关键词 事务级形式验证 8051验证模型 流水线处理器 功能验证模型 微处理器 8051指令集
在线阅读 下载PDF
乐观嵌套工作流事务模型的形式化描述
9
作者 董云卫 郝克刚 《计算机科学》 CSCD 北大核心 2006年第7期107-110,195,共5页
本文对乐观嵌套工作流事务的基本概念及其规则进行形式化描述,并对乐观嵌套工作流事务的层次化、可串行性进行了讨论。最后得出结论:1)利用乐观嵌套模型来调度事务是可以串行调度的,它能够保证数据的一致性。2)在乐观嵌套工作流事务执... 本文对乐观嵌套工作流事务的基本概念及其规则进行形式化描述,并对乐观嵌套工作流事务的层次化、可串行性进行了讨论。最后得出结论:1)利用乐观嵌套模型来调度事务是可以串行调度的,它能够保证数据的一致性。2)在乐观嵌套工作流事务执行过程中采用多版本的数据管理机制来处理并发事务访问同一数据及其中间状态,是无联级回退的。 展开更多
关键词 乐观嵌套工作流事务模型 工作流事务 形式化描述
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部