泛函程序设计语言FFP的γω演算语义

一、前言 γω演算有希望成为泛函程序设计语言(至少,对于不带类型的)最一般的语义学理论基础。本文为形式泛函程序设计语言FFP奠定γω演算语义,从而也为γω演算开发了一种应用。文中还着重讨论了FFP语言中的元合成法则,并提出了一般性元合成法则(general metacomposition rule,它区别于广义元合成法则)。     

棒旋星系宏图的一种解释

目前,对S_a、S_b和S_c型旋涡星系已作了大量的研究.但是,已知旋涡星系中约有1/3多一点是棒旋星系,对它们的详细结构和动力学还未进行充分的研究。对线度为2R、等效厚度为2D的星系盘,解泊松方程,得引力势的形式解为式中各量的意义与文献[3]同.为了研究文献[2]提出的问题,和解释棒旋星系的类型,作者     

中介逻辑ML的一种模型构造

中介逻辑ML是根据中介原则构造的一种新的、非古典的逻辑演算系统,详见文[1,2]。本文给出了ML的一种模型,即ML理论的一种语义解释。     

网络现代场论的建立与进展

网络现代场论是把属于不同学科的物理电动力学与电工网络理论有机地结合起来,在网络理论中提出“网络场论说”的学术思想,建立一个非线性网络与线性网络统一的场论说。它开始提出于1985年,至今只有10年历史。 1 从物理教学引发出场论说思想 网络现代场论的思想最初始于物理学的一个教学问题。当进行Kirchhoff第二定律教学时,可能会碰到Kirchhoff第二定律与Ohm定律的关系如何以及该定律表述的方程中各项正负号规定法则的由来或根据是什么?围绕着这两个问题,探讨了稳恒电流中有关能量守恒与转化的问题。经过研究把稳恒电流有关的条件代入电动力学的Poynting定理中,便得到此式。由它得出结论,颇为意外:(1)该式是代表稳恒电流中对任意闭合电路都普遍成立的能量守恒与转换定律;(2)闭合电路Ohm定律、电源路端电压公式以及Kirchhoff第二定律都是该式在不同电路里的具体表现;(3)Kirchhoff第二定律的正负号规定法则来源于该式线积分时分离出来的余弦因子。     

多型一床矿床和多型一体矿床

1 多型—床矿床一个矿床一般都由一种类型的矿床组成。例如石英脉型矿床由石英脉矿床组或,斑岩型矿床由斑岩矿床组成,夕卡岩型矿床则由夕卡岩矿床组成。但也有一些矿床,它可由两种类型矿床或三种类型矿床共同组成一个矿床,且成因上也互相关联,称之为多型一床矿床,即一个     

PROLOG与第五代计算机

引言在计算机科学中,没有什么比语言与计算机的关系更为密切。迄今为止,人们已经创造了三种类型的语言: 1.命令型语言,从机器语言、汇编语言,到FORTRAN及Ada都属于此类语言。 2.函数型语言,其代表作有Mc Carthy的纯LISP及J.Backus的FP语言。 3.逻辑型语言,其代表作有PROLOG等语言。与这些语言相对应的计算机结构体系有:     

复数在有限超越型域上代数无关性的判别法则

一、引言 盖尔芳特超越性判别法(Q上)是建立代数无关性的有力工具。文献[2]将它推广到有限超越型域上。本文将文献[2]中的判别法推广到多变数情形,亦即建立了复数在有限超越型域上代数无关性的判别法则。     

广义元合成法则

本文讨论广义递归构系的广义元合成法则所赖以形成的γω演算基础。广义递归构系是递归构系“从用于定义一组函数到用于定义一组泛函”的推广,是函数/逻辑编程语言FAIR-LILY(一种带变量的FFP语言)的核心。为了要支持广义递归构系的γω演算语义学,广义递归构系中主泛函的使用必需服从一种“广义元合成法则”,后者是FFP语言     

“不用归纳的归纳证明”与相对完备性

一、引言 一等式公理集确定了一个簇,即满足该公理集的全体模型。由一阶等式逻辑的完备性,等式e在一簇上为真,当且仅当应用等式推理规则,e从相应的公理集可证。在计算机科学的许多分支中,如抽象数据类型的代数描述及代数语义等,我们关心的不是满足一等式集的全体模型,而只是某一类特定的模型,如所谓初始模型。相对于这样的语义,等式推理规则不再完     

储蓄服务中的心理学

气质是一种典型而稳定的个性心理特征。人的气质有四种类型,储蓄服务中也需要因人而异:一、兴奋型:属于这种气质的储户,多为人直率、热情、精力旺盛、情绪激烈,易和储蓄员发生争执,对这种储户要特别注意服务态度温和,语言要婉转,立求快收、快付,在发生争执时,要克制疏导矛盾,避免冲突。     

论假说和假说主义

1.归纳主义、演绎主义和假说主义传统的归纳方法,无论枚举式还是消去式,都是定性的。它导致发现不同类型的定性规律:因果的、结构的、演化的,等等。某些对科学来说更为重要的有关方法都是定量的。统计推理导致发现经验统计规律。测量的内插和外推导致发现两个直接测得的量之间的函数依从关系。这些方法可以看做为归纳的推广。它们可以称为广义归纳方法。     

