超图的路和圈

超图是离散数学中最一般最复杂的结构 .无圈超图已被证明在数据库设计中非常有用 .从关系数据的结构出发 ,建立了关于超图的路、连通性和圈的新的公理系统 .该系统与特殊情形———图是符合的 .引入了虚圈和实圈的概念 ,这是一对相关联的概念 .虚圈在特殊情形———图中不存在 ,退化掉了 .定义了超图圈的相关性和独立性 ,给出了超图中最大独立实圈数目的计数公式 ,对特殊情形———图 ,这个公式就是Euler公式 .     

森林文法(Ⅰ)

本文提出了一种高维文法——森林文法,森林文法中产生式的左部和右部都是树结构的并置,本文研究了森林文法的分类,特别研究了它的子类——上下文有关森林文法,并定义了上下文有关森林文法的一个子类——弱优先森林文法。     

一种基于三值电路的FT-TSC-FS二值数字系统

本文提出构成FT(容错)—TSC(完全白校验)—FS(失效保险)数字系统的一种新方案。这种系统是二值的,但由一类特殊的三值电路——三中取二值电路构成。电路中的所有单故障可以分为三类,分别称为掩蔽型故障、自校验型故障及安全型故障。对掩蔽型故障,本系统是容错的;对自校验型故障,本系统是完全自校验的;而对安全型故障,本系统是失效保险的。构成本系统的技术可称之为逻辑值冗余技术。作者认为这种技术将是达到可靠计算的一种有希望的途径。     

HUSTRING——一种性能优于令牌环的局域网

以哈尔滨科学技术大学命名的环形网——HUSTRING在媒介访问控制方式上采用了令牌传递和寄存器插入相结合的技术。理论分析和计算机仿真的结果表明,这种网络的实时传输性能明显地优于著名的令牌环局域网。本文描述了HUSTRING的网络拓扑、物理层、媒介访问控制层和逻辑链路层的体系结构,介绍了它的环接口的组成,并且比较了它与令牌环的实时性能。     

串行运算向量化的下标追踪法

本文为电子计算机向量运算识别器研制了一种识别与构造算法,这种算法自成体系,被命名为“下标追踪法”。跟坐标方法和时性关系矩阵方法相比较,它不仅增强了对于赋值语句循环的识别能力,而且把识别范围扩张到IF与GOTO语句,正在诸如151-3/4大型序列机一类的系统上加以实施。 文中介绍下标追踪法的基本思想、基本理论和基本方法,主要提出构造时序层次的公理系统——繁衍规则,证明了年长顺序定理与判别准则。     

可回溯点跟踪包含配选法印刷汉字识别

在汉字识别的包含配选法、双重包含配选法以及点跟踪包含配选法的基础上,提出了一种新的汉字识别的方法——可回溯点跟踪包含配选法。本文论述了该方法的基本原理及用此方法,在C1000光导摄象机与HP-9000小型机所组成的图象处理系统上,对4种印刷汉字的识别实验,其结果表明这种识别方法设计合理,具有较强的适应能力。     

时间分辨交叉相位调制方法研究非线性色散介质中的飞秒脉冲的自频移

提出了一种时间延迟交叉相位调制(XPM),并利用包含非线性色散效应的非线性Schrodinger方程,以共轭聚合物PPQ为基础分析了XPM光谱随着时间延迟的动态变化,不同的时间延迟导致了脉冲正常自频移——红移和反常自频移——蓝移的同时存在,从理论上进行了较为合理的解释。     

淮北第四纪哺乳动物化石和一个有关的原则

本文对淮北第四纪哺乳动物化石进行了综合研究.文中首先描述了几个新种,继而对地层和动物群进行了综合分析,提出了一个新的地层名称,一个过渡型生物区和一个宿县动物群(古菱齿象——披毛犀动物群),并进行了论证. 最后,文中总结出一个原则——性状接引,它的部分内容受分子生物学的启示和运用,指出了“新征先驱”和“祖征孑遗”之间的关系.     

Beale-Powell重开始算法的收敛性

用例子说明求解大规模无约束优化问题的一种有效算法———Beale Powell重开始算法不一定收敛 ;但经过适当修正 ,可以获得它在一定条件下的收敛性.     

“心灵学”的泛滥与超级大国的没落

毛主席指出:“一定的文化是一定社会的政治和经济在观念形态上的反映。”(《新民主主义论》)当前,美苏两个超级大国内外交困,陷入严重的政治经济危机。这种“无可奈何花落去”的境地,必然反映在他们腐朽没落的资产阶级文化上。形形色色的唯心主义思想、伪科学,充斥于两个超级大国的科学技术领域。“科学”与宗教结合产生出的一个怪胎,“公开帮助剥削者用更为卑鄙龌龊的新的宗教偏见来代替陈旧腐朽的宗教偏见”(列宁:《论战斗唯物主义的意义》)的“教会科学”——“心灵学”的泛滥,就是其中突出的一例。     

恒星速度椭球分布的由来

恒星速度椭球分布是关于恒星运动的一个基本的观测规律,从本世纪初提出以来,它得到了进一步的观测证实,并在星系动力学研究中被广泛地运用.但是这一规律本身的由来——即恒星速度椭球分布最初是怎样形成的——却一直没有得到解释。根据恒星是从原始星云转化而来这一辩证唯物主义自然观,本文考察了银河系前身原始气体云内部的湍流运动,证明这种湍流运动必导致速度椭球分布。这一分布首先为星胚所继承,以后星场的随机引力则只是引起椭球参数和方位的变化。这样,便为恒星速度椭球分布的最初形成提供了一个解释。     

应用Lagrange乘子法推导一般力学中的广义变分原理 *

应用对合变换建立了两类变量的经典变分原理———Hamilton原理 .灵活应用Lagrange乘子法 ,建立了完整系统和非完整系统的两类变量的广义变分原理和带有附加条件的广义变分原理 .推导了各类变分原理的驻值条件.     

广义复椭球上∂-方程的Lp估计 *

给出了Cⁿ 上一类耦合型弱拟凸域———广义复椭球的全纯支撑函数及其估计 .使用此估计 ,证明了 方程的最佳L^p 估计 ,同时给出广义复椭球上函数论的一些结果 .     

国际地球自转联测期间由LAGEOS卫星求得的ERP序列

作为全球卫星激光测距资料的辅助分析中心之一,借助于上海天文台的SHOR-DE精密定轨程序,处理了国际地球自转主联测期间,LAGEOS卫星的全球激光测距数据。取得了如下的结果:(1)一个地球自转参数(ERP)的序列——ERP(SHA)85L01。它自1983年9月初起每隔五天给出了极移两分量x_p,y_p和日长变化D_R的一组解。其内符精度为:x_p——2.1mas,y_p——2.2mas,D_R——0.13ms。至于轨道拟合后观测的总体中误差等于14cm。(2)试验了用五天弧段同时检测极移变化率的能力,表明测定的实际误差是1mas/d。(3)探讨了极移序列的实际精度与内符精度之间的关系,求得两者之间的比例因子约为0.7—1.0。结论是利用LAGEOS卫星激光测距资料测定ERP的实际精度现巳接近10cm。当力学模型进一步完善,观测沿卫星轨道的分布更加均匀时,这个精度还可提高。     

氢分子电子态b1Пu及其振动态的微分截面和振子强度

在电子入射能量300 eV条件下,测量了氮分子在不同散射角下的12—14 eV能区的能量损失谱,散射角范围为2.75°—10.25°。得到了电子态b¹∏_u振动能级v’=1—4的散射微分截面和广义振子强度,并通过外推k~2至零的方法得到了b¹∏_u及其振动能级v’=1—4的散射微分截面和广义振子强度,并通过外推K~2主零的方法得到了b¹∏_u及其振动能级v’=1—4的光学振子强度。所得结果与已发的实验数据和理论结果作了比较     

拟双线性方程的展开算法及其求解

本文定义了一类范围很广的非线性泛函型——拟双线性型,并定义了相应的拟双线性方程和证明了一些方程等价交换定理,然后利用这些定理设计了一个逐项无穷展开拟双线性方程的算法。最后证明了相应的基础定理,保证由此算法所得到的展开式即为方程的解。     

斜压原始方程组的谱——差分格式及其误差估计

本文讨论了斜压原始方程组的谱——差分格式及其误差估计,它的解满足半离散形式的总能量守恒律.     

推广的Born-Oppenheimer近似与诱导规范场的Aharonov-Bohm效应

本文结合诱导规范场的概念,推广了通常的绝热近似方法,在绝热或准绝热的情况下,建议了一种处理量子体系自旋自由度与空间自由度分离的微扰近似方案——推广的Born-Oppenheimer近似,由此一般地分析了诱导规范场的物理效应——Aharonov-Bohm效应,我们不仅从新的角度,用一级近似分析了验证Berry相位的Bitter-Dubbers实验,而且指出了在绝热条件破坏时该实验中出现的非绝热效应。     

分子轨道的图形理论——邻接矩阵行列式的计算和分子稳定性

本文在文献[1—3]的基础上,对本征多项式的常数项——邻接矩阵行列式作了处理,提出了一种简便可行的图形收缩计算法.结合各类共轭分子,包括复杂的点阵稠环体系等的计算,给出了一些同系列α_N的封闭公式,并对共轭分子的稳定性作了讨论.     

数值求解对流占优问题的分步预估校正有限差分——拟谱杂交方法

提出了数值求解对流占优问题的一种无条件L²稳定和误差L²指数地趋于零的分步预估校正有限差分——拟谱杂交方法;对非线性的对流占优问题,在数学上严格证明了这种格式的稳定性和收敛性,给出了解的误差估计式,并通过数值实验考核了方法的优越性.