故障矩阵映射法

本文在[1],[2],[4],[5]的基础上提出了求同步或异步时序电路测试序列的一个代数方法——故障矩阵映射法。应用该算法可以求出检测单故障或多重故障的最短测试序列集(STS)。     

证据理论合成公式的讨论及一些修正

D-S证据理论作为一种不确定推理方法,已经广泛用于数据融合和目标识别领域。但是D-S 证据合成公式存在不足之处,使证据理论的应用受到了一定的限制。鉴于此,Yager 对合成公式作了改进,但改进后的合成公式又存在着新的问题。文[2],[3],[4]针对Yager 合成公式进行了一些改进。综合比较了以上几种合成公式,并对文[4]的合成公式进行了一些修正,使其满足结合律,提高了计算效率。     

专家系统中规则推断的概率传播

本文在[1],[2]的基础上给出了一组较为直观统一的概率及可能性计算公式,以解决在专家系统中基于规则的推断系统的概率传播计算,文后给出了简单的数值例子。     

RECTANGLE-80的相关密钥差分分析

轻量级分组密码RECTANGLE采用SPN结构,分组长度是64比特,密钥长度是80或128比特,迭代轮数是25轮。其采用比特切片技术,在软硬件实现方面均有很好的性能。本文以Matsui和Moriai等人的自动化搜索算法为基础,采用包珍珍等人提出的2种优化策略,对RECTANGLE-80版本进行相关密钥差分分析。我们对最窄点处的密钥状态差分进行限制,使最窄点密钥状态差分的汉明重量取值范围分别属于区间[1,1],[1,2],[1,3],[1,4],[1,5]五种情况,目的是求得此五种情况下前9轮相关密钥差分最大概率及其对应的路径。我们获得了此5种情况前8轮的最大概率及其对应的路径,前2种情况9轮最大概率及其对应路径和后3种情况9轮最大概率的上界。以上5种情况的结果显示,当取值范围属于后三种情况时,前8轮的最大概率是相同的,由此说明随着取值范围的扩大,最大概率趋向稳定。当最窄点密钥状态差分的汉明重量取值范围属于[1,1]或[1,2]时,9轮的最大概率为2^-42。当取值范围分别是[1,3],[1,4]和[1,5]时,9轮最大概率的上界分别是2^-41,2^-37,2^-34。我们预测9轮最大概率的上界是2^-41,由此可以预测18轮的最大概率的上界是2^-82,从而RECTANGLE-80可以抵抗相关密钥差分分析。这是目前RECTANGLE抵抗相关密钥密码分析安全性评估最好结果。     

k元船方体网络的可靠性

[k]元[n]方体[Qkn]是设计大规模多处理机系统时最常用的互连网络拓扑结构之一。对于[1≤m≤n-1],设[F]是[Qkn]中的一个由非空点集[VF]和非空边集[EF]构成的故障集,满足[Qkn-F]中不存在[Qkn-m]且[VF]破坏的[Qkn-m]的集合与[EF]破坏的[Qkn-m]的集合互不包含。设[f＊（n,m）]是破坏[Qkn]中的所有子立方[Qkn-m]所需要的故障集[F]的最小基数。证明了对于奇数[k≥3],[fk（n,1）]为[k＋1],[fk（n,n-1）]为[kn-1-1＋n],[f＊（n,m）]的上下界分别为[Cm-1n-1km＋Cm-1n-2km-1]和[km]。举例说明了上界[Cm-1n-1km＋Cm-1n-2km-1]是最优的。     

批量搞定论文正文参考文献上标

在写论文的时候,一般都要在论文的末尾标注参考文献,一般在参考文献前面标注[1],[2]……等序号,而在论文正文中的不同地方也会有很多数字上标,每个数字上标都对应论文后面的一个参考文     

Local noncuppability in R/M

Given any [c],[a],[d]∈R/M such that [d]≤[a]≤[c], [a] is locally noncuppable between [c] and [d] if [d]<[a]≤[c]and [a] ∨ [b] < [c] for any [b]∈R/M such that [d]≤ [ b ] < [ c ]. It will be shown that given any nonzero [ c ] ∈ R/M, there are [ a ], [ d ] ∈R/M such that [d]<[a]≤[c] and[a] is locally noncuppable between [c] and[d].     

图像分割的商空间粒度原理

从商空间粒度理论角度分析图像分割概念,研究已有的图像分割方法,提出图像分割的商空间粒度原理．用商空间的三元组（X,f,Г）-（[X],[f],[Г]）来描述图像分割过程,阐述基于商空间粒度计算理论的图像分割原理及基于粒度分层、合成及其综合技术下图像分割的方法,并提出了基于粒度合成原理的复杂纹理图像的分割算法．该算法通过分别提取多纹理图像中纹理区域的方向性及粗细度特征,形成图像的不同粒度,然后根据粒度合成原则,对所形成的粒度进行合成,从而实现对纹理图像的分割,实验表明该算法对复杂纹理图像分割是有效的．     

全PLA并行加法网络的设计

本文提出了采用IC芯片PLA元件构成一位、二位全加法功能单元网络[3→2],[2,3→3],并以此基本功能单元组成快速并行全加器和快速乘法器。在介绍设计原理的基础上,给出了具体的逻辑设计和结构框图,并对这些职能部件进行了一点性能分析。     

