基于改进NB分类方法的网络异常检测模型

在神经网络的数字VLSI实现中,激活函数及乘累加等计算部件是设计中的难点.区别于使用乘法器及加法器的传统方法,该文提出的LMN方法基于查找表(即函数真值表),使用逻辑最小项化简提炼出函数最简逻辑表达式后,可直接生成结构规整的门级电路,除线延时外,电路只有数个门级延时.以非线性函数为例对该方法进行了介绍,结果表明当定点数位数较少时,算法在速度及误差方面具有更好的性能.     

神经网络计算部件的数字VLSI优化设计

在神经网络的数字VLSI实现中，激活函数及乘累加等计算部件是设计中的难点。区别于使用乘法器及加法器的传统方法，该文提出的LMN方法基于查找表(即函数真值表)，使用逻辑最小项化简提炼出函数最简逻辑表达式后，可直接生成结构规整的门级电路，除线延时外，电路只有数个门级延时。以非线性函数为例对该方法进行了介绍，结果表明当定点数位数较少时，算法在速度及误差方面具有更好的性能。     

逻辑函数的立体化简法及其实现

逻辑函数的“立体化简法”是在卡诺图化简法的思想基础上设计的一种新型逻辑函数化简方法.这种方法用逻辑函数立方体代替卡诺图,在三维立体空间进行逻辑函数的化简.卡诺图法可以方便地化简四个变量以内的逻辑函数,而立体化简法可以方便地化简六个变量以内的逻辑函数.使用CubeScape在线网站的功能可以方便地表示逻辑函数立方体,让学生直观地感受逻辑函数最小项的逻辑相邻关系,更好地理解立体化简法化简逻辑函数的原理.     

直接可编码树型结构函数

本文提出一种新型的直接可编码树型结构函数。实现这种函数的电路，具有的特点是：1）它有独特的数学模型；2）该数学函数呈现嵌套子表达式的树型结构，对输入变量和控制变量可直接编码，电路输出由此编码确定；3）电路内部不需设置熔丝。实验结果表明，在许多方面，由于该电路具有十分强大的功能，它完全可以替代PLD，PLA，PAL，GAL等可编码逻辑器件，且使用十分灵活，设计、制作成本更加低廉。     

两类非线性密码组件可重构研究与电路设计

为解决对称密码中s盒和非线性布尔函数（NBF）在实现密码专用处理器时采用异构化设计导致的资源浪费问题,提出一种类AESs盒和NBF的可重构电路结构方法。分析s盒问题中的原有非线性布尔函数模块（NBFM）,4-4、6-4的s盒电路能够提供更好的适配性,但不能很好地支持8-8的s盒电路。基于塔域分解理论,论证不同的类AESs盒电路差异在于输入前后的转换矩阵。采用混合基的方法将类AESs盒电路分解成GF （16）上的各个运算模块,并推导出模块比特级别表达式,在具体适配运算模块时采取门级实现、NBFM适配实现或对NBFM进行改进3种方案,实现类AESs盒和NBF的可重构电路。实验结果表明,该方法在不影响原有NBF功能的基础上,利用4个NBFM与22.7%的s盒电路面积即可实现一个完整的类AESs盒电路。     

直接可编程树型结构函数

本文提出一种新型的直接可编程树型结构函数．实现这种函数的电路，具有的特点是：１）它有独特的数学模型；２）该数学函数呈现嵌套子表达式的树型结构，对输入变量或控制变量可直接编程，电路输出由此编程确定；３）电路内部不需设置熔丝．实验结果表明，在许多方面，由于该电路具有十分强大的功能，它完全可以替代ＰＬＤ，ＰＬＡ，ＰＡＬ，ＧＡＬ等可编程逻辑器件，且使用十分灵活，设计、制作成本更加低廉．     

基于双逻辑门级图形表示的功耗优化技术

针对现有基于传统布尔逻辑进行逻辑级功耗优化的局限性,提出逻辑函数基于传统布尔逻辑和Reed-Muller逻辑的双逻辑门级图形表示的功耗优化方法.首先在逻辑级采用简化有序二叉决策图实现逻辑函数的双逻辑表示;然后通过代数分解和布尔分解获得双逻辑门级表示,进而基于功耗成本估算进行门级功耗优化;最后实现变量级和门级的两层次的优化方法.与学术界著名的ABC和工业界最先进的工具Design Compile(DC)进行比较的实验结果表明,该方法均具有一定的优势.     

基于蚁群算法的逻辑函数化简

仿真硬件是一种新近发展起来的将仿真优化算法的思想应用于硬件物理结构设计的技术,特别是电子系统的设计.针对代数法和卡诺图法难以化简规模很大的逻辑函数问题,提出使用蚁群算法处理大规模逻辑函数化简.详细阐述了蚁群算法处理逻辑函数化简问题模型以及重要技术实现.试验表明演化硬件设计方法能够化简规模很大的逻辑函数.     

逻辑函数适于双逻辑实现的探测算法

提出一种判定逻辑函数是否适于双逻辑实现的探测算法,直接从XOR逻辑的特点出发,即2个汉明距离为2 的最小项可以由 XOR 逻辑表示.通过计算函数最小项之间的汉明距离分析其所具有的逻辑模式,给出探测适用于双逻辑实现的判断条件.该算法已用 C 语言实现,并应用于 MCNC benchmark 电路的判定测试,实验结果验证了其有效性.     

