鸽巢公式的一些性质

由鸽巢原理定义的鸽巢公式PH nn+1是著名的消解难例之一,研究该公式的结构和性质有助于其他难例的构造.证明了PH nn+1是一个极小不可满足公式,根据其极小不可满足性,给出了最大可满足真值指派的两种标准形式,Haken关于PH nn+1的难解证明用到了其中一种标准形式.公式PH nn+1具有良好的子结构同构性质,如果DPLL算法中允许使用同构规则,则存在PH nn+1的反驳证明,其复杂性可以降至O(n3).     

数字证书的原理及其应用

电子商务将成为全球经济的新的增长点已是国际社会的共识,而电子商务的发展主要问题之一是安全,数字证书能较好地解决在电子商务活动中的安全问题.本文简单阐述数字证书的基本原理及例举在电子商务中的应用范围.     

编译原理课程教学中的词法分析及其应用

针对编译原理课程中的词法分析,介绍相关原理,重点探讨词法分析技术在非编译系统中的广泛应用。通过实际应用的分析,加深学生对理论知识的理解,提高学生对编译原理课程重要性的认识,调动学生的学习积极性和主动性。     

编译原理中语法分析探讨及其应用

编译原理中的几个重要阶段是词法分析、语法分析、语义分析和中间代码生成以及代码优化和目标代码生成,本文主要研究语法分析阶段在编译原理中的重要性,着重研究语法分析技术的相关应用。通过对相关具体应用的介绍与探讨,巩固我们对编译原理中语法分析理论知识的理解,并认识到编译原理在很多领域的重要性。     

CPN原理及其在人工智能中的应用

Petri网理论是由联邦德国的Carl Adam Petri于１９９２年在其博士论文中提出的一种建模方法。最初的网理论称为条件／事件网（ＣＥ－nets).在随后的几年中,人们对新的网模型、网的基本概念有分析方法等进行了大量的研究。其中最有影响的是位置／变迁网（PT－nets),PT-nets后来命名为Petri网（Petri Net)。这些早期的网模型在理论上都归结为基本网（EN－nets)。这些早期的网模型在理论上都归结为基本网（EN－nets)。研究者通过对PT－nets进行了扩展,在风中增加了变迁的优先级、时间延迟、全程变量等一些概念以满足解决实际应用建模的具体要求,并在此基础上形成了比CE－nets和PT－nets更加通过化的高级网（High-level Nets)理论。最早的高级网是谓词／变迁网（PrT-nets),此后又产生了广义随机Petri网（GSPN）、着色Petri网（CPN）等较有影响的建模方法。CPN是由丹麦的Jensen Kurt于1981年在Petri网基础上定义的一种高级网系统。CPN理论不仅在描述系统静态模型方面进行了完备的形式化定义,例如支持在网模型中标记（token)的类型定义、模型的全程时钟、建立分层子模型等,而且对系统模拟的动态行为的仿真分析也具有形式化定义和描述。此外在Linux、Solaris和MacOS等多种平台上都有CPN的建模分析工具。利用CPN的建模工具,可以建立描述系统的CPN静态模型,还可以对系统模型的动态行为进行仿真,分析系统的分布、并发、同步异步等特性,以及建立系统模型的状态空间并分析系统模型中的活性问题、可达性问题等。     

中小型UPS电源的工作原理及其应用

介绍了普通ＵＰＳ电源的工作原理、连接方法及使用中的注意事项，对ＵＰＳ电源的使用者们可能会带来一点帮助。     

无损光电检测技术原理及其应用前景

无损光电检测技术是集物理学、材料学、机械工程、电子学、计算机技术、信息技术和人工智能学等学科为一体的应用工程技术,随着现代化工业和科学技术不断的发展,无损光电检测技术已经被众多工业和科学领域所重视和应用。本文从无损光电检测技术原理出发,对其应用优势和应用前景进行简单分析。     

光电开关原理及应用

介绍了光电开关的原理、术语、种类和使用注意事项;并通过一些实例说明了光电开关的应用。     

