逻辑综合

逻辑综合（精选九篇）

逻辑综合 篇1

关键词：培养,逻辑思维,能力,提高,综合素质

数学教学的一个主要任务是叫孩子们学会逻辑思维能力,分析问题,解决问题。这是新课标赋予我们的,也是我们平时要注意的问题。在教学中,本人采取了多种方法来培养孩子们的逻辑思维能力。

1补充题目,变换题目,培养孩子们的综合能力

把不完整的题目补充完整,没条件的补条件、缺少问题的补充问题,把题目改造成为一步或两步应用题。这样可以叫孩子们更加深入的熟悉和掌握一般应用题的结构和数量关系,提高孩子们进行综合分析的这种思维能力。如:杜威家买了6斤苹果,2斤香蕉,_____ ?叫孩子们补上问题。有的孩子说:一共有多少斤?有的孩子说:苹果比香蕉多多少斤?还有的孩子说:香蕉比苹果少多少斤?有的孩子说:苹果是香蕉的多少倍?孩子们对此题的理解就比较透彻,孩子们的综合能力比较强了。再比如:崔梅梅家有营养快线4箱,营养快线和曲奇饼干一共有6箱, _____ ?孩子们补上了问题:曲奇饼干多少箱?营养快线是曲奇饼干的几倍?等问题。这些条件和问题的经过孩子们的动脑分析,不仅使学生对应用题的结构有了明确的认识,而且也培养了学生综合、分析的思维能力。

2没有比较就没有鉴别,锻炼孩子们的观察能力,提高孩子们的比较能力

没有比较就没有鉴别,就没有借鉴, 就没有进步。所以比较是很重要的,是思维的基础,是进步的阶梯。在教学过程中, 我们可以训练孩子们对一些问题进行认真的进行观察和比较,找到一些题目的差别之处,加深对所学知识的理解和记忆。如1、东东有铅笔6只,彩笔3只,彩笔比铅笔少多少只? 2、君君有铅笔6只,彩笔比铅笔少3只,彩笔有多少只? 经过学生们的小组观察分析得出:这两道题目中有一个相同的条件,那就是铅笔6只,另一个条件和问题不同。找到了这些问题,那么这个题目就不再是问题了。经过这些观察和比较,使学生对两类应用题的结构和数量关系更加明确,培养了学生的观察、 比较能力。

3利用手头有的彩笔等课程资源,在黑板上画出来,就可以给学生们更为直观的第一手材料,初步培养孩子们的抽象能力和概括能力

在黑板上为孩子们把所要解决的问题画出来,是最为直接的把题目的条件和问题放在了孩子们面前,更加形象。使学生获得充分的感性材料和丰富的表象, 教师给予抽象、概括,学生认识由感性认识上升到理性认识阶段,从而抽象、概括能力得到培养。比如低年级的教学中我们可以这样做,题目是上面是6只小白兔, 下面是3只小狗,问题共有问一共有多少只小动物?我们可以在黑板的上边先画出6只小兔子,下卞画出3只小狗,提供给学生的是一种形象直接的感性材料,再去提问孩子们,这样就可以用画这一手法把问题转化为数学问题,学生学起来轻轻松松,孩子们就会对应用题的结构比较了解,掌握也会水到渠成,自自然然。孩子们就会大声地说出来,把这两个数加起来就可以,用加法计算,培养了学生的抽象、概括的能力。

4加大问题力度,提高孩子们的判断、 推理能力

由于是低年级,孩子们的年龄比较小,自己提出问题的能力就不高,所以教师提出问题也是不错的选择,来叫孩子们回答,这样也能叫孩子们开动脑筋,思考问题,锻炼孩子们的判断和推理能力。

1) 抓住关键词语,来适当的进行判断推理训练:1铅笔比彩笔夺只,哪个还多?当然是铅笔多,可以把铅笔分作两部分,一部分和彩笔一样多,那些多出来的就是比彩笔多的了。2奶糖比水果糖少8个,那个数量多?当然是水果糖多。就这两个实例,问题比较简单,孩子们可以直接作出判断。但是判断要讲究依据的,这里就有一个简单的推理,把多的分为两部分,这种练习方式,锻炼了孩子们的判断、 推理能力。

2) 问题要有连续性和连贯性,这样也可以锻炼孩子们的判断、推理能力。你比如:三年级一班有40人,要分5个小组进行学习,每组有几个人?这道题目告诉你了什么事?有几个可以利用的条件? 问题是怎样的?求每组的人数,实际应当求什么?(把这些人平均分成几等份, 每份是多少)用什么方法求?请列式计算(40÷5)。这些问题的最终目的是最后孩子们能够得出算式40÷5,孩子们的思考和回答实际上就是一个判断、推理过程, 判断能力和推理能力得到了训练和提高。 教师设计的这些问题要做到恰当,适时, 能开发学生智力,引导学生去思考,锻炼孩子们的推理能力,开阔孩子们的思路, 学会这类应用题的推理过程,叫孩子们进一步的加强和提高思考问题、解决问题的能力。

5叫孩子们说出思路,没有思想方法, 是无功的教学,有了思路就可以说孩子们的思维具有条理性、系统性

数学的思想方法也就是思路很重要, 必须叫孩子们说出来。这里的说,培养的是孩子们思维的条理性和系统性。你比如:小红有3块橡皮,小雨的铅笔比小红的橡皮少1个,问小红和小雨有橡皮和铅笔一共多少?这道题的思维孩子们做的都很到位,思维决定语言,语言促进思维, 孩子们的思维条理有了进一步的加强,在一定程度上培养了孩子们的思维的系统性和条理性。

6注意题目条件和问题的变换,培养孩子们的思维的灵活性

变化的问题和条件可以锻炼孩子们的思维的灵活性,开发孩子们从多角度、 多方位思考问题的能力,叫孩子们的思维更灵活,思路更开阔。这种变换形式的训练,使学生的思维不是固定在某一个问题的结构和解法上,从而培养学生认真理解题意、分析数量关系的良好习惯,发展学生的多向思维能力和应变能力,提高思维的灵活性和敏捷性。

联考综合逻辑模拟测试题 篇2

下面是为同学整理的联考综合逻辑模拟测试题，同学们可以进行练习。

16. 长久以来被认为，高水平的雄性激素荷尔蒙是男性心脏病发作的主要原因。然而，这个观点不可能正确，因为有心脏病的男性一般比没有心脏病的男性有显著低水平的雄性激素。

上面的论述基于下列哪一个假设?

A. 从未患过心脏病的许多男性通常有低水平的雄性激素。

B. 患心脏疾病不会显著降低男性中雄性激素的水平。

C. 除了雄性激素以外的荷尔蒙的水平显著影响一个人患心脏病的可能性。

D. 男性中心脏病和降低的雄性激素的水平是一个相同原因的结果。

E. 高水平的雄性激素不会导致除心脏病外的其他严重疾病。

17. 参与带有呼吸器潜水的人平均比不参与这项运动的人更健康。因此，带有呼吸器潜水有助于提高人的健康。

下列哪一个批评了上面论述?

A. 预先假设进行呼吸器潜水的每个人这样做只是为了健康原因。

B. 导致一个更远并且不实际的结论?不参与呼吸器潜水，没有人能够获得好的健康。

C. 没有指出每年有少量的人在呼吸器潜水事故中严重受伤。

D. 处理提高某人健康的前提条件好像其本身是能够保证健康的因素。

E. 忽视了人们通常不参加潜水器潜水的可能性是他们没有好的健康。

18. 据调查，90年代以来，中学生中出现失眠症状者的.比例比80年代高出2倍，有长期从事学生工作经验的人说，这是近年来升学教育对学生造成了过大压力的结果。

下列哪项为真，则对上述结论提出质疑?

A. 这几年中学生升学比例比较稳定。

B. 同学们反映中学学习生活特别紧张。

C. 为了升学而进行的教育过于死板。考试大

D. 人们以前只是没有太注意这种问题而已。

E. 这几年其他社会群体中出现失眠症状者的比例也明显上升。

19. 美国和前苏联的每英亩粮食产量进行的一次为期的对比分析结果表明，当仅以种植面积比较时，前苏联的产量是美国的68%。但当对农业总面积(包括种植面积和休耕面积)进行比较时，前苏联的产量是美国的114%。

