【摘 要】
：
青鸟II型系统(JB2)是一个面向对象的软件工程环境,其集成机制由对象管理系统、消息服务器、界面类库等部件构成,并且提供了一个具有永久对象处理能力的面向对象的编程语言,介绍了JB2的总体方案、主要部件及其工具结构模型,并讨论该系统所采用的方法与技术。最后,讨论了JB2环境的集成度与开放性,并介绍使两者得到兼顾与统一的方法与经验。
【出 处】
：
中国科学(A辑 数学 物理学 天文学 技术科学)
论文部分内容阅读
青鸟II型系统(JB2)是一个面向对象的软件工程环境,其集成机制由对象管理系统、消息服务器、界面类库等部件构成,并且提供了一个具有永久对象处理能力的面向对象的编程语言,介绍了JB2的总体方案、主要部件及其工具结构模型,并讨论该系统所采用的方法与技术。最后,讨论了JB2环境的集成度与开放性,并介绍使两者得到兼顾与统一的方法与经验。
其他文献
提出了一个描述脉冲激光与十能级分子系统非共振相互作用的半经典密度矩阵理论模型,用以解释在ns和ps激光作用下的反饱和吸收效应,以及在强ps激光作用下自反饱和吸收向饱和吸收转变的现象,并且以C_(60)、金属酞菁和金属类卟啉溶液为样品,以波长为532nm的Nd:YAG脉冲激光作光源,实验演示了上述几种非线性吸收过程,证明了这个理论模型的正确性。
基于一种新型的针孔晶体谱仪和Ly-α线翼部Stark展宽电子密度测量法,提供了一种对激光等离子体热传导区特性进行实验研究的简便方法,利用该方法对线状Mg激光等离子体的热传导区的特性进行了研究,在稳态近似下,得到Mg激光等离子体热传导区的宽度、声速及电子温度的实验值,和一维平面烧蚀稳态模型结果相比较,两者符合较好。
以一台激光光源的输出作为基波在Xe,Kr脉冲气流中利用非共振四波和频和三次谐波过程获得在92～145nm范围内宽带可调谐相干辐射输出,观察和分析了非线性过程中气体密度,元素的色散对相位匹配的影响,观察了三次谐波过程中的三光子共振现象,在Xe中获得了高Rydberg态三光子共振增强的VUV相干辐射光谱,其可分辨主量子数达到34左右。
提出参态逻辑,给出它的语言、语义和公理系统,并给出参态逻辑的完全性定理,论证了参态逻辑具有足够丰富的形式能力,可表达很大一类逻辑而作为其特殊形式。
从SDYM场的正则形式出发,在稳态、轴对称情况下进行了正则约化,得到了Ernst方程的正则形式,从而将Ernst讨论的稳态、轴对称引力纳入正则SDYM范畴。
通过5个解变换,3组非退化基本解和若干组退化基本解,给出了精确可解统计模型理论中六顶角带色参数杨-Baxter方程的全部解,并说明由六顶角带色参数杨-Baxter方程的解可以得到六顶角带谱参数杨-Baxter方程的全部解。
研究了S~1×(S~3/H)上复结构的模空间,这里HU(2)是有限阶Abel群,H在S~3上的作用自由且真不连续。
对离散系统提出轨道结构存在3个层次的观念,引进拟弱几乎周期点的概念和关于拓扑半共轭的极小覆盖的概念,讨论了轨道结构3个层次与点的回复性之间的关系以及某些性质在拓扑半共轭下的保持问题。
用Gao的本构关系,分析了不可压缩橡胶类材料平面应变情况下缺口试件顶端和裂纹尖端的应力场,并根据应力场的渐近方程作了数值计算,给出了应力奇异性与缺口角度的关系曲线及应力随角坐标的变化曲线。
考虑有限状态空间上一可约Markov链及其指数扰动的不可约Markov链族,这是Freidlin-Wentzell理论的推广,首先是出于随机Ising模型、神经网络、模拟退火等方面的考虑,现证明一大类Markov链族都有亚稳态性,亚稳态就是可约Markov链的常返类,还仔细分析了高阶吸引子、高阶吸引域及其金字塔形结构,估计不同集合首达时的渐近指数量阶,首达时间除其平均值之后收敛到均值为1的指数分布