分布式数据库系统C-POREL中的事务管理

本文描述微机网上的分布式数据库系统C-POREL的事务管理。给出了C-POREL中多事务并发执行的控制策略,局部和全局恢复机制,实现网络健壮性的可靠状态控制协议RSC和加工分布式多结点事务的协议。最后给出C-POREL的事务管理程序TM的体系结构。     

Kähler流形上的Schwarz导数(Ⅱ)

证明了当目标流形是复投影空间CPⁿ和复超球Bⁿ(具有典则度量)时,Kahler流形的全纯映照的单射定理.至此,连同已经证明的关于复Euclid空间Cⁿ(具有平坦度量)的同样结果,对于全纯截曲率为一1,0,+1的目标流形建立了单射定理.     

类数公式的机器证明——Chowla一个猜想的注记

设素数 p=4N² + 1 (N为一个正整数 )使得实二次数域Q(√p)的类数为1 ,作为追随吴文俊数学定理机器证明方向的一次尝试 ,用微机证明了一些虚二次数域Q√( -qp)的类数公式 ,这里 q =3,7,1 1 ,1 9,2 3,31 ,43和 47.     

网络路径问题及其多目标扩展形式的混合进化算法

本文就几类困难的网络路径问题及其多目标扩展形式给出相应的混合型进化算法,并在微机上予以实现,为复杂的组合优化问题提供了新的求解手段．     

约束多目标选址问题及其算法

文章考察了一类带有区域约束的多目标选址问题，给出了用模拟退火法进行求解的策略，并在微机上予以实现，经试算得到了满意的效果。     

一个除数为2m(2n±1)的快速除法

本文提出了一个除数为常数2^m(2ⁿ±1)形式的除法的快速算法。该算法可非常简单的直接由硬件和软件实现。AP-601高速向量计算机无冲突访问存贮系统的素数模地址变换的硬件实现,便是该算法的成功应用。文中不仅给出了算法的数学基础,也给出了某些性能指标。     

一个新的既约梯度法及其收敛性

本文讨论了线性约束条件的非线性规划的既约梯度方法.文中提出了一个新的既约梯度法,并在相当弱的假设条件下证明了这个方法的收敛性.所得主要结果如下:1.设目标函数f为一阶连续可微,且约束条件满足非退化性.则从任意可行点开始,用这个方法或经有限次迭代后到达K.—T.点,或得到一点列{x^k),其任一极限点皆为K.—T.点.2.若点列{x^k}是收敛的点列,则这个方法包括的转轴运算在整个迭代过程中只有有限次.3.若目标函数f为二阶连续可微,且其Hessian矩阵为一致正定,则点列{x^k}必收敛到最优解.4.若最优解x更满足严格的互补松弛性,则{x^k}除有限个点外满足。     

YBa2Cu3Ox超导体的光谱研究

能带是决定固体特性的头等重要的因素。我们用光谱方法对单相YBa₂Cu₂O_x高T。超导体进行了研究,测量了样品的反射-吸收谱、Raman光谱和荧光光谱.其350和500nm吸收带以及390nm,560nm荧光峰来自晶格中Cu⁺发光中心,是跃迁过程¹A_1g(3d¹⁰)-¹E_g和~3E_g(3d⁹4s¹)。其720nm和860nm荧光峰来自Cu²⁺发光中心,是由于自由离子光谱项²D在八面体晶场、正交晶系晶场中分裂为5个能级之间的跃迁。此外,还有一些光谱可能来自晶格中Cu³⁺发光中心,其481cm^-1和551cm^-1声子对说明了312cm^-1处声子对与电子系统是强耦合。     

可以作为宇宙结构特征的作用量■(n)——天文系统的角动量、质量和两者的关系

通过一般的理论考虑,本文得到了可以作为特征物质在宇宙中各种典型尺度n上的行为作用量子,其中h,G,e和m_a分別是Planck作用量子、引力常数、基本电荷和基本粒子的有效质量,n是尺度参数。由此进一步得到了可与观测比较的、各种天文系统的特征角动量谱J(n)=hⁿ、质量谱Mⁿ=(hⁿCα/G)^1/2和两者的关系Jⁿ/(Mⁿ)²≈G/Cα,其中C是光速、α是精细结构常数。     

在微机上讨论数学解析式的点滴收获

微机不仅有运算速度快,存贮信息的功能,还有逻辑判断和高速绘图能力,使数学解析式子,迅速变成图形与图象。微机与学生之间的交互作用,又可以让学生根据自己的要求,输进必要的数据,在微机终端上显示出相应的题解或图象,以实现学生的直观想象。对逻辑思维严密,含有诱误点和隐蔽点的数学解析式,在微机上讨论也可以得到令人满意的效果。     

干酪根降解热力学参数的优化模型及算法

根据干酪根可直接降解为液态烃与天然气,液态烃又可降解为天燃气,以及排烃量的数学模型,求干酪根降解中热力学参数(即频率因子和活化能)的问题是个常微分方程组初值问题的反问题。本文首先将这一问题转化为一个隐式约束非线性规划,并讨论了该规划的分解及目标函数与优化变量之间的关系。最后给出了可在微机上实现的优化算法和究际应用。     

GaAs颗粒镶嵌薄膜的非线性光学性质研究

采用单光束的Z扫描技术研究了GaAs颗粒镶嵌薄膜的非线性光吸收和非线性光折射特性,获得了增强的三阶光学非线性响应.实验测得的非线性折射率系数为 10^-3esu和非线性光吸收系数为10^-1cm/W量级.研究了产生饱和吸收时的光跃迁选择定则,观察到了饱和吸收现象和双激子态的双光子吸收现象,实现其饱和吸收和双光子吸收所需的辐射光强小于10⁴w/cm²结果表明:增强主要起源于量子限域效应,在强限域条件下,库仑作用效应被更强的限域作用所掩盖.GaAs颗粒表现出类似于二能级系统的光学非线性响应特征.     

实半单Lie代数Weyl群的结构

设g是一个实半单Lie代数,b是g的一个Cartan子代数,b^c和b^c分别是g和b的复化,而且σ是g^c关于g的共轭。W(b^c)表示g^c的作用在b^c上的Weyl群,令W_σ(b)是W(b^c)的令b不变的元素组成的子群,而W(b)则是g的令b不变的内自同构在b上的限制所组成的群。W(b)和W_σ(b)分别称为是g的关于b的Weyl群和拟Weyl群。在本文中,我们对g的每个Cartan子代数b给出了群W(b)和W_σ(b)结构的明确表达式(定理5)。并对典型单Lie代数g的每一类Cartan子代数具体算出上述两个群(附表)。     

关于Monogeny和Epigeny模类

设(S,≤)是严格全序幺半群,M和N是左R-模。记A=[[RS,≤]]。证明了如下结论:(1)如果(S,≤)是有限生成的且对任意s∈S有0≤s,则Epi(_[[R^S,≤]][[M^S,≤]]) = Epi(_[[R^S,≤]][[N^S,≤]])当且仅当Epi(M)=Epi(N);(2)如果(S,≤)是Artinianr ,则 Mono(_[[R^S,≤]][M^S,≤])= Mono(_[[R^S,≤]][N^S,≤])当且仅当Mono(M)=Mono(N).     

有限域上长为2mpn 的负循环码

设F_q 是奇数阶有限域. 本文主要借助X^2mpn+1 在F_q 上的不可约因式分解来确定有限域F_q上所有长为2^mpⁿ 的负循环码和自对偶的负循环码的生成多项式, 这里p 是q-1 的奇素因子, m 和n是正整数.     

高维单形上Bernstein多项式的凸性定理的逆定理

设f是m维单形D上的连续函数,Bⁿ(f;x)是f的n次Bernstein多项式。本文证明:对于D的内点Q,如果恒有Bⁿ(f,Q)≥Bⁿ⁺¹(f,Q),则Q不可能是f的非平凡极大值点。由此推出,若f在D上是逐块线性函数,则Bⁿ(f,x)≥Bⁿ⁺¹(f,x)(对一切正整数n和任一x∈D)蕴含f是D上的凸函数。     

混合刚度有限元法——直接表述和数学基础

本文陈述了混合刚度法的两种等价的概念。作为许可函数集,引进分片H¹(Ω₁)一空间H_p¹(Ω)和分片H(div;Ω_i^*)_—空间H_p(div;Ω),并且装置两个新型的依赖网格范数,以有助于实现统一的有限元分析。     

π—核电荷交换反应

本文用多重绕射理论,讨论了强子引起的核反应。采用了分离变数的方法来计算高次项,从而能处理一般的核结构组态对反应截面的影响。并用此方法给出了π^-核的单电荷交换反应及双电荷交换反应的振幅。对O¹⁸(π⁺,π⁰)F¹⁸和O¹⁸(π⁺,π^-)Ne¹⁸的同位旋相似态之间的反应截面,用壳模型纯组态和SU³波函数分别进行了计算。结果表明核结构对截面的影响是很重要的。     

印刷体汉字文本的微型计算机自动识别

本文提出一个微机印刷体汉字文本识别系统。该系统是基于汉字识别特征点方法实现的,是一个包括版面分析、文本识别和编改处理的完整的系统。该系统在实用中,经过约200万字的识别得出:对中等印刷质量的书刊、文件,在纯软件条件下,达到20字/s的识别速度(20MC386微机)和95％以上的识则率。     

逼近零点与计算复杂性理论

本文比较Smale对Newton方法所作的成本估计和作者对Kuhn算法所作的成本估计。结果表明,无论是算零点还是算所谓逼近零点,后者都比前者好得多,其比率分别为n⁹/μ⁷对n²log(n/ε)和n⁹/μ⁷对n³log(n/μ),这里n是多项式的阶数,ε>0是计算零点的精度要求,μ是允许相应的论断失败的概率,0<μ<1。