有限值方陣系統的公理化

我們知道,一邏輯系統可由公理法而确定,亦可由方陣法(真值表法)而确定。因此,在討論邏輯系統时,发生了兩大問題: 1.对於一个由公理法所确定的逻辑系統,如何構作它的刻画方陣?(这个方陣所定的邏輯系統,恰和所給的系統相同)——构作刻画方陣問題。2.对於一个由方陣所确定的邏輯系統,如何構作它的公理?——公理化問題。这篇短文想討論后一問題,而且只討論由具有有限个值的方陣所确定的邏輯系統,如何加以公理化的問題。     

运动穩定性理論及其某些發展

一、引言 任何一个力学問題,严格說来,其中都存在稳定性問題。这是因为:在我們組織力学系統的运动方程吋,必須对实际的系統作某种程度的簡化,略去某些次要的因素;而在求解力学方程时,对数据的测量(如初始条件)又不可能絕对准确。这样就产生了一个問題:即,我們所求得的鮮,是不是正确地反映了力学系統的实际运动?例如从运动     

釩(Ⅴ)的8——羟基喹啉絡合物的热稳定性的研究

1.絡合物在空气中可以热稳定到190℃,>190℃时就逐漸被空气所氧化,最后生成V_2O_5。絡合物在真空或N_2气中可以热稳定到240℃,>240℃时就逐漸热分解而有8-羟基喹啉及棕紅色物升华出来。 2.根据实驗結果,作者假定了絡合物在空气中的氧化过程並討論了前人在热解方面所提出的机理。     

稳定信源序列的渐近性质

1.本文仿照[1]及[3],进一步討論稳定信源序列的漸近性质,給出更为精确的結果。同时,本文試图对稳定信源序列的漸近性质作一系統的处理,因此本文中也包含了部分在[1]及[3]中已有的結果,但是可以看到,我們的証明比原来的一般较为簡洁。我們的叙述方式与[1]及[3]不完全相同,但实质上是一致的。     

巴丹吉林沙漠更新世古风向变化及环境意义

古大气环流研究旨在揭示高大沙山形成发育过程中地表风系的变化和大气环流形式。通过对巴丹吉林沙漠的沙山形态、沙山地层测年、古沙丘层理结构以及区域风况等的综合研究 ,表明末次间冰期以前该区主要受西风环流控制 ,地表盛行风向为西风 ,次为西北风 ,河湖水系较发育 ;末次冰期以来该区主要受东亚季风环流影响 ,地表盛行风向为西北风 ,次为西风 ,风沙活动居主导地位。古风向变化可能是青藏高原隆升对西风环流的阻挡与对东亚季风环流强化的具体表现     

大别山区古板块构造的研究

大别山区历来被認为是淮阳地盾,近年来有些研究者对淮阳地盾的論点,逐漸怀疑或否定。認为該区是古华北板块与古华南板块的結合带,在具体划分上应归华南地区。笔者从板块构造的观点出发,根据地质学、地球化学、地球物理学以及野外和实驗室等資料和数据的研究,認为大別山区的南部:从湖北省大悟以西經紅安—广济—宿松—桐城—庐江—綫,是古华南板块向古华北板块碰撞型的結合带。大別山区应划归华北板块。     

半三维空间环绕声系统

文中提出一种包含堅直方向半个空間的三維声重发系統。在已知的各种立体声系統中,所需的最少信息或者传输(或記录)通路数目N应該較重发維数n多1,即N=n+1例如,在两維平面的全景声重发系統或者三維空間環繞声系統中,其所需的最少信息分别是三个或者四个。但是,在这种新的系統中,声音的重发已扩展到三維空間的上半部份(实际上听感中也常常只有上半部份),而其所用的信息却仍然只是三个;因此,新系统的結构就較已知的三維空間环繞声系統簡单,在无线电广播中,其信号噪声比的恶化也就較轻。另一方面,新系統又能传送四通路全景声系統所不能传送的竖直方向感觉,其所需用的信号通路数目却与全景声系統一样只有三个而不需另外增添。最后还需指出,这种新系統与目前已知或者已通行的四通路全景声系統,双通路立体声系统和普通单通路重发系統都能兼容。     

有限时间区间上的运动穏定性问题