一种新型逻辑函数化简方法——立体化简法

文章在卡诺图化简法的思想基础上设计了一种新型的逻辑函数化简方法——“立体化简法”。用逻辑函数立方体代替卡诺图来表示逻辑函数,在三维立体空间进行逻辑函数的化简,既保持了卡诺图化简法方便、直观、容易掌握的优点,又使得可以方便化简的逻辑函数变量增加至六个;如果采用达到卡诺图化简法五、六变量逻辑函数化简的难易程度的方法,可使化简的逻辑函数变量增加至九个。这种新型的逻辑化简方法使得五、六变量逻辑函数的化简变得非常简单、方便,也使得九变量以内的逻辑函数的化简变得直观、可行。     

Low power DCVSL circuits employing AC power supply

In view of changing the type of energy conversion in CMOS circuits, this paper investigates low power CMOS circuit design, which adopts a gradually changing power clock. First, we discuss the algebraic expressions and the corresponding properties of clocked power signals. Then the design procedure is summed up for converting complementary CMOS logic gates employing DC power to the power-clocked CMOS gates employing AC power. On this basis, the design of differential cas-code voltage switch logic (DCVSL) circuits employing AC power clocks is proposed. The PSPICE simulations using a sinusoidal power-clock demonstrate that the designed power-clocked DCVSL circuit has a correct logic function and low power characteristics. Finally, an interface circuit to convert clocked signals into the standard logic levels of a CMOS circuit is proposed, and its validity is verified by computer simulations.     

ADSL接入复用器ATM to IP模块的设计

本文在分析DSLAM结构和原理的基础上,提出了为ATM DSLAM增加以太网接入模块EIM的方法,实现ATM PVC在DSLAM的终结。本文同时介绍了模块的软件设计和核心转发功能的原理及设计方法。     

NIDS中正则表达式数量限定符的电路设计与实现

针对网络入侵检测系统(NIDS)中复杂正则表达式匹配的数量限定符进行了硬件设计和实现。经过对这3种限定符匹配原理的分析,改变了以往的直接复制多个重复单元的实现方法,设计了一套完整的优化的数量限定符FPGA实现电路。实验测试结果表明,本设计每个非元字符平均大约需要0.92个逻辑单元,系统可以达到1.2 Gb/s的吞吐能力。     

Unification of nonlinear filtering in the context of binary logical calculus,part I: Binary filters

The mathematical structure of nonlinear filtering is expressed in the context of binary logic. This first part of a two-part study concerns the binary setting. Operator properties, such as antiextensivity and idempotence, are expressed in finite logical expressions, as are the Matheron representation for morphological filters and its extension to translation-invariant operators, thereby giving simplicity to both operational properties and representations and also exposing the manner in which logic methods can be used for filter design and analysis. The second part of the study treats gray-scale filters.     

A 3D spreadsheet based on intensional logic

A three-dimensional spreadsheet design based on intensional logic is proposed. Intensional logic is concerned with assertions and other expressions whose meaning depends on an implicit context. The intensional spreadsheet is a declarative spreadsheet with a simple formal semantics called intensional semantics. It is expected to be suitable for a wide range of applications and for various users, including those who have had conventional programming experience. As an example of using the intensional 3-D spreadsheet, the formalization of a systolic algorithm for matrix multiplication is considered     

Fuzzy rule-based networks for control

The authors present a method for learning fuzzy logic membership functions and rules to approximate a numerical function from a set of examples of the function's independent variables and the resulting function value. This method uses a three-step approach to building a complete function approximation system: first, learning the membership functions and creating a cell-based rule representation; second, simplifying the cell-based rules using an information-theoretic approach for induction of rules from discrete-valued data; and, finally, constructing a computational (neural) network to compute the function value given its independent variables. This function approximation system is demonstrated with a simple control example: learning the truck and trailer backer-upper control system     

网上数学实验中函数的录入及可视化

为了解决网上数学实验中函数的录入及其图形可视化的问题,利用Java和Java3D技术给出了平面直角坐标函数的录入及可视化模块RightAngle2D、三维空间直角坐标函数的录入及可视化模块RightAngle3D和三维空间柱坐标函数的录入及可视化模块Pole3D。实验结果表明,所给模块具有较好的可视化效果和良好的人机交互性能。     

双枝模糊逻辑

在双枝模糊集基础上,建立了双枝模糊逻辑的框架,这是对单枝模糊逻辑的合理扩展。从双枝模糊命题入手,给出双枝模糊逻辑的性质和双枝模糊逻辑公式,以及双枝模糊逻辑的析取范式与合取范式。这些结果为研究双枝模糊推理和双枝模糊控制奠定了基础。     

基于Hadoop平台的HITS算法

本文对Hadoop平台进行了分析研究后,与HITS算法的设计理论和技术相结合,对基于中文词汇网络的HITS算法进行了重新设计,使其符合Hadoop平台的框架,详细分析了Map／Reduce函数的设计方案．用测试数据在不同集群上做实验,实验结果证明,HITS算法在分布式环境下能很好的运行,集群的优越性明显．