一类条件泛函极值的一种数值方法

在文献[4],[5]中,对于极小化泛函在约束条件(2)及一些特定的假定下,提出了一种算法,这种算法得到的逼近曲线,在(x_0,x_n)内只具有两阶光滑性,在区间端点光滑性更低,由于一些特定的假设,使其理论研究和应用受到很大局限性。     

算子Fuzzy逻辑及其归结推理的改进

在文献[3],[7]基础上,重新定义了算子格中的算子对格元素的作用,并引进了结合算子格的概念,改进了算子Fuzzy逻辑。为限定词的表示提供了一个模型。在新的系统中,引进了α-解释和λ_α-恒假概念,从而引进λ_α-归结方法。     

ABD表的存在及构造

组合Hash是一种对多重属性文件进行部分匹配检索的最优算法,而ABD(Associative Block Design)技术乃是寻求一种在期望与最坏情况下时间复杂性都令人满意的实用最优算法的关键。本文在文[1],[2]的基础上,给出了ABD表的一个存在性定理,并对相当大的一类ABD表给出了构造方法。     

通信协议的设计

在[5],[6]中,我们陈述了一个用于分布式程序设计的语言原型,这个原型是基于Hoare所提出的通信顺序进程的;并且建议用通道谓词作为分布式程序的功能描述;在发展这个语言的公理语义的同时,也给出了证明程序特性的一种形式途径。本文中,我们将使用上述工具讨论通信协议的结构式设计。本文原拟名为“通信协议的部分正确性”。     

关于QL-、D-蕴涵的分配性方程的解

研究了[r→（t∧s）]≡[（r→t）∧（r→s）],[r→（t∨s）]≡[（r→t）∨（r→s）],[（p∧q）→r]≡[（p→r）∨（q→r）],[（p∨q）→r]≡[（p→r）∧（q→r）]4个分配性方程,它们在模糊集理论中的形式分别是I（r,T₁（t,s））=T₂（I（r,t）,I（r,s））,I（r,S₁（t,s））=S₂（I（r,t）,I（r,s））,I（T₁（p,q）,r）=S₁（I（p,r）,I（q,r））,I（S₁（p,q）,r）=T₁（I（p,r）,I（q,r））,其中p,q,r,s,t∈[0,1],T₁、T₂为任意三角模,S₁、S₂为任意三角余模,给出了I为QL-、D-蕴涵时满足分配性方程的充要条件。     

一族迭代格式的Kanforovich型收敛定理和最佳渐近误差

本文建立了由King提出一族迭代格式[1]■的Kantorovich型收敛定理,并在下列两个条件(ⅰ) Kantorovich型收敛定理对参数的限制:0≤β≤2; (ⅱ) 一类函数:f(x)≡{f(x)|f″(x)~2-f′(x)f″(x)≥0}下证明了Ostrowski-Traub迭代格式[2],[3]■具有最小的渐近误差。     

质点网格法的并行计算

<正> 质点网格法(PIC方法)是数值流体动力学中计算具有大形变和多种物质问题较成功的一种方法,但它要求计算机大内存、高速度。现在已出现了满足这种要求的并行计算机。为了高效地使用这类计算机,必须改变算法,使其尽可能地适合于并行计算。下面讨论PIC方法的串行与并行计算问题。(关于PIC方法本身不再详述,参见[1],[2])。本程序框图为:     

基于Web服务的数学模型库管理系统的设计

针对目前各种数学模型库管理系统存在的问题,结合Web服务可分布式部署、共享性强、可远程调用的特点,通过建立数学模型到Web服务的映射,在运用Web服务对数学模型打包的基础上,设计了一种新的数学模型库管理系统,并研究了系统的结构、使用步骤和具体的实现。该系统通过分布式网络环境对数学模型进行部署和访问,使得数学模型具有较强的可共享性和可控性,同时也大大降低了模型库管理系统与数学模型之间的耦合性,有效地解决数学模型库的管理问题,同现有的系统相比,具有明显的优越性。     

基于Web Services的数学模型库系统的设计与实现

针对目前各种数学模型库系统存在的问题.结合 Web Services可分布式部署、共享性强、可远程调用的特点,通过建立数学模型到Web Services的映射,并在用Web Services对数学模型打包的基础上,设计了一种新的数学模型库系统,对数学模型库系统的松散耦合、数学模型的共享性和统一管理等问题做了探索,最后对系统进行实现,表明了新设计的有效性.     

LBLR(k)优化中的错误检测

LBLR(k)给出了一个非常有效的优化算法。它通过状态归并的方法使LR(k)的状态数大大的减少,并使利用文法产生式进行归约之后的转向状态唯一。这样,在LR(k)的分析算法中,状态符不再需要进栈,节省了空间和时间的开销。本文在[2],[3]之后主要讨论了LBLR(k)优化中的错误检测问题,使LBLR(k)优化仍能保持LR(k)的有效的查错功能。     

HT高分子传感器湿度特性数学模型的建立

根据HT高分子传感器实验测试数据,应用数学模型的建立方法,推算出该传感器的数学模型,并给出了类似传感器数学模型的建立步骤。