一类退化与非退化稳态扩散模型正解的存在性(英文)

考虑一类退化与非退化的稳态扩散模型。利用上、下解方法与Schauder不动点原理 ,证明此类稳态扩散模型在一定条件下正解的存在性 .

模糊语言多机推理方法

模糊推理可在模糊、不完整甚至矛盾的信息基础上 ,对高度复杂的问题快速地得到最满意的问题解答。本文从模糊数的概念出发 ,探讨了两种新的模糊推理方式 ,给出了以对位表为基础的并行处理方法。以此为基础可构成两种推理功能模块 ,进一步可用来组成智能结构。

一类模糊控制器设计算法

本文结合湿法造纸过程控制对一类具有前馈、大滞后反馈、多输入、多输出的模糊控制器及其计算机辅助设计进行了讨论 ,给出了设计和调整算法 ,使此类控制器的设计变得简便易行。

基于前缀范围对分搜索的高性能路由查找

高端路由器路由查找大多采用单步TCAM方案 ,要求转发表的存储必须按前缀长度相对地址降序排列 ,这种与地址关联的排序操作影响表项的更新速度和路由查找流程的连续性 .与已有对前缀长度的搜索不同 ,该文提出一种独特的基于前缀范围对分搜索的路由查找算法 ,并以多步TCAM实现流水查找 .突出特点是转发表无需排序 ,表项更新快 ,查找速率高且连续性好 ,可满足IPv4 /IPv6核心路由器OC 76 8(40Gbps)端口的线速率转发 .

关于复变量对数函数的一点注记

本文严格证明了关于复变量对数函数的一个公式的正确性,同时指出了西安交通大学数学教研室编写的《工程数学———复变函数》一书中有关结论的错误。

四-二分搜索高性能IPv4路由查找算法与实现

传统二分算法完成一次IPv4最长前缀匹配需5步搜索,且因存在回溯问题难以硬件实现,而单步TCAM路由查找方案要求转发表的存储必须按前缀长度相对地址降序排列,影响表项的更新速度和路由查找流程的连续性。该文提出并以TCAM流水线硬件实现了一种独特的对前缀范围的四-二分搜索算法。仅用3步搜索完成一次IPv4路由查找、转发表不需排序、查找速率高、表项更新快、查表连续性好。满足了IPv4核心路由器的双OC-768(40Gbps)端口、48B包的线速转发。

快速更新IPv4/IPv6双栈路由查找算法与实现

IPv4/IPv6双栈核心路由器需要一体化高效路由查找.但常用的单步TCAM路由查找方案要求转发表的存储必须按前缀长度相对地址降序排列,这种与地址关联的排序操作影响表项的更新速度和路由查找流程的连续性.提出并实现了一种独特的对前缀范围对分搜索的IPv4/IPv6双栈一体化多步TCAM流水查找方法.突出特点是转发表不需排序、查找速率高、表项更新快、查表连续性好.可满足IPv4/IPv6双协议栈核心路由器OC-768(40Gbps)端口、48B包的线速转发.

双TCAM高性能IPv4路由查找算法与实现

传统二分算法完成一次IPv4最长前缀匹配需5步搜索,且因存在回溯问题难以硬件实现,而单步TCAM路由查找方案要求转发表的存储必须按前缀长度相对地址降序排列,影响表项的更新速度和路由查找流程的连续性。该文提出并以TCAM流水线硬件实现了一种独特对扩展前缀范围的四分搜索算法。仅用2步搜索完成一次IPv4路由查找、转发表不需排序、查找速率高、表项更新快、查表连续性好。满足IPv4核心路由器的双OC-768(40Gbps)端口、48B包的线速转发。

IPv4/IPv6双栈四分搜索路由查找算法与实现

IPv4/IPv6双协议栈核心路由器需要高性能一体化路由查找。传统的前缀长度二分查找算法完成一次IPv6路由查找需多达7步搜索,而核心路由器常用的单级TCAM方案要求转发表的存储必须按前缀长度相对地址降序排列,这种降序操作严重影响表项更新速度和路由查找连续性。与对前缀长度二分查找和单级TCAM方案不同,作者提出了一种独特的对前缀范围四分搜索路由查找算法,并用3级TCAM实现了IPv4/IPv6双栈一体化QSPE查找方案。一次查找仅需3步搜索、转发表无需排序、表项更新快、查找速率高且连续性好,满足IPv4/IPv6双栈核心路由器OC-768(40Gbit/s)端口的线速率转发。

TCAM快更新高速路由查找算法与实现

常用的单步TCAM路由查找方案要求转发表的存储必须按前缀长度相对地址降序排列,这种与地址关联的排序操作影响表项的更新速度和路由查找流程的连续性。本文提出并实现了一种独特的对前缀范围对分搜索的IPv4五步TCAM流水查找方法。突出特点是转发表不需排序,查找速率高,表项更新快,查表连续性好,可满足IPv4核心路由器双OC-768(40Gbps)端口、48B包的线速转发。

电子支付协议安全性的形式化分析

本文用Kailar逻辑对Bolignano电子协议的安全性作了较为详细的分析 ,进而对Kailar逻辑也作了一些讨论。

浑水浊度自动测控系统的实现

简单介绍了利用超声测量浑水浊度的原理，详细讨论了一种用于对水中悬浮泥沙浑水浊度进行自动测量、自动控制的系统实现方案；给出了系统总体工作原理框图以及有关组成部分的实现电路，最后对运行结果进行了分析。

部分Bent函数的几种构造方法

给出了部分Bent函数几种一般性构造方法 ,同时得到了由上述方法所构造出的部分Bent函数的Walsh循环谱特征 .特别给出了由变元个数少的Bent函数构造变元个数多的部分Bent函数的一般方法 。

一类反应扩散系统的参数辨识与反演方法

研究具有两个未知参数D和k的一类反应扩散系统的参数辨识与反演问题 .对其中未知系数函数D =D(x) ,采用时空有限元数值方法进行辨识 ,给出其数值逼近解Dh.将此常数数值逼近解Dh 作为控制参数 ,利用反演方法确定系统的另一个未知参数k .

中介服务机构的信誉评估模型

本文利用综合模糊评判方法针对中介服务机构的信誉评估问题 ,给出了一个综合评估模型 .