期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到249篇文章
< 1 2 … 13 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
关于程序正确性证明的进一步探讨 被引量：3
1
作者 李芳 《信息技术与信息化》 2005年第4期66-67,116,共3页
本文介绍了什么是程序的完全正确性、部分正确性、终止性,并通过实例,介绍了利用不变式断言法和计数器方法分别证明程序的部分正确性和终止性的具体方法步骤。
关键词 程序的正确性 程序的部分正确性 程序的终止性 不变式断言法 计数器方法 检验条件 程序正确性证明 终止性 完全正 计数器
在线阅读 下载PDF
团队心智模型相似性与正确性对团队创造力的影响 被引量：26
2
作者 林晓敏 白新文 林琳 《心理学报》 CSSCI CSCD 北大核心 2014年第11期1734-1747,共14页
现代组织越来越依赖团队进行创造与创新活动,团队创造力成为理论与实践共同关注的热点问题。最新理论指出,与个体类似,团队也是信息加工者,团队决策实质上也是信息搜寻、编码、存储和提取的认知加工过程。从团队认知角度开展研究是团队... 现代组织越来越依赖团队进行创造与创新活动,团队创造力成为理论与实践共同关注的热点问题。最新理论指出,与个体类似,团队也是信息加工者,团队决策实质上也是信息搜寻、编码、存储和提取的认知加工过程。从团队认知角度开展研究是团队创造力领域的新方向。鉴于此,本研究从团队认知的角度出发,探讨共享心智模型与团队创造力之间的关系。基于80个信息平台运行维护团队的数据,研究结果表明,心智模型的相似性与正确性均能影响团队创造力,但方向正好相反。心智模型相似性负向预测团队创造力,而心智模型正确性则正向预测团队创造力。两者还共同影响团队创造力,当成员心智模型正确性高且相似性低时,团队创造力最高;而当成员心智模型彼此相似但错误时,团队创造力最差。本研究首次将团队认知和团队创造力两个研究领域结合起来,研究结果有望丰富和拓展两个领域研究成果。 展开更多
关键词 团队创造力 团队认知 共享心智模型 心智模型相似性 心智模型正确性
在线阅读 下载PDF
面孔吸引力和信息正确性对幼儿选择性信任的影响 被引量：12
3
作者 唐卫海 钟汝波 +1 位作者 许晓旭 刘希平 《心理学报》 CSSCI CSCD 北大核心 2019年第1期71-84,共14页
实验1采用3×2×2的混合设计,考察4～6岁幼儿获取全新信息时基于面孔吸引力的选择性信任及其特点。结果显示:(1) 4～6岁的男孩和女孩均表现出对高面孔吸引力者的选择性信任。(2)在选择性信任程度方面:5岁比4岁高,而4岁和6岁之间... 实验1采用3×2×2的混合设计,考察4～6岁幼儿获取全新信息时基于面孔吸引力的选择性信任及其特点。结果显示:(1) 4～6岁的男孩和女孩均表现出对高面孔吸引力者的选择性信任。(2)在选择性信任程度方面:5岁比4岁高,而4岁和6岁之间、5岁和6岁之间则相同;女孩在询问任务中比男孩表现出更高的选择性信任,在赞同任务中则相同。那么,幼儿的这种选择性信任是否受到信息正确性的调节?为此,实验2采用2×3的被试间设计,探讨信息提供者提供信息的正确性对4～6岁幼儿基于面孔吸引力的选择性信任的影响。结果显示:在正确性为50%vs.50%条件下,幼儿未对信息提供者产生选择性信任;在正确性为25%vs.75%条件下,幼儿对提供较大正确性信息的低面孔吸引力者产生了选择性信任。研究结果表明:(1)在信息缺乏时, 4～6岁幼儿普遍存在有偏见的选择性信任;女孩比男孩更易受到社会偏见因素的影响。(2)在信息明确时, 4～6岁幼儿也能做出相对理性的选择性信任。 展开更多
关键词 幼儿 信息正确性 面孔吸引力 选择性信任 社会偏见
在线阅读 下载PDF
基于模拟关系的编译优化实现正确性验证方法 被引量：2
4
作者 徐超 何炎祥 +2 位作者 吴伟 陈勇 刘健博 《电子学报》 EI CAS CSCD 北大核心 2012年第11期2171-2176,共6页
编译器中通常采用各种优化方法来提高目标代码的质量,为了实现较好的效果,一些编译优化算法通常十分复杂,很容易给可靠性和安全性带来隐患.现有的编译器缺陷大部分是由优化阶段引起的.传统的编译优化正确性研究大部分只关注优化算法的... 编译器中通常采用各种优化方法来提高目标代码的质量,为了实现较好的效果,一些编译优化算法通常十分复杂,很容易给可靠性和安全性带来隐患.现有的编译器缺陷大部分是由优化阶段引起的.传统的编译优化正确性研究大部分只关注优化算法的正确性,但是只有该算法被正确的实现了才能确保实际运行的优化过程是正确的.本文提出一种基于模拟关系的方法来验证编译优化实现的正确性.在每次优化结束后,我们通过建立优化前代码和优化后代码之间的模拟关系生成优化正确应满足的逻辑条件,然后验证逻辑条件是否成立从而判定编译优化的实现是否正确性.以优化编译中的常量折叠优化和变量替换的验证作为示例显示了本方法的有效性和可靠性. 展开更多
关键词 编译优化 正确性 模拟关系 定理证明
在线阅读 下载PDF
基于模型检测的服务规则路由正确性验证方法 被引量：2
5
作者 俞东进 吴为 +2 位作者 殷昱煜 闫大强 刘志清 《电子科技大学学报》 EI CAS CSCD 北大核心 2014年第1期107-112,共6页
基于模型检测技术,提出了一种适用于集成了规则引擎的企业服务总线中的消息规则路由的正确性验证方法。首先将基于规则的消息路由转换为服务模型六元组,然后再将服务模型六元组转换为NuSMV输入程序,最后通过NuSMV工具实现自动化验证。... 基于模型检测技术,提出了一种适用于集成了规则引擎的企业服务总线中的消息规则路由的正确性验证方法。首先将基于规则的消息路由转换为服务模型六元组,然后再将服务模型六元组转换为NuSMV输入程序,最后通过NuSMV工具实现自动化验证。给出了一个贷款审批业务的服务规则。路由的正确性验证实例证明了该方法的可行性。 展开更多
关键词 正确性验证 企业服务总线 消息路由 模型检测 规则引擎
在线阅读 下载PDF
面向有效错误定位的偶然正确性识别方法 被引量：1
6
作者 曹鹤玲 姜淑娟 +2 位作者 王兴亚 薛猛 钱俊彦 《电子学报》 EI CAS CSCD 北大核心 2016年第12期3026-3031,共6页
错误定位是软件调试中耗时费力的活动之一.针对偶然正确性影响错误定位效率的问题,提出面向错误定位的偶然正确性识别方法.该方法首先识别偶然正确性元素;然后,挑选"偶然正确性特征元素",使用该特征元素约简程序执行轨迹;在... 错误定位是软件调试中耗时费力的活动之一.针对偶然正确性影响错误定位效率的问题,提出面向错误定位的偶然正确性识别方法.该方法首先识别偶然正确性元素;然后,挑选"偶然正确性特征元素",使用该特征元素约简程序执行轨迹;在此基础上,建立基于模糊c均值聚类的偶然正确性识别模型,将其结果应用于错误定位.为验证该方法的有效性,基于3组测试程序开展偶然正确性识别,并将其结果应用于Tarantula等4种错误定位方法.实验结果表明,与基于k-means聚类的偶然正确性识别方法相比,该方法在偶然正确性识别方面具有较低的误报率和漏报率,并且更能提高错误定位的效率. 展开更多
关键词 软件调试 错误定位 偶然正确性 聚类分析
在线阅读 下载PDF
正确性保证的私有过程建模方法 被引量：1
7
作者 莫启 笪建 +3 位作者 代飞 朱锐 林雷蕾 李彤 《电子学报》 EI CAS CSCD 北大核心 2018年第10期2551-2560,共10页
私有过程是构建协同业务过程基础,其正确与否对业务协同实施产生直接影响.为此,提出了一种逐步求精构建私有过程的方法.首先,定义私有过程,并将其控制流抽象为四种基本块,即顺序块、并发块、选择块及迭代块;然后,针对四种基本块提出各... 私有过程是构建协同业务过程基础,其正确与否对业务协同实施产生直接影响.为此,提出了一种逐步求精构建私有过程的方法.首先,定义私有过程,并将其控制流抽象为四种基本块,即顺序块、并发块、选择块及迭代块;然后,针对四种基本块提出各自的精化规则,并以此为基础提出了私有过程构建方法;最后,从理论上证明了通过该方法建立的私有过程具有工作流网特性且是正确的.通过对协同制造中供应链建模并与现有的、典型的方法对比分析,结果表明:相对已有的工作,本文方法能够更加有效地对私有过程进行建模. 展开更多
关键词 私有过程 基本块 精化规则 接口一致性 正确性
在线阅读 下载PDF
MANET路由协议的正确性分析 被引量：1
8
作者 杨华兵 张兴元 王元元 《南京邮电大学学报（自然科学版）》 EI 2007年第2期15-19,共5页
移动自组网(MANET)是当前网络研究的一个热点,但是由于安全问题致使其未能广泛应用。在安全问题中,路由协议的正确性尤为重要。采用形式验证方法分析了MANET非安全路由协议和安全路由协议的正确性。首先给出了协议正确性的形式描述以及... 移动自组网(MANET)是当前网络研究的一个热点,但是由于安全问题致使其未能广泛应用。在安全问题中,路由协议的正确性尤为重要。采用形式验证方法分析了MANET非安全路由协议和安全路由协议的正确性。首先给出了协议正确性的形式描述以及攻击者的形式定义,将协议的正确性分为安全性(Safety property)和活性(Liveness property),前者指协议所发现的路由具有某些良好的性质,后者指协议能够发现路由而且能够顺利地传输数据;然后提出了两个活性证明规则——响应性证明规则和反应性证明规则,并用所提出的活性证明规则在Isabelle/HOL中证明了DSR协议和SRP协议的正确性。 展开更多
关键词 MANET 路由协议 形式验证 正确性
在线阅读 下载PDF
关系模型上数据语义的正确性判别 被引量：1
9
作者 刘群 印桂生 +1 位作者 刘杰 刘大昕 《哈尔滨工程大学学报》 EI CAS CSCD 1996年第3期59-64,共6页
指出某些应用领域要求对数据库施加专门的数据约束，把判断一个数据库是否满足这种约束的问题归为数据语义判别提出了用相关语义网络的表示方法来表达数据约束。
关键词 数据库 知识表示 关系模型 数据语义 正确性
在线阅读 下载PDF
实时数据分发服务系统重构正确性保证研究 被引量：1
10
作者 杨曙辉 王小非 陈龙 《舰船电子工程》 2009年第1期5-8,27,共5页
为解决分布式系统动态配置时数据正确性、一致性问题,保证系统不因交互实体重配置而失效,提出分布式系统数据正确性概念。现有的中间件是在应用层或者通过重配置管理器/控制器来自动保证数据的正确性,而数据分发服务规范是通过定义一种... 为解决分布式系统动态配置时数据正确性、一致性问题,保证系统不因交互实体重配置而失效,提出分布式系统数据正确性概念。现有的中间件是在应用层或者通过重配置管理器/控制器来自动保证数据的正确性,而数据分发服务规范是通过定义一种发布/订阅系统的体系结构和特性来自动实现正确性保证。分析实时数据分发服务系统重构时对保持数据正确性的支持,并给出自动实现正确性保证的例子。 展开更多
关键词 系统重构 正确性保证 发布/订阅 结构完整性 相互一致性 状态常量
在线阅读 下载PDF
保证公路横断面设计正确性的方法研究与应用 被引量：2
11
作者 刘利民 《中外公路》 北大核心 2019年第5期31-33,共3页
公路路基横断面设计数量大,影响因素多,横断面设计图及其相关设计成果的正确性难以得到保证。在路线CAD软件中,通过增加错误消息和提醒消息,将横断面设计成果与基础设计数据进行关联管理,可以解决横断面设计的正确性问题,提高横断面设... 公路路基横断面设计数量大,影响因素多,横断面设计图及其相关设计成果的正确性难以得到保证。在路线CAD软件中,通过增加错误消息和提醒消息,将横断面设计成果与基础设计数据进行关联管理,可以解决横断面设计的正确性问题,提高横断面设计及相关设计成果的设计效率和质量。该方法已在JSL-路线专家系统中实现,且应用到了多个公路项目设计中,取得了良好的效果。 展开更多
关键词 公路 横断面设计 正确性
在线阅读 下载PDF
怀疑度计算公式受偶然正确性影响理论分析
12
作者 曹鹤玲 姜淑娟 +2 位作者 靳小波 杨卫东 薛猛 《电子学报》 EI CAS CSCD 北大核心 2018年第6期1365-1370,共6页
软件错误定位效率可能受诸多因素影响,如测试用例优先级排序、测试用例构成、测试用例覆盖率及偶然正确性测试用例等.主要关注偶然正确性对怀疑度计算公式错误定位效率的影响.为此,提出一个基于函数单调性的理论分析框架来证明30个经典... 软件错误定位效率可能受诸多因素影响,如测试用例优先级排序、测试用例构成、测试用例覆盖率及偶然正确性测试用例等.主要关注偶然正确性对怀疑度计算公式错误定位效率的影响.为此,提出一个基于函数单调性的理论分析框架来证明30个经典怀疑度计算公式受偶然正确性影响的程度.偶然正确性对怀疑度计算公式影响是有益的理论探索. 展开更多
关键词 软件调试 错误定位 偶然正确性 理论证明
在线阅读 下载PDF
商用车ABS装配正确性检测的研究与实现 被引量：1
13
作者 钱新恩 李贵荣 蒋治成 《湖北汽车工业学院学报》 2007年第4期22-24,共3页
随着汽车防抱死制动系统(ABS)的广泛应用,商用车ABS装配正确性的检测变得越来越重要。本文介绍了复合式制动检测台体的实现方法,论述了通过对制动台滚桶的启停运行和ABS功能操作的组合控制,依据对相应制动台检测数据和ABS ECU通讯信号... 随着汽车防抱死制动系统(ABS)的广泛应用,商用车ABS装配正确性的检测变得越来越重要。本文介绍了复合式制动检测台体的实现方法,论述了通过对制动台滚桶的启停运行和ABS功能操作的组合控制,依据对相应制动台检测数据和ABS ECU通讯信号的分析,检测平台系统完成ABS装配正确性检测的原理和过程。 展开更多
关键词 防抱死制动系统(ABS) 检测台体 装配正确性
在线阅读 下载PDF
Petri网在程序正确性证明中的应用研究
14
作者 康慕宁 胡正国 叶军 《西北工业大学学报》 EI CAS CSCD 北大核心 1996年第1期77-81,共5页
Ｆｌｏｙｄ的循环不变式断言法是部分正确性证明的常用方法之一，但循环不变式断言的构造是比较困难的，而染色网（ＣＰＮ）的位置不变量是可求出的．本文通过用ＣＰＮ描述程序算法，引出了一种拓广的位置不变式的定义，此定义允许不变... Ｆｌｏｙｄ的循环不变式断言法是部分正确性证明的常用方法之一，但循环不变式断言的构造是比较困难的，而染色网（ＣＰＮ）的位置不变量是可求出的．本文通过用ＣＰＮ描述程序算法，引出了一种拓广的位置不变式的定义，此定义允许不变式是非线性的，以及计算不变式的一个充分条件，并且讨论了上述两种不变式之间的联系，为构造一算法的循环不变式断言提供了一种新的方法． 展开更多
关键词 PETRI网 染色网 位置不变量 程序 正确性证明
在线阅读 下载PDF
分割图描述的正确性验证
15
作者 滕至阳 袁全生 程正潮 《高技术通讯》 EI CAS CSCD 1998年第4期25-29,共5页
提出了针对决定性应用程序分割图描述的一种程序正确性验证方法。该方法把经过验证的分割图描述自动转换成Ｃ语言程序，在分割图级别上能够比较容易地构造程序模块的验证条件。
关键词 模块验证 程序正确性 分割图 软件工具
在线阅读 下载PDF
基于抽象解释的函数不变量正确性验证
16
作者 武书彦 苏青琴 刘久富 《微电子学与计算机》 CSCD 北大核心 2012年第10期161-165,共5页
函数不变量检测是提高软件质量的一种有效方法.针对检测方法可能带来无效的函数不变量的缺陷,提出一种以抽象解释理论为基础的函数不变量的正确性验证方法.首先将函数不变量转化成多项式关系;其次结合多项式程序与最弱前置条件抽象解释... 函数不变量检测是提高软件质量的一种有效方法.针对检测方法可能带来无效的函数不变量的缺陷,提出一种以抽象解释理论为基础的函数不变量的正确性验证方法.首先将函数不变量转化成多项式关系;其次结合多项式程序与最弱前置条件抽象解释分析多项式关系正确性的判断依据;最后构造多项式关系算法,凭借得到的结果验证函数不变量正确与否.同时通过一个C程序中的函数不变量为例对该验证方法进行说明. 展开更多
关键词 函数不变量 抽象解释 正确性验证 多项式关系
在线阅读 下载PDF
串行通信中数据正确性的保证 被引量：1
17
作者 夏临闽 胡仁杰 《电子工程师》 2000年第11期42-45,共4页
介绍了如何尽可能保证上下位机间串行通信的正确性 ,从而使系统不会因为通信失败或数据错误而意外终止 ,并且还给出了部分 VC+ +
关键词 串行通信 计算机通信 数据正确性 程序设计
在线阅读 下载PDF
评过剩吸附量和绝对吸附量关系式的不正确性
18
作者 陈元千 傅礼兵 徐佳倩 《油气地质与采收率》 CAS CSCD 北大核心 2020年第2期1-6,共6页
页岩吸附气和煤层吸附气都是重要的非常规天然气资源。该资源的评价依赖于在不同压力下等温累积吸附量的计算和等温饱和吸附量的确定。不同压力下的等温累积吸附量,需要通过吸附仪的测试资料,利用有关的计算方法求得。基于1976年Adamson... 页岩吸附气和煤层吸附气都是重要的非常规天然气资源。该资源的评价依赖于在不同压力下等温累积吸附量的计算和等温饱和吸附量的确定。不同压力下的等温累积吸附量,需要通过吸附仪的测试资料,利用有关的计算方法求得。基于1976年Adamson(阿达姆森)提出的固相对气相吸附质量的关系式是不确定的,因此,1998年Donohue和Aranovich引用Adamson的吸附关系式,并提出过剩吸附量和绝对吸附量及其关系式也是不正确的。周理等于2000年发表的文章,确认和引用了Donohue和Aranovich过剩吸附量和绝对吸附量及其关系式同样是不正确的。在2015至2018年间,俞凌杰等沿用周理等的过剩吸附量和绝对吸附量关系式,发表了多篇论文。通过本文的研究,认为过剩吸附量和绝对吸附量是两个缺少物理定义和使用价值的伪名词,两者之间的关系式也是不正确的。利用过剩吸附量和绝对吸附量的关系式根本得不到等温吸附量、等温累积吸附量和等温饱和吸附量。 展开更多
关键词 页岩 煤层 吸附气 过剩吸附量 绝对吸附量 关系式 不正确性
在线阅读 下载PDF
基于交互模式的网格服务组合正确性的研究
19
作者 郭文彩 林闯 《微电子学与计算机》 CSCD 北大核心 2008年第9期1-3,共3页
服务组合技术成为网格领域的研究热点,但是对于服务交互行为以及服务组合正确性的研究,仍缺乏有说服力的理论和现实成果.利用Pi-演算适于描述动态、分布系统的特点,建立了基于该理论的网格服务交互行为模式、服务上下文等概念及其机理,... 服务组合技术成为网格领域的研究热点,但是对于服务交互行为以及服务组合正确性的研究,仍缺乏有说服力的理论和现实成果.利用Pi-演算适于描述动态、分布系统的特点,建立了基于该理论的网格服务交互行为模式、服务上下文等概念及其机理,提出服务组合正确性的定义,并进一步给出基于Pi-演算的网格服务组合正确性验证算法.实验结果证明了该算法在一定应用范围内是可行的. 展开更多
关键词 网格服务组合 交互模式 PI-演算 正确性
在线阅读 下载PDF
从一个侧面看钱伟长教育思想的正确性和前瞻性
20
作者 程昌钧 徐凯宇 《力学与实践》 CSCD 北大核心 2012年第5期85-88,共4页
根据上海大学力学系的成立和发展过程,以及在实践过程中所取得的斐然成果,从一个侧面展现了钱伟长教育思想的正确性和前瞻性.
关键词 钱伟长教育思想 实践性 正确性 前瞻性 力学系的成立与发展
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 13 下一页 到第 页
关于我们 | 版权声明 | 联系我们 | 帮助中心| 意见反馈
主办单位：上海市教育委员会
技术支持：重庆维普资讯有限公司
渝公网安备 50019002500403号
使用帮助 返回顶部