钛学术
文献服务平台
学术出版新技术应用与公共服务实验室出品
首页
论文降重
免费查重
学术期刊
学术导航
任务中心
论文润色
登录
文献导航
学科分类
>
综合
工业技术
科教文艺
医药卫生
基础科学
经济财经
社会科学
农业科学
哲学政法
社会科学II
哲学与人文科学
社会科学I
经济与管理科学
工程科技I
工程科技II
医药卫生科技
信息科技
农业科技
数据库索引
>
中国科学引文数据库
工程索引(美)
日本科学技术振兴机构数据库(日)
文摘杂志(俄)
科学文摘(英)
化学文摘(美)
中国科技论文统计与引文分析数据库
中文社会科学引文索引
科学引文索引(美)
中文核心期刊
中国科学引文数据库
工程索引(美)
日本科学技术振兴机构数据库(日)
文摘杂志(俄)
科学文摘(英)
化学文摘(美)
中国科技论文统计与引文分析数据库
中文社会科学引文索引
科学引文索引(美)
中文核心期刊
cscd
ei
jst
aj
sa
ca
cstpcd
cssci
sci
cpku
cscd
ei
jst
aj
sa
ca
cstpcd
cssci
sci
cpku
默认
篇关摘
篇名
关键词
摘要
全文
作者
作者单位
基金
分类号
搜索文章
搜索思路
高级检索 >
刊名检索 >
文献类型
学科分类
更多...
核心收录
更多...
年份
更多...
来源
更多...
推荐文献
大家都在搜
1
陈友明
张顺波
宁柏松
信息贫困
人工智能
java
一种基于金刚石NV色心的微波近场矢量测量方法与流程
大数据
springboot
相关度
全选
反选
取消
已选文献:
0
导出
共检索到
7196660
个结果
<
1
/
719666
>
1.
【期刊】
应用Petri网改进BPEL程序的
正确性
作者:
余波
刊名:
计算机应用研究
发表时间:
2011-09-01
摘要:
为了解决BPEL组合服务的
正确性
保证问题,提出一种基于Petri网改善组合服务的
正确性
的集成方法.提出将BPEL程序转换成由PNML表示的Petri网的规则,实现由BPEL程序转换成Petri网和基于Petri网导出变迁触发序列的算法,借助一个开源工具PIPE2可分析与评价组合服务的
正确性
、活性等属性,所导出的触发序列可生成BPEL程序的单元测试的测试序列.案例研究表明,此方法有助于保证BPEL程序的
正确性
.
组合Web服务
可执行流程语言
Petri网
变迁触发序列
2.
【期刊】
嵌套事务的
正确性
及锁协议
作者:
李大利
柴胜
王洪媛
刊名:
计算机应用研究
发表时间:
2005-02-01
摘要:
嵌套事务作为扩展事务模型的一种,应用较为广泛,对嵌套事务
正确性
进行了描述,并给出了一个嵌套事务模型的并发控制锁的协议.
事务模型
嵌套事务
并发控制
3.
【期刊】
工作流
正确性
问题综述
作者:
张民
李西明
蒋郁
郭玉彬
刊名:
计算机应用研究
发表时间:
2009-05-01
摘要:
首先从结构
正确性
和执行
正确性
两方面对工作流系统的
正确性
问题进行了综述.对结构
正确性
,从模型角度进行了
正确性
定义、判定依据及判定工具的介绍.对执行
正确性
,从事务、异常处理两个方面介绍了当前工作流
正确性
的保障技术.最后,对已有工作流
正确性
问题的理论和实现技术进行了比较,并总结了这方面的几个研究方向,供研究人员借鉴.
工作流管理系统
工作流模型
事务工作流
正确性
异常
4.
【期刊】
论事故处理时的
正确性
与迅速
性
作者:
贾建国
刊名:
科学之友
发表时间:
2011-06-01
摘要:
发生事故特别是特重大事故后,处理方法
正确
与否决定着事故造成的后果,在处理方法
正确
的前提下,处理事故迅速与否又关系到损失的大小.故处理事故的
正确性
与迅速
性
对减少人员伤亡、财产损失及社会影响等有重要意义.
事故处理
正确性
迅速性
5.
【期刊】
主体计划的Petri网方法及
正确性
验证
作者:
吴哲辉
方欢
刊名:
微电子学与计算机
发表时间:
2008-10-01
摘要:
主体计划的生成问题是多主体系统实现的一个关键问题.为了实现多主体系统中的计划自动生成以及对生成的计划进行验证,以任务有效分解的Petri网模型为基础,提出了计划提取的方法并对相关的
正确性
运用同步器进行验证.首先,通过对网系统的可达
性
分析得到所有计划的集合,组成多主体系统的计划库.其次,根据同步网的相关思想,对计划库中的每一个计划的
正确性
进行了形式化的验证,从而为多主体系统的实现提供了保证.
多主体
计划
Petri网
同步器
6.
【期刊】
病案书写质量对疾病编码
正确性
的影响
作者:
汪娟
王小利
刊名:
中国全科医学
发表时间:
2018-01-01
摘要:
目的 探究病案书写质量对医院疾病编码
正确性
的影响.方法 以重庆市开州区人民医院2015年2月—2017年2月期间疾病编码错误的310份病例为研究对象,分析病案书写质量对疾病编码准确
性
的影响及病案书写质量差的影响因素根本死亡原因错误或未填写、其他(病案首页疾病诊断名称不一致、患者手术记录单或医嘱内容缺失、患者某项特殊检查填写不全面、常规辅助检查报告单未归入档案等).结论 病案书写质量的不规范、不完整直接影响患者疾病编码的
正确性
,并且对其手术操作、诊断、治疗方面均造成严重的不良后果,所以需要加以高度重视,保证病案书写质量的客观
性
、完整
性
,进而达到提高疾病编码
正确性
的目的.
病案书写质量
疾病编码
临床影响
7.
【期刊】
基于语法树的程序
正确性
验证模型及算法设计
作者:
周必水
张延红
赵敬
刊名:
杭州电子科技大学学报(自然科学版)
发表时间:
2006-01-01
摘要:
基于语法树的程序
正确性
验证方法是目前程序
正确性
验证全新的研究领域,该方法以程序的语法树作为程序
正确性
的检验对象,运用适当的树匹配算法,来验证目标程序的
正确性
.该文在介绍基于语法树的程序
正确性
验证方法的基础上,借鉴无序标签树匹配的相关研究成果,结合软件构件的查询技术,提出一种新的XML路径查询模型和树匹配算法,并展示了STM在程序
正确性
验证方面的前景.
程序正确性验证
树匹配
路径查询
匹配度
8.
【期刊】
基于抽象解释的函数不变量
正确性
验证
作者:
刘久富
武书彦
苏青琴
刊名:
微电子学与计算机
发表时间:
2012-10-01
摘要:
函数不变量检测是提高软件质量的一种有效方法.针对检测方法可能带来无效的函数不变量的缺陷,提出一种以抽象解释理论为基础的函数不变量的
正确性
验证方法.首先将函数不变量转化成多项式关系;其次结合多项式程序与最弱前置条件抽象解释分析多项式关系
正确性
的判断依据;最后构造多项式关系算法,凭借得到的结果验证函数不变量
正确
与否.同时通过一个C程序中的函数不变量为例对该验证方法进行说明.
函数不变量
抽象解释
正确性验证
多项式关系
9.
【期刊】
基于交互模式的网格服务组合
正确性
的研究
作者:
林闯
郭文彩
刊名:
微电子学与计算机
发表时间:
2008-09-01
摘要:
服务组合技术成为网格领域的研究热点,但是对于服务交互行为以及服务组合
正确性
的研究,仍缺乏有说服力的理论和现实成果.利用Pi-演算适于描述动态、分布系统的特点,建立了基于该理论的网格服务交互行为模式、服务上下文等概念及其机理,提出服务组合
正确性
的定义,并进一步给出基于Pi-演算的网格服务组合
正确性
验证算法.实验结果证明了该算法在一定应用范围内是可行的.
网格服务组合
交互模式
Pi-演算
正确性
10.
【期刊】
确保水质检测结果
正确性
的相关研究
作者:
麻玉玲
刊名:
农技服务
发表时间:
2014-12-01
摘要:
水质检测对于社会的发展具有重要的作用,而确保其
正确性
是关键的工作,论文结合笔者的实际工作经验,分析水质检测的意义、影响因素和相关的措施,为提高水质检测的质量做出一定的贡献,文章以下做简要的论述,为相关的研究提供参考
水质检测
正确性
意义
措施
钛学术
文献服务平台
学术出版新技术应用与公共服务实验室出品
首页
论文降重
免费查重
学术期刊
学术导航
任务中心
论文润色
登录
根据相关规定,获取原文需跳转至原文服务方进行注册认证身份信息
完成下面三个步骤操作后即可获取文献,阅读后请
点击下方页面【继续获取】按钮
钛学术
文献服务平台
学术出版新技术应用与公共服务实验室出品
原文合作方
继续获取
获取文献流程
1.访问原文合作方请等待几秒系统会自动跳转至登录页,首次访问请先注册账号,填写基本信息后,点击【注册】
2.注册后进行实名认证,实名认证成功后点击【返回】
3.检查邮箱地址是否正确,若错误或未填写请填写正确邮箱地址,点击【确认支付】完成获取,文献将在1小时内发送至您的邮箱
*若已注册过原文合作方账号的用户,可跳过上述操作,直接登录后获取原文即可
点击
【获取原文】
按钮,跳转至合作网站。
首次获取需要在合作网站
进行注册。
注册并实名认证,认证后点击
【返回】按钮。
确认邮箱信息,点击
【确认支付】
, 订单将在一小时内发送至您的邮箱。
*
若已经注册过合作网站账号,请忽略第二、三步,直接登录即可。
热门期刊
最新期刊
友情链接
热门主题
最新主题
中国电机工程学报
生态学报
生态学报
电力系统自动化
安徽农业科学
农业工程学报
计算机工程与应用
岩石力学与工程学报
中国医药指南
食品科学
电网技术
应用生态学报
中华护理杂志
中国组织工程研究
中华医院感染学杂志
计算机工程
中国实用医药
科学技术创新
护理研究
山西建筑
中国老年学杂志
地理学报
中国农学通报
中国妇幼保健
岩土工程学报
科技信息
中国农业科学
中国实用护理杂志
岩土力学
现代中西医结合杂志
机械工程学报
计算机应用研究
中国中药杂志
环境科学
商场现代化
软件学报
中草药
中国医药导报
护理学杂志
护士进修杂志
中国电机工程学报
生态学报
生态学报
电力系统自动化
安徽农业科学
农业工程学报
计算机工程与应用
岩石力学与工程学报
中国医药指南
食品科学
电网技术
应用生态学报
中华护理杂志
中国组织工程研究
中华医院感染学杂志
计算机工程
中国实用医药
科学技术创新
护理研究
山西建筑
中国老年学杂志
地理学报
中国农学通报
中国妇幼保健
岩土工程学报
科技信息
中国农业科学
中国实用护理杂志
岩土力学
现代中西医结合杂志
机械工程学报
计算机应用研究
中国中药杂志
环境科学
商场现代化
软件学报
中草药
中国医药导报
护理学杂志
护士进修杂志
中国电机工程学报
生态学报
生态学报
电力系统自动化
安徽农业科学
农业工程学报
计算机工程与应用
岩石力学与工程学报
中国医药指南
食品科学
电网技术
应用生态学报
中华护理杂志
中国组织工程研究
中华医院感染学杂志
计算机工程
中国实用医药
科学技术创新
护理研究
山西建筑
中国老年学杂志
地理学报
中国农学通报
中国妇幼保健
岩土工程学报
科技信息
中国农业科学
中国实用护理杂志
岩土力学
现代中西医结合杂志
机械工程学报
计算机应用研究
中国中药杂志
环境科学
商场现代化
软件学报
中草药
中国医药导报
护理学杂志
护士进修杂志
中国电机工程学报
生态学报
生态学报
电力系统自动化
安徽农业科学
农业工程学报
计算机工程与应用
岩石力学与工程学报
中国医药指南
食品科学
电网技术
应用生态学报
中华护理杂志
中国组织工程研究
中华医院感染学杂志
计算机工程
中国实用医药
科学技术创新
护理研究
山西建筑
中国老年学杂志
地理学报
中国农学通报
中国妇幼保健
岩土工程学报
科技信息
中国农业科学
中国实用护理杂志
岩土力学
现代中西医结合杂志
机械工程学报
计算机应用研究
中国中药杂志
环境科学
商场现代化
软件学报
中草药
中国医药导报
护理学杂志
护士进修杂志
中国电机工程学报
生态学报
生态学报
电力系统自动化
安徽农业科学
农业工程学报
计算机工程与应用
岩石力学与工程学报
中国医药指南
食品科学
电网技术
应用生态学报
中华护理杂志
中国组织工程研究
中华医院感染学杂志
计算机工程
中国实用医药
科学技术创新
护理研究
山西建筑
中国老年学杂志
地理学报
中国农学通报
中国妇幼保健
岩土工程学报
科技信息
中国农业科学
中国实用护理杂志
岩土力学
现代中西医结合杂志
机械工程学报
计算机应用研究
中国中药杂志
环境科学
商场现代化
软件学报
中草药
中国医药导报
护理学杂志
护士进修杂志
21世纪
居业
21世纪商业评论
癌变·畸变·突变
安防科技
鞍钢技术
安徽电力
安徽电气工程职业技术学院学报
安徽大学学报(自然科学版)
安徽地质
安徽电子信息职业技术学院学报
安徽化工
安徽工程大学学报
安徽科技学院学报
合肥师范学院学报
安徽建筑
安徽建筑大学学报
安徽科技
安徽科技与企业
安徽林业
安徽林业科技
安徽农学通报
现代农业科技
安徽农业大学学报
安徽农业科学
安徽师范大学学报(自然科学版)
安徽水利水电职业技术学院学报
安徽商贸职业技术学院学报(社会科学版)
安徽体育科技
安徽卫生职业技术学院学报
安徽文献研究集刊
安徽预防医学杂志
安徽冶金
安徽冶金科技职业学院学报
安徽医科大学学报
安徽医学
安徽医药
安徽中医药大学学报
安家
生物资源
21世纪
居业
21世纪商业评论
癌变·畸变·突变
安防科技
鞍钢技术
安徽电力
安徽电气工程职业技术学院学报
安徽大学学报(自然科学版)
安徽地质
安徽电子信息职业技术学院学报
安徽化工
安徽工程大学学报
安徽科技学院学报
合肥师范学院学报
安徽建筑
安徽建筑大学学报
安徽科技
安徽科技与企业
安徽林业
安徽林业科技
安徽农学通报
现代农业科技
安徽农业大学学报
安徽农业科学
安徽师范大学学报(自然科学版)
安徽水利水电职业技术学院学报
安徽商贸职业技术学院学报(社会科学版)
安徽体育科技
安徽卫生职业技术学院学报
安徽文献研究集刊
安徽预防医学杂志
安徽冶金
安徽冶金科技职业学院学报
安徽医科大学学报
安徽医学
安徽医药
安徽中医药大学学报
安家
生物资源
论文查重
智能客服
百度学术
关于我们
用户协议
隐私政策
知识产权保护
期刊导航
免费查重
论文知识
钛学术官网
按字母查找期刊:
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
其他
联系我们
公众号:pp文库
联系合作 广告推广: shenyukuan@paperpass.com
京ICP备2021016839号
营业执照
版物经营许可证:新出发 京零 字第 朝220126号