根据以上信息，关于美国与前苏联在这10年期间的农业情况，下面哪个能最可靠地推断出来?

(A)美国农业总面积中休耕地的比例要大于前苏联。

(B)美国休耕地面积多于耕地面积。考试大

(C)前苏联闲置的可用农业面积要比美国少。

(D)前苏联的耕种面积多于休耕地面积。

(E)前苏联出产的粮食要比美国多。

20.近年来，百舌鸟的数目剧烈下降了。百舌鸟是一种居住在诸如农场和牧场之类的平地上的捕食类鸟类。一些鸟类学家猜测说这次下降可能归因于引入新的、更有效的用以控制百舌鸟所捕食的昆虫的杀虫剂。

对下列哪一个问题的回答与评价鸟类学家的假说不相关?

A. 在新的杀虫剂使用前，百舌鸟的数目下降了吗?

B. 在那些新的杀虫剂没有被使用的栖息地，百舌鸟的数目已经显著下降了吗?

C. 新的杀虫剂比以前使用的杀虫剂更显著地使百舌鸟所捕食的昆虫数目下降了吗?

D. 吃了新的杀虫剂的百舌鸟所捕食的昆虫比吃了以前使用的杀虫剂的昆虫对百舌鸟更有毒吗?

E. 大多数人认为新的杀虫剂比老的刹虫剂对环境的害处少吗?

综合电竞赛事背后的资本逻辑 篇3

综合类电子竞技赛事的源起与式微

综合性游戏赛事集大成的年代，在十年前。世界传统三大赛有ESWC、WCG和CPL。国内有CEG，CIG和PGL等等。标准比赛项目设立是：War3、Starcraft、CS。有一些比赛会加入FIFA或者NFS，因为这些项目更靠近“传统体育项目”。

把这些项目放在一起，一方面是对传统体育中锦标赛的模仿。另一方面则是彼时的游戏开发商话语权并不高——所有这些项目在当时都可以离线比赛，一旦赛事组织者采购了正版软件之后，开发商除了表示“强烈不满”之外并没有更多实际办法。还有一些比赛项目是来自于MOD版本，比如CS和DotA，归属和管辖的权限就更模糊了。

最重要的原因还在于，在当时的中国市场环境下，开发商没法挣钱（彼时游戏都是单机销售），自然没有动机去做赛事管控。因此当年一个赛事能聚齐Valve、暴雪和EA等大厂的作品。

随着电子竞技项目的更新换代，主流竞技项目都已全面网游化，买正版离线比赛模式从游戏设计上就已经行不通，厂商获利能力大幅度提升。为保证用户体验，加上赛事质量以及竞争等原因，厂商倾向于自己办比赛，自然也对综合类赛事抱有不甚开放的态度。

近年来主流电子竞技赛事都是以开发商赛事为核心的，综合类电子竞技赛事偏于式微，这个情况一直持续到2014年，WCA的出现。到2015年，曾经的CIG也“See you Again”。

当电子竞技成为“文化创意产业”

WCA是一个足够吸引人眼球的比赛，从第一天开始，就用大量的娱乐明星来获取广泛的社会关注，而在赛事执行上一直颇受争议。但这并不妨碍WCA在2015年把盘子做得更大，声音喊得更响。

大规模的赛事执行和推广，以及大量的娱乐明星使用，都是不菲的花费。尽管有一些游戏厂商和硬件厂商的赞助和支持，但从营收的角度上看，WCA过去两年收支打平的可能性很低。

资本天性逐利，烧钱的背后，是银川市政府要打造“东方的拉斯维加斯”的宏图，以及金风科技“电子竞技第一股”的大概念。而这一切的源起，都因为电子竞技在过去三年间，从一个玩物丧志的毒品，变成了“文化创意产业”的一部分。

2015年冬季，北京经历了多个空气重污染红色预警，但即使在没有污染预警的日子，空气监测软件依然把空气质量标为“有毒害”，而官方媒体也把这个冬天称为“过去四年间最严重的污染”。环保部终于承认了汽车尾气并不是空气污染的主要来源，燃煤和重工业才是。

产业的升级与转型，是这届政府在经济上最大的任务。告别资源型和污染型工业，发展三产和文化创意产业，是顺理成章的国策。电子竞技行业的风口便这么来了。

风口和退潮

曾经的滴滴快的烧钱大战，一线城市的用户恨不得每天不花钱坐车。似乎先有规模（用户），再挣钱是顺理成章的事情。但人们总是忘记千团大战、汽车O2O、视频网站那些似乎有了规模，但最后依然被潮水卷走的失败者们。人们也总不会去探究，现在滴滴司机们都要交份子钱，那些月入两万的故事早就成了传说。

当前电子竞技行业中，存有游戏开发商、俱乐部、选手（主播）、直播平台、赛事、媒体、投资方等各种角色。模式只有两种，要么向用户（C）挣钱，要么向企业（B）挣钱。开发商能C能B，选手（主播）也能C能B，直播平台也能C能B，因为它们都有粘着用户。而大部分媒体只能B，因为他们的C粘度不高，中国人没有消费资讯的习惯。大部分俱乐部还在赔钱，尽管俱乐部也能B，但选手的工资都太高了。

在这个行业里，有粘度的C是最重要的。有了C之后B顺理成章。主播和选手之所以值钱，是因为他们有大量的高粘度C。直播平台之所以高价签主播和选手，是因为平台希望把这些人的C变成自己的C。

对综合类赛事来说，并不拥有能带来C的资源（选手、主播、游戏）。走内容变现的道路，就需要具有独特性和独占性。笔者曾是PGL主创团队一员，当年Grubby和Sky在三大赛上碰到一次，能被渲染成为“世纪大战”。而在PGL一个赛季当中，Grubby vs Sky，Sky vs Moon，Moon vs Grubby能打十几盘，且这些内容都进行了高质量的视频包装。因此PGL能把自己的内容向渠道方变现。

同样的项目，同样的选手，不同的只是比赛场地和奖金。内容高度同质化，包装和播出渠道又归于主播和直播平台，走内容变现的道路，对综合类赛事来说，似乎也很艰难。

向企业收钱是综合类赛事看得比较清楚的商业模式，但ToB收入是否能支撑起如此庞大的开销，也极有挑战。2014年，WCA主舞台上出现了各种“非传统”的电子竞技项目，也一直饱受争议。

雷军讲过，风来了猪都会飞。巴菲特讲过，只有退潮之后，才知道谁在裸泳。任何商业模式，归根到底都要落到挣钱上，这也是数百年来颠扑不破的真理。

基于UPF的低功耗设计的逻辑综合 篇4

1)多电源多电压(Multi-source Multi-voltage)：可以有效地降低动态功耗。所谓多电源是指不同的逻辑模块处于不同的电源域中，由不同的电源供电。这样可以根据各个模块性能的要求不同，采用不同的电压。对于频率要求比较高的模块，可以采用高电压，而一些相对低频的模块则可采用低电压。但不同电压域之间的信号交互则需要加入电平转换单元(level shifter)。

2)电源门控技术(Power Gating)：在不需要使用的时候，关闭模块的供电电源，从而减少泄漏功耗。这里需要特殊的单元-电源开关单元(power switch)，当芯片进入休眠模式下，可以通过电源开关单元关闭某些模块的电源，从而使得这些模块的泄漏功耗趋于0。通常在电源关断区域的输出端还需要插入隔离单元(isolation cell)，以防止关断区的输出信号对非关断区造成影响。

3)动态电压与频率调节技术(Dynamic Voltage and Frequency Scaling)：是一种先进的功耗管理技术，在一些处理器中已经得到应用。根据模块不同情况下对性能的不同要求，动态调节模块的供电电压，从而减少功耗。

1 UPF的应用

1.1 UPF的特性

统一功耗格式文件UPF(Unified Power Format)是IEEE 1801标准，由一系列TCL类型的命令组成，用来定义设计的低功耗意图[2]。UPF使得功耗这一重要的设计要素，通过设定与实现设计相关的功耗信息，在RTL级就得以考虑功耗。UPF提供了统一的设置功耗信息的格式，方便用于那些不能在HDL(Hardware Description Language)代码里加入功耗信息的设计。而直接在HDL里设定功耗相关的信息，会使得逻辑设计限定于特定的电源实现[3]，使得设计的灵活性大大降低。

UPF可用于芯片电源管理的供电网络，隔离单元，电平转换单元，电源开关单元等各个方面。有了这种统一的UPF文件，在前端设计，逻辑综合，物理实现，仿真验证，等价性检查，时序分析，等各方面就可以按照UPF里的定义的低功耗设计意图来完成完整的低功耗设计流程。这样通过一个文件将低功耗的意图继承下来，用于设计流程的各个环节，也降低了低功耗设计的风险。同时UPF对各种EDA的软件的支持也很好，为业界所广泛使用。

1.2 UPF的设计意图

在当今的低功耗设计中，多种低功耗手段同时运用来降低芯片功耗，如内核低电压，电源关断，多电压域等。同时采取多种工作模式，用功耗管理单元(PMU)来管理各种工作模式下的功耗，从系统级降低芯片的功耗。如图1所示的电压域分布，芯片划分为三个电压区，分别为TOP,PD_DIG,PD_FLASH。其中TOP是常开区，PD_DIG是可变电压区且关断，PD_FLASH是关断区。整个芯片由片内的LDO供电，LDO可以输出可变的VDD_DIG提供给PD_DIG电压域，可以通过逻辑控制LDO来关断VDD_DIG电源。而PD_FLASH的电源则由Power Switch flash_sw来关断。

1.3 UPF的具体描述

UPF文件包括电压域的创建，电源端口，电源线的创建，电源线与电源端口的连接，隔离单元，电平转换单元，电源开关单元的设置，电源状态表等。充分体现了设计的功耗信息。

1.3.1 电压域的创建

电压域是一系列具有相同主要电源的设计。采用create_power_domain命令定义一组设计的电源分布网络，创建电压域。在划分电压域的时候，应该考虑到设计的层次。

1.3.2 对于电源网络的描述

采用create_supply_port命令创建电压域上的电源端口(如VDD,VSS),create_supply_net命令创建电源线(如VDD_net,VSS_net)，这些电源线可以在各个电压域内共用(如VSS)。在创建好电源端口和电源线后，用命令connect_supply_net将相应的电源线连接到电源端口上。用set_domain_supply_net命令设置电压域默认的电源线(如VDD_net,VSS_net)，这些电源线用于给电压域里的所有单元供电。

1.3.3 隔离单元，电平转换单元的规则

对于隔离单元的插入，set_isolation命令规定电压域的单元按照指定的策略进行隔离，如设定对于输入隔离还是对于输出隔离，隔离信号有效后隔离单元钳位为0还是1等。对于只有一个关断区的设计，将隔离单元放在隔离区输出较为合适。而对于有多个关断区的复杂设计，有时则需要在输入的地方插入隔离单元。而钳位0/1，则与隔离单元的控制信号有效电平是高/低有关。用set_isolation_control为相应的隔离策略指定控制信号，同时指定插入的隔离单元所放置的位置(self,parent,fanout等)。这两个命令是需要成对出现的。

set_level_shifter命令设定电平转换单元侧插入策略。它指定插入的位置(电压域的输入/输出，及放置的位置)。插入的原则是根据电压域与外界电压的高低不同，放置在目的电压区。即从高电压区到低电压区，插入的高-低电平转换单元放置在低电压区;从低电压区到高电压区，插入的低-高电平转换单元则放置在高电压区。应该注意的是，高-低的电平转换单元的电源只需要连接到低电压区的电源线，而低-高电平转换单元的电源则需要两套：低电压和高电压[4]。

1.3.4 电源开关单元的定义

create_power_switch命令为电压域创建一个电源开关单元的实例。电源开关单元是在布局布线的阶段插入的。

1.3.5 电源状态表

add_port_state命令为电源端口添加状态信息，定义芯片的电源电压的水平及其状态。这有利于验证和分析，且不需要在验证环境里创建电压域和电源网络。

create_pst命令根据指定顺序的电源线来创建电源状态表(Power State Table)，主要用于综合，分析，优化等阶段。它定义了一组合理的电源线状态组合，即这些状态的组合真实存在于实际芯片工作的情况。综合工具会根据相应的状态来优化设计。

2 基于UPF的逻辑综合

低功耗流程下的逻辑综合，是基于普通的综合流程，加入一些额外的步骤，如读入UPF文件，设定电压，检查多电压设计。具体的步骤如下：

1)设定好各种库文件，其中包含电平转换单元、隔离单元和电源开关的库应当放入target_library，并位于标准单元库的后面。如set target_library“sc_1v8_max.db sc_1v2_max.db iso_max.db lv_max.db pw_max.db”。

2)设定好门控时钟的插入形式。门控时钟是最常用的低功耗技术，门控时钟的插入，不但降低了动态功耗，而且减小了芯片的面积。

3)读入设计，用check_design命令检查设计中存在的问题。

4)读入约束文件，用check_timing检查时序约束是否正确。

5)用load_upf命令读入UPF文件，并用set_voltage命令设置电源线的工作电压，通过指定的电压，工具会自动选择相应的工作环境(operating condition)如：

set_voltage 1.62–object_list{VDD}

为了防止约束里的set_operating_condition和set_voltage不能唯一指定某个特殊的库单元，可以使用命令set_target_library_subset来指定特殊的库单元为某个或多个特定的模块所使用[4]。

6)用命令(check_mv_design)检查多电压设计是否正确。要保证set_voltage命令里的电源线的电压和set_operating_condition指定的工作条件的电压和UPF里面电压状态表的电压保持一致。用set_operating_condition命令设置当前设计的工作条件，再用set_voltage命令设置各个供电电源线的电压，这样综合的时候就会根据不同的电压来进行优化。如果check_mv_design存在Error，则要返回检查约束和UPF，如果存在Warning，则要检查这些Warning是否合理，例如有些Warning是说明缺少电平转换单元，这些则是需要在综合的时候插入的，在这个步骤下出现这种Warning是正常的。

7)用compile_ultra–gate_clock同时实现编译和门控时钟单元的插入，综合工具根据驱动的原则进行优化。DesignCompile2010.03版本对UPF流程提供了更好的支持，新加入的命令使得UPF流程变得更加容易实现。可以用insert_mv_cell–all在compile之前就插入电平转换单元和隔离单元。这样在compile之前就可以检查电平转换单元和隔离单元是否正确插入，检查UPF设计是否合理。节省了综合的迭代时间。

8)用命令(check_mv_design)检查compile后的网表的多电压设计问题。

9)分析时序，保存设计。命令save_upf用于输出综合后所对应的UPF文件，可以提供给后续的布局布线工具使用。

3 总结

低功耗设计相对于普通的设计要复杂不少，而逻辑综合作为RTL-GDSII流程实现的第一步，是极其重要的一步，大部分的优化都是在这一步完成的。在基于UPF的设计中，设计层次的划分和UPF中电压域的划分要综合起来考虑，不合理的设计层次和电压域划分可能导致插入多余的电平转换单元或隔离单元，或者无法插入需要的电平转换等。同时在电压域输出端，要防止出现一条线输出同时又成为该层次内部的某个输入这种情况。因为这种情况会导致无法插入电平转换单元。对于时钟网络来说，也需要插入电平转换单元，可以在综合的时候插入，也可以在布局布线的某个阶段插入。综合的时候，要注意set_dont_touch命令的使用，如果ne被设置成了dont_touch属性，则不能插入电平转换单元和隔离单元。在综合完成后，一定要保证check_mv_design通过，才能认为UPF下的综合完成。

参考文献

[1]陈春章,艾霞,王国维.数字集成电路物理设计[M].北京:科学出版社,2008(8).

[2]Michael Keating,Low Power Methodology Manual For System-on-Chip Design,2007,26-27.

[3]Unified Power Format(UPF)Standard,Version 1.0,2007:1-2.

逻辑综合 篇5

42.某公司办公室茶水间提供自助式收费饮料。职员拿完饮料后，自己把钱放到特设的收款箱中。研究者为了判断职员在无人监督时，其自律水平会受哪些因素的影响，特地在收款箱上方贴了一张装饰图片，每周一换。装饰图片有时是一些花朵，有时是一双眼睛。一个有趣的现象出现了：贴着“眼睛”的那一周，收款箱里的钱远远超过贴其他图片的情形。以下哪项如果为真，最能解释上述实验现象?(A)该公司职员看到“眼睛”图片时，就能联想到背后可能有人看着他们。(B)在该公司工作的职员，其自律能力超过社会中的其他人。

(C)眼睛是心灵的窗口，该公司职员看到“眼睛”图片时会有一种莫名的感动。(D)在无人监督的情况下，大部分人缺乏自律能力。(E)该公司职员看着“花朵”图片时，心情容易变得愉快。

43~44题基于以下题干

某皇家园林依中轴线布局，从前到后依次排列着七个庭院。这七个庭院分别以汉字“日”“月”“金”“木”“水”“火”“土”来命名。已知：

(1)“日”字庭院不是最前面的那个庭院;(2)“火”字庭院和“土”字庭院相邻;(3)“金”“月”两庭院间隔的庭院数与“木”“水”两庭院间隔的庭院数相同。43.根据上述信息，下列哪个庭院可能是“日”字庭院?(A)第一个庭院。(B)第二个庭院。(C)第四个庭院。(D)第五个庭院。(E)第六个庭院。

44.如果第二个庭院是“土”字庭院，可以得出以下哪项?(A)第七个庭院是“水”字庭院。(B)第五个庭院是“木”字庭院。(C)第四个庭院是“金”字庭院。(D)第三个庭院是“月”字庭院。(E)第一个庭院是“火”字庭院。

45.在一项关于“社会关系如何影响人的死亡率”的课程研究中，研究人员惊奇的发现：不论种族、收入、体育锻炼等因素，一个乐语主任、和他人相处融洽的人，其平均寿命长于一般人，在男性中尤其如此;相反，心怀恶意、损人利己、和他人相处不融洽的人70岁之前的死亡率比正常人高出1.5倍至2倍。以下哪项如果为真，最能解释上述发现?(A)男性通常比同年龄段的女性对他人有更强的“敌视情绪”，多数国家男性的平均寿命也因此低于女性。(B)与人为善带来轻松愉悦的情绪，有益身体健康;损人利己则带来紧张的情绪有损身体健康。(C)身心健康的人容易和他人相处融洽，而心里有问题的人与他人很难相处。(D)心存善念，思想豁达的人大多精神愉悦、身体健康。

(E)那些自我优越感比较强的人通常“敌视情绪”也比较强，他们长时间处于紧张状态。

46.超市中销售的苹果常常留有一定的油脂痕迹，表面显得油光华亮。有师傅认为，这是残留在苹果上的农药所致，水果在收摘之前都喷洒了农药，因此，消费者在超市购买水果后，一定要清洗干净方能食用。以下哪项最可能是牛师傅看法所依赖的假设?(A)在水果收摘之前喷洒的农药大多数会在水果上留下油脂痕迹。(B)许多消费者并不在意超市的水果是否清洗过。(C)超市里销售的水果并未得到彻底清洗。

(D)只有那些在水果上能留下油脂痕迹的农药才可能被清洗掉。(E)除了苹果，其他许多水果运至超市时也留有一定的油脂痕迹。

47.许多人不仅不理解别人，而且也不理解自己，尽管他们可能曾经试图理解别人，但这样的努力注定会失败，因为不理解自己的人是不可能理解别人的。可见，那些缺乏自我理解的人是不会理解别人的。以下哪项最能说明上述论证的缺陷?(A)间接指责人们不能换位思考，不能相互理解。(B)结论仅仅是对其论证前提的简单重复。

(C)没有正确把握理解别人和理解自己之间的关系。(D)使用了“自我理解”概念，但并未给出定义。(E)没有考虑“有些人不愿意理解自己”这样的可能性。

48.在编号壹、贰、叁、肆的4个盒子中装有绿茶、红茶、花茶和白茶4种茶，每只盒子只装一种茶，每种茶只装在一个盒子中，已知：

(1)装绿茶和红茶的盒子在壹、贰、叁号范围之内;(2)装红茶和花茶的盒子在贰、叁、肆号范围之内;(3)装白茶的盒子在壹、叁号范围之内;根据以上陈述，可以得出以下哪项?(A)绿茶装在壹号盒子中。(B)红茶装在贰号盒子中。(C)白茶装在叁号盒子中。(D)花茶装在肆号盒子中。(E)绿茶装在叁号盒子中。49.在某项目招标过程中，赵嘉、钱宜、孙斌、李汀、周武、吴纪6人作为各自公司代表参与投标，有且只有一人中标，关于究竟谁是中标者，招标小组中有3位成员各自谈了自己的看法：(1)中标者不是赵嘉就是钱宜;(2)中标者不是孙斌;(3)周武和吴纪都没有中标。

经过深入调查，发现上述3人中只有一人的看法是正确的。根据以上信息，(A)赵嘉、孙斌、李汀(B)赵嘉、钱宜、李汀(C)孙斌、周武、吴纪(D)赵嘉、周武、吴纪(E)钱宜、孙斌、周武

以下哪项中的3人都可以确定没有中标? 50.如今，电子学习机已全面进入儿童的生活。电子学习机将文字与图像、声音结合起来，既生动形象，又富有趣味性，使儿童独立阅读成为可能。但是，一些儿童教育专家却对此发出警告，电子学习机可能不利于儿童成长。他们认为，父母应该抽时间陪孩子一起阅读纸质图书。陪孩子一起阅读纸质图书，并不是简单地让孩子读书识字，而是交流中促进其心灵的成长。以下哪项如果为真，最能支持上述专家的观点?(A)电子学习机最大的问题是让父母从孩子的阅读行为中走开，减少父母与孩子的日常交流。(B)接触电子产品越早，就越容易上瘾，长期使用电子学习机会形成“电子瘾”。(C)在使用电子学习机时，孩子往往更关注其使用功能而非学习内容。

(D)纸质图书有利于保护儿童视力，有利于父母引导儿童形成良好的阅读习惯。(E)现代生活中年轻父母工作压力较大，很少有时间能与孩子一起共同阅读。

51.田先生认为，绝大部分笔记本电脑运行速度慢的原因不是 CPU性能太差;也不是内存容量太小，而是硬盘速度太慢，给老旧的笔记本电脑换装固态硬盘可以大幅提升使用者的游戏体验。以下哪项如果为真，最能质疑田先生的观点?(A)一些笔记本电脑使用者的使用习惯不好，使得许多运行程序占据大量内存，导致电脑运行速度缓慢。(B)销售固态硬盘的利润远高于销售传统的笔记本电脑硬盘。(C)固态硬盘很贵，给老旧笔记本换装硬盘费用不低。

(D)使用者的游戏体验很大程度上取决于笔记本电脑的显卡，而老旧笔记本电脑显卡较差。(E)少部分老旧笔记本电脑的 CPU性能很差，内存也小。

52~53 题基于以下题干

钟医生：“通常，医学研究的重要成果在杂志发表之前需要经过匿名评审，这需要耗费不少时间。如果研究者能放弃这段等待时间而事先公开其成果，我们的公共卫生水平就可以伴随着医学发现更快获得提高。因为新医学信息的及时公布将允许人们利用这些信息提高他们的健康水平。”

52.以下哪项最可能是钟医生论证所依赖的假设?(A)即使医学论文还没有在杂志发表，人们还是会使用已公开的相关新信息。(B)因为工作繁忙，许多医学研究者不愿成为论文评审者。(C)首次发表于匿名评审杂志的新医学信息一般无法引起公众的注意。(D)许多医学杂志的论文评审者本身并不是医学研究专家。

(E)部分医学研究者愿意放弃在杂志上发表，而选择事先公开其成果。

53.以下哪项如果为真，最能削弱钟医生的论证?(A)大部分医学杂志不愿意放弃匿名评审制度。

(B)社会公共卫生水平的提高还取决于其他因素，并不完全依赖于医学新发现。(C)匿名评审常常能阻止那些含有错误结论的文章发表。

(D)有些媒体常常会提前报道那些匿名评审杂志发表的医学研究成果。(E)人们常常根据新发表的医学信息来源调整他们的生活方式。

54~55基于以下题干 江海大学的校园美食节开幕了，某女生宿舍有5人积极报名参加此次活动，她们的姓名分别为金粲、木心、水仙、火珊、土润。举办方要求，每位报名者只做一道菜品参加评比，但需自备食材。限于条件，该宿舍所备食材仅有5种：金针菇、木耳、水蜜桃、火腿和土豆。要求每种食材只能有2人选用。每人又只能选用2中食材，并且每人所选食材名称的第一个字与自己的姓氏均不相同。(1)如果金粲选水蜜桃，则水仙不选金针菇;(2)如果木心选金针菇或土豆，则她也须选木耳;(3)如果火珊选水蜜桃，则她也须选木耳和土豆;(4)如果木心选火腿，则火珊不选金针菇。54.根据上述信息，可以得出以下哪项?(A)木心选用水蜜桃、土豆。(B)水仙选用金针菇、火腿。(C)土润选用金针菇、水蜜桃。(D)火珊选用木耳、水蜜桃。(E)金粲选用木耳、土豆。

已知：

55.如果水仙选用土豆，则可以得出以下哪项?(A)木心选用金针菇、水蜜桃。(B)金粲选用木耳、火腿。(C)火珊选用金针菇、土豆。(D)水仙选用木耳、土豆。(E)土润选用水蜜桃、火腿。

26-30 DCDED

31-35 ADAEB

36-40 DAEEE

41-45 CADEB

46-50 CBDBA

AXIG及其在双逻辑综合中的应用 篇6

数字逻辑电路既可以采用基于"AND/OR/NOT"运算的传统布尔(Traditional Boolean,TB)逻辑来实现,也可以采用基于"AND/XOR"运算的Reed-Muller(RM)逻辑来实现。对于某些逻辑电路,RM逻辑所需的逻辑门数较少,如对于一个n变量的奇偶校验电路,采用TB逻辑实现需要2n个文字(literals),而采用RM逻辑实现仅需n个文字。实际上,大多数电路采用TB逻辑和RM逻辑双逻辑实现,会获得比单一逻辑实现更好的结果[1]。然而,目前几乎所有的Electronic Design Automation(EDA)工具均基于TB逻辑发展而来,这意味着现有的EDA工具很难保证逻辑电路最大程度上的优化。因此,发展基于双逻辑的综合和优化方法具有重大的意义。

在逻辑综合与优化研究中,表示逻辑函数的数据结构往往对问题的解决至关重要。与传统的真值表、卡诺图、立方体(cube)[2]等逻辑表示方法相比,逻辑函数的图形表示方法具有结构直观等明显的优势。BDD(Binary Decision Diagram)[3]是布尔函数的一种有效图形表示,能够有效地反映出函数的逻辑结构。由于结构简洁,且具有与电路一一对应的关系,BDD及随后提出的简约有序二元决策图(Reduced Ordered Binary Decision Diagram,ROBDD)[4]被学术界和工业界广泛用于解决逻辑函数的优化问题。文献[5]提出了一个基于ROBDD的RM逻辑探测方法。该方法通过寻找逻辑函数对应的ROB-DD结构中是否存在"特征三角形"来判断逻辑电路是否适于RM逻辑(仅XOR门)。但BDD的结构与变量展开的顺序关系密切,不同变量序下特征三角形的判断会受到影响。与非图(And-Inverter Graph,AIG)[6]是一种基于与/非逻辑的完备性而仅使用二输入与门和补边(表示逻辑"非")来表示逻辑函数的图形方法,已成功地应用于各种EDA工具中,如模型检测和等价性检验等[7,8]。但AIG仅使用与门和反相器,因此不适合表示含有XOR门的逻辑函数。

针对上述问题,本文提出了一种基于双逻辑图形表示的优化方法。首先提出了一种可表示与/异或/非门( AND/XOR/INV) 的双逻辑图形( AND/ XOR / INV Graph,AXIG) 表示,然后通过AXIG实现逻辑函数适合逻辑的探测。结果表明,AXIG能够有效地进行逻辑函数的适合逻辑实现的逻辑探测。

2相关背景与定义

其中0和1是BDD的终端节点,F是BDD的根节点,用方框表示;中间节点则对应逻辑函数的各变量,用圆圈表示。非终端节点输入边分为三类,then边用实线表示,表示节点对应的变量被赋值1;else边用虚线表示,表示节点对应的变量被赋值0;负边(negative edge)用虚线加空心圆表示,表示该边所连子图取反。图1分别为逻辑函数F不包含负边和包含负边的两种ROBDD形式。

为方便对ROBDD进行分解操作,引入如下定义:

定义1:从根节点到终端节点0的路径称为0型路径,P0是所有0型路径的集合;从根节点到终端节点1的路径称为1型路径,P1是所有1型路径的集合。那么P=P0∪P1是ROBDD中所有路径的集合。

定义2:BDD的切割(cut)表示将BDD结构划分成两部分D1、D2。满足终端节点0和1属于D1,根节点F则属于D2。一般来说,BDD的切割方式为水平线切割,使同一行的节点属于同一部分,以保证D1和D2包含的节点变量无重叠。

一次切割操作可将BDD结构划分成两部分,因此通过不断地对逻辑函数的ROBDD形式进行切割操作,可将ROBDD划分成若干个单变量的形式。 基于TB逻辑的切割操作,可将逻辑函数的ROBDD形式转化为以" AND/OR" 运算连结而成的门级图形表示,进而得到逻辑函数的AIG形式。相比逻辑函数的ROBDD形式,门级图形表示有效地克服了不同变量序对图形规模的影响,但AIG仅使用二输入与门和补边( 表示逻辑" 非" ) 进行逻辑函数的图形表示,对于XOR运算的表示并不高效,因此不适合表示含有XOR门的逻辑函数。

3 AXIG及其实现

对于大多数电路来说,采用TB逻辑和RM逻辑双逻辑实现,会获得比单一逻辑实现更好的结果。 但现有的逻辑函数表示方法主要基于TB逻辑,不足以实现RM逻辑的高效表示,因此在现有逻辑函数表示方法的基础上进行双逻辑综合与优化的效果不佳。针对上述问题,本文提出一种可表示与/异或/非门( AND/XOR/INV) 的门级图形表示AXIG, 高效实现了逻辑函数在同一数据结构下的双逻辑表示。

本文从逻辑函数的ROBDD结构出发,通过基于代数和布尔分解的切割迭代,将ROBDD分解成单个变量的形式,得到各变量之间的逻辑关系,最终实现逻辑函数的AXIG门级图形表示。

3. 1 AXIG的定义

定义3:AXIG为一个有向无环图G=(V,E),V为有向图中的节点集合,E则为有向图中有向边的集合。有向图中的节点分为三类,分别表示电路中的原始输入、原始输出和内部逻辑门,每个表示内部逻辑门的节点均对应于一个二输入运算,若节点是空心的,则对应二输入"AND"运算;若节点是实心的,则对应二输入"XOR"运算。有向图中的边则表示电路内部的互连关系,若边是虚线边,则称为"0"边,对应"非"运算,否则称为"1"边。AND、XOR、INV三类逻辑门的AXIG表示如图2所示。

对于逻辑函数中常见的OR和XNOR运算,可根据德摩根定理,由AND、XOR、INV逻辑门表示。

其中节点a,b,c为原始输入节点,节点z对应二输入" 异或" 运算,节点x对应二输入" 与" 运算,图中的虚线边均表示" 负" 边,实现非运算。

AXIG中包含了两个完备的运算集" 与/ 非" 和" 与/异或" 。前者可将逻辑函数表示成TB逻辑,后者可将逻辑函数表示成RM逻辑。这样,AXIG可实现TB逻辑和RM逻辑的双逻辑图形表示,且与实际电路存在一一对应的关系,即每个节点对应一个逻辑门。

3. 2 AXIG的实现

Type I: 典型AND分解形式

在ROBDD中,若存在节点x,满足ROBDD的所有1型路径均通过该点,则称节点x为1-dominate节点。在1-dominate节点上方进行切割,可实现一次AND分解。

Type II: 典型XOR分解形式

在ROBDD中,若存在节点x满足ROBDD的所有路径均通过该点( 包含负边的ROBDD形式) ,则称节点x为X - dominate节点。在X - dominate节点上方进行切割,可实现一次XOR分解。

Type III: 非典型AND分解形式

Type IV: 非典型XOR分解形式

上述四种分解模式中,Type I和Type II能够较好地保留ROBDD的原有结构,能够分解所得的G和H规模小于F,且G和H不相交。而Type III和Type IV分解不能保证分解结果是优化的,且G和H包含的变量是部分重叠的。因此在迭代分解过程中,若存在Type I或Type II形式,优先进行处理。

迭代进行分解操作,可以将ROBDD分解成单个变量的形式,得到各变量之间的逻辑关系,最终实现一个包含AND运算和XOR运算的AXIG门级图形表示。

3.3 AXIG的实现流程及实例分析

实现流程如下:

输入:逻辑电路的pla格式或blif格式文件

输出: 电路的AXIG形式( blif格式)

Step1: 将逻辑电路表示成ROBDD形式。将其放入一个空集合R中。

Step2: 依次对集合R中的所有ROBDD进行判断。若ROBDD的变量数大于1,执行Step3; 若ROBDD的变量数为1,跳过。直到集合R中的所有ROBDD均被判断,执行Step5。

Step3: 遍历ROBDD中的所有节点。

Step3.1:若存在节点满足Type I的条件,则进行AND分解。若不存在,执行Step3.2。

Step3.2:若存在节点满足Type II的条件,则进行XOR分解。若不存在,执行Step3.3。

Step3.3:若存在节点满足Type III的条件,则进行AND分解。若不存在,执行Step3.4。

Step3.4:若存在节点满足Type IV的条件。若不存在,执行Step3.5。

Step3.5:若不存在节点满足上述四种情况条件,对ROBDD进行变量重排序,返回Step3。

Step4:将被分解的ROBDD从集合R中删除,将分解得到的两个ROBDD放入集合R。返回Step2。

Step5:逻辑电路的ROBDD形式被分解成单个变量的形式,通过各变量间的逻辑关系,实现AXIG门级图形表示。

以图7中所示的4变量函数为例,对AXIG的实现过程加以说明。如图8(a),8(b),8(c),8(d),8(e),逻辑函数F共进行了5次分解操作,包括2次XOR分解和3次AND分解。其中8(a)为非典型XOR分解形式;8(b)为典型XOR分解形式;8(c),8(d),8(e)均为典型AND分解形式。8(b)和8(e)实际上是同一ROBDD结构,为更好地说明实例,采用不同的分解形式。

通过对ROBDD的分解,最终得到逻辑函数的AXIG表示形式,如图9所示。包含5个节点,其中2个XOR节点和3个AND节点。

4 AXIG在逻辑探测中的应用

为验证AXIG表示形式的有效性和通用性,本文选取MCNC Benchmark中的15个电路进行测试, 将其表示为AXIG形式,并在此基础上进行逻辑函数的适合逻辑实现的逻辑探测。逻辑电路的ROB- DD形式通过CUDD包得到。

表1的第一列为测试电路名称,第二、三列为测试电路的AXIG表示形式中XOR节点的数量和全部节点的数量,第四列为XOR节点的数量和全部节点数量的比值。表中列举了15个测试电路的节点情况。

经过实验验证,15个MCNC标准测试电路中,有2个电路在表示成AXIG形式后不存在XOR节点,分别为b9和ryy6,即它们适合纯TB逻辑实现,占全部电路比例的13.3%;13个电路在表示成AX-IG形式后存在XOR节点,其中有2个逻辑电路只存在XOR节点,分别为xor5和parity,不存在AND节点,即它们适合纯RM逻辑实现,占全部电路比例的13.3%;其余11个电路既存在XOR节点,也存在AND节点,其中6个电路的XOR节点数量占全部节点数量的比率在10%以上,30%以下,分别为Alu2、count、i7、b1、cordic、t481,这些电路中的XOR节点占比较多,若仅用TB逻辑实现,效果并不理想,而采用基于TB/RM双逻辑实现可得到优化的结果,这些电路占全部电路比例的40%;5个电路的XOR节点数量占全部节点数量的比率在10%以下,分别为9sym、Alu4、dalu、ttt2、x3,这些电路中存在XOR节点,但是占比不超过10%,比例较小,因此无法保证双逻辑实现后一定可得到优化的结果,需要具体的逻辑综合方法实现后才能够判断,这些电路占全部电路比例的33.3%。综合上述分析,所有电路中有73.3%的电路可能适合双逻辑实现的。

实验结果证明AXIG表示形式能够实现逻辑函数在同一数据结构下的双逻辑表示,并在此基础上实现了逻辑探测。

5结束语

逻辑综合 篇7

要对无线网络进行风险评估, 建立完整的、能够充分反映出无线网络安全风险的评估指标体系是首要的;其次, 要科学合理的计算出个指标对系统的安全风险权重, 用以明确各指标的重要度;最后用适合的方法计算无线网络安全风险程度。针对无线网络安全风险评估的特点, 本文提出了一种层次分析和模糊逻辑结合的方法, 这是一种定性与定量相结合的评估方法, 采用AHP方法对各指标进行权重赋值, 充分考虑到专家知识与经验的影响, 然后利用模糊逻辑建立模糊集合计算无线网络安全风险程度, 最后得到无线网络安全风险等级

2 识别风险因素

无线网络面临的风险因素有两类, 其一是由于无线网络的特殊介质-无线电波决定的, 无线网络设计与维护带来的;其二是数据机密性、完整性保护、网络访问控制安全, 这一类有线网络中也是存在的。这里列出六项重要的风险因素:非授权访问、无线干扰、DOS攻击、插入攻击、窃听截取与监听、偷取无线网网卡。

3 AHP-模糊逻辑综合的风险评估方法

由于无线网络较有线网络的差异较大, 无线网络更加容易受到攻击, 用有线网络的方法对无线网络进行风险评估势必会有很大的实际误差、实用性不强。这就要根据无线网络的实际环境特点, 对有线网络评估方法做改进调整甚至研究出新的适合无线网络的评估方法。

对无线网络的风险评估是一个复杂的过程, 因无线网络的风险因素的不易量化和不确定性。下面提出一种AHP与模糊逻辑相结合的方法。

3.1 建立层次模型

层次分析法是一种简便灵活又实用的定性问题进行定量分析、多准则决策。首先把无线网络中各因素按目标不同、实现功能不同进行层次划分, 将系统划分为几个等级层次, 建立一个多层次的递阶结构。层次的最高一层为评估活动的目标焦点。

无线网络评估的目的是得到风险度, 则无线网络的风险度为最高层;在无线网络中各风险指标之间的比较应从发生概率、发生后造成的影响以及可控性进行比较, 则第二层元素为“风险发生的概率”“风险产生的影响”“风险的可控性”;第三层为考虑的风险因素即参评指标。

3.2 用AHP方法确定指标权值

AHP方法首先在准则层某因素约束下, 对最底层各指标 (风险因素) 两两进行重要性比较, 来构造评判矩阵, 再根据评判矩阵计算被比较的指标相对于上其一层 (准则层) 某指标的相对权重, 后计算各层指标相对于评估目标的合成权重, 最后由合成权重进行层次总排序。

用专家评估法为评判矩阵A赋值

满足公式2的矩阵称作正互反矩阵, 且满足一致性, 有唯一的非零特征值n (n为最底层因素个数) , 其对应的特征向量就是因素C1, C2, …, Cn相对上层某因素的相对权向量。但实际中矩阵A不易满足公式2, 这时判断矩阵A不一致, 接下来的工作是计算判断矩阵的最大特征值λ, 用ω近似表示相对权向量。

最大特征值λ对应的特征向量即相对权向量ω计算方法有两种:

(1) 几何平均法 (根法) 。计算判断矩阵A各行的各个元素aik (k=1, 2, 3……n;n为参评指标数) 的乘积mi, 计算mi的n次方根, 得到一个向量, 对向量进行归一化处理; (2) 规范平均法 (合法) 。计算判断矩阵A各行的各个元素aik (k=1, 2, 3……n;n为参评指标数) 的和mi, 对各行的和进行归一化处理;最后得的向量就是所求权重向量。

这里我们使用和法计算各指标的相对权向量:

对A的每一列向量进行归一化wij=aij/∑ni=1wij, 再按行求和wi=∑ni=1wij, 将wi归一化Vi=wi/∑ni=1wi, 最后得

K位上一层因素个数, 此时k=1, 2, 3;n=6。Wk为所求特征向量, 即同层因素之间的权值, 也是下层因素对上层某因素的影响权向量。

再根据计算得到的各指标相对权向量Wk, 计算出第二层指标层相对目标层的合成权重:

3.3 无线网络风险度计算

前面提到无线网络系统风险的大小我们可以用风险度来表示, 而从上面的分层模型可以看出, 无线网络的每一个风险因子对系统可能造成的影响包括:风险发生的概率P (B1) , 风险造成的影响I (B2) , 风险事件的可控性U (B3) .因此系统的风险度是P、I、U的函数, P、I、U取值区间为[0, 1]表示各个测度。在这里我们规定用f和s分别表示表示风险事件发生和不发生。风险度R的函数为:

公式4用P、I、U的似然函数表示

然而实际境况下我们不容易做到将风险发生的概率、风险产生的影响、风险的可控性准确量化赋值, 这里我们就需要模糊逻辑法来计算上式各因子值。

4 总结

以上详细介绍了, 基于AHP-模糊逻辑分析相结合的综合评判法的无线网络安全风险评估的实现。对无线网络的特殊性进行分析后, 在这两种方法的基础上有做改进。分别从风险发生的概率、产生的影响、风险可控制性三个方面来进行模糊综合评判。建立了无线网络风险分析层次模型, 评估后得到风险因素的权重, 在此基础上得到风险因素的不确定性, 从而给出风险因素指标的权向量, 这就克服了定量分析法的直接赋值的主观性。

摘要：较有线网络, 无线网络中的风险因素更加的不易量化且是不断变化的, 这就不能套用有线网络中的评估方法了, 为了得到更加可靠、准确的结果, 本文介绍了基于AHP-模糊逻辑综合分析方法对无线网络风险评估的过程实现。

关键词：无线网络,网络安全,风险评估,AHP与模糊逻辑综合方法

参考文献

[1]陈玮.网络安全风险评估的研究[D].青岛大学工程硕士专业论文, 2007.5.

[2]金光, 江先亮.无线网络技术教程[M], 清华大学出版社, 2011, (11) .

[3]林秀琴.基于层次分析法和D-S证据理论的电信网网络安全风险评估模型的研究与应用[D], 北京邮电大学硕士论文, 2010, (3) .

[4]郝建忠.用多级模糊综合方法进行信息安全风险评估[J], 南开大学硕士论文, 2007.

[5]李林, 刘毅, 杨骏.无线网络安全风险评估方法的应用研究[J], 计算机仿真, 2011, (9) :147-150.

逻辑综合 篇8

项目名称:江阴市人民医院新病房大楼

项目地址:江苏省江阴市

建筑用途:外科手术病房综合楼

总用地面积:12408 m2

总建筑面积:72043 m2(地上部分)

建筑层数:东座15层,西座19层

设计时间:2006年

设计单位:山东省建筑设计研究院

项目负责人:韩晓琳

设计团队:韩晓琳、黄育斌、魏思科、游超

本文对江阴市人民医院新病房大楼设计加以分析,探讨如何以逻辑演绎的策略,使高层综合医疗建筑在用地紧张的限制下,仍成为一个内外统一的有机整体。此处的逻辑,意指建筑与其外部环境、使用功能及自身形式的一种因果关联。

一、环境逻辑

高层综合医疗建筑作为一种竖向发展手段,广泛出现于用地紧张的老旧城区医院更新中,在此单纯被动融入现有环境是不行的,更需主动整合。

新病房大楼选址于原院区东北侧,北面为城市干道环城北路,用地范围南北约40m,东西约130m,较为紧张。

1. 资源整合:

新大楼建成后,原病房楼1～3层改造成影像医技中心,位置居中兼顾与门诊和住院联系。院区内由南向北设置两条联系通廊,连接门诊、医技、住院三大部分。医院原位于寿山路的主入口仍作为医疗区入口,西侧设物资供应入口,北侧设职工入口,通往环城北路设污物出口。

2. 立体交通:

规划条件中有一特殊要求:新建筑分东、西两座楼,中间将隔一条12m宽的“三元坊”城市道路。为组织这两部分交通,采取横跨架空平台方案:紧邻西楼首层大厅设置转换扶梯和电梯,将部分患者疏导到二层平台,然后迅速到达东楼垂直交通核,分流到东楼各层。

3. 日照要求:

满足北侧住宅1︰1.37日照系数,西楼落地靠南,方便与现有院区使用联系,也为北面住宅争取到最大日照空间,经计算可做到19层;东楼与西楼错开,落地靠北,加强与城市道路界面关系,由于位置靠北,经日照计算可做到15层。

4. 平面形态:

标准层平面处理成东西两楼错开咬合的船形,利于采光通风;东北和西南角处理成弧线,利用圆弧的各向同一性减轻建筑转角压抑感,同时为东北江阴大桥和西南玉带河提供优美城市景观界面。

二、功能逻辑

高层医疗建筑功能综合程度高,但只要把握了其逻辑关系,问题便可迎刃而解。归纳起来,是需建立以下功能体系。

1. 分区体系:

对应不同医疗职能,建立分层分区结构,各分区相对独立、自成体系。

地下一、二层:机动车和自行车停车;一层:大厅、药房、超市等;二层:中心消毒供应;三层:手术部、重症监护;其余层:病房。

2. 交通体系:

对应不同医疗人流,设置多束竖向交通核,避免焦点交通模式。

患者进入西楼大厅后,一部分由西楼病员电梯到达各层,另一部分由自动扶梯到达东楼病员电梯,再进入各层;手术病人经专用手术梯直达手术层;医护人员经北侧单独电梯进入;污物通过东西两端污物专梯运出。

3. 流程体系:

对应不同医疗流程,注重宏观与微观的关联运行,医——患、洁——污流程分离。

手术部采用“外周回收型”布局。病人从专用手术梯进入,近旁布置家属等候区;医护人员从内部电梯到达,更衣进入。中间走廊是洁净物品、医护人员、患者的通道,两侧走廊是污物的通道,实现洁污分流。

病房护理单元采用复廊式布局。病房区朝南,护士工作区居中,医生工作区靠北,医患走廊各不干扰;护工污洗区设于两侧尽端,自成一区,防止洁污交叉。在两个护理单元之间设阳光景观休息厅,体现人性关怀,也使病员电梯厅和走廊都更加明亮。

三、形式逻辑

高层综合医疗建筑规模较大,其形体对院区甚至城市都将产生影响。作为综合性建筑,其内部容纳了多个医疗功能单元,形体上也会对应构成多个基本体块,通过对这些体块的处理,便可塑造出极富韵律感的建筑形象。

1. 形体穿插:

大楼的东西两座,既要有各自性格,又要有对话关系。设计中化整为零,通过延转、切割、凹凸等手法的运用,结合转角圆弧,形成曲与直的穿插,恰如理性与感性的统一。

2. 横竖线条:

采用横竖两种开窗方式与现有建筑呼应,横窗下墙和竖窗间墙分别外挂洁白和灰蓝两色金属板,和玻璃构成组合幕墙,配以适度板缝强化横竖线条感,以新的材料和构造诠释了科技背景下医疗建筑新的性格特征,尽显纯净典雅本色。

四、结语

BAN逻辑及BAN类逻辑研究 篇9

当用户通过网络进行信息交互时, 网络通信的安全性成为人们首要关心的问题。密码协议是建立在密码体制基础上的交互通信协议, 利用密码协议可实现密钥的分配和交换、身份认证等。它与普通通信协议的主要区别在于使用了密码技术。密码协议的目标不仅仅是实现信息的加密传输, 更主要的是解决通信中的安全问题。但是, 现有的很多密码协议并不像设计者设想的那样安全。在复杂的网络环境下, 攻击者根据协议的缺陷和漏洞对协议进行各种各样的攻击, 非法获得想要得到的有用信息。其实, 密码协议存在的漏洞在很多情况下并不是由于密码算法不够安全, 而是由于协议本身的结构存在问题。密码协议的安全分析是揭示密码协议是否存在缺陷和漏洞的重要途径, 形式化的分析方法是将密码协议形式化, 并借助于人工推导或者计算机自动化分析来判断密码协议是否存在漏洞。通过协议的形式化分析可以发现协议中已知或未知的缺陷, 根据这些缺陷, 可以对安全协议进行相应的改进, 从而提高其安全性。

BAN逻辑是一种基于信仰的逻辑, 基于信仰的逻辑系统不涉及信仰的主体真实与否。BAN逻辑可以用来描述和验证认证协议, 它对一些著名的认证协议进行了形式化分析, 并从中发现了一些漏洞。但是BAN逻辑本身也存在诸多缺陷和局限性, 针对这些缺陷和局限性, 一些研究人员又提出了很多必要的改进和扩展, 如GNY逻辑、AT逻辑、MB逻辑、VO逻辑、SVO逻辑等, 这些逻辑又统称为BAN类逻辑。但相对来讲, BAN类逻辑推理规则更多, 运用起来也更复杂, 不如BAN逻辑简单直观。

到目前为止, BAN及BAN类逻辑已失去了往日的风采, 但是它在密码协议的形式化分析领域中仍起到举足轻重的作用。

二、BAN逻辑

BAN逻辑在分析协议的认证性方面起着重要作用。应用BAN逻辑进行协议分析时, 首先需要将协议的消息“理想化”为BAN逻辑能够识别的公式, 再根据具体情况进行合理的初始化假设, 然后利用逻辑的推理规则, 根据理想化协议和初始化假设进行推理, 推断协议能否达到预期的目标。

1. 基本术语。P, Q, 表示参与认证的主体;X, Y, 表示观点或消息;K, 表示密钥。

(X, Y) , 表示X和Y的连接。

, 表示P相信X, 不管X是否真实, 都认为X为真。

, 表示P曾说过X, 即P在某时发送了一个包含X的消息, 但不能确定它是何时发送的。

P◁X, 表示P看到过X, P收到了某个主体发送的包含X的消息。

, 表示P对X有仲裁权。

# (X) , 表示X是新鲜的, 即X是在当前的通信中产生的信息。

, 表示P和Q之间共享密钥K。

, 表示K是P的公开密钥。

, 表示X是P和Q之间的共享秘密。

{X}K, 表示用密钥K对X进行加密。

{X}Y, 表示消息X和秘密Y的级联, Y的出现证明了使用〈X〉Y的身份。

2. 推理规则。

(1) 消息含义规则。

(2) 临时值验证规则。

(3) 仲裁规则。

(4) 信仰规则。

(5) 发送规则。

(6) 接收规则。

(7) 新鲜性规则。

(8) 共享密钥规则。

(9) 共享秘密规则。

3. 协议目标。

协议要实现的目标并不是一定的, 不同类型的密码协议要实现的目标是不同的。密钥交换的协议一般都包括以下目标的全部或部分:

另外, 一些涉及到公钥的密码协议也可能会包括其他的目标。

4. 分析步骤。

(1) 对认证协议进行理想化, 将协议的实际报文转换成BAN逻辑所能识别的公式。BAN逻辑并没有给出理想化的规则, 只是给出了一些建议。

(2) 用逻辑语言对系统的初始状态进行描述, 并给出初始化假设。

(3) 根据初始化假设和相应的规则进行逻辑推理。

(4) 对推导结果进行判断, 看是否达到协议认证的目标, 并得出相应的结论。

5. 对Kerberos协议的分析。协议描述如下:

它的含义为:主体A向服务器S发送消息, 表示要和主体B进行通信;S生成A和B通信的会话密钥Kab, 并向A发送用Kas加密的相关消息;A解密S发给它的消息后, 向B发送票据{Ts, L, Kab, A}Kbs和{A, Ta}Kab;B解密票据后得到Kab, 然后用Kab解密{A, Ta}Kab, 并向A发送{Ta+1}Kab。

6. BAN逻辑的缺陷。

(1) 缺乏精确定义的语义基础。如BAN逻辑认为一个好的密钥取决于谁用该密钥发送了消息, 而不是保持它的安全性, 这使得BAN逻辑分析不能抵抗重放攻击。

(2) 初始假设的确定非形式化。初始假设是参与协议分析的条件, 稍有差错一个不安全的协议就会被分析成一个安全的协议, 并且BAN逻辑也不能自动检验初始假设的正确性和有效性。

(3) 理想化步骤非形式化。BAN逻辑只对理想化提出了建议, 并没有一个可以遵循的形式化规则, 这就有可能使理想化后的协议不能正确表达原协议的含义。

三、BAN类逻辑

针对BAN逻辑的缺陷, 很多研究人员提出了改进和扩展的BAN逻辑, 这些逻辑通称为BAN类逻辑。这些逻辑的提出, 使密码协议的分析有了一个比较可靠的语义基础, 并成功地找出了密码协议的一些已知和未知的攻击。

1. GNY逻辑。

GNY扩展了符号集, 增加了“可识别性”的概念, 提出了“拥有”和“非信源”的概念。“可识别”指的是通信主体知道本次消息属于哪个协议, 是协议的哪一次运行。GNY逻辑把“拥有”和相信进行了区分, 认为拥有一个密钥或消息与相信他们是不同的, 这种区分使得其语义基础更加明确。提出非信源的概念可以防止某些重放攻击。GNY不仅可以分析认证协议, 还可以分析使用了Hash函数的密码协议。由于以上概念和功能的增加, 使得GNY逻辑的推理规则更多、更精确, 但是正因为这样, 它也变得更加复杂, 所以没有得到广泛的应用。

2. MB逻辑。

MB逻辑对BAN逻辑做了比较大的扩展, 在BAN逻辑的基础上提出了一套新的信仰逻辑, 这一逻辑比BAN逻辑更直观、更形式化。它在一定程度上解决了BAN逻辑中协议理想化、初始化假设、逻辑推理规则和信息的保密性4个方面的缺陷。

3. AT逻辑。

AT逻辑构造了更为自然的论证逻辑的语义模型, 并给出了更合理的计算模型, 它从语义角度对逻辑系统自身进行了形式化分析, 它主要从以下2方面重新形式化了BAN中的逻辑:去除了原来定义和规则中的语义与实现细节的不必要的混合, 而且还为几个逻辑结构引入了更为直接的定义, 从而省去了关于诚实性的隐含的假设;从本质上简化了推理规则, 使得所有的概念都是独立定义的, 而不是与其他的概念联系在一起。而且还在新的语义指导下, 详细描述了推理规则, 并将它们重新形式化为只包含MP和Nec规则的公理。

4. VO逻辑。

VO逻辑扩展了BAN逻辑的应用范围, 增加了对DH密钥交换系统的处理能力。VO逻辑还细化了协议分析的目标, 它提出了6个一般性目标 (Ping认证、实体认证、安全密钥建立、密钥确认、密钥新鲜性和相互信任共享密钥) , 这有别于前面提到的几个BAN类逻辑。

5. SVO逻辑。

SVO逻辑综合了GNY逻辑、AT逻辑、VO逻辑和BAN逻辑, 而且还提出了一种相对于逻辑来说更为合理的理论模型语义和公理化的推导系统。因此, SVO逻辑继承了BAN逻辑、GNY逻辑、AT逻辑、VO逻辑等逻辑系统的优点, 同时没有增加更多的推理规则和公理。SVO逻辑与AT逻辑在很多地方类似, 它是在AT逻辑的基础上提出的计算和语义模型, 但是采取的基本方法不同。SVO逻辑沿用了VO逻辑的6个目标, 特别地, SVO逻辑分析协议的过程中不需要理想化过程, 而是增加了接受消息、理解消息和解释消息的假设。SVO逻辑的缺点是没有针对各种攻击手段实质性地改进或完善逻辑方法本身。

五、结束语