多层成分调制膜结构的低角X射线衍射研究

组分调制多层膜(ML)是由两种不同组元的纳米量级的薄膜交替沉积形成的,它有两个重要的结构特征:纳米级的调制周期和高密度界面。这种独特结构使得ML具有很多独特的性能,在应用及基础研究上都具有重要意义。ML在垂直膜面方向的层状结构在X射线辐照下也产生Bragg衍射,但它产生的调制峰出现在低角位置(2θ<10°)。调制峰包含多层膜的结构信息。本文报道了用低角X射线衍射(LXRD)对不同系列的多层膜的研究结果,结合光学原理精确地确定了其平均调制周期、平均成分,对界面粗糙度进行了评估,同时还     

LED冷光源在矿山企业的应用

阐述了LED冷光源的发展概况及其与传统光源相比的优点,并根据现阶段山西嘉士朗科技公司设计制造的KL4ML(A)型矿灯和正在研发的DGS18/127L(A)型巷道灯等系列产品为例,说明了LED冷光源在矿山企业的应用。     

碳化硅新多型体重105R(a)的晶体結构

<正> 已发现的碳化硅新多型体数目不断增加,最近已达七十种。取得晶体结构数据的达二十八种,其中属于三方类型的十七种结构中有七种属于(33……32)结构系列,四种属于(33……34)结构系列。 105R是我们最近发现的32种新多型体的一种。空间羣为R3m,六方晶胞点阵常数(据A.Taylar&R.M.Jones的SiC基本类型6H点阵常数精确测定值推算的结果): a=3.0806c=264.54,z=105。 我们曾从三个实验室升华法生长的单晶体中发现了这一多型体。它们均与基本类型6H连生,其中一     

论多细胞物种的进化机制

本文对生命史中多细胞物种的形成机制提出了创新性的观点并对此进行论述。该新观点认为:生命进化的本质是各种生命生存效率优化的过程。在此过程中,多细胞物种的产生必然要解决一对矛盾,即单细胞局部利益最大化与多细胞整体利益之间的矛盾。解决这对矛盾是保证多细胞整体生存竞争效率的前提。因此,多细胞物种的进化必然是不断优化整体调控机制过程。调控机制的建立与完善是通过细胞的智能活动完成的。文章对多细胞物种的成种过程进行了逻辑推理,并依此推理过程提出了6个重要的预测,通过列举与这些预测相一致的事实证据来说明笔者该观点的合理性。     

从磷酸鹽沉积条件研究我国大地構造

关于磷灰岩矿床的成因类型,苏联曾划分为地台型、地槽型和变質型三型,以地槽型沉积的层狀磷灰岩为最有工業价值,其余次之。这种划分法,从我国已有的資料来看,同我国磷矿情况不太相同。因为到     

模代数在多值逻辑系统中的适应范围

一、引言 在二值和多值逻辑的研究中,使用最广泛的代数系统是格代数系统和模代数系统。由于下述原因使模代数系统的研究受到重视:1)多值模代数中的两个基本运算的作用对象和运算结果都为多值信号,因而避免了在采用格代数时必然出现的译码器—二值电路一编码器的夹心面包式电路结构;2)模代数中的基本运算的含义及法则与普通代数相似,因而符合人们的数学习惯;3)一个函数通过GRM展式往往可以化简成非常简单的形式,从而使电路     

语言天才的智能之谜

这个令人意外的消息是科学家从电子邮件中得来的.一位署名为N的人在邮件中详细描述他的祖父(西西里人)如何驾轻就熟地学习各种语言,到临终前他能说70种语言,用56种语言来读写.收到这封电子邮件的是英国伦敦大学的语言学名誉教授迪克·赫德森.据N描述,他的祖父曾在20世纪初来到纽约,当时只有20岁.他在那儿做铁路搬运工,因此经常与说着不同语言的旅客接触.N说,他曾亲眼目睹祖父将一张报纸译成3种语言.     

交叉神经支配后肌纤维肌球蛋白轻链类型的变化

在分析随机剥取的正常大鼠快慢肌单肌纤维肌球蛋白轻链图谱中,我们发现凡是取自伸趾长肌(Extensor digitorum longus,EDL)的纤维,都具有一种相同的轻链图谱,而取自比目鱼肌(Soleus,Sol)的纤维,都具有另一种相同的轻链图谱,轻链类型的这种特征,与同块肌肉ATP酶染色表明的Ⅰ型纤维或Ⅱ型纤维是无关的。由于上述每块肌肉中均包含了快慢     

蚂蚁奇异的生活

畅行的"交通线"蚁群已形成了自己行之有效的"交通网络",它们几乎是"盲目"地遵循这一路线,不存一丝怀疑。蚂蚁总是能够为它们的货物运输找到最为经济的路线,即使在道路被意外阻断以后也能够迅速找到另一条最合适的线路。蚂蚁的集体生活靠特殊的"化学语言"保持联系。人们把蚂蚁的"化学语言"称为激寨,蚂蚁在觅食时,把激素散布在来回的路上,同伴根据激素的气味,就知