名词解释
固定相和流动相：
层析系统中的两个互不相溶的相：一是固定相（固体或吸附在固体上的液体），一是流动相（液体或气体）。
级联放大作用：
由于酶的共价修饰反应是酶促反应，只要有少量的信号分子（如激素）存在，即可通过加速这种酶促反应，而使大量的另一种酶发生化学修饰，从而获得放大效应，这种调节方式快速，效率极高。
蛋白质超二级结构：
在蛋白质分子中，特别是球状蛋白质中，由若干相邻的二级结构单元（即α-螺旋，β-折叠片和β-转角等）彼此相互作用组合在一起，形成有规则、在空间上能辨认的二级结构组合体，充当三级结构的构件单元，称超二级结构。
肽平面：
组成肽键的四个原子及与之相连的两个α-碳原子都处在同一个平面内，这个刚性平面称为肽平面。
酶的国际单位：
1个酶活力单位是指在特定条件下，在1min内能转化1u mol底物的酶量。测定条件为250C 和其他最适条件，该单位为国际单位。
PCR：
聚合酶链式反应，又称体外基因扩增。该法模拟体内DNA的复制过程，首先使DNA变性，两条链分开，然后是引物模板退火，二者碱基配对，DNA聚合酶随即以4种dNTP为底物，在引物的引导下合成与模板互补的DNA新链。重复此过程，DNA以指数方式扩增。引物为特定引物。
RAPD：
随机扩增多态性。其方法是用一个随机核苷酸序列为引物对基因组DNA进行PCR扩增，产生不连续的DNA产物，再通过凝胶电泳来观察扩增片段的多态性，获得特异分子标记。RFLP
限制性片段多态性，由限制性内切酶把很大的DNA分子降解成许多长短不同的较小片段，其数目和长度反映了限制性内切酶的切点在DNA分子上的分布，它能作为某DNA或含这种DNA生物所特有的“指纹”，不同个体的等位基因之间碱基代换、重排、插入、缺失等都会引起这种“指纹”的多态性。
AFLP：
扩增片段长度多态性。是RFLP和PCR技术相结合产生的一项新技术，用限制性内切酶消化基因组DNA，由于不同材料的DNA的酶切片段存在差异，用特定引物选择性的扩增基因组限制性酶切片段，再用凝胶电泳分离就可以观察基因组DNA的多态性
拓扑异构酶
通过切断DNA的一条或两条链中的磷酸二脂键，然后重新纠缠和封口来改变DNA连环数的酶。
DNA拓扑异构体：
天然DNA均呈超螺旋结构，其环数是超螺旋的一个参数，除环数不同外，其他性质（如大小、一级结构等）完全相同的DNA分子成为拓扑异构体。
Na+ .K+—ATPase：
钠钾ATP酶，动物细胞存在于质膜上的一种酶，该酶利用ATP水解把Na+迸出，而把K+泵入细胞。它是维持细胞膜电位的重要装置。
钙调蛋白：
CaM是一种特殊的钙结合蛋白质，广泛存在于各种细胞中，它是由148个氨基酸残基组成的一条多肽链，以单体形式存在。CaM有4个Ca2+结合位点，当没有结合Ca2+时，以无活性的形式存在。当CaM与Ca2+结合后，构象发生变化，变成有活性的Ca2+—CaM复合物。此复合物可以以两种形式调节生理活动：1、直接与靶酶起作用；2、通过激活依赖Ca2+—CaM的PK起作用。
蛋白质组学：
研究某一物种、个体、器官、组织及细胞中全部蛋白质，获得整个体系内所有蛋白质组分的生物学和理化参数，揭示生命活动规律的一门学科。
限制性内切酶：
原核生物中存在着一类能识别外源DNA双螺旋中4-8个碱基对所组成的特异的具有二重螺旋对称性的回文序列，并在此序列的某位点水解DNA链，产生粘性末端或平末端，这类酶称为限制性内切酶。
同工酶：
从不同种属或同一种属、同一个体的不同组织或同一组织的同一细胞中获得的具有不同分子形式却催化相同化学反应的一组酶叫做同工酶。又可分为原级同工酶和次级同工酶，由酶蛋白编码基因不同而产生的同工酶叫做原级同工酶，由基因转录产物mRNA或者翻译产物经过不同的加工过程产生的同工酶叫做次级同工酶。
G-蛋白：
一般是指一类与膜受体偶联的异三聚体结合蛋白质，其具有和GTP结合并催化GTP水解成GDP的能力，由α、β、γ三个亚基组成，可充当细胞膜上受体和靶酶之间的信号传递体。
DNA双螺旋多态性：
在多核苷酸链中，脱氧核糖的五元环能折叠成多种构象，此外，分子还可以绕C-N糖苷键以及3’，5’–磷酸二脂键旋转一定的角度，这就使具有同样碱基配对的DNA双螺旋可以采取另一些构象，DNA构象上的这种差异称为多态性。（A、B \Z）
sanger反应：
在弱碱性溶液中，氨基酸的α-氨基易与DNFB（2，4-二硝基氟苯）反应，生成黄色的DNP-AA （二硝基苯氨基酸），此反应最初被sanger用于测定N-末端氨基酸，又被称为sanger反应。Ribozyme：
核酸酶，对RNA有催化活性的RNA。
顺反子：
遗传学上将编译一个多肽的遗传单位称为顺反子。
引发体：
引物酶与相关蛋白质结合成的一个有活性的复合体叫做引发体。
分子病：
由于基因突变导致蛋白质一级结构发生变异，使蛋白质的生物学功能减退或丧失，甚至造成生理功能的变化而引起的疾病，称为分子病。
增色效应与减色效应：
当DNA的双螺旋结构发生解体时，两条链分开，形成无规则线团，一系列理化性质也随之发生改变，260nm紫外吸收值升高，此效应称之为增色效应。反之，由于DNA有规则的双螺旋结构中的碱基紧密的堆积在一起而造成的260nm紫外吸收值降低，此效应称之为减色效应。
固定化酶：
将酶从微生物细胞中提取出，将其用固定支持物（称为载体）固定，使其成为不溶于水或不易散失和可多次使用的生物催化剂，这种固定的酶称为固定化酶。
解偶联作用：
在完整线粒体内，电子传递与磷酸化是紧密偶联的，当使用某些试剂而导致的电子传递与ATP形成这两个过程分开，只进行电子传递而不能形成ATP的作用，称为解偶联作用
亲和层析：
利用共价连有特异配体的层析介质，分离蛋白质混合物中能特异结合配体的目的蛋白质或其他分子的层析技术。
信号肽/导肽:
二者都是新生肽链用于指导蛋白质跨膜转移（定位）的N-末端氨基酸序列。
信号肽含10到20个疏水氨基酸，合成后即可特异被SRP识别，并将核糖体引导到内质网停泊蛋白上继续翻译。肽链前端进入内质网腔后，信号肽即被切除。边合成边转运！
导肽富含碱性和疏水氨基酸，这导致它既亲水又疏水，利于穿越脂双层。同时带正电的头更利于顺跨膜电势穿膜。跨膜后被切除。先合成后转运！
Km/Tm
Km为米氏常数，是酶的特征物理常数，Km值是反应速度为最大速度一半时的底物浓度，单位mol/L或m mol/L
Tm是热变性过程中光吸收达到最大吸收（完全变性）一半（双螺旋结构失去一半）时的温度，单位为0C
DNA文库/c DNA文库
整套由基因组DNA片段插入克隆载体获得的分子克隆之总和叫做基因文库。
将细胞全部mRNA反转录成cDNA并被克隆的总和称为c DNA文库
超二级结构/结构域
超二级结构是指多态链上若干相邻的构象单元（如α-螺旋，β-折叠，β-转角等）彼此作用，进一步组合成有规则的结构组合体。
结构域指存在于球状蛋白质分子中的两个或多个相对独立的，在空间上能辨认的三维实体，每个有二级结构组合而成，充当三级结构的构件，其间由单肽链连接。
主动运输/被动运输
凡是物质逆浓度梯度的运送称为主动运输，这一过程的进行需要能量。
凡是物质顺浓度梯度的运送叫做被动运输，这一过程是自发的，无需能量。
化学酶工程/生物酶工程
化学酶工程又称初级酶工程，指的是天然酶、化学修饰酶、固定化酶及模拟酶的研究和利用。
生物酶工程又称高级酶工程，是酶学与以DNA重组技术为核心的生物技术相结合的产物，主要涉及基因工程技术大量制备酶（克隆酶）、对酶基因进行修饰，产生遗传修饰酶（突变酶）、设计新的基因，合成自然界不曾有的新酶。
K cat 型抑制剂\ Ks型抑制剂
二者都是专一性不可逆抑制剂
K cat 型抑制剂，该类抑制剂与底物结构类似，但分子中还有潜伏的反应基团。当它与底物结合后，其潜伏的反应基团被酶催化而活化，并立即与酶活性中心某基团呈不可逆结合，使酶遭受抑制。此类抑制剂亦称酶的自杀性底物。
Ks型抑制剂，具有一个与底物相似的可以与酶结合的基团，可直接结合于酶的活性部位，同时还具有一个能与活性部位的其他功能基团反应的活性基团，对其进行共价修饰，可作为酶活性部位的定向抑制剂或亲和抑制剂。
HGP
人类基因组计划，由多国政府支持的一个国际项目，即测定人类基因组的全部DNA序列，从而解读所有遗传密码，揭示生命的所有奥秘。
胞间信号/胞内信号
二者是按照作用范围来分的
当环境刺激的作用位点与效应位点处于生物体的不同部位时，需要作用位点细胞产生信号传递给效应位点，引起细胞反应。这个作用位点细胞产生的信号就是胞间信号，也称为第一信使。胞内信号是胞间信号由膜上信号转换系统产生的有调节活性的细胞内因子，也称为第二信使。
信号肽
常指新合成多肽链中用于指导蛋白质跨膜转移（定位）的N-末端氨基酸序列（有时不一定在N端）。
化学渗透学说
电子传递的自由能驱动H+从线粒体基质跨出膜进入到膜间隙，从而形成H+跨线粒体内膜的电化学梯度，这个梯度的电化学势（Δ H+）被膜上的ATP-ase利用，驱动ATP的合成。分子伴侣
这是一类可以介导蛋白质正确组装与折叠，但其本身并不构成被介导的蛋白质组成部分的
一类蛋白因子，在原核生物和真核生物中广泛存在。
生物传感器
用固定化生物成分或生物体作为敏感元件的传感器称为生物传感器，由分子识别部分（敏感元件）和转换部分（转换器）构成，前者是作为信息供体的生物学识别系统，专一地识别机制并给出特定信息，后者由电、光或热的信息转换器构成的生物识别系统，接收到前一部分给出的信息，测出其变化大小，再换算成原来物质的量或浓度。
超螺旋DNA
DNA双螺旋的弯曲欠旋（负超螺旋）或过旋（正超螺旋）的结果。
受体
受体是细胞表面或细胞组分中的一种天然分子，可以识别并特异地与有生物活性的化学信号分子（配体）结合，从而激活或启动细胞内一系列生物化学反应，最后导致该信号物质特定的生物效应。绝大多数受体为蛋白质，极少数为非蛋白质受体。
蛋白质的可逆磷酸化
在信号转导过程中,蛋白质的可逆磷酸化是生物体内的一种普遍的翻译后修饰方式，蛋白质磷酸化与脱磷酸化分别由蛋白激酶和蛋白磷酸酶催化完成，前者催化ATP或GTP的磷酸基团转移到底物蛋白质的氨基酸残基上，后者催化逆转的反应。
酶联免疫分析法
酶联免疫分析法是将酶作为标记物质，使之与抗原（或抗体）结合形成酶与抗原（或抗体）复合物，然后再根据待测抗体（或抗原）与复合物专一且定量的结合关系，通过测定与待测抗体（或抗原）结合的标记酶活力，从而计算出抗原或抗体的量。
deoxyribozyme
脱氧核酸酶，是利用体外分子进化技术合成的一种具有催化功能的单链DNA片段，具有高效的催化活性和结构识别能力。
肽核酸
肽核酸是一种以中性酰胺键为骨架并兼有多肽和核酸性质的独特化合物，不能被蛋白酶和核酸酶所降解，可以高度亲和并序列特异地与DNA和RNA 结合，而且形成的杂交复合物具有相当高的热稳定性以及独特的耐离子强度变化性质。
prion
朊病毒，是一类高度保守的糖蛋白，其广泛表达于脊椎动物，且与神经系统功能的维持、淋巴细胞信号转导、核酸代谢等有关；当其发生构象改变之后可变成致病性朊病毒（PrP sc），PrP sc可引起包括疯牛病在内的一系列致死性神经变性疾病（统称prion病）。
足迹法(footprint)
是一种利用蛋白质和DNA特异结合的方法，DNA某段序列被蛋白质结合后被修饰而不会断裂或免受DNase的分解，然后和无蛋白质结合的DNA分别进行测序，就可以得到被蛋白质保护的片段究竟包含了哪些碱基对的排序。
光合磷酸化与氧化磷酸化
光合磷酸化是指在叶绿体ATP合成酶的催化下依赖于光的由ADP和Pi合成ATP的过程。氧化磷酸化是指电子从一个底物传递给分子氧的氧化与酶催化的由ADP和Pi生成ATP相偶联的过程。
SDS-PAGE
SDS-聚丙烯酰胺凝胶电泳，在去垢剂SDS（十二烷基硫酸钠）存在下的聚丙烯酰胺凝胶电泳，当SDS与蛋白质结合后，蛋白质分子即带有大量的负电荷，并远远超过了其原来的电荷，从而使天然蛋白质分子间的电荷差别就降低乃至消除了，与此同时蛋白质在SDS作用下结构变得松散，形状趋向一致，所以各种SDS-蛋白质复合物在电泳时产生的脉动率差异，就反映了分子量的大小。
抗体和抗原：
当外源性物质，如蛋白质、毒素、糖蛋白、脂蛋白、核酸、多糖、颗粒（细菌、细胞、病毒）进入人或动物体内时，机体的免疫系统便产生相应的免疫球蛋白，并与之结合，以消除异物的毒害。此反应称为免疫反应，此异物便是抗原，此球蛋白便是抗体。
多克隆抗体和单克隆抗体
如果给动物注射抗原,虽然抗原与各种抗体产生细胞的亲和性有所不同,但是还是有大量抗体产生细胞将与之结合,结果血液中出现的抗体源于数种不同的细胞克隆，这些抗体就是多克隆抗体。如果可以分离到抗体产生细胞的单克隆，然后使所有的抗体均来自同样的克隆，这样制备的抗体称为单克隆抗体。
活性肽：
在生物体中，多肽最重要的存在形式是作为蛋白质的亚单位，有许多分子量比较小的多肽以游离状态存在，这类多肽通常都具有特殊的生理功能，常称为活性肽。
传输技术、体系、设备专有名词解释
SDH（Synchronous Digital Hierarchy，同步数字体系），是不同速度的数位信号的传输提供相应等级的信息结构，包括复用方法和映射方法，以及相关的同步方法组成的一个技术体制。SDH是一种将复接、线路传输及交换功能融为一体、并由统一网管系统操作的综合信息传送网络 MSTP（Multi-Service Transfer Platform）（基于SDH 的多业务传送平台）是指基于SDH 平台同时实现TDM、ATM、以太网等业务的接入、处理和传送，提供统一网管的多业务节点。MSTP系列设备为城域网节点设备，是数据网和语音网融合的桥接区。MSTP可以应用在城域网各层，对于骨干层：主要进行中心节点之间大容量高速SDH、IP、ATM业务的承载、调度并提供保护；对于汇聚层：主要完成接入层到骨干层的SDH、IP、ATM多业务汇聚；对于接入层：MSTP则完成用户需求业务的接入。 MPLS多协议标签交换（Multi-Protocol Label Switching，）是一种用于快速数据包交换和路由的体系，它为网络数据流量提供了目标、路由地址、转发和交换等能力。更特殊的是，它具有管理各种不同形式通信流的机制。MPLS是利用标记（label）进行数据转发的。当分组进入网络时，要为其分配固定长度的短的标记，并将标记与分组封装在一起，在整个转发过程中，交换节点仅根据标记进行转发。MPLS 独立于第二和第三层协议，诸如ATM 和IP。它提供了一种方式，将IP地址映射为简单的具有固定长度的标签，用于不同的包转发和包交换技术。它是现有路由和交换协议的接口，如IP、ATM、帧中继、资源预留协议（RSVP）、开放最短路径优先（OSPF）等等。 T-MPLS（Transport MPLS）是一种面向连接的分组传送技术，在传送网络中，将客户信号映射进MPLS帧并利用MPLS机制（例如标签交换、标签堆栈）进行转发，同时它增加传送层的基本功能，例如连接和性能监测、生存性（保护恢复）、管理和控制面（ASON/GMPLS）。总体上说，T-MPLS选择了MPLS体系中有利于数据业务传送的一些特征，抛弃了IETF为MPLS 定义的繁复的控制协议族，简化了数据平面，去掉了不必要的转发处理。T-MPLS继承了现有SDH传送网的特点和优势，同时又可以满足未来分组化业务传送的需求。T-MPLS采用与SDH类似的运营方式，这一点对于大型运营商尤为重要，因为他们可以继续使用现有的网络运营和管理系统，减少对员工的培训成本。由于T-MPLS的目标是成为一种通用的分组传送网，而不涉及IP路由方面的功能，因此T-MPLS的实现要比IP/MPLS简单，包括设备实现和网络运营方面。T-MPLS最初主要是定位于支持以太网业务，但事实上它可以支持各种分组业务和电路业务，如IP/MPLS、SDH和OTH等。T-MPLS是一种面向连接的网络技术，使用MPLS的一个功能子集。 MPLS – TP（MPLS - Transport Profile）是一种面向连接的分组交换网络技术。利用MPLS 标签交换路径，省去MPLS信令和IP复杂功能。支持多业务承载，独立于客户层和控制面，并可运行于各种物理层技术-具有强大的传送能力（QoS、OAM和可靠性等）。综合起来，MPLS - TP技术的特点为：引入传送概念的OAM 机制；结合2 层和3 层协议的一种通用的分组交换传送技术；避免对三层IP 不必要的处理；具有高的网络生存性和可扩展性；具有兼容分组交换、TDM/波长技术的通用的分布控制面－GMPLS。MPLS - TP可以用一个简单公式表述：MPLS - TP = MPLS + OAM –IPMPLS - TP是MPLS 的一个子集，去掉了无连接基于IP 的转发，增加端到端的OAM 功能。 OAM（operation and manintenance）.主要负责通信网络的操作和维护.基本包括配置管理,软件管理,性能管理,告警管理,安全管理等模块. Optix Metro:华为光传输设备 MSTP+：IP业务占比高的MSTP PTN（分组传送网，Packet Transport Network）是指这样一种光传送网络架构和具体技术：在IP业务和底层光传输媒质之间设置了一个层面，它针对分组业务流量的突发性和统
传输术语解释
ADM Add－Drop Multiplexer 分插复用器 AI Adapted Information 适配信息 AIS Alarm indication Signal 告警指示信号 AP Access Point 接入点 APId Access Point Identifier 接入点识别符 APS Automatic Protection Switching 自动保护倒换 ATM Asynchronous Transfer Mode 异步转移模式 AU Asynchronous Unit 管理单元 AU－n Administrative Unit , level u 管理单元，第n级 AUG Administrative Unit Group 管理单元组 BER Bit Error Ratio 比特误码率 BBER Background Block Error Ratio 背景块误码率 BIP Bit Interleaved Parity 比特间插奇偶校验 C Connection function 连接功能 CI Characteristic Information 特征信息 CK Clock 时钟 CM Connection Matrix 连接矩阵 CMISE Common Management Information Service 公用管理信息服务单元CP Connection Point 连接点 CSES Consecutive Severely Errored Seconds 连续严重误码秒 D Data 数据
DCC Data Communications Channel 数据通信通路 DS Defect Second 缺陷秒 DEG Degraded 劣化 DEGTHR Degraded Threshold 劣化门限 DXC Digital Cross Connect 数字交叉连接 EI2 Electrical interface signal 2 048 kbit/s 2048kbit/s电接口信号 E31 Electrical inte4ace signal 34 368 kbit/s 34368kbit/s电接口信号E4 Electrical inte4ace signal 139264kbit/s电接口信号 EBC Errored Block Count 误码块计数 EDC Error Detection Code 误码检测码 EDCV Error Detection Code Violation 误码检测码违倒 EMF Equipment Management Function 设备管理功能 EQ Equipment 设备 ES Electrical Section 电气段，电段 ESl Electrical Section ,levell STM－1电段 ES Errored Second 误码秒 Eq Recommendation G.703 type G.703类型电接口，electrical signal, q表示比特率等级 bit rate order q (q = 1l, 12,21,22,31,32,4) q = 1l, 12,21,22, 31,32,4 ExSL Expected Signal label 期望信号标识
传输原理名词解释(造福学弟学妹)
名词解释 1传输过程：传输过程是从非平衡状态朝平衡状态转移的过程。 2连续介质模型：将流体看成是由无数多个流体质点所组成的密集而无间隙的连续介质，也叫做流体连续性的基本假设。 3流体的粘性：在作相对运动的两流体层的接触面上，存在一对等值而反向的作用力来阻碍两相邻流体层作相对运动。 4非稳定流:如果流场的运动参数不仅随位置改变，又随时间不同而变化，这种流动就是非稳定流。 5稳定流：如果运动参数只随着位置改变而与时间无关，这种流动就称为稳定流。 6迹线：迹线就是流体质点运动的轨迹线。 7流线：在同一瞬时流场中的不同位置质点的流动方向线。 8流管：在流场内取任意封闭曲线L，通过曲线L上每一点连续地作流线，则流线族构成一个管状表面叫流管。 9流束：在流管内取一微小曲面dA，通过dA上每个点作流线，这族流线叫流束。 10层流：流体在运动方向上分层运动，各层互不干扰和渗混，这种流线呈平行状态的流动成为层流。 11紊流：各质点在不同方向上作复杂的无规则运动，互相干扰地向前运动，这种流动成为湍流。 12雷诺准数及其物理意义： uL Re ρ μ =,表征惯性力与粘性力之比。是流态的判断标准。 13沿程阻力：它是沿流动路程上由于各流体层之间的内摩擦而产生的流动阻力，因此也叫做摩擦阻力。 14局部阻力：流体在流动中因遇到局部障碍而产生的阻力称为局部阻力。 15湍流的脉动现象：这种围绕某一“平均值”而上下变动的现象，称为脉动现象。 16数学分析法：数学分析法是从物理概念出发进行数学分析，建立起物理过程的数学方程式来揭示各有关物理参数之间的联系，然后在一定边界条件下求解。 17实验法则：实验法则是对某一具体的物理过程以实验测试为手段，直接对过程的有关物理量进行测定，然后根据测定结果找出各相关物理量之间的联系及变化规律。 18相似准数：在相似系统的对应点上，由不同物理量所组成的量纲为1的综合数群的数值必须相等，这个量纲为1的量往往称为无量纲量，综合数群叫相似准数。 19：量纲：物理量所属于的种类，称为这个物理量的量纲。 20：热量传输：热量传输是研究不同物体之间或者同一物体不同部分之间存在温差时热量的传递规律。 21：导热：物体各部分之间不发生相对位移时，依靠分子、原子及自由电子等微观粒子的热运动进行的热量传递称为热传导，简称导热。 22:对流：对流是指流体各部分之间发生的相对位移，冷热流体相互掺混所引起的热量传递方式。 23热辐射：物体通过电磁波传递能量的方式称为辐射。物体会因各种原因发出辐射能，其中因热的原因发出辐射能的现象称为热辐射。 24惰性时间：惰性时间是与表面温度Tw无关，它与深度x的平方成正比而与热扩散率a 成反比。热扩散率越小，惰性时间越大。 25对流换热：对流换热是流动着的流体与固体表面间的热量交换。 26黑体：
谓词逻辑习题及答案
谓词逻辑习题 1. 将下列命题用谓词符号化。 （1）小王学过英语和法语。 （2）2大于3仅当2大于4。 （3）3不是偶数。 （4）2或3是质数。 （5）除非李键是东北人，否则他一定怕冷。 解： (1) 令)(x P ：x 学过英语，Q(x)：x 学过法语，c ：小王，命题符号化为)()(c Q c P ∧ (2) 令),(y x P ：x 大于y, 命题符号化为)3,2()4,2(P P → (3) 令)(x P ：x 是偶数，命题符号化为)3(P ? (4) 令)(x P ：x 是质数，命题符号化为)3()2(P P ∨ (5) 令)(x P ：x 是北方人；)(x Q ：x 怕冷；c ：李键；命题符号化为)()(x P c Q ?→ 2. 设个体域}{c b a D ，， =，消去下列各式的量词。 （1）))()((y Q x P y x ∧?? （2）))()((y Q x P y x ∨?? （3）)()(y yQ x xP ?→? （4）))()((y yQ y x P x ?→?， 解： (1) 中))()(()(y Q x P y x A ∧?=，显然)(x A 对y 是自由的，故可使用UE 规则，得到 ))()(()(y Q y P y y A ∧?=，因此))()(())()((y Q y P y y Q x P y x ∧?∧?? ，再用ES 规则， )()())()((z Q z P y Q y P y ∧∧? ，D z ∈，所以)()())()((z Q z P y Q x P y x ∧∧?? （2）中))()(()(y Q x P y x A ∨?=，它对y 不是自由的，故不能用UI 规则，然而，对 )(x A 中约束变元y 改名z ，得到))()((z Q x P z ∨?，这时用UI 规则，可得： ))()((y Q x P y x ∨?? ))()((z Q x P z x ∨??? ))()((z Q x P z ∨? （3）略 （4）略 3. 设谓词)(y x P ，表示“x 等于y ”，个体变元x 和y 的个体域都是}321 {，，=D 。求下列各式的真值。 （1）)3(，x xP ? （2）)1(y yP ，? （3）)(y x yP x ，?? （4）)(y x yP x ，?? （5）)(y x yP x ， ?? （6）)(y x xP y ， ?? 解：
名词解释
HTTP ：超文本传输协议 基于应用层 用于因特网的网页传输 默认端口80 有1.0和1.1版本区分 TCP: 传输控制协议TCP(Transmission Control Protocol) 是因特网上最重要的传输层协议之一， 提供了面向连接的服务和可靠的数据传输。 TCP包括流量控制和拥塞控制机制 TCP属于累积确认，乱序到达的数据会缓存 TCP连接使用的是全双工通信 ICMP：全称是Internet Control Message Protocol(因特网控制报文协议) 用于因特网分组传输控制和差错报告 TCP/IP协议族的一个子协议，用于在IP主机、路由器之间传递控制消息 CMP协议工作在网络层 ICMP本身是作为IP协议的数据内部被传输 NAT：全称network address translate,网络地址转化 用于IP地址的转化 将不可路由的私有内部地址转换成可路由的公有地址 主要的用途是让网络能使用私有IP 地址以节省IP 地址 对外部网络隐藏了内部IP 地址，增加网络的私密性和安全性 解决多个用户使用一个公网IP上网的问题，缓解IP地址危机 GBN：回退N步协议，可靠数据传输中滑动窗口协议一种 发送端通过发送窗口限制限制发送的数据数量，当收到某个数据的确认时发送窗口向后移一个单位 某个分组出错或丢失则重传给分组及其后面所有已发送但未被确认的分组 接受端只接收按序到达的正确数据，其他的丢弃，并发上一个正确到达的分组的序号的确认 确认被称为累积确认，即如果发送方收到某个分组的确认意味着该分组及之前所有分组接收方都正确收到 SR：选择性重传，可靠数据传输中滑动窗口协议一种 发送方某个分组出错或丢失只重传该分则 接收方增加接收窗口，若收到的分组在接收窗口内乱序，缓存该分组，等到分组按序后一起提交 接收窗口的大小一般等于发送方的窗口大小 接收窗口的大小必须小于或等于序号大小的一半 URL ：统一资源定位符Uniform / Universal Resource Locator 因特网上标准的资源的地址 用于完整地描述Internet上网页和其他资源的地址的一种标识方法 URL由三部分组成：协议类型，主机名和路径及文件名 通过URL可以指定的主要有以下几种：http、ftp、gopher、telnet、file等 CSMA/CD：Carrier Sense Multiple Access/Collision Detection载波监听多路访问/碰撞检测发送数据时，信道空闲则发送，信道忙则等待
《应用离散数学》谓词公式及其解释
§2.2 谓词公式及其解释 习题2.2 1. 指出下列谓词公式的指导变元、量词辖域、约束变元和自由变元。 （1）))()((y x Q x P x ，→? （2）)()(y x yQ y x xP ，，?→? （3）)())()((z y x xR z y Q y x P y x ，，，，?∨∧?? 解 （1）x ?中的x 是指导变元；量词x ?的辖域是),()(y x Q x P →；x 是约束变元，y 是自由变元。 （2）x ?中的x ，y ?中的y 都是指导变元；x ?的辖域是)(y x P ，，y ?的辖域是)(y x Q ，；)(y x P ，中的x 是x ?的约束变元，y 是自由变元； )(y x Q ，中的x 是自由变元，y 是y ?的约束变元。 （3）x ?中的x ，y ?中的y 以及x ?中的x 都是指导变元；x ?的辖域是))()((z y Q y x P y ，，∧?，y ?的辖域是)()(z y Q y x P ，，∧，x ?的辖域是)(z y x R ，，；)(y x P ，中的x ，y 都是约束变元；)(z y Q ，中的y 是约束变元；z 是自由变元， )(z y x R ，，中的x 为约束变元，y ，z 是自由变元。 2. 设个体域}21 {，=D ，请给出两种不同的解释1I 和2I ，使得下面谓词公式在1I 下都是真命题，而在2I 下都是假命题。 （1）))()((x Q x P x →? （2）))()((x Q x P x ∧? 解（1）解释1I ：个体域}21 {，=D ，0:)(,0:)(>>x x Q x x P 。 （2）解释2I ：个体域}21 {，=D ，2:)(,0:)(>>x x Q x x P 。 3. 对下面的谓词公式，分别给出一个使其为真和为假的解释。 （1）)))()(()((y x R y Q y x P x ，∧?→? （2）)),()()((y x R y Q x P y x →∧?? 解 （1）成真解释：个体域D ＝{1,2,3},0:)(
传播学 名词解释
传播学名词解释 模式 59 所谓模式，是科学研究中以图形或程式的方式阐释对象事物的一种方法。这种方法具有双重性质：1．模式与现实事物具有对应关系，但又不是对现实事物的单纯描述，而具有某种程度的抽象化和定 理化性质。 2．模式与一定的理论相适应，又不等于理论本身，而是对理论的一种解释或素描，因此，一种理论 可以有多种模式与之相对应。 模式虽然具有不完全性，但它是人们理解事物、探讨理论的一种有效方法。 抽样 280 抽样调查是从调查对象总体中抽选出部分样本，以这部分样本作为对象实施的调查，其结果可用于推论对象总体。抽样方法可分为两种，一种是有意抽样，另一种是随机抽样。随机抽样又有简单随机抽样、系统抽样、分层抽样以及多级抽样。由于各种原因，抽样调查在部分与总体之间不可避免地会存在误差。大众传播 111 所谓大众传播，就是专业化的媒介组织运用先进的传播技术和产业化手段，以社会上一般大众为对象而进行的大规模的信息生产和传播活动。如现代社会中的电视、报纸、广播等。 传播媒介 59 传播媒介大致有两种含义： 第一，它指信息传递的载体、渠道、中介物、工具或技术手段； 第二，它指从事信息的采集、加工制作和传播的社会组织，即传媒机构。 信息 42 信息是符号和意义的统一体，符号是信息的外在形式或物质载体，而意义则是信息的精神内容。 《塔罗瓦尔宣言》 247 该宣言是1981年由代表西方国家垄断大媒介利益的国际性院外活动集团——“世界自由出版委员会”在法国的塔罗瓦尔召集的“自由之声”集会上所发表的。该宣言认为，教科文组织决议将会导致各国政府对新闻出版自由的控制，关于新世界流通秩序的“论争本身对报道自由和言论自由的基本原则就是有害的”，西方国家在这个问题上付出了过于昂贵的代价，必须坚决予以抵制和反对。 容器人 151 “容器人”是日本学者中野收所提出的观点。他认为，在大众传播特别是以电视为主的媒介环境中成长起来的现代日本人的内心世界类似于一种“罐状”的容器，这个容器是孤立的、封闭的；“容器人”为 了摆脱孤独状态也希望与他人接触，但这种接触只是一种容器外壁的碰撞，不能深入到对方的内部。“容 器人”注重自我意志的自由，对任何外部强制和权威都不采取认同态度，但却很容易接受大众传播媒介的影响。现代社会中忽起忽落、变幻不定的各种流行和大众现象正是“容器人”心理和行为特征的具体写照。受众参与理论139 即民主参与理论，该理论是在20世纪70年代以后随着社会信息化的发展和媒介集中垄断程度达到新的高度，在美国和欧洲、日本等一些发达国家出现的一种新的媒介规范理论。该理论是在一般民众要求自主利用媒介的意识不断提高，而现实中又缺乏可以利用的传播资源的矛盾状态下出现的。民主参与理论要求大众传播媒介向一般民众开放，允许民众个人和群体的自主参与，其核心价值是多元性、小规模性、双向互动性传播关系的横向性或平等性。 “上限效果”假说232 该假说由艾蒂玛和克莱因与1977年提出，其观点是：个人对特定知识的追求并不是无止境的，达到 某一“上限”后，知识量的增加就会减速乃至停止下来。社会经济地位高者获得知识的速度快，其“上限”到来的也就早；那些经济地位低者虽然知识增加的速度慢，但随着时间推移最终能够在“上限”上赶上前者。这个假说意味着，大众传播的信息传达活动的结果并不是带来社会“知沟”的扩大，而是它的缩小。
一些传播学名词解释
【传播学】一些传播学名词解释 双重偶然性：是德国社会传播学家鲁曼提出的概念，指的是传播双方都从在着不确定性，通过传播所作出的选择有受到拒绝的可能。双重偶然性的存在说明，社会信息系统是一个多变量的系统。双重偶然性是人类社会信息系统所特有的属性，这与它是以人类为主体的活动有关。双重偶然性的存在说明，社会信息系统是一个多变量的系统。这些变量如果处理不当，便会引起传播障碍和传播隔阂。 传播障碍：指的是在传播活动进行过程中，由于传播系统本身存在的结构性和功能性障碍，如不合理的传播制度，不畅通的传播渠道而导致的传播行为受到障碍。 传播隔阂：指的是在传播过程之中，个体，群体，世代之间因为特定利益、价值、意识形态和文化的差异，导致传播双方的正常传播行为受到影响，甚至严重阻碍传播行为的进展。 社会信息：除了人的生物和生理信息以外的，与人类的社会活动有关的一切信息。 传播：社会信息的传递或者社会信息系统的运行 信息：信息是物质的普遍属性，是一种客观存在的物质运动形式，它在物质运动过程中所起的作用就是表述它所属的物质系统，在同其他任何物质系统全面相互作用的过程中，以质、能、波动的形式所呈现的结构、状态和历史。 信息社会：是指信息成为与物质和能源同等重要甚至比之更加重要的资源，整个社会的政治、经济和文化以信息为核心价值而得到发展的社会。信息社会是在农业社会和工业社会充分发展的基础上到来的。媒介技术或社会信息系统的发达是它诞生的基本条件。信息社会亦称"知识社会"、"后工业社会"。 信息革命：是指人类在认识世界的过程中,感知、反映、接收、传递、交流、综合分析和加工处理信息的工具与手段的革命性变革。信息革命的一个突出特点是使用现代科技成果所能得到的各种物质手段来延伸、扩展和强化人的脑力劳动，它表现出来的是信息化、智能化和分散化。信息革命对社会的推动首先体现在它使得科学技术和国民经济获得了飞速发展的推动力。 大众文化：是在市场经济条件下，兴起于当代都市，与当代大工业密切相关，以大众传媒为载体，从满足社会公众的物质和精神需要出发，以社会公众的生活消费为目的的文化现象。大众文化是以工业社会的发展为背景，经技术革命特别是传播技术革命而出现的。大众文化不同于高级文化，因为高级文化具有明显的阶层性；它也不同于乡土文化和群众文化，因为后者具有明显的自发性。 象征性社会互动：是指人与人之间通过传递象征符和意义而相互作用、相互影响的过程。它是一种通过象征符来交流或交换意义的活动。传播过程中的意义只有通过交换才能成立，才能产生互动效应。象征性社会互动具有价值性、动机性和行为取向性，对实际社会生活产生多方面的影响。 语义空间：即语言意义的世界，一般来说，信息是意义和符号的统一体，内在的意义只有通过一定的外在形式（动作、表情、文字、音声、图画、影像等符号）才能表达出来。因此，每一种符号体系在广义上都是传达意义的语言，它们所表达的意义构成了特定的语义空间。传播既是在社会空间进行的，也是在语义空间中进行的；传播得以实现的一个前提条件就是传受双方必须要有共通的语义空间，即对符号含义的共同理解或拥有共同的文化背景，否则传播过程本身便不能成立。 反馈：是指受传者对传播者发出的信息的反应。受传者回传给传播者的信息成为反馈，获得反馈信息，是传播者改进传播效果的重要手段。在人际传播中，反馈是直接，及时，灵活的；而大众传播的反馈则是具有间接性，迟延性和制度性等特点。 信源：指信息的提供者或新闻发布者和报道者，传播过程第一个环节。由于人们一般是根据信源的可信性来判断信息价值的，所以心愿的可行性如何对传播效果具有重要影响。信源的
传输技术、体系、设备专有名词解释
SDH（SynchronousDigital Hierarchy，同步数字体系），是不同速度的数位信号的传输提供相应等级的信息结构，包括复用方法和映射方法，以及相关的同步方法组成的一个技术体制。SDH是一种将复接、线路传输及交换功能融为一体、并由统一网管系统操作的综合信息传送网络 MSTP（Multi-Service Transfer Platform）（基于SDH的多业务传送平台）是指基于SDH平台同时实现TDM、ATM、以太网等业务的接入、处理和传送，提供统一网管的多业务节点。 MSTP系列设备为城域网节点设备，是数据网和语音网融合的桥接区。MSTP可以应用在城域网各层，对于骨干层： 主要进行中心节点之间大容量高速SDH、IP、ATM业务的承载、调度并提供保护；对于汇聚层： 主要完成接入层到骨干层的SDH、IP、ATM多业务汇聚；对于接入层： MSTP则完成用户需求业务的接入。 MPLS多协议标签交换（Multi-Protocol Label Switching，）是一种用于快速数据包交换和路由的体系，它为网络数据流量提供了目标、路由地址、转发和交换等能力。更特殊的是，它具有管理各种不同形式通信流的机制。MPLS是利用标记（label）进行数据转发的。当分组进入网络时，要为其分配固定长度的短的标记，并将标记与分组封装在一起，在整个转发过程中，交换节点仅根据标记进行转发。MPLS独立于第二和第三层协议，诸如ATM和IP。 它提供了一种方式，将IP地址映射为简单的具有固定长度的标签，用于不同的包转发和包交换技术。它是现有路由和交换协议的接口，如IP、ATM、帧中继、资源预留协议（RSVP）、开放最短路径优先（OSPF）等等。 T-MPLS（TransportMPLS）是一种面向连接的分组传送技术，在传送网络中，将客户信号映射进MPLS帧并利用MPLS机制（例如标签交换、标签堆栈）进行转发，同时它增加传送层的基本功能，例如连接和性能监测、生存性（保护恢复）、管理和控制面（ASON/GMPLS）。
传输名词解释
电缆人井，是检修人员可以进入进行维修工作的隧道口。 手井是供检修人员打开（但不能进去）进行维修工作的一个“窗口”。 光缆接头盒 科技名词定义 中文名称：光缆接头盒 英文名称：optical cable connect，joint box 定义：相邻光缆间提供光学、密封和机械强度连续性的接续保护装置。 应用学科：电力（一级学科）；输电线路（二级学科） 以上内容由全国科学技术名词审定委员会审定公布 目录 编辑本段简介 光缆接头盒是通俗的叫法，学名叫光缆接续盒，又称光缆接续包、光缆接头包和炮筒,主要是在适用于各种结构光缆的架空、管道、直埋等敷设方式之直通和分支连接。盒体采用进口增强塑料，强度高，耐腐蚀，终端盒适用于结构光缆的终端机房内的接续，结构成熟，密封可靠，施工方便。广泛用于通信、网络系统，CATV有线电视、光缆网络系统等等。右侧为二进二出接头盒； 用于两根或多根光缆之间的保护性连接、光纤分配，是用户接入点常用设备之一，主要完成配线光缆与入户线光缆在室外的连接作用，并可根据FTTX接入需要安装盒式或简式光分路器；
编辑本段产品特性 ·产品的盒体采用优质工程塑料。 ·产品采用2次压缆技术，确保盒内光纤无附加衰耗。 ·产品具有多次复用和扩容功能。 编辑本段技术特性 ·尺寸：高度430mm 内径Φ135mm 最大外径Φ210mm ·入缆孔颈：Φ20mm ·单盘芯数：12/24 ·最大熔纤盘：最小容量4芯最大容量144芯. ·最大熔纤盘数：6 ·拉伸密封性：2000N轴向拉力，不漏气。 ·耐电压强度：15KV(DC)。 ·拉伸密封：产品充气后，能承受2000N的轴向拉力，不漏气。 ·冲击密封：产品充气后，能承受冲击能量16N*m（牛顿*米）的冲击三次，产品无裂痕，不漏气。 ·其它各项性能要求均符合YD/T814.1-2004标准要求。 编辑本段光缆接头盒的安装方法 光纤准备 1. 去除光缆外皮，（如果有，请去除屏蔽及铠装）然后去除各绕包层至露出松套管，具体方法，请按光缆厂家推荐的标准方法步骤进行，预备长度3m。 2、用清洁剂清洁松套管及加强芯护套，去除多余的填充套管，用所提供的砂纸打磨光缆外皮150mm长。 光缆安装 1 、按光缆外径选取最小内径的密封环，并将两个密封环套在光缆上。 2、将光缆放入相应的入孔内。 3、连接屏蔽及接地。 4、在两个密封环之间缠绕上自粘密封胶带，使密封带绕到与密封环外径平齐，以形成一个光缆密封端。 5、将光缆密封端按入光缆入孔内。 6、用喉箍穿过光缆加强筋固定座和缆芯支架，将光缆固定在接头盒底座上，旋紧喉箍螺钉，直至喉箍抽紧为止。 7、在光缆上扎上尼龙扎带，剪断余长。 8、其余不用的光缆孔，请用堵头密封。堵头上同样缠绕上密封胶带，要求与5.2.4相同。 9、将加强构件缠绕在熔接盘支座的沉头螺钉上，并压紧。 光纤接续 1 、预备上盘后盘绕1.5圈的光纤，随后将余纤全部盘绕在盒体内。 2、单芯光纤上盘请用单芯缓冲管，带状光纤上盘请用带状缓冲管。在熔接盘的进口处用尼龙扎带扎紧。
网络 名词解释
名词解释 1. TCP/IP:(传输控制协议/网络协议)是internet国际互联网络的基础，是用于计算机通信的一组协议，通常又称为TCP/IP协议簇。 2. 异步传输：以字符为单位的数据传输。每字符附加1起始位1停止位1奇偶效验位。 同步传输：以数据块为单位的数据传输每个数据块的头部和尾部附加一个特殊的字符或比特序列。 3. QAM正交调幅技术:是一种振幅调制和相位调制结合在一起的数字调制。 4. CRC校验:是一种采用多项式的编码方法。 5. CSMA/CD:带冲突检测的载波监听多路访问。工作原理：先听后发边听边发。边发送边监听的功能称为冲突检测。 6. FDDI：光纤分布式数据接口：是采用光纤作为传输介质的令牌环网采用双环结构。是一种高速、容错的网络传输协议。 7. 动态路由与静态路由：（1）动态路由：是指按照一定的算法，发现选择和更新路由的过程，这个算法可以随着网络拓扑结构的变化而变化，并在较短时间内自动更新路由表，有利于改善网络的性能。 （2）静态路由：静态路由不是表示路由表一成不变，这里所谓的静态时指路由器不是通过彼此间动态交换路由信息，建立和更新路由表，而是网络管理员根据网络拓扑结构图手工配置。 8. 1.8 子网掩码：又叫网络掩码、地址掩码、子网给遮罩，它是一种用来推明一个IP地址的哪些位标识的是主机所在的子网以及哪些位标识的是主机的位掩码，子网掩码不能单独存在，他必须结合IP地址一起使用。子网掩码只有一个作用，就是将某个IP地址判分成网络地址和主机地址两个部分。(一个32位的二进制序列) 9. UDP：用户数据报协议是一个简单的面向数据包的传输协议提供面 向无连接的、不可靠的传输服务（UDP 数据报的报头长为8字节）一个UDP 数据报包括一个8字节的报头和数据 域部分。 10. SMTP:简单邮件传输协议是一 组用于从源地址到目的地址传输邮件 的规范，通过它控制邮件的中转方式。 11. ADSL:ADSL是一种充分利用现 有的电话铜质双绞线来开发宽带业务 的非对称性的因特网接入技术。 12. CSMA/CA:载波监听多路访问/ 冲突防止协议。(实现介质资源共享) 13. 扩频技术:即扩展频普通信技 术，是一种信息传输方式，其系统占 用的频带宽度远远大于要传输的原始 信号带宽(或信号比特率)，且与原始 信号带宽无关。 14. 3G:3G(third generation)是国际 电联ITU于2000年确定的意为“第 三代移动通信”，正式命名为 IMT-2000。(3G的技术基础是码分多 址) 15. A TM:是指异步传输模式。(就是 特定用户的信息在信道上并不一定周 期性地出现) 16. 置换密码:明文和密文的字母数 保持相同，但相互之间的顺序被打乱 了。 17. 数字签名:数字签名就是附加在 数据单元上的一些数据，或是对数据 单元所做的密码变换。 18. SNMP:简单网络管理协议，是 一个应用级的协议，工作于UDP上。 19. 电子商务:电子商务就是在网络 上实施的一切商务活动。 简答题 1. 三网合一:主要是指原先独立设 计以语音业务运营为主的传统电信 网、以因特网业务为主的计算机网和 以视频业务为主的有线电视网正在逐 步趋向相互渗透和相互融合。 2. 计算机网络管理系统的组成:网 络管理者、网管代理、网管协议、管 理信息库。 3. 网络管理的功能:配置管理、性能 管理、故障管理、安全管理、计费管 理。 4. 什么是防火墙？实现防火墙的 技术有哪些？防火墙是隔离在内 部网络和外部网络之间的一道防御系 统。实现技术:包过滤技术、代理服务 器技术、状态检测技术、NA T技术以 及主动监测技术等。 5. 简述RSA加密算法的加密和解 密过程。加密过程:①为字母制 定一个简单的编码，如A～Z为1～ 26。②选择一个足够的数n将它分裂 为两个质数（p和q的乘积，即n=p*q） ③找出一个数e（加密密钥）e与（p-1） *（q-1）互质。④对发送的信息进行 编码，设某一明文为i，⑤则密文为i° e（mod）n。解密过程:①找出一个数 d(解密密钥)使e*d-1=0mod(p-1)*(q-1) 即e*d-1能(p-1)*(q-1)被整除。②将每 个密文扩大到它的d次方。 6. 计算机网络面临的安全威胁的 表现形式:窃听、假冒、非授权访问、 拒绝服务、篡改、抵赖、伪造、通信 量分析、推断或演绎信息、病毒传播。 7. A TM有何优点:ATM将来自不同 信息源的信息元汇集到一起，在缓冲 器内排队，队列中的信息元根据到达 的先后按优先等级逐个输出到传输线 路上，形成首尾相接的信元流，具有 同样标志的信元在传输线上并不对应 着某个固定的时隙，也不是按周期出 现的。异步时分复用使ATM具有很 大的灵活性，任何业务都按信息量来 占用资源，使网络资源得到最大限度 的利用。 8. 国际电信联盟正式公布的3G标 准有哪3个？WCDMA(宽频码分 多址接入)、CDMA(美国高通北美公 司为主提出)、TD-SCDMA(时分同步 码分多址接入中国大唐电信公司 提出) 9. 简述用户通过POP3协议接收邮 件的过程: 当用户从邮件接受服务 器接收邮件时，要使用邮件接收协议， 通常使用邮局协议，该协议由 RFC1225中定义，具有用户登陆、退
第七次作业(谓词公式类型及等值演算)
一. 利用代换实例判断下列公式的类型 (1) (?xA(x)→?xA(x))→(??yB(y)∨?yB(y)) (2) ?(?xF(x)→?xB(x))∧?xB(x) 二. 利用等值演算, 求证?x?y(P(x)→Q(y))??xP(x)→?yQ(y) 三. 利用等值演算, 求证??x?y(F(x) ∧(G(y) →H(x,y))) ??x?y((F(x) →G(y))∧( F(x) →? H(x,y))) 一. 利用代换实例判断下列公式的类型 (1) (?xA(x)→?xA(x))→(??yB(y)∨?yB(y)) (2) ?(?xF(x)→?xB(x))∧?xB(x) 二. 利用等值演算, 求证?x?y(P(x)→Q(y))??xP(x)→?yQ(y) 三. 利用等值演算, 求证??x?y(F(x) ∧(G(y) →H(x,y))) ??x?y((F(x) →G(y))∧( F(x) →? H(x,y))) 一. 利用代换实例判断下列公式的类型 (1) (?xA(x)→?xA(x))→(??yB(y)∨?yB(y)) (2) ?(?xF(x)→?xB(x))∧?xB(x) 二. 利用等值演算, 求证?x?y(P(x)→Q(y))??xP(x)→?yQ(y) 三. 利用等值演算, 求证??x?y(F(x) ∧(G(y) →H(x,y))) ??x?y((F(x) →G(y))∧( F(x) →? H(x,y))) 一. 利用代换实例判断下列公式的类型 (1) (?xA(x)→?xA(x))→(??yB(y)∨?yB(y)) (2) ?(?xF(x)→?xB(x))∧?xB(x) 二. 利用等值演算, 求证?x?y(P(x)→Q(y))??xP(x)→?yQ(y) 三. 利用等值演算, 求证??x?y(F(x) ∧(G(y) →H(x,y))) ??x?y((F(x) →G(y))∧( F(x) →? H(x,y))) 一. 利用代换实例判断下列公式的类型 (1) (?xA(x)→?xA(x))→(??yB(y)∨?yB(y)) (2) ?(?xF(x)→?xB(x))∧?xB(x) 二. 利用等值演算, 求证?x?y(P(x)→Q(y))??xP(x)→?yQ(y) 三. 利用等值演算, 求证??x?y(F(x) ∧(G(y) →H(x,y))) ??x?y((F(x) →G(y))∧( F(x) →? H(x,y))) 一. 利用代换实例判断下列公式的类型 (1) (?xA(x)→?xA(x))→(??yB(y)∨?yB(y)) (2) ?(?xF(x)→?xB(x))∧?xB(x) 二. 利用等值演算, 求证?x?y(P(x)→Q(y))??xP(x)→?yQ(y) 三. 利用等值演算, 求证??x?y(F(x) ∧(G(y) →H(x,y))) ??x?y((F(x) →G(y))∧( F(x) →? H(x,y))) 一. 利用代换实例判断下列公式的类型 (1) (?xA(x)→?xA(x))→(??yB(y)∨?yB(y)) (2) ?(?xF(x)→?xB(x))∧?xB(x) 二. 利用等值演算, 求证?x?y(P(x)→Q(y))??xP(x)→?yQ(y) 三. 利用等值演算, 求证??x?y(F(x) ∧(G(y) →H(x,y))) ??x?y((F(x) →G(y))∧( F(x) →? H(x,y))) 一. 利用代换实例判断下列公式的类型 (1) (?xA(x)→?xA(x))→(??yB(y)∨?yB(y)) (2) ?(?xF(x)→?xB(x))∧?xB(x) 二. 利用等值演算, 求证?x?y(P(x)→Q(y))??xP(x)→?yQ(y) 三. 利用等值演算, 求证??x?y(F(x) ∧(G(y) →H(x,y))) ??x?y((F(x) →G(y))∧( F(x) →? H(x,y)))
网络名词解释
网络名词解释 HTTP超级文本传输协议的缩写，用于管理超级文本与其他超级文本文档之间的连接。HTML超级文本标识语言(Hypertext Markup Language)的简写，用于建立web页面和其他超级文本语言。 FTP:文件传输协议的简写(file transfer protocol )是tcp/ip 协议中用 于向网络登入显示文件及目录清单的传输文件的协议。ftp 支持多种文件类型和文件格式，包括ascii 文件和二进制文件。 IP ：( internet protocol )的简写，是tcp/ip 网络协议通过跟踪包的互联网络地址，给出站点信息分配路由并识别入站信息来控制信息包的转发。 WWW是in ternet 上的一个巨大的超级文本集，由欧洲粒子物理实验室在瑞士开发出来的，它不仅是一个工具，还是叩响internet 的最灵活的、最激动人心的工具。超文本连接把位于internet 网中的不同位置的单独的html 页信息(文件、图形、音频、视频等)联系了起来。 URL：( uniform reaource locator )即通用资源定位器。含有访问方法信 息和资源信息web broswer 用它把用户和指定的文档或地址中的homepage 连接起来无须用户了解资源的具体物理位置。 POP3即邮件接收服务器
BBS：( bulletin board system )即电子公告牌系统。是配备有一个或数个调制解调器作为信息的传递或信息中心源的计算机系统。这种电子公告牌系统通常只为特定专门行业服务，并且一般由软件销售商和不同pc 用户组织起来建立。 TCP/IP 协议：通信协议，包含了在internet 上的网络通信的标准，以及一组网络互联的协议和路径选择算法，TCP是传输控制协议，保证在传输中不会丢失；IP 是网络协议，保证数据被传到指定的地点。 TELNET远程登陆 网卡：用于电脑连接到局域网的扩展卡或其他的设备，也称做网络适配卡、适配卡和网络接口卡( NIS)。 子网：网络的一部分，他是物理上的独立的网络段，与网络其他部分共享网络地址，并用子网号区分。 子网掩码：一个32 位的值，它使IP 报文的收件人能区分IP 地址的网络ID 部分和主机的ID 部分
谓词公式的分类与解释
第二节 谓词公式的分类与解释 为了给出谓词公式的定义，先给出项和原子公式的定义。 定义2.1 项： （1） 个体常项和个体变项是项； （2） 设),...,,(21n x x x ?是任意的n 元函数，n t t t ,...,,21是项，则),...,,(21n t t t ?是项； （3） 有限地使用（1），（2）形成的符号串是项。 定义2.2 设),...,,(21n x x x R 是任意的n 元谓词，n t t t ,...,,21是项，则称),...,,(21n t t t R 是原子公式。 定义2.3合式公式： （1） 原子公式是合式公式； （2） 若A 是合式公式，则)(A ?也是合式公式； （3） 若B A ,是合式公式，则)(),(),(),(B A B A B A B A ?→∨∧也是合式公式； （4） 若A 是合式公式，则(),()xA xA ??也是合式公式。其中x 为任意的个体变项； （5） 有限次地应用（1）～（4）形成的字符串是合式公式。 这样定义的合式公式又称作谓词公式，简称公式。合式公式的最外层括号可以省去。 定义2.4 （1） 在公式xA ?和xA ?中，A 是相应量词的辖域，x 称为指导变量。 （2） 在公式xA ?和xA ?中，x 的所有出现都是约束出现的，不是约束出现的变项称 为自由出现的。 例如：在公式))),,()((),((z y x L y G y y x F x ∧?→?中，?的辖域为 ))),,()((),((z y x L y G y y x F ∧?→ ?的辖域为 )),,()((z y x L y G ∧ x ?中的x 和y ?中的y 都是指导变量。x 的出现都是约束的，),(y x F 中的y 是自由出现的，)(y G 与),,(z y x L 中的y 是约束出现的，z 的出现是自由的。 一般情况下，在一个谓词公式A 中，除了可能含若干个个体常项，函数常项，谓词常 项外，还可能含个体变项，函数变项，谓词变项等。用下面定义对公式进行解释。 定义2.5 一个解释I 由下面4个部分构成： （1） 非空的个体域D ； （2） D 上一部分特定的元素； （3） D 上一些特定的函数；