电子商务安全协议及其非单调动态逻辑验证

该文介绍了 SET(secure electronic transactions)的付费业务流程 ,对 NDL (non- monotomic dynamiclogic)的逻辑框架进行了扩展 ,即针对 SET协议 ,增加了新的公理 ,重新给出积累规则的定义 .在此基础上 ,用对 SET中的几个重要的范例进行的逻辑验证 ,说明了 NDL在验证电子商务协议上的重要性 ,并初步提出了积累规则中需要进一步研究的问题 .

电子商务安全协议的逻辑验证

作者在以前所做的工作中 ,已对电子商务安全 (secure electronic transactions,简称 SET)中抽取的片段进行了证明 ,也对 SET中可能存在的问题进行了初步探讨 .该文在此基础上 ,对 SET的整个业务流程进行了严格的逻辑验证 ,通过形式化逻辑方法的验证 ,发现了 SET协议中存在的一些问题 ,并对如何解决这些问题进行了初步的探讨 .

浅议逻辑验证法在文学翻译批评中的应用——以《金银岛》两个中译本为例

翻译批评中的逻辑验证法主要是借助批评者的语言知识,运用人类共同的生活经验,从句法结构的各个层面对原作和译作的语法和语义进行对照分析,并且对作品的写实部分进行逻辑分析与验证。文章拟用逻辑验证法评析英文小说《金银岛》的两个不同中译本,指出逻辑验证法是文学翻译批评乃至各类翻译批评的一种好方法。

组合数字电路的Petri网逻辑验证软件设计

组合数字电路可方便、直观地采用Petri网来建立模型并进而实施逻辑验证。通过对运用模块化程序设计技术及开发组合数字电路的Petri网逻辑验证软件有关问题的讨论,为数字电路设计评价提供一个行之有效的方法。

科学发现的逻辑验证

何谓创新型思维？大家以为没有任何框框，随意地随想，发散型思维。实际上创新型思维也可以像其他自然科学一样，认真加以研究，而且有规律可循，甚至变成演算。爱因斯坦狭义相对论发现过程和达尔文的进化论发现过程说明，我们进行了科学分析之后，是可以做创新型的东西的。

基于SV语言的802.11 MAC芯片逻辑验证方案

针对符合IEEE 802.11的MAC协议的芯片设计,介绍一种新的验证方案。该方案以功能覆盖率为驱动,使用约束随机的激励完成验证,大大降低了传统验证过程中对验证者个人经验的依赖,同时为验证的完备性提供了有效的度量手段。该方案使用Sysytem Verilog语言实现,根据VMM验证思想,搭建了一个层次化的逻辑验证环境。与传统的验证环境相比,该方案中的验证环境在验证自动化、组件重用等方面有突出的改进。实践证明,新的验证方案能够充分保证验证的完备性,同时能有效地提高验证效率,缩短验证周期。

虚拟FPGA逻辑验证分析仪的设计

本文对一种虚拟FPGA逻辑验证分析仪的设计方案及其工作原理进行了研究，并详细介绍了该仪器的两个主要工作环节的设计。采用FPGA技术来实现仪器硬件部分的主要设计，应用图形化编程语言LabVIEW来实现仪器的软件设计。在该仪器研制中，创新性地将逻辑分析仪和激励信号配合使用，实现了FPGA中电路的基本测试验证功能。同时，它还具有逻辑分析仪和产生激励信号的功能。

虚拟FPGA逻辑验证分析仪的设计

随着FPGA技术的广泛使用，越来越需要一台能够测试验证FPGA芯片中所卜载电路逻辑时序是否正确的仪器。目前，虽然Agilent，Tektronix等大公刮生产的高端逻辑分析仪能够实现FPGA电路的测试验证功能，但此类仪器价格高昂，一般要十万、数十万人民币。所以，研究开发价格适中且具有逻辑分析仪和FPGA电路的测试验证功能的仪器是非常有价值的。

译文语言准确度的逻辑验证法评析——以《金银岛》(第十三章)两个中译本为例

逻辑验证法主要是借助批评者的语言知识,运用人类共同的生活经验,从句法结构的各个层面对原作和译作的语法和语义进行对照分析,并且对作品的写实部分进行逻辑分析与验证。因此,逻辑验证法是文学翻译批评乃至各类翻译批评的一种好方法。在评析英文小说《金银岛》(第十三章)的两个不同译文时,考虑在保持通顺和流畅的同时,更应该要兼顾译文的准确度。

基于知识图谱的逻辑验证码方案

验证码是保护网络资源免受自动化脚本和恶意程序攻击的一种方式。随着人工智能和深度学习技术的不断发展,现阶段利用神经网络对图像进行识别并比较语义标签之间的相似度的方式,能够破解传统的图像验证码方案。因此,提出了一种新的基于知识图谱的逻辑验证码方案。通过在知识图谱ConceptNet中选择常识知识并用词组对其进行描述,使得使用者可以以此进行逻辑推断所描述的内容主体,从而在候选图片中选出合适的答案。它利用人工智能在逻辑推理能力方面的不足,对候选图片添加对抗噪声和对词组生成文本验证码,能有效防止基于图像识别的方法通过判断图片标签是否一致或者语义相似程度对验证码进行破解。实验结果表明,人能够在5 s内以95%的正确率完成该验证码的挑战。因此,逻辑验证码可以成为当前基于文本与图像的验证码的好的替代方案。

“华龙一号”机组汽轮机系统仿真建模及逻辑验证

本文对"华龙一号"机组汽轮机控制系统进行仿真建模后,通过接入RINSIM仿真平台中的工艺系统模型,建立完整的汽轮机仿真系统,并利用该系统对汽轮机控制逻辑进行了验证。"华龙一号"机组汽轮机仿真系统包括工艺系统模型(Level 0)、控制系统模型(Level 1)、人机界面(Level 2)以及连接各模型的接口程序。通过由单系统到多系统,由小顺控到大顺控的各方面测试,完成对汽轮机系统控制逻辑的验证。

基于PROMELA的卫星自主控制逻辑安全性分析方法

随着微处理技术的发展,卫星自主控制逻辑日趋复杂。传统的使用流程图、程序走查、单元测试、系统测试的方法,存在过于依赖相关人员主观能力和无法遍历全部程序执行路径的问题。基于线性时态逻辑的SPIN验证工具可以对使用PROMELA建模的分布式有限状态系统执行路径进行遍历,并可判定使用线性时态逻辑(LTL)公式表达的安全性目标是否能够被满足。研究给出了一种使用PROMELA对卫星自主控制逻辑进行建模的方法,并以卫星自主分离过程判定过程为例,对实际分析和改进过程进行演示。

基于SAT的应答器工程数据逻辑规则提取及验证

工程数据是应答器报文编制的重要依据,现有工程数据验证规则是基于CTCS-2级列控系统应答器应用原则及工程数据表编制规范生成的,这类基于文本语言描述的规则完备性不足,且存在二义性,数据验证不充分,易直接导致数据安全问题。因此,本文深度挖掘各类工程数据间的约束关系,提取数据逻辑验证规则,通过基于SAT的形式化建模、ROBDD构造及深度优先搜索来证明逻辑规则的可满足性。开发基于导出逻辑规则的数据验证工具,并以某城际线路工程数据表为例,与传统工程数据表检查软件进行比较。结果表明,新工具能够识别传统软件无法识别的数据隐患,消除传统验证规则的不完备性,提高工程数据的安全性。

基于软件和逻辑联合仿真的SOPC验证技术研究

针对航天高可靠SOPC测试验证重要性,对SOPC仿真技术进行深入剖析研究,提炼出了一套切实可行的SOPC仿真技术.阐明了SOPC仿真技术的具体实现方法,分析了SOPC的具体验证方法,并把这套仿真验证技术成功地应用到了多个航天高可靠SOPC的测试中,发现了很多引起功能失效的重大问题,并对其中常见的问题给予归类总结.

翻译批评中的逻辑验证法

许钧先生在其《文学翻译批评研究》一书中介绍了几种文学翻译批评的基本方法，其中提到的逻辑验证法，对于评价译文理解的准确性和上下文的有机联系，具有一定的说服力。此外，逻辑验证法在翻译过程中，也是译者理解原作和检验译文的一种基本方法。本文拟以“ＦｏｒＷｈｏ...

一种多种接口时序兼容性验证设计方法

针对接口从设备兼容性弱的问题,提出一种多种接口时序兼容性验证方法,实现了灵活、方便、可控的接口从设备时序拉偏验证功能。

EDA阶段白盒验证技术研究与应用

高效的白盒验证方法极大地提高了芯片前端开发的工作效率。本文对几种典型电路(仲裁逻辑、中断逻辑,FIFO逻辑)进行了白盒验证测试,并总结了其高效的验证方法。

基于龙芯2F处理器的硬件验证平台的设计与实现

针对高性能处理器龙芯2F的逻辑验证和性能测试,本文设计和实现了一套硬件验证平台环境,既能验证处理器流片前的逻辑功能,也能测试处理器流片后的性能指标。实验结果表明,本文设计的硬件验证平台能够有效验证龙芯2F处理器的各项功能和性能指标。

R演算——科学发现的逻辑

R演算是一个关于逻辑连接词符号和量词符号的形式推理系统,它可以把现有理论中与实验和观测结果矛盾的原理或定律推演出来并予以删除,之后再与实验支持的事实合并,获得新的自然科学理论。文章对R演算进行简单介绍,并使用R演算,对爱因斯坦创立狭义相对论和达尔文创立进化论的科学发现活动进行逻辑验证,最后讨论R演算的基本性质及其基本思想在软件测试和程序调试等方面的应用。