一类极大平面图4-着色布尔方程组

对极大平面图的4-着色布尔方程组F1d1(x1,x2,…,xn)=1 F2d2(x1,x2,…,xn)=1……Fndn(x1,x2,…,xn)=1进行研究,得到了该布尔方程组的5条性质,并且给出了求极大平面图4-着色全部解的一个算法.     

一类指数分布参数的渐近最优和可容许的经验Bayes估计

在平方损失下,给出了指数族:f(x|β)=T′(x)βexp{-T(x)β}的参数β的渐近最优与可容许的EBi=1log(1 估计,即:nδ(x1,x2,…,xn)=φ(x1,x2,…,xn)(q T(x))n u,其中φ(x,x1,x2,…,xn)=log(1 T(x)q) Sn(x1,x2,…,xn)-v-1,x1,x2,…,xn(历史样本)和x(当前样本)独立同分布于f(x),Sn(x1,x2,…,xn)=n∑T(xi)q),u>0,v>0,q>0(已知)为任意的实数,并给出了证明。     

逻辑函数的树形简化法探讨

提出用树形结构来简化逻辑函数 .其指导思想是 :将几个逻辑变量 x1x2 … xn 及它们的非 x1x2 … xn看成是图中的 2 n个节点 ,将逻辑函数中每个最小项看成是图中的一个树 .然后 ,按文中所指出的规则就可以得到无冗余的最简与或逻辑表达式     

一类多元线性函数方程(Ⅰ)

设函数f(x1，x2，…，xn)对xn有连续二阶偏导数，我们寻求函数方程n↑∑i=1(-1)^i-1[f(x1，…，xi xi 1，…，xi 1) f(x1，…，xi-xi-x(i 1)，…，x(n 1))] (-1)^n2f(x1，x2，…，xn)=0的一般解．首先，给出了方程n↑∑i=l(-1)^i-1[F(x1，…，xi x(i 1)，…，x(n 1)) F(x1，…，xi-x(i 1)，…，x(n 1)]=0的一般解，其次，上述第1式对x(n 1)两次微分，并简化得到形如第2式的方程．第1个函数方程的一般解为f(x1，x2，…，xn)=(n-1)↑∑i=1(-1)^i-1[A(x1，…，xi x(i 1)，…，xn) A(x1，…，xi-x(i 1)),…,xn)] (-1)^n-1 2A(xi,x2,…,x(n-1).其中A(x1，x2，…，x(n-1))是对x(n-1)具有连续二阶导数的任意函数。     

一类Euler函数方程的解的上界

设φ(n)为正整数n的Euler函数,讨论了Euler函数方程φ(x1…xn-1xn)=m(φ(x1)+…+φ(xn-1)+φ(xn))的求解问题,给出了该方程的所有正整数解的较为精确的上界.作为应用,对于一些给定的正整数m和n,求出了此时方程的全部正整数解.     

有限伪反射群的二维不变式

设F是特征数为0的域,V是F上的n维向量空间,G是作用在n维向量空间V上的有限伪反射群,F[V*]G是由n个代数无关的齐次不变式f1,f2,…,fn在F上生成的多项式代数.在有限伪反射群的一般不变式理论的基础上,求出了G的二维不变式环F[2V*]G的一组基本不变式,f1(x1,x2,…,xn),f2(x1,x2,…,xn),…,fn(x1,x2,…,xn),f1(y1,y2,…,yn),f2(y1,y2,…,yn),…,fn(y1,y2,…,yn),这里F[2V*]=F[x1,x2,…,xn;y1,y2,…yn].并给出了F[2V*]G的基本不变式和有限伪反射群G之间的关系.     

Banach代数上n-上循环的Hyers-Ulam稳定性

设A是Banach代数,M是BanachA模,从An到M的n元线性映射f:An→M称为n-上循环是指任给x1,…,xn+1∈A都有x1f(x1,…,xn+1)+(-1)n+1f(x1,…,xn)xn+1+nΣi=1(-1)if(x1,…,xi-1,xixi+1,xi+2,…,xn+1)=0.证明了从An到M上的n-上循环是Hyers-Ulam稳定的.     

求逻辑函数布尔差分的方法

首先本文对布尔差分的基本性质和定理作了证明。凡属于经尽力查索资料尚缺少证明的,本文均加以证明,並注上“补充证明”。其次本文对于求逻辑函数的布尔差分的六种方法均举例加以演算说明。为了说明用图形法求逻辑函数布尔差分的方法,本文对不同情况加以讨论,对其原理也加以推导。以利使用时更为明确。最后对有关资料提供的两条定理,原文未介绍其证明及出处,本文也给予补充证明。这两条定理是: (1) 假设F(X)=multiply from k=1 to m Gk(X) 其中X=(x1,…,Xi,…,xn) 则(dF(X)/dx     

欧氏空间中二次超曲面的特征流形和半不变量

本文引入半向量的概念,利用它,导出一个用已知二次方程a(x1,…,xn)=0中的系数表达的不变向量b.从而我们将‘中心方程组'推广为‘定位方程组'.若用S*记其解集所示轨迹,称为曲面的特征流形,则可证明a(x1,…,xn)s*=const     

微分法在求多维连续型随机变量函数的概率密度中的应用

多维连续型随机变量的分布函数F(x1 ,… ,xn)与密度函数f(x1 ,… ,xn)的关系是 n x1 … xnF(x1 ,… ,xn) =f(x1 ,… ,xn) ,dF(x1 ,… ,xn) =f(x1 ,… ,xn)dx1 …dxn.利用这一关系给出了用微分法求多维连续型随机变量函数的概率密度的方法及实例 ,在许多情形下 ,它比通常的方法要简单一些     

PCI Express多链路的De-Skew逻辑设计

对于PCI Express(PCIE)多链路通道来说,发送端使用相同的时钟源同时发送数据时,通常会出现相位偏移(skew)的问题.解决链路中的相位偏移问题,能够保证所有链路中的接收端同时接收并正确处理接收到的数据,这在高速多链路串行电路中尤为重要.我们提出了一种De-skew逻辑电路,并说明了如何利用计数器来计算skew的大小、如何利用选择器控制数据是否经过缓存器,以及所组成的逻辑电路是如何消除链路中的skew;该逻辑设计已通过RTL级仿真和FPGA验证,仿真与验证的结果与预期结果完全符合,充分表明该逻辑设计能够完全解决链路的skew现象.与国外解决skew的方案对比表明,所设计的辑电路具有全面性,优越性和实用性.     

支持OLAP的数据库逻辑模型述评(英文)

我们描述了OLAP应用的基本逻辑模型 ,并对多维数据立方提出了若干设想。我们将该领域的工作分为商用和学术研究两大类。学术研究类的工作又进一步分为关系模型的扩展和面向数据立方的方法。最后 ,我们对有关工作进行了综合评述     

逻辑思维在翻译中的作用

分析了逻辑思维中的概念、判断、推理等在翻译活动中对于词义、句式以及篇章内在关系的判定等方面所具有的重要作用;指出在翻译过程中,逻辑思维活动是促使语际转换的重要因素。     

数字电路实验的虚拟化

介绍了虚拟仪器的简单使用方法及其在数字电路实验教学中的应用 ,列举了几个例子 ,并通过虚拟仪器与传统仪器的比较得出了在教学中建设高水平的虚拟仪器实验室的重要性结论     

基于逻辑描述的决策树算法及其Prolog实现

 决策树算法是数据挖掘领域的重要算法之一.文章首先对决策树算法的数据进行逻辑描述,然后使用保险公司客户数据来构建决策树,利用Prolog语言实现了基于逻辑描述的ID3算法,尝试了用逻辑推理方法解决数据挖掘问题,并对结果进行了分析.     

负判断推理的逻辑形式及特点

针对传统的普通逻辑中缺少对负判断推理的完整论述问题,阐述了负判断推理的两种形式:简单判断的负判断推理和复合判断的负判断推理.同时,归纳出负判断推理具有直接推理属性,以及前提和结论是等值关系的两方面的特点.     

数学分析解题过程中常见的逻辑错误及剖析

列举了学生在数学分析解题过程中常见的逻辑错误,并对其产生的根源进行剖析;指出中学数学教学应从早、从基础培养学生逻辑思维能力重要性。     

基于逻辑分层法对高校局域网故障排除的探究

对比开放系统互连基本参考模型,分析了高校局域网逻辑分层参考模型,提出了基于此模型的逻辑分层方法,给出了高校局域网故障排除流程图,进一步分层次提出了解决方法及应对策略.并就基于下一代互联网技术的高校局域网的故障排除挑战给出了参考性建议.     

逻辑表达式的简化和转换方法的改进

阐述了推广的吸收律、广义还原律和分解定理等以及与-或及与-异或表达式间的转换公式．以示例说明,巧妙地使用这些定理和公式将能更好地利用布尔代数法对逻辑表达式进行简化．     

基于优化层次聚类的文档逻辑结构抽取

半结构化文档的逻辑结构自动发现可以改善文档的浏览方式,提高文档内容构件的复用性,有效克服了半结构化文档难于利用的弱点。该文将文档处理对象扩展到结构松散的文档实例,提出了基于优化层次聚类的文档逻辑结构抽取算法——CEDLS。算法首先对文档逻辑结构标志性信息进行识别与特征提取,并根据逻辑结构抽取的特点对传统的层次聚类分析方法进行改进,使获得的分类结果适用于CEDLS算法的逻辑层次归纳策略。最终以上海证券所的年报为测试集进行实验,通过与传统的方法进行比较,证明了这种算法在容错性能和正确率方面的优越性。