一、問題的提出及其發展簡介 近代工业技朮和国防的发展,特別是自动調节理論的发展,要求不仅研究一般意义下的(例如意义下的)稳定性問題,而且还提出了要研究其他新型的运动稳定性問題,例如,对于一个自动調节系統,使其在整个时間区間上保持稳定性,这只是对此系統的第一步的要求,为了保証系縮的某些质量指标,还須研究系統的过渡过程,     

横断山区种子植物特有属的植物地理学研究

横断山区共有种子植物本地特有属13个（隶属于9科21种）、新特有属7个、古特有属6个。其中5个古特有属为北极—第三纪成分或北方成分,1个古特有属为古地中海残遗,并且都分布在横断山区中部1 750m-3 500m的海拔带上,表明横断山区海拔1 750m-3 500m是古特有属在第三纪以后,由于气候变化、第四纪冰期作用、古地中海退却及横断山区形成等复杂过程中的一个避难所和分化区域。     

万古长江之谜

古长江曾向西流 地质研究资料表明,现今的青藏高原曾是古地中海的一部分,现在长江流域的大部分地区,在1.5亿年前,才从汪洋大海中隆起,渐渐成为陆地。原来,当时的长江发源于三峡地区的山地,沿着东高西低的地势,经过四川、云南一带的盆地底部滚滚西流,在云南西南部的南涧海峡流入地中海。5000万年前,由于印度大陆向北运动与亚欧大陆相挤撞,古地中海东部隆起而变成了青藏高     

邏輯系統的定則問題

关於什麼是邏輯系統(又名演绎系統或形式系統)的問題,目前已經有比較一致的意見。不过还有一些問題尤其是定則(一名推演規則)的問題,仍值得討論。所謂邏輯系統包含有一些对象叫做公式(最簡單而不再分析的特叫做項),以及一些联結詞,它把公式結合而成新公式。然后在所有公式之中特別画出一类叫做形式定理。     

树木年轮的形成及其影响因素

树被称为活档案,而年轮就是记录。年轮的形成既受树木本身内部因素的决定,也受外部因素的影响。不同的树木和不同的气候条件下所形成的年轮都有区别。因此,我们可以根据古树木年轮的具体形态来研究历史时期的气候变化,并预测未来全球气候变化对陆地生态系统的影响。     

双线性系统可控、可观测性及实现问题(续)

在实际工作中,人們常常希望从給定系統的输入和输出的实驗数据来了解系統的特性。尤其是如何选择一个动态系統(状态的微分或差分方程)模型,用它来实現所給的输入和输出映射,这就是一般的实現問題。(一) 連續情况1974年,Isidori等人利用Volterra级数研究了定常双线性系統(3.2)的实現問題。这时X(t)∈R~n,u(t)∈R~r,Y(t)∈R~s,而A、B、C均是适当維数的实数矩陣,X(0)=X_0。由Peano—Baker法容易构造出系統(3.2)的Volterra級数     

统一板流方程

无綫电的基本理論到目前为止还不够成熟,尚缺乏完整的系統性和严密性。因此本文的目的是試图創立一个所謂“統一板流方程”,作为研究无线电理論系統的参考,从而把对无线电应用中各个主要方面的解釋統一起来。§1、統一板流方程的建立从图(一)的典型放大器线路出发,則此线路的板流一般可写为:     

滑阀式两级放大液压随动系统的特性

近来,液压随动装置在金屬切削机床中得到越来越广泛的应用淙灰呀洺霈F了不少新型的随动系統,如:噴嘴——挡板、針閥、电液控制等;但滑閥式液压随动系統毕竟是目前应用最广而发展也比較成熟的一种。滑閥式液压随动系統所能保証的加工精度目前还不够理想,一般生产中应用的滑閥式液压随动装置可保証士0.05毫米左右的加工精度。如果抛开其他工艺因素对加工精度的影响,而主要研究液压随动系統的精度时,一般可以用靜态条件下,系統在不同輸入信号作用下(阶跃、等速、等加速运动)的誤差、速度放大系数和刚度系数做为衡量系統优劣的参数。在提高液压随动系統工作精度的同时,会出現稳定性降低的情况,所以,选定一种同时具备較高精度和較好稳定性的液压随动系統是一項很有意义的工作。本文試就两种两級放大液压随动系統的靜态特性和稳定性做一綜合分析,並与同类型滑閥一級放大的系統进行对比,从理論上闡明系統的基本特性。在以下分析中,假設初始条件——即系統的速度和負载的初始值为零。认为液体流經滑閥工作边时的特性符合伯努里方程,並对各非綫性影响进行綫性化。同时,认为系統油液的温度不变,压力恒定,忽略液压冲击的影响。     

