完全不互溶双液系的气一液平衡相图

研究了完全不互溶双液系的气一液平衡相图,得出了完整的压力(P)-组成(X)图和温度(T)-组成(X)图,并对图中曲线的性质作了详细的讨论.     

带2条弦的6长圈的图设计

λKυ是λ重υ点完全图,对于有限简单图G,图设计G—GDλ(υ)是1个序偶(X,B),其中X是Kυ的顶点集,区组集B为λKυ的全部边的一种分拆,其每个成员(区组)都是与G同构的子图．利用“差方法”、“带洞图设计”等工具,结合一系列小设计的构作,对6点8边图C的图设计进行了讨论,并证明了存在C—GD(υ)←→υ≡0,1(mod16),υ≥6．     

饱和二部图

没有完美匹配的二部图G,若给它任意增加一条新的边,结果得到的二部图有完美匹配,则称图G是饱和的.设X(∈)V(G),T(X)表示V(G)中与X中至少一个顶点相邻的所有顶点组成的集合.本文证明了一个二部图G=(U,W)是饱和的当且仅当(a)存在唯一X(∈)U,使得|X|＞Γ(X)|,|X|-1＞|Γ(X)|且G的导出子图G[X∪Γ (X)]是完全二部图;(6)G的导出子图G[(U-X)∪(W-Γ(X))]是完全二部图,且满足|U-X|+1=|W-Γ(X)|;(c)U-X中每个顶点与W中的每个顶点都相邻,且X∪(W-Γ(X))是图G的一个独立集.     

七点有向θ图的图设计

设Kv是一个v点的有向完全图,G是一个简单有向图,Kv的一个G-设计,记为(v,G,1)-GD,是指一个二元组(X,B),其中X为Kv的点集,B为Kv的一些子图(也称为区组)构成的集合,使得任一子图(区组)与G同构,且Kv的任意两个不同点组成的有向边恰在B的一个区组中出现。研究了七点有向图的图设计的存在性问题。     

一个图的图设计(Ⅰ)

λKv是λ重v点完全图,对于有限简单图G，所谓的图设计G—GDλ(v)是一个序偶(X，B)，其中X是Kv的顶点集，而区组集V为λKv的全部边的一种分拆，其每个成员(区组)都是与G同构的子图．运用“差方法”、“带洞图设计”等工具，结合一系列小设计的构作，对一个6点9边图H的图设计进行了讨论，并证明了：存在H-GD(v)←→v≡0，1(mod9)且v≠9．     

Hamilton群上的H圈问题

设G是有限群,(?)是G的Cayley—子集.用X(G,(?))表示G关于(?)的Cayley图,其中V(X)-G,E(X)-{((?),)|(?)∈G,(?)∈(?)),本文证明了:对于(?)ilton群G,若X(G,(?))是连通的,则X(G,(?))有Hamiltonian(?)另外.本文也对有限交换群情形给出一个简单证明。     

寻找欧拉生成子图最大边数的一个方法

设G是超欧拉图,X是G的子图.在G中,把X的点收缩为一个点vX,去掉X的边,得到G关于子图X的收缩,记为G/X.引入a—子图的概念,得到了若干a—子图,并表明如何利用a—子图来寻找欧拉生成子图的最大边数.     

qp~2阶连通4度半传递图

称图X是半传递图,如果X的自同构群Aut(X)作用在其顶点集和边集上都传递,但作用在其弧集上非传递。本文证明了qp2(其中q相似文献   

pq阶6度半传递图

图X称为半传递图,如果X的自同构群Aut(X)传递地作用在顶点集和边集上,但不传递地作用在它的弧集上.该文主要研究了半传递图,证明了当3q︱p-1时,pq阶6度半传递图在同构意义下一定是某个Cayley图,从而给出了这类图的完全分拎.     

两类8点8边图的图设计

设λKv是v阶λ重完全图,G是一个有限简单图.图设计(v,G,λ)-GD是一个有序对(X,B),其中X是完全图Kv的顶点集合,B是λKv中与G同构的子图(叫做区组)的集合,使得Kv中任意一条边恰出现在B的λ个区组中.研究了两类8点8边图Gi(i=1,2)的图设计,并给出了(v,Gi,1)-GD(i=1,2)的存在谱.     

极大前缀码的一个性质

设X*是字母表X的自由幺半群,以X*为顶点集构造一个语言图Γ(X*),引入语言图Γ(X*)的模截集的概念。利用语言图Γ(X*)的模截集与极大前缀码的关系,即前缀码A是极大前缀码的充要条件是A是语言图Γ(X*)的模截集,给出了极大前缀码的一个性质。     

信号码的一个性质

设X*是字母表X上的自由幺半群,以X*为顶点集构造一个语言图Γ(X*),引入语言图Γ(X*)的模截集的概念,给出了信号码的一个性质,从而推广了文献[1]中的一个结果。     

信号码的刻划及性质

设X*是字母表X上的自由幺半群,引入语言图Γ(X*)的共同横截集概念.利用语言图Γ(X*)的横截集与极大前缀码的关系,即前缀码A是极大前缀码的充要条件是A为语言图Γ(X*)的横截集,给出了信号码的一些刻划和性质.     

信号码的一个刻划

设X*是字母表X的自由幺半群,以X*为顶点集构造一个语言图Γ(X*),引入语言图Γ(X*)的模截集的概念。利用语言图Γ(X*)的模截集与极大前缀码的关系,即前缀码A是极大前缀码的充要条件是A是语言图Γ(X*)的模截集,给出了信号码的一个刻划。     

Nb-Ni-Ti系低Ti侧三元化合物及其相平衡

采用合金平衡组织结构分析法,利用扫描电镜组织观察和能谱成分分析、电子探针定量成分分析以及X射线衍射结构分析,并结合热分析,对Nb-Ni-Ti系低Ti侧化合物XB及其相关相平衡进行了研究.结果表明,在Nb-Ni-Ti三元系1000℃和1100℃等温截面相图中都存在着三相区XB+(Nb)+TiNi,化合物XB可与Nb基固溶体(Nb)和TiNi相保持固态相平衡直到约1133℃.Nb-Ni-Ti三元系在1133℃发生三相共晶转变LTiNi+XB;由于液相L的形成,XB相不再与TiNi相和Nb基固溶体平衡.1150℃时Nb-Ni-Ti三元系等温截面相图中存在着XB+(Nb)+L三相区,XB相与Nb基固溶体和液相平衡共存.     

超空间C(D,X)的刻画

对于连续统X,在其上建立超空间C(D,X)={A∈C(X):D A}。文章主要获得如下结果:(1)设X,Y是连续统,映射f:X→Y是合流的当且仅当对任意D∈C(X)有∧f(C(D,X))=C(f(D),Y);(2)设X,Y是连续统,h:X→Y是同胚映射,则C(D,X)≈C(h(D),Y);(3)设X是连续统,D∈C(X),假设A∈C(D,X)使得D A X。那么,A终止于D当且仅当A是C(D,X)的割集。     

基于网络考试系统的UML建模

通过统一建模语言(UML)对网络考试系统进行了分析和建模,建立了系统用例图,并结合主要用例-学生考试模块,建立了类图、顺序图、活动图.描述了系统的功能需求、功能流程、类的结构与关系、对象之间的交互.最终采用面向对象语言实现在线考试系统.使用这种方法对系统进行建模,优化了开发过程,并有利于提高系统的稳定性、可维护性和可重用性.     

1673K下BaO-BaF_2-Cr_2O_3渣系的热力学性质

１６７３Ｋ下,采用－ＭｏＣｒ＋Ｃｒ２Ｏ３ＺｒＯ２（ＭｇＯ）｛Ｃｕ＋Ｃｒ｝ａｌｏｙ＋（Ｃｒ２Ｏ３）ｓｌａｇＭｏ＋固体电解质电池测定了ＢａＯＢａＦ２Ｃｒ２Ｏ３渣系中Ｃｒ２Ｏ３的活度．研究结果表明,Ｃｒ２Ｏ３的活度随其浓度升高而升高,随ＸＢａＯ／ＸＢａＦ２升高而降低．根据实验及Ｘ射线衍射结果推测了该渣系的等温相图,并作出了该渣系中Ｃｒ２Ｏ３的等活度图．     

在"Ni(M)_4X_2型化合物光、热、磁性质"理论研究中的计算方法

利用ｄ８（Ｄ４ｈ＊） 全组态统一晶场理论模型，研究了Ｎｉ（Ｍ）４Ｘ２（Ｍ＝ｐｚ、ｍｐｚ，Ｘ＝ Ｃｌ、Ｂｒ、Ｉ） 型化合物能量矩阵的特征值、特征矢以及计算其ＺＦＳ、ＥＰＲ参量的计算方法，并利用该方法对Ｎｉ（Ｍ）４Ｘ２（Ｍ＝ ｐｚ、ｍｐｚ，Ｘ＝ Ｃｌ、Ｂｒ、Ｉ）型化合物的光谱、ＺＦＳ和ＥＰＲ参量进行了拟合，总结出了利用微机对其拟合的一般规律。     

UML类图元模型基于描述逻辑的表示及验证

UML类图元模型采用非形式化的表示,无法对其结构语义进行严格的描述,因此提出一种UML类图元模型基于描述逻辑表示及验证的方法.在对UML类图元模型进行分析的基础上,构建了UML类图元模型基于描述逻辑SHOIN(D)的约束规则集,并验证了UML类图元模型与其构建模型间的一致性.