期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
9
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
一种多数据库事务模型
被引量:
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
职称材料
题名
一种多数据库事务模型
被引量:
6
1
作者
肖卫军
卢正鼎
李兵
李瑞轩
机构
华中科技大学计算机科学与技术学院
出处
《小型微型计算机系统》
CSCD
北大核心
2003年第12期2224-2227,共4页
基金
国家高性能计算基金 (9931 9)资助
文摘
分析了多数据库系统中事务的特征 ,给出了多数据事务和事务经历的形式化描述 .在此基础上 ,提出了多数据库事务正确性标准MDB 可串行化 ,最后给出了基于MSG图的多数据库串行化定理 .
关键词
多数据库形式化模型
MDB-可串行化
MSG图
多数据库串行化定理
多数据库事务模型
异构数据
Keywords
a formal model of multidatabase transaction
MDB-seri
a
liz
a
bility
MSG gr
a
ph
a
multidatabase
seri
a
liz
a
bility theorem
分类号
TP311.13 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
农村非正规金融正规化的模式比较与政策选择
被引量:
6
2
作者
邵传林
王莹莹
裴志伟
机构
兰州商学院金融学院
兰州商学院农林经管学院
兰州商学院经济学院
出处
《经济与管理》
CSSCI
2013年第2期32-36,共5页
基金
陕西省社会科学基金项目(11D010)
文摘
中国农村非正规金融的正规化不仅有助于降低交易费用与信贷风险,还有益于提高资金的配置效率。中国农村非正规金融向正规金融转化主要有四种经典模式:即农村互助合作金融模式、"农村非正规金融组织+小额贷款公司+民营中小银行模式"、"农村非正规金融组织+村镇银行+地区性中小银行"模式、"农村合作银行或农村商业银行"模式。这四种模式为农村非正规金融正规化的途径选择提供理论依据。当然,要想农村非正规金融正规化,还需从法律壁垒、财税政策、运作成本、外部环境等方面多加谋划。
关键词
非正规金融
正规化
交易费用
模式比较
Keywords
In
formal
fin
a
nce
formal
iz
a
tion
transaction
cost
model
comp
a
rison
分类号
F832.7 [经济管理—金融学]
在线阅读
下载PDF
职称材料
题名
基于语义的数据库并发控制研究进展
被引量:
2
3
作者
雷霖
熊伟
吴烨
景宁
机构
国防科学技术大学电子科学与工程学院
出处
《小型微型计算机系统》
CSCD
北大核心
2011年第12期2337-2344,共8页
基金
国家自然科学基金项目(61070035
60902036
+2 种基金
40801160)资助
高等学校博士学科点专项科研基金项目(20104307110017)资助
国家"八六三"高技术研究发展计划项目(2011AA120306)资助
文摘
事务的语义信息可以从更高层次上刻划数据库的状态及其变化,提高数据库处理能力.这方面的研究已经产生了大量的研究成果,其核心是要解决语义信息层次性、灵活性、难以表达等难点问题.在回顾基于语义的数据库并发控制的研究背景和现状基础上,提出将数据库并发控制抽象为计算模型以便于数据库语义信息的表达;阐述了解决该问题的两类主要模型:一维计算模型和多维计算模型,介绍了两种模型的基本概念以及主要事务模型,总结了数据库并发控制的形式化方法,分析了基于高维计算模型研究并发控制模型的部分理论依据;最后展望了基于语义的数据库并发控制发展趋势.
关键词
事务处理
语义
并发控制
计算模型
形式化
Keywords
transaction
processing
sem
a
ntic
concurrency control
comput
a
tion
model
formal
iz
a
tion
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
社会网络和交易成本对农户生产性正规信贷的影响
被引量:
8
4
作者
邸玉玺
郑少锋
机构
西北农林科技大学经济管理学院
出处
《西北农林科技大学学报(社会科学版)》
CSSCI
北大核心
2022年第1期151-160,共10页
基金
国家自然科学基金项目(71773093)。
文摘
利用对陕西省1091位农户的调研数据,将农户的生产性正规信贷分解为是否获得生产性信贷、是否获得生产性正规信贷和获得的生产性正规信贷金额三个阶段,运用Triple-Hurdle样本选择模型,实证检验了社会网络对农户从正规渠道获得生产性贷款的影响,进而重点考察了交易成本的中介作用机制。结果表明:农户的总体社会网络提高了生产性信贷的获得概率和信贷金额,交易型社会网络增加了生产性正规信贷的获得概率;降低正规信贷交易成本能够增加农户正规信贷的获得概率和信贷金额;社会网络能够降低农户在申请正规信贷过程中由于专用性较高、交易频次较低、不确定性较高所导致的高额交易成本,从而提高农户生产性正规信贷的获得概率和信贷金额。因此,增强农户社会网络的信息传递功能,降低正规信贷的交易成本,进而缓解农村地区生产性正规信贷约束,对于乡村振兴具有重要意义。
关键词
生产性信贷
正规信贷
社会网络
交易成本
Triple-Hurdle模型
Keywords
production credit
formal
credit
soci
a
l network
transaction
cost
Triple-Hurdle
model
分类号
F302.5 [经济管理—产业经济]
在线阅读
下载PDF
职称材料
题名
多数据库事务处理原型系统的设计与实现
被引量:
3
5
作者
卢正鼎
肖卫军
李瑞轩
易童
机构
华中理工大学计算机科学与工程系
出处
《计算机工程与科学》
CSCD
1997年第4期1-4,共4页
文摘
本文给出了多数据库事务处理原型系统MDBS-1的设计方案,并着重讨论了事务处理核心和局部代理的设计与实现。利用多线索技术来提高事务间的和事务内的并行性,以提高系统的性能。
关键词
多数据库
事务处理
MDBS-1
数据库系统
Keywords
multidatabase
,
transaction
processing,loc
a
l
a
gent,client/server
model
,multithre
a
d.
分类号
TP311.13 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
基于事务形式验证(TBFV)及8051的TBFV模型
被引量:
2
6
作者
王彬
林争辉
机构
上海交通大学电子工程系
出处
《上海交通大学学报》
EI
CAS
CSCD
北大核心
2003年第10期1574-1577,共4页
基金
美国国家科学基金(5978EastAsiaandPacificProgram-9602485)
国家教育部博士点基金资助项目
文摘
提出了一种基于事务的形式验证方法(TBFV),为待验证的系统构造功能验证模型,每个模型包括指令序列、输入变量、输出变量、输出函数、输出判定函数.这些可用Kripke结构来描述.这些功能验证模型实现了特定的事务,从而可以将一般的验证要求映射为具体的实现属性.这样,验证者无需了解设计的细节,可在较高层次上对系统行为进行验证.为了证明该方法的效率,分别用该方法和传统的形式验证方法验证了8051的RTL实现.8051中所有的指令都进行了验证,并给出了相应的功能验证模型.实验结果表明,采用该方法可大大节省验证工程师的时间.功能验证模型和验证指令可以在其他设计中复用.
关键词
基于事务的形式验证
功能验证模型
状态爆炸
Keywords
transaction
b
a
sed
formal
verific
a
tion(TBFV)
function
a
l verific
a
tion
model
st
a
te explosion
分类号
TN702 [电子电信—电路与系统]
在线阅读
下载PDF
职称材料
题名
支持业务事务验证的服务协调模型
7
作者
袁敏
黄志球
李祥
机构
南京航空航天大学信息科学与技术学院
湘南学院计算机科学系
出处
《小型微型计算机系统》
CSCD
北大核心
2011年第9期1734-1739,共6页
基金
国家"八六三"高技术研究发展计划项目(2009AA010307)资助
湖南省自然科学基金项目(09JJ3114)资助
湖南省教育厅重点项目(08A064)资助
文摘
在Web服务业务流程中如何保证参与者之间的协调一致性是亟待解决的重要问题.Web服务事务规范中描述的参与者之间的交互消息缺乏严格的语义,无法精确地描述复杂的协调活动,本文用Pi-演算形式化描述WS-TX规范中定义业务活动事务的WS-BA协议,在此基础上建立了适用于多方参与的业务事务的服务协调模型;并利用基于等价自动机转换的HAL模型检测工具,验证分析了WS-BA协议的安全性和活性,给出一个多方参与的业务事务实例的验证过程,介绍如何利用模型检测技术来分析业务流程设计正确性的方法,有效地确保了业务事务执行的可靠性和一致性.
关键词
服务协调
业务流程
事务
形式化建模
Keywords
service coordin
a
tion
business process
transaction
s
formal
model
ing
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
事务级形式验证技术及8051验证模型
8
作者
王彬
任艳颖
林争辉
机构
上海交通大学电子工程系
出处
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
2003年第8期921-924,共4页
基金
美国国家科学基金(5 978EastAsiaandPacificProgram-960 2485)
教育部博士点基金资助
文摘
提出一种基于事务的用于电路系统的形式验证方法 (TBFV) 应用该方法 ,验证工程师可以在行为级对系统进行验证 ,无需了解设计的细节 为了对该方法进行示范 ,验证了 80 5 1的RTL级实现 ,并给出了 80 5
关键词
事务级形式验证
8051验证模型
流水线处理器
功能验证模型
微处理器
8051指令集
Keywords
transaction
b
a
sed
formal
verific
a
tion
function
a
l verific
a
tion
model
st
a
te explosion
分类号
TP332 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
乐观嵌套工作流事务模型的形式化描述
9
作者
董云卫
郝克刚
机构
西北工业大学计算机学院
西北大学计算机科学系
出处
《计算机科学》
CSCD
北大核心
2006年第7期107-110,195,共5页
基金
"陕西省自然科学基金"(项目编号:2005F46)
"西安科技攻关计划"(项目编号:GG05022)项目资助。
文摘
本文对乐观嵌套工作流事务的基本概念及其规则进行形式化描述,并对乐观嵌套工作流事务的层次化、可串行性进行了讨论。最后得出结论:1)利用乐观嵌套模型来调度事务是可以串行调度的,它能够保证数据的一致性。2)在乐观嵌套工作流事务执行过程中采用多版本的数据管理机制来处理并发事务访问同一数据及其中间状态,是无联级回退的。
关键词
乐观嵌套工作流事务模型
工作流事务
形式化描述
Keywords
Optimistic nested workflow
transaction
model
,Workflow
transaction
,
formal
description
分类号
TP31 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
一种多数据库事务模型
肖卫军
卢正鼎
李兵
李瑞轩
《小型微型计算机系统》
CSCD
北大核心
2003
6
在线阅读
下载PDF
职称材料
2
农村非正规金融正规化的模式比较与政策选择
邵传林
王莹莹
裴志伟
《经济与管理》
CSSCI
2013
6
在线阅读
下载PDF
职称材料
3
基于语义的数据库并发控制研究进展
雷霖
熊伟
吴烨
景宁
《小型微型计算机系统》
CSCD
北大核心
2011
2
在线阅读
下载PDF
职称材料
4
社会网络和交易成本对农户生产性正规信贷的影响
邸玉玺
郑少锋
《西北农林科技大学学报(社会科学版)》
CSSCI
北大核心
2022
8
在线阅读
下载PDF
职称材料
5
多数据库事务处理原型系统的设计与实现
卢正鼎
肖卫军
李瑞轩
易童
《计算机工程与科学》
CSCD
1997
3
在线阅读
下载PDF
职称材料
6
基于事务形式验证(TBFV)及8051的TBFV模型
王彬
林争辉
《上海交通大学学报》
EI
CAS
CSCD
北大核心
2003
2
在线阅读
下载PDF
职称材料
7
支持业务事务验证的服务协调模型
袁敏
黄志球
李祥
《小型微型计算机系统》
CSCD
北大核心
2011
0
在线阅读
下载PDF
职称材料
8
事务级形式验证技术及8051验证模型
王彬
任艳颖
林争辉
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
2003
0
在线阅读
下载PDF
职称材料
9
乐观嵌套工作流事务模型的形式化描述
董云卫
郝克刚
《计算机科学》
CSCD
北大核心
2006
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部