模态谓词演算的判定问题(Ⅰ)——关于Kripke归约

本文所討論的模态謂詞演算系指基于一定的古典模态系統之上的謂詞演算。所謂古典模态系統是指建立在古典命題演算之上的任意模态命題演算,如Lewis的S1—S5,但远不限于这些(参看Lemmon[8],[9])。在現代文献上討論得比較多的模态謂詞演算有[12]中的S_λ~*(基于S4),[6]中的S5*(基于S5)和[3]中的S_ε~*(基于S5.十分明显S5~*和S_ε~*是等价的)。一般說来,任給了一个古典模态系統,我們总可以依照[12]中由S4构作S_λ~*那样作出一个模态謂詞演算。以下我們以(?)表示任意古典模态系統,以(?)~*表示基于(?)之上的模态謂詞演算。以(?)_1~*表(?)~*的一目謂詞演算子系統,以(?)_(pq)~*表示(?)_1~*中仅含两个确定的一目謂詞字母p,q的子系統。     

对中学化学《原子结构》一章内容安排的意见

中学化学教学大綱規定,中学化学的主要任务之一:“使学生自觉地掌握巩固的系統的化学基础知識”。在对这一条任务的理解上,我們应当有統一的认識。所謂自觉地掌握,它意味着学生在接受知識时,不是教师单純的机械灌注,而是要通过教材本身的邏輯系統和教师的生动讲解,从而激发了学生的积极思維活动的結果;所謂系統巩固的化学基础知識,应反映在教材内容的安排順序,知識的深度广度等方面,既要照顧知識本身的历史发展和邏輯体系的順序,又得照顾学生的年龄特征、知識基础等各个方面,否則就很难完成大綱所規定的任务。     

NE系统与完备的初等系统

在文献中我們引入了关於(第一型与第二型)初等系統的概念,初等系統的半完备性与完备性的概念,並且研究了关於函数xNy,x+y与x·y的各种第一型半完备的初等系統。本文研究关於函数xNy与xEy(当x=y时其值为0,当x≠y时其值为1)的第一型完备初等系統。本文还指出,在一个半完备的初等系統中有了函数xNy与xEy后,它就成为完备的初等系統了。     

中国荒漠半荒漠地区拟步甲的组成和分布特点

中国荒漠半荒漠地区已知拟步甲３亚科１９族５９属３２４种,其中特有种１７１种,占５２．８％;中亚种９２种,占２８．４％;西伯利亚种３５种,占１０．８％;青藏高原种１５种,占４．６％;泛古北种８种,占１３．６％;地中海种３种,占０．９１％。属级单位组成上呈现中亚区系＞西伯利亚区系＞地中海区系＞地方特有区系＞青藏高原区系＞泛古北区系,其数量分别是３０,２２,１５,１４,１３,８。属种及其数量分布在各地理上呈现由西向东、由北向南递减的趋势,即新疆４１属２１５种＞内蒙古３８属１２９种＞甘肃３０属７７种＞宁夏２４属７１种＞青海北部１２属２９种＞陕西北部１４属２１种＞山西北部１１属１７种＞河北北部１０属１６种＞辽宁西部５属１２种。表明中国荒漠半荒漠地区拟步甲昆虫是中亚区系的主要组成成分,在属级组成上与欧洲———西伯利亚区系和青藏高原区系有较大联系,新疆是我国荒漠半荒漠地区拟步甲昆虫分布最丰富地区,占总种数的６６．４％。本文还对新疆地区、柴达木盆地、甘蒙地区、蒙东半荒漠区和高山地区５个典型地区的拟步甲分布特点作了分析对比     

两个电站的电力系統有負載振动时的靜稳定問題

一、前言在大容量的电力系統中負載的数值很大,因而它的变化也很大,也就是說:在大容量的电力系統中,时常有負載的振动。例如,工业发达的国家各种工业用电量很大,負载的变化也大。因此,电力系統的稳定就要受到影响。例如,苏联的某大容量电力系統,即曾因負载