检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

安全协议的设计与逻辑分析

软件学报 2003年第7期14卷 1300-1309页

作者：卿斯汉中国科学院信息安全技术工程研究中心

随着网络应用的迅速发展,网络安全的问题日益重要.研究下述课题:安全协议的设计原则;安全协议设计中形式化方法的应用;各种形式化分析方法,特别是逻辑分析方法的特点.另外,还探讨了串空间模型在逻辑分析中的应用以及串空间模型指导安全... 详细信息

随着网络应用的迅速发展,网络安全的问题日益重要.研究下述课题:安全协议的设计原则;安全协议设计中形式化方法的应用;各种形式化分析方法,特别是逻辑分析方法的特点.另外,还探讨了串空间模型在逻辑分析中的应用以及串空间模型指导安全协议形式化设计的可能性.

关键词：安全协议设计逻辑分析 BAN类逻辑串空间

在线全文

学校读者我要写书评

暂无评论

搜索算法的逻辑分析

软件学报 1999年第2期10卷 175-180页

作者：张玉平北京航空航天大学计算机科学与工程系

搜索算法的初始空间、搜索策略、搜索过程可以用一阶语言描述，搜索算法的逻辑性质由初始状态空间确定．这意味着描述搜索过程的逻辑具有紧致性，初始状态的初等类具有有限封闭性．

关键词：搜索算法一阶逻辑逻辑分析人工智能

在线全文

学校读者我要写书评

暂无评论

基于单片机和EDA技术的逻辑分析仪设计

计算机工程 2005年第16期31卷 207-209,221页

作者：夏新恩洪远泉韶关学院计算机科学系韶关512005 韶关学院实验中心韶关512005

采用单片机控制8路逻辑信号电平采集;采用EDA技术设计的CPLD芯片处理逻辑信号,控制点阵扫描和分析结果在示波器上显示;单片机和CPLD间采用中断方式交换数据。该设计具有1、3级触发方式,触发字位置和浮动时标线显示等功能。

关键词：点阵扫描控制逻辑分析 CPLD VHDL编程

在线全文

学校读者我要写书评

暂无评论

逻辑分析专家系统LAP

计算机学报 1989年第6期12卷 416-422页

作者：方佳佶章开和唐璞山复旦大学电子工程系

本文介绍了一个基于推理方法的逻辑分析专家系统LAP(Logic Analysis expert system in Prolog)。文中详细介绍了LAP系统的功能、系统结构、逻辑电路的知识表述方法、描述语言和分析实例等。

关键词：逻辑分析专家系统 LAP系统

在线全文

学校读者我要写书评

暂无评论

逻辑分析在翻译中的作用

中国翻译 1997年第3期 20-22页

作者：曾克明

逻辑分析在翻译中的作用曾克明任何一部有价值的作品或文章，其内容从构思到表达必然是合乎逻辑的。如果我们在翻译的每个环节中，能自觉地运用逻辑分析的方法，就能避免误译。反之就会造成译语逻辑混乱，令人费解，以至影响翻译的质量... 详细信息

逻辑分析在翻译中的作用曾克明任何一部有价值的作品或文章，其内容从构思到表达必然是合乎逻辑的。如果我们在翻译的每个环节中，能自觉地运用逻辑分析的方法，就能避免误译。反之就会造成译语逻辑混乱，令人费解，以至影响翻译的质量。本文拟通过《双城记》一中译本的一...

关键词：逻辑分析搬运费无法忍受汉语表达习惯语法分析词典释义原译语境译文《英汉大词典》

在线全文

学校读者我要写书评

暂无评论

逻辑分析与综合在翻译中的决定作用

外语研究 1990年第2期7卷 47-55页

作者：阎德胜

一、命题的提出西德学者K·赖斯强调指出:“翻译过程绝不单纯是语言活动”(转引自胡真《安娜·利洛娃翻译理论概述》,刊《中国翻译》1988年第5期)。正因为如此,苏联语言学家巴尔胡达罗夫教授在《语言与翻译》一书中明确地讲到:“

关键词：分析与综合决定作用科技翻译上下文思维活动科学逻辑翻译理论译文逻辑分析全过程

在线全文

学校读者我要写书评

暂无评论

逻辑分析的推理方法

电子学报 1989年第1期17卷 79-83页

作者：方佳佶章开和唐璞山复旦大学电子工程系

本文提出了一种新的对数字电路进行逻辑分析的方法——推理方法。该方法将逻辑分析问题看作是一个自动定理证明问题,即将逻辑电路知识看成为公理,给定的数字网络结构和输入信号看成是已知成立的命题(引理),而待求的输出信号看成是蕴含... 详细信息

本文提出了一种新的对数字电路进行逻辑分析的方法——推理方法。该方法将逻辑分析问题看作是一个自动定理证明问题,即将逻辑电路知识看成为公理,给定的数字网络结构和输入信号看成是已知成立的命题(引理),而待求的输出信号看成是蕴含在上述这些命题中的新命题(定理),逻辑分析过程就是从公理,引理中自动导出定理的过程,即推理过程。本文详细介绍了推理方法的原理,推理的过程,最后将这种分析方法与传统的逻辑分析方法进行了比较。

关键词：逻辑分析推理方法数字电路

逻辑分析与中国哲学的现代开展:金岳霖的经验

在线全文

学校读者我要写书评

暂无评论

社会科学家 2019年第3期34卷 26-31页

作者：安谧华东师范大学哲学系

本文考察金岳霖如何接受、推进罗素的逻辑分析方法并加以反转式运用,构建一种道论新形上学,而此种新形而上学如何能够应对反形而上学的诸多诘难。完整的逻辑分析法包括狭义逻辑分析和逻辑构造两部分。罗素和卡尔纳普曾用此方法反对形而... 详细信息

本文考察金岳霖如何接受、推进罗素的逻辑分析方法并加以反转式运用,构建一种道论新形上学,而此种新形而上学如何能够应对反形而上学的诸多诘难。完整的逻辑分析法包括狭义逻辑分析和逻辑构造两部分。罗素和卡尔纳普曾用此方法反对形而上学,而金岳霖却反转式使用该方法去构建了新形而上学。金岳霖的形上学构造始于'式-能',进一步还原为能-可能,经现实化过渡到具体、个体等环节,环环紧扣地展开为'道'的逻辑演绎。金岳霖的新形而上学摒除传统逻辑带给形而上学的弊端,警惕任何无意义的或虚假的陈述,在很大程度上率先冲出了反形而上学的重围。金岳霖的工作展示了逻辑辑分析方法的魅力与意义,为中国哲学的现代开展树立了一种特色鲜明的典范。

关键词：金岳霖方法论形而上学逻辑分析概念系统演绎

在线全文

学校读者我要写书评

暂无评论

逻辑分析与科技翻译

广西师范大学学报（哲学社会科学版） 2009年第5期45卷 79-82页

作者：李海军彭劲松湖南文理学院外国语学院湖南常德415000 广西师范大学外国语学院广西桂林541004

在科技翻译过程中,逻辑分析至关重要,既可以帮助译者消解原文结构歧义和显化原文隐含的逻辑关系,又可以帮助译者改正原文的逻辑错误和译文的逻辑错误。

关键词：逻辑分析科技翻译结构歧义逻辑关系逻辑错误