检索结果-南通市图书馆

一个极小不可满足公式子类的等价结构(英文)

在线全文

学校读者我要写书评

暂无评论

贵州大学学报（自然科学版） 2001年第2期18卷 79-89,102页

作者：许道云贵州大学计算机科学系贵阳550025

研究一个极小不可满足公式子类 (MAX( 1 ) )的等价结构考虑了MAX( 1 )上的变元改名问题和文字改名问题此两个问题均可在O(nlog2 (n) )

关键词：极小不可满足公式变元改名等价结构文字改名 MAX(1) O时间

在线全文

学校读者我要写书评

暂无评论

控制系统状态方程式的等价结构与应用

华侨大学学报（自然科学版） 1993年第3期14卷 350-356页

作者：王永初华侨大学精密机械工程系

控制系统状态方程式有许多不同的结构,可以互相转换以适应不同实际需要.文中推荐一种分段状态观测器,可增加状态反馈的个数,降低工业噪声与微分运算的污染度,从而提高系统的响应速度.

关键词：控制系统状态方程式等价结构

在线全文

学校读者我要写书评

暂无评论

热回收网络结构柔性的改进方法研究

化工学报 1993年第6期44卷 700-707页

作者：胡山鹰陈丙珍沈静珠清华大学化工系北京100084

热回收网络结构柔性改进问题是针对在不确定参数下柔性不满足要求的网络,通过改造其结构以增加柔性,从而达到降低能耗之目的.本文在用网络柔性分析方法识别出控制网络柔性的关键变量的基础上,通过寻找不确定参数范围内的最坏操作点,对... 详细信息

热回收网络结构柔性改进问题是针对在不确定参数下柔性不满足要求的网络,通过改造其结构以增加柔性,从而达到降低能耗之目的.本文在用网络柔性分析方法识别出控制网络柔性的关键变量的基础上,通过寻找不确定参数范围内的最坏操作点,对于关键变量为热负荷变量和温差变量两类情况,构造不同的等价结构.采用热负荷转移法、分流法和减少热负荷法等手段,有效地改进了热回收网络的结构柔性.

关键词：热回收网络结构柔性等价结构

在线全文

学校读者我要写书评

暂无评论

Zodiac算法新的Square攻击

电子与信息学报 2010年第11期32卷 2790-2794页

作者：张鹏李瑞林李超国防科技大学理学院数学与系统科学系长沙410073 中国科学院软件所信息安全国家重点实验室北京100190

该文重新评估了Zodiac算法抗Square攻击的能力。Zodiac算法存在8轮Square区分器,该文首先根据算法的结构特性,给出了Zodiac的4个等价结构,而后利用等价结构得到了两个新的9轮Square区分器。利用新的区分器,对不同轮数的Zodiac算法实施了... 详细信息

该文重新评估了Zodiac算法抗Square攻击的能力。Zodiac算法存在8轮Square区分器,该文首先根据算法的结构特性,给出了Zodiac的4个等价结构,而后利用等价结构得到了两个新的9轮Square区分器。利用新的区分器,对不同轮数的Zodiac算法实施了Square攻击,对12轮,13轮,14轮,15轮和16轮Zodiac的攻击复杂度分别为237.3,262.9,296.1,2137.1和2189.5次加密运算,选择明文数分别为210.3,211,211.6,212.1和212.6。结果表明:完整16轮192bit密钥的Zodiac算法是不抗Square攻击的。

关键词：密码学 Zodiac 等价结构区分器 Square攻击

对特殊类型Feistel密码的Square攻击

在线全文

学校读者我要写书评

暂无评论

国防科技大学学报 2010年第4期32卷 137-140,149页

作者：张鹏孙兵李超国防科技大学理学院湖南长沙410073 信息安全国家重点实验室北京100190

对轮函数为SP结构的两类特殊类型Feistel密码抗Square攻击的能力进行了研究。通过改变轮函数中P置换的位置从而给出了此类Feistel密码的等价结构,以SNAKE(2)和CLEFIA为例,给出了基于等价结构Square攻击的具体过程,将6轮SNAKE(2)的Squar... 详细信息

对轮函数为SP结构的两类特殊类型Feistel密码抗Square攻击的能力进行了研究。通过改变轮函数中P置换的位置从而给出了此类Feistel密码的等价结构,以SNAKE(2)和CLEFIA为例,给出了基于等价结构Square攻击的具体过程,将6轮SNAKE(2)的Square攻击的时间复杂度由224降为213.4;将6轮CLEFIA的Square攻击的时间复杂度由234.4降为212.4。结果表明,在设计轮函数为SP结构的Feistel密码时,必须充分考虑等价结构对算法抗Square攻击的影响。

关键词： Feistel密码 Square攻击等价结构 SNAKE(2) CLEFIA

在线全文

学校读者我要写书评

暂无评论

对“介词+关系词”结构的综述

文理导航 2009年第9期 20-21页

作者：邹睿河南省濮阳市油田第三高级中学

有一类常考的定语从句(以下简称定从),其关系词之前往往带一个适当的介词,从而构成"介词+关系词"的结构。这类定从都有哪些类型?每个类型的结构特点是什么?在应用时应当注意些什么细节呢?(一)如何确定"介词+关系词"

关键词：关系词介词短语先行词定语从句结构特点等价结构动词短语拆分方位综述

在线全文

学校读者我要写书评

暂无评论

Zodiac算法的碰撞攻击

计算机应用 2014年第1期34卷 73-77页

作者：刘青卫宏儒潘伟北京科技大学数理学院北京100083 北京科技大学基础学科教研室北京102100

为了研究Zodiac算法抵抗碰撞攻击的能力,根据算法的一个等价结构,分别给出了Zodiac算法的两个8轮和9轮区分器。通过在此区分器前后加适当的轮数,首先,利用9轮区分器对12轮到16轮的算法进行了碰撞攻击,其攻击的数据复杂度分别为215,231.2... 详细信息

为了研究Zodiac算法抵抗碰撞攻击的能力,根据算法的一个等价结构,分别给出了Zodiac算法的两个8轮和9轮区分器。通过在此区分器前后加适当的轮数,首先,利用9轮区分器对12轮到16轮的算法进行了碰撞攻击,其攻击的数据复杂度分别为215,231.2,231.5,231.7,263.9,时间复杂度分别为233.8,249.9,275.1,2108,2140.1;其次,利用8轮区分器对全轮算法进行了攻击,其攻击的数据复杂度和时间复杂度分别为260.6和2173.9。结果表明:全轮的Zodiac-192/256算法均不能抵抗碰撞攻击。

关键词： Zodiac算法碰撞攻击等价结构区分器数据复杂度时间复杂度

对简化轮数的SNAKE(2)算法的碰撞攻击

在线全文

学校读者我要写书评

暂无评论

计算机科学 2015年第9期42卷 147-150页

作者：邱丰品卫宏儒潘锦航北京科技大学数理学院北京100083

为了研究简化轮数的SNAKE(2)算法抵抗碰撞攻击的能力,根据算法的一个等价结构,给出了SNAKE(2)算法的一个6轮区分器。通过在此区分器前后加适当的轮数,对7/8/9轮的SNAKE(2)算法实施了攻击。其攻击的数据复杂度依次为O(26)、O(26.52)、O(2... 详细信息

为了研究简化轮数的SNAKE(2)算法抵抗碰撞攻击的能力,根据算法的一个等价结构,给出了SNAKE(2)算法的一个6轮区分器。通过在此区分器前后加适当的轮数,对7/8/9轮的SNAKE(2)算法实施了攻击。其攻击的数据复杂度依次为O(26)、O(26.52)、O(215),时间复杂度依次为O(29.05)、O(218.32)、O(226.42),攻击结果优于对SNAKE(2)算法的Square攻击。

关键词： SNAKE(2)算法碰撞攻击等价结构区分器复杂度

在线全文

学校读者我要写书评

暂无评论

程序作业自动测评的研究与实现

程序作业自动测评的研究与实现

作者：樊敏广东工业大学

学位级别：硕士

近年来计算机辅助测评(CAA)领域受到了更多的关注,但所解决的多为客观题测评问题,而主观题由于灵活性和创造性强等因素,一直没有出现很好的测评方案。程序作业属于主观题,与自然语言相比,由于程序设计语言的规范性强,多义性少,加之学生... 详细信息

近年来计算机辅助测评(CAA)领域受到了更多的关注,但所解决的多为客观题测评问题,而主观题由于灵活性和创造性强等因素,一直没有出现很好的测评方案。程序作业属于主观题,与自然语言相比,由于程序设计语言的规范性强,多义性少,加之学生程序主要是中小程序,可作为主观题测评领域的一个研究出发点和突破点。本文研究学生程序作业的计算机辅助评价。在本工作室研发的编程学习可视化环境基础上,通过扩充基于程序作业标准答案模板的测评技术,实现对学生程序作业的计算机辅助评价,既有利于程序设计语言初学者更快更好地理解掌握程序设计的基本概念和方法,也有利于减轻教师批改程序作业的负担,增强学生程序测评工作的客观性、准确性和实时性。本课题的主要研究目标是程序测评系统的设计和实现。在该系统中,采用源码特征比较的方案,将学生程序与存储在题库中的模板程序集依次比较,然后根据基于相似度概念的评分规则得出对学生程序完成程度和质量的测评结果。在学生程序与模板程序比较前需要对二者进行一系列信息提取和结构转换工作。输入源程序后通过语法分析主要建立起对程序控制结构的信息树,称作扩展语法树(EST);在EST的基础上通过对数据流向的分析,建立起扩展流图(EFG)作为过渡;在EFG基础上通过对程序基本块的划分,对各子块的控制和数据依赖关系分析,以及使用一些规范化规则等技术,得到了程序特征属性图(PFSG)。之后的程序评价过程是基于程序对等结构和程序等价结构的概念,对学生程序和模板程序的PFSG进行的。本文的内容组织如下:第一章介绍自动测评相关技术背景、现状和意义,并介绍本课题的研究点;第二章介绍整个测评系统的总体架构和处理过程;第三章提出程序对等结构和等价结构的概念,并分析了需要从程序中提取的信息;第四章讨论测评系统中数据结构的选用;第五章介绍表达式、条件语句和循环语句等程序结构规范化技术;第六章介绍变量跟踪技术和比较评分技术;第七章以一个实际的例子说明如何使用模板程序测评学生程序的整体过程。

关键词：程序的测量与评价对等结构等价结构程序结构规范化程序结构比较