制约逻辑 消解原理 人工智能语言

本文在简介制约逻辑的基础上,提出了基于制约逻辑的消解原理,并探讨了基于这一原理的人工智能语言及其机器实现。     

关于有序除环与有序域上的非负矩阵

本文的目的是把非负阵矩的主要理论推广到有序域乃至有序除环。其中有些定理的证明是经典证法的移植,有些则是新给的.当然新的证法对经典结论仍然适用.     

超积拓扑有序域

本文是超实数理论自然而相当广泛的一种推广。在假定诸(Z_1,+,.,■,τ_i)(i∈I)是拓扑有序域是有序域,(Z_i,■,τ_i)是拓扑有序空间,(Z_i,+,.,τ_i)是拓朴域.以下同此)的条件下,在模型论里占十分重要地位的超积■~D Z_i={f_D:f■}中用极自然的方式引进序结构≤、代数结构+与·、拓扑结τ~D,并通过下述一系列定理证明■,+,.,≤,τ~D)也是一个拓扑有序域(称为超极拓扑有序域)。且在D是I上的Frec′het超滤子(即含Fre′chet滤子D_F={F相似文献   

负泊松比负热膨胀超材料微结构拓扑优化设计

提出一种拓扑优化设计方法,用于设计同时具有负泊松比和负热膨胀系数的超材料.超材料是人工设计的复合材料,由微米或纳米结构的周期性阵列组成,并具有天然材料难以具备的超常物理性质.基于拓扑优化理论,建立了一个表示多材料微观结构的多相边界的水平集模型,并采用数值均匀化方法来计算微观结构的等效性能,然后通过参数化水平集优化方法实现边界形状的演变和拓扑结构的设计.通过两个数值算例,给出超材料微结构材料分布的优化结果,证明了设计方法的可行性,为实现具备特殊性能的人工材料设计提供了一套系统的设计方法.     

制约逻辑, 消解原理及其应用

本文首先简要介绍了制约逻辑，然后提出制约逻辑的子句类型和消解方法，并对简称为ＬＥＬＡＩＬ的实验系统（我们自己在这个原理的基础上开发的问题求解软件系统）及其求解实例进行了讨论。     

数学教学中有序原理的应用

根据控制论、信息论、系统论的观点,有序原理体现系统的开放性,信息的交互性等特点。所谓有序,即一个系统由较低的结构转化为较高结构的过程,它是阶段性的整合,是系统性的链接。以教学系统为例,讲清、学会的过程,是为序;反之,说理不清,迷惑不解的过程,为无序。记忆、理解的过程为有序,而遗忘、生疏的过程为无序。     

物质系统演化的有序原理初探

物质系统的演化，包括基本粒子和化学元素的形成、化学元素的组合、生命的起源、生物的进化，已构成连续有序的统一体．物质系统演化的有序性分为结构有序和功能有序；演化总是朝着能量耗散减小的方向发展；动力学方程能有效地描述物质系统演化方向；涨落是系统形成新的有序态的条件，系统内要素之间的非线性作用和系统的开放性是有序态形成的基础．生物跳跃式进化是物质系统从低级有序向高级有序演化的突出例证．     

负阻效应的原理与应用

在对负阻元器件特性进行研究和分析的基础上引出负阻效应的概念,对负阻效应产生方式和原理进行了论述。NIC(Negative Impedance Converter)是一种广泛运用于设计的负阻抗器件,提出了两种构成NIC的方式,给出了利用NIC来实现阻抗变换的设计原理和方法。运用由运算放大器构成的NIC对现有的LC阻尼振荡实验进行了改进,并给出了具体的电路,使实验结果更接近理论分析结果,还可使观察到的实验现象更加多样化。对负阻效应在几种实际电子线路中的应用进行了研究和总结。     

负折射率超材料实现光线增强

不久前，美国研究人员研制出一种可增强光线的负折射率超材料，从而扫除了超材料在光学技术领域大展拳脚的根本障碍。新研究预示着，研究人员能据此研发出功能超强的显微镜、计算机甚至隐形斗篷。     

浅析双负材料的原理及应用

双负材料(又称左手材料)是指介电常数和磁导率均为负的材料,双负材料具有与普通材料不同的电磁特性.双负材料在实验上取得了突破性的进展,各种特性逐渐被实现,文章对双负材料的原理和应用进行了研究.     

超包囿与广义α-正规扩张超有序域

本文引入超包囿的概念,讨论了它的基本性质及其与滤子、超网的关系,用它定义了有序域的超积和超幂,建立了一类非常广泛的α-正规扩张超有序域,得到一些新的结果.     

从负折射超材料到光学隐身衣

1964年俄罗斯科学家V.Vesalago从Maxwell方程组出发断言具有负折射率的左手材料(LHM)可以存在,1996年和1999年J.Pendry提出了LHM的初始设计。2000年D.Smith制成首个LHM,它可把微波波束弯折到与常规的不同方向。近年来LHM吸引了人们的兴趣,它也称为超材料,但在自然界并不存在。它可变更电磁波传播,从而造成负折射甚至隐形。一个时期以来,在微波和光频进行的隐身斗篷实验是2D或3D的,它们与通常的隐形方法显著不同。LHM的其他应用如左手传输线、成像技术等。本文首先对负折射研究和隐身衣设计的历史和进展作回顾,进而讨论了这些领域中理论与实验工作的意义。可以看出负折射问题是非常复杂的。还讨论了负折射与负波速、负折射与负GH位移的关系。     

有序集的一般归纳原理和连续归纳法

证明了一个适用于任意有序集的一般归纳原理,以此为基础导出了数学归纳法、超限归纳法和连续归纳法,从而揭示出三种归纳法的共同基础。文中的例子显示出连续归纳法可用统一模式简单明了地给出数学分析中若干定理的证明,如果在数学专业的分析教学中应用连续归纳法,将有助于克服长期存在的教学难点,提高教学的质量和效率。同时也为分析推理的机械化进行了必要的准备。     

基于负刚度原理的结构隔震效果分析

针对长周期结构隔震效果较差的问题,提出了在普通隔震层附加负刚度阻尼装置(NSD)的新型隔震系统,并讨论了NSD对隔震体系性能的影响.首先,通过推导和讨论NSD隔震体系的自振频率、阻尼比和动力放大系数,指出该隔震系统可以显著延长结构自振周期和增加结构阻尼比,较适合长周期结构隔震.然后,采用ANSYS有限元软件分析了铅芯橡胶支座(LRB)隔震体系、隔震橡胶支座(LNR)与NSD并联隔震体系的地震反应,结果表明后者的各种反应均比前者要小,对层间位移和柱底剪力降低更明显,并且LNR隔震层附加负刚度比不超过-0.30的NSD可以获得较好的隔震效果,更易实现长周期结构的隔震目标.     

电磁波传播中的超光速群速和负群速

分析了产生群速超光速和负群速的条件。讨论了截止波导中消失波条件下的超光速群速和负群速。用模拟同轴光子晶体的结构进行实验,获得了阻带中的超光速群速,Vg=(1.5-2.4)c。     

复原胞超光栅中负透射的鲁棒性

基于多重散射理论,研究了复原胞超光栅在发生负向透射,即透射光与入射光在法线同侧时,复原胞的结构对负向透射效率的影响.复原胞由2个不同半径的介质纳米柱组成,它们沿一条线排列起来构成超光栅.结果表明,要实现完美效率,复原胞超光栅对小柱子的半径及其在复原胞内的位置并没有非常严格的要求.这意味着复原胞结构对负向透射现象具有很好的鲁棒性,制备和实现高效的复原胞介质超光栅非常可行.     

负超几何分布、负二项分布与Poisson分布之间的关系及其推广

本文证明了负超几何分布在一定条件下,以负二项分布作为其极限分布,而负二项分布在一定条件下,又趋向于Poisson分布;进而,提出了多维负超几何分布的概念,将上述三种分布之间的关系推广到一般多维情形,证明了n维负超几何分布在一定条件下,以负n+1项分布作为其板限分布,而负n+1项分布在一定条件下,又趋向于n维Poisson分布.     

“π”型双频负折射率超材料

基于有效媒质理论,设计了一种"π"型光频段电磁超材料.仿真结果表明,这种超材料能够在550.4THz和577.8THz 2个频率附近产生谐振,并且在谐振频率附近样品的介电常数和磁导率同时为负值;通过将"π"型单元排列成楔形结构,验证了电磁超材料的负折射性能;进一步的研究证实,这种超材料的电磁响应与前后"π"型结构之间的旋转角度密切相关.另外,这种"π"型电磁超材料具有较低的能量损耗,弥补了其他渔网结构损耗高的缺陷,同时也为设计可见光频段的多频电磁超材料提供了一种新模型.     

超塑性原理 基于热动力学原理的塑性理论近似

本书论述了塑性理论和热动力学之间的相互作用，并介绍了固体发生非线性和不可逆变形时的理论模型。塑性理论的近似方法严格基于热动力学，因此确保了所介绍的模型服从热力学定律的约束。本书着重强调了势函数的应用，以及基于两个标量势得到材料不可逆行为本构模型的推导过程。