分布式关系型数据库系统POREL的可移植性

来源 :中国科学(A辑 数学 物理学 天文学 技术科学) | 被引量 : 1次 | 上传用户:hmxxg
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文研究了分布式关系型数据库系统POREL的可移植性问题,提出以抽象计算机AC作为工具来实现POREL系统的移植。抽象计算机AC由三部分组成,其一为系统程序设计语言,即PASCAL加上扩充的子集;其二为抽象操怍系统AOS;其三为抽象通讯系统ACS。本文并对AC作了简要的描述。
其他文献
本文报告从猪外周血淋巴细胞表面提纯两个比较均一、具有E受体活性的糖蛋白,分别命名为GP_1和GP_2,以及二者的生物化学性质。GP_1和GP_2的分子量分别为58,000和29,000,等电点分别为6.8和5.5,GP_1的N-末端氨基酸残基为甘氨酸和丙氨酸,GP_2的N-末端氨基酸残基为甘氨酸。同时制备了特异性的兔抗GP_1抗血清,此抗血清竞争性地抑制猪胸腺淋巴细胞形成E玫瑰花,表明兔抗GP_1
期刊
本文研究指数级数及的一些拟必然性质。在一定条件下,它们拟必然以收敛轴即虚轴上每一点为Picard点或Borel点.在一定条件下,幂级数及∑±a_nz~n拟必然以收敛圆,即|z|=1上每一点为至少k(>0)级的Hadamard点.
期刊
本文观察结果表明,在H_1花粉植株中单倍体细胞和二倍体细胞占绝对多数,非整倍体细胞很少,不足10%。46株花粉植株的倍性水平变化是:单倍体类型60.9%,二倍体类型28.3%,混倍体类型10.8%,单倍体和二倍体占89.2%,这与我们过去的结果以及许多研究者在其他作物上得到的结果相类似,说明了花粉植株倍性水平的稳定性。同时,通过核型分析表明了花粉植株具有高度纯合性。这在育种上是很有价值的。此外,在
期刊
设n,k为二正整数,且n≥k+4;a为一有穷非零复数.又设为域D内的一族亚纯函数,a_j(z)(j=1,2,…,k-1)于D内全纯.若对于任意,f(z)∈,f~(k)(z)在D内不取一个有穷值(或有一重级≥[n/(n-(k+3))]+1的重值),f(z)有一个有穷非零的k+1级重值,则在D内正规.
期刊
本文报道在37个家系中所观察到的17种不同类型血红蛋白分析结果。所采用的方法是用高压液相层析(HPLC)来分离珠蛋白链的胰蛋白酶消化产物或肽的嗜热菌酶消化产物。HPLC具有快速分离及需用样品少的优点,而且层析谱的重复性好。对于小肽段或较大肽段的氨基酸顺序测定应用微量双偶合顺序测定技术是成功的。
期刊
本文构造了计算二维可压缩流动的差分格式,严格估计了周期解问题的误差,并由此得到其收敛性.文中还严格估计了某一类初-边值问题的误差,并得到相应的收敛性.本文方法可推广应用于电磁流体力学方程组等.
期刊
本文将手征对称性用到大统一理论中后,既可以处理费米子的实表示,又可以处理费米子的复表示。作为一个例子,本文构出了一个SO(16)大统一模型。该模型可容纳通常的四代费米子,它们具有左手荷电弱流;另外还有四代费米子,是具有右手荷电弱流。
期刊
我们用1.06微米激光与等离子体相互作用所发射的二次谐波的一维空间分辨的光谱,与二维空间分辨的成像,证明了强激光束在等离子体中的自聚焦或细丝现象,并研究了靶原子序数、预脉冲激光预先形成的冕区等离子体等因素对这种非线性效应的影响。
期刊
北京天文台曾于1980年观测到了罕见的环平面与太阳表面平行的完全闭合的环状日珥,其特征寿命约1—2天。本文讨论了这种水平等离子体环在磁力、重力和压力同时作用下的静力学平衡问题。在轴对称矩形截面假定下建立方程组,采用闭合磁场边值,得到零阶磁场(无力场)和密度(压力)解,进一步求得了零阶磁场和密度以及一阶磁场的一个本征解,从而给出水平闭合环状日珥中的一种可能的磁场和密度分布。本文得到的环状日珥的闭合式
期刊
本文根据双目视差原理和密度分割假彩色合成显示的方法,提出了一种实现X射线三维图象实时假彩色显示的方案。 由两只栅控X射线管构成立体X射线源,采用单只氧化铅摄象管作为电视摄象系统,对电子图象进行假彩色处理,较成功地将不可视的X射线图象转换成立体感强、对比度增强的可视的假彩色三维图象。
期刊