归结原理及其应用

归结演绎推理是一种在计算机上得到较好实现的基于归结原理的推理技术,介绍归结原理的基本思想以及它在自动推理中的应用。     

谈数据通信技术的构成原理及其应用前景

数据通信是通信技术和计算机技术相结合而产生的一种新的通信方式.要在两地之间传输信息,必须有传输信道,根据传输媒体的不同,有有线数据通信和无线数据通信之分.但是他们都是通过传输信道数据终端与计算机连接起来,而使不同地点的数据终端实现软、硬件和资源共享.     

On Independence of Variants of the Weak Pigeonhole Principle

The principle states that no oracle circuit can compute a surjection of a onto b. We showthat is independent of for various choices of the parameters, , , P. We also improve the known separation of iWPHP(PV) from under cryptographic assumptions.     

抽屉原理的推广

本文根据数学中可数与不可数的概念,把广抽屉原则中无穷集合分为可数集合或不可数集合。并把有限集合推广为可数个集合从而得到三个新的定理。另根据抽屉原理,在运用抽屉原理解决实际问题时,对不同构造抽屉的方法进行了总结、归纳,以及详细的分类。     

Lower Bounds for the Weak Pigeonhole Principle and Random Formulas beyond Resolution

We work with an extension of Resolution, called Res(2), that allows clauses with conjunctions of two literals. In this system there are rules to introduce and eliminate such conjunctions. We prove that the weak pigeonhole principle PHP^cn_n and random unsatisfiable CNF formulas require exponential-size proofs in this system. This is the strongest system beyond Resolution for which such lower bounds are known. As a consequence to the result about the weak pigeonhole principle, Res(log) is exponentially more powerful than Res(2). Also we prove that Resolution cannot polynomially simulate Res(2) and that Res(2) does not have feasible monotone interpolation solving an open problem posed by Krají ek.     

交换机原理及应用

交换机是一种基于MAC（网卡的硬件地址）识别，能完成封装转发数据包功能的网络设备。交换机可以“学习”MAC地址．并把其存放在内部地址表中，通过在数据帧的始发者和目标接收者之间建立临时的交换路径，使数据帧直接由源地址到达目的地址。     

交换机原理及应用

交换机是一种基于MAC(网卡的硬件地址)识别,能完成封装转发数据包功能的网络设备。交换机可以"学习"MAC地址,并把其存放在内部地址表中,通过在数据帧的始发者和目标接收者之间建立临时的交换路径,使数据帧直接由源地址到达目的地址。     

端口扫描技术的原理及应用

随着互联网的飞速发展,网络入侵行为日益严重,网络安全成为人们的关注点。端口扫描技术是网络安全扫描技术的重要技术之一,本文阐述了端口的概念,然后对端口扫描技术的原理和应用进行了阐述。     

IDC网络平台设计原则及应用

本文介绍了电信运营商IDC网络系统的组成结构,通过对IDC业务模式的分析,提出了IDC网络平台设计原则,在此原则的基础上,结合具体工程建设项目,构建了IDC网络模块,并针对各个设计模块给出了建议设备参数。     

动态规划算法原理及应用研究

本文透彻分析了动态规划算法的基本原理、基本要素、适用条件和解题步骤。并通过达尔文芯片问题详细讲解了动态规划算法在实际中的运用,最后总结了使用动态规划算法的重点难点和技巧。     

对称性原理在电磁学中的应用

对称性是物理学中的一个重要的概念,在物理学研究中占有重要地位,是现代物理中的主角,也是电磁学理论的重要组成部分。对称性要求对自然定律的形式是一条强有力的限制。本文从普通电磁学教学的角度出发,简要地介绍了对称性的概念和原理,较系统地阐明了对称性分析在电磁学中的地位,以及在电磁学教学中的积极意义,并结合对称性原理在电磁学中若干应用举例,比较详细地阐述了应用对称性原理解题的一般思路和方法,并针对相应的教学内容提出了一种逻辑明晰的教学思路。