Godel逻辑系统中一类模糊逻辑方程解的性质

以模糊逻辑系统中公式的真度理论为基础,提出了模糊逻辑方程概念,从而实现了方程思想与模糊逻辑的结合;并在Godel逻辑系统中选取形如r（p-x）=a的一类模糊逻辑方程,展开方程解的性质讨论,其中,P为原子命题,x是待定的公式,由此得到如下结论：模糊逻辑方程r（p-x）=a有同型解当且仅当a=0或l;有m-同型解（m≥2）当且仅当a∈{i／（m＋2）!li=0,1,2,…,（m＋2）!}．     

关于不定方程∏nk=1(k2+1)=a·m2的探讨

对于不定方程∏nk=1(k2+1)=a·m2,J. Cilleruelo证明了当a=1时,当且仅当n=3方程有解.证明了当a=5和7时,此方程无解;当a=17时,方程只有唯一解;还证明了一般情形,当a满足(a,17×101×1 297×739 601)=1且a的最大素因子p(a)≤2×738 740时,当n>3,方程无解.     

具有多时滞变系数一阶中立型微分方程的振动性

考虑一阶多时滞变系数中立型微分方程d/dt[y(t)-p(t)y(t-τ)]+m∑t=1Q1(t)y(t-σi)=0其中,p,Q1∈C([t0,∞),R-),τ,σt∈R+,lim inft→xQ(t)=qi,i=1,2,…,m,得到了方程在p(t)≥1的情形下,所有解振动的两个充分性条件,推广了文献[1]中的相关结论.     

具连续变量的二阶时滞差分方程的振动性

研究一类具有连续变量的二阶时滞差分方程△2τx(t)=p(t)x(t-σ)t≥t0＞0和△2τx(t)=m∑i=1Pi(t)x(t-σi),t≥t0＞0的解的振动性,给出了其有界解振动的几个充分条件.     

两个新的数论函数的混合均值

对任意正整数n,定义数论函数Ω(n)为Ω(1)=0,当n>1,n=pα11pα22…pαss为n的标准分解式,Ω(n)=α1p1+α2p2+…+αsps,其中(pi为素数,1≤i≤s)。数论函数Sk(n)定义为Sk(n)=m in{m:m∈N,nk|m!},即最小正整数m,使得nk|m!。运用初等方法研究数论函数Ω(n)与Sk(n)的混合均值问题,并得到一个有趣的渐近公式。     

一类中立型差分方程非振动解的存在和渐近性

讨论了非线性多时滞中立型差分方程　　　　Δ(x(n) - p(n)x(n-τ) ) +q(n) ∏mi =1(x(n -σi) ) αisgnx(n-σi) =0的非振动性 .其中 :p(n) ≥ 0 ,q(n)≥ 0且不恒等于 0 ;τ ,σi 是非负整数 ,i=1,2 ,… ,m ;αi >0 ,∑mi =1αi =1;Δ是前差分算子 ,Δx(n) =x(n+1) -x(n) .利用序列及映射的构造得出了方程最终正解的存在条件 ,并且引用以指数形式趋于 0的定义讨论了非振动解的渐近性态 .     

一类非线性多时滞中立型差分方程的振动性

讨论了非线性多时滞中立型差分方程　　　　Δ(x(n) - p(n)x(n-τ) ) +q(n) ∏mi =1(x(n -σi) ) αisgnx(n-σi) =0的振动性 .其中 :p(n) ≥ 0 ,q(n)≥ 0且不恒等于 0 ;τ ,σi是非负整数 ,i=1,2 ,… ,m ;αi >0 ,∑mi=1αi=1;Δ是前差分算子 ,Δx(n) =x(n+1) -x(n) .采用离散的Riccati变换和某些函数变换 ,利用反证法 ,得出了此方程所有解的若干振动准则 .     

一个新Smarandache可乘函数均值

对任意正整数n,可乘函数F(n)定义为F(1)=1,当n>1且n的标准分解式为n=pα11pα22…pαrr时,F(n)=min1≤i≤k1αi+1.用解析方法研究了这个Smarandache可乘函数的均值性质,并用解析方法得到了其均值的一个渐近公式.     

关于伪Smarandache函数的一个混合均值

对任意的正整数n,著名的伪Smarandache函数Z(n)定义为最小的正整数m使得n|m(m+1)/2,即Z(n)=min{m:n|m(m+1)/2,m N}.对任意的正整数n,算术函数Ω(n)定义Ω(1)=0,当n1且n=p1α1·p2α2...pkαk为n的标准分解式时,Ω(n)=α1p1+α2p2+…+αkpk.利用初等方法和解析方法研究了伪Smarandache函数Z(n)与算术函数Ω(n)的混合均值问题,并得到一个较强的渐近公式.     

四个命题模糊逻辑系统中公式真度的大小之比较

主要探讨了四个重要命题模糊逻辑系统Luk、Gd、Π及L*中公式真度的分布情况.首先在Luk、Gd、Π及L*中,分别计算了公式(p1p2)→p3,p1(p2→p3),(p1→p2)p3及p1→(p2p3)的真度;然后比较了其大小,其大小顺序为:τGd≤τL*≤τΠ≤τLuk,其中τG¨od,τL*,τΠ及τLuk分别表示系统Gd、L*、Π及Luk中公式的真度.     

逻辑功能与逻辑体制

对同一逻辑门电路，既可采用正逻辑体制，亦可采用负逻辑体制，还可采秀混和逻辑体制，选用何种逻辑体制，应视分析和设计逻辑电路的方便与否而定。     

论逻辑设计的逻辑思维方法

介绍了逻辑设计的四种逻辑思维方法：正向逻辑思维方法、逆向逻辑思维方法、双向逻辑思维方法和整体局部逻辑思维方法，并举例予以说明．     

互逆主义逻辑与古典逻辑比较

提出了古典逻辑中的一些缺陷,分析指出这些缺陷最根本的原因是将实质蕴涵直接应用于推理。互逆主义逻辑提出了二元认识论,通过归纳复合的方法建立命题,通过分解的方法应用命题,从而彻底解决了古典逻辑中的缺陷,并使推理可以机械地进行,便于计算机实现。     

多元逻辑函数的基础等价变值表示

传统的逻辑函数表示以AND-OR和OR-AND这2种逻辑函数标准范式为代表.基于变值逻辑体系,描述了一类基础等价变值表示,将经典的多元逻辑表达式转化成为变值等价表示形式.选择二元0-1函数集合列表,按真值和变值表示作为典型示例,并给出了2个函数表示结果.     

高性能低功耗逻辑电路—MOS电流模逻辑

本文介绍了一种高速低功耗逻辑电路:MOS电流模逻辑电路(MCML),该电路以其独特的差分结构及恒流源偏置方式,在高频电路及数模混合电路中表现出了低电压低功耗及高抗噪的特性,可作为高频应用中新一代高性能低功耗集成电路芯片。     

翻译与逻辑

逻辑是关于思维的科学.逻辑关心的是思维的前后连贯,各个环节的相互联系,没有逻辑的思维是杂乱无章的.而思维要凭借语言,因此语言活动与逻辑思维活动是相互依存的.翻译是一项特殊的语言活动,其特殊性在于它两种语言间的交际活动.语言不同本来是无法交际的,但由于人类的思维是相通的,研究思维形式的逻辑也是超越民族语言界限的,所以,使用不同语言的人通过翻译也能够进行交际.运用逻辑有助于我们正确认识客观事物,有助于我们准确地表达对客观事物的正确认识.这恰恰与翻译的两个中心环节--理解与表达--相吻合.     

光逻辑门

用半导体激光器和雪崩光晶体管组合光双稳器件的不同电路形式实现了与、或、非以及与非、或非等逻辑门。特别是利用光可并行输入、输出特性实现了异或逻辑门(光学半加器)。这种光逻辑电路有结构简单、高光增益、响应速度快和便于单片集成等特点,因此,在光计算技     

纵向注入逻辑

描述一种新的注入逻辑，即纵向注入逻辑，在这种逻辑中，对器件的结构作了特殊的设计以取得高封装密度和低功耗－延时乘积，普通注入逻辑（Ｉ＾２Ｌ）的横向ＰＮＰ注入极被纵向结构所代替。对于在Ｉ＾２Ｌ中影响封装密度和功耗－延时乘积的因素进行了分析，并且给出了这种新结构的设计依据。     

分子逻辑门

分子逻辑门是目前非常活跃的研究领域,有可能解决电子计算机发展的瓶颈问题.本文以单输入分子逻辑门为例对基于分子设计的逻辑门进行了介绍。     

逻辑与审美

逻辑能够造就美。学中就盛开着逻辑美的鲜活花朵。不符合语言逻辑和生活逻辑的，难以称之为学。逻辑推理在学创作中往往是作为美妙的思维程式出现的。逻辑并不意味着枯燥的概念会和乏味的推理，它在整个艺术世界中时时闪耀着美的光彩。