计算机辅助制版软件ZB-761

计算机辅助制版软件ＺＢ－７６１是作为大规模集成电路计算机辅助设计的一个组成部分而设计的，且于１９７６年在ＤＪＳ－１３０计算机上投入运行。至今已制作了数十套集成电路掩膜版。 软件的输入语言具有较强的描述集成电路版图的能力。其数据结构使得像ＤＪＳ－１３０这样的小型计算机（没有外存贮器）能处理大量的版图数据。由于进行了目标程序的优化，使得专用制版设备的制版时间大大地缩短了。另外，软件还具有一定的数据检查和人机对话的能力。 本文较详细地介绍了软件输入语言的特点，数据结构，编译中的变换算法和目标程序的优化等。并对大规模集成电路版图设计自动化提出了一些设想。     

基于Beckmann模型的城镇化水平公式及其理论探讨

基于Ｂｅｃｋｍａｎｎ的城镇等级一规模模型Ｐｍ＝ＫＲＳ＾ｍ－１／（１－Ｋ）ｍ，导出了区域城镇化水平公式Ｚ＝ＳＫ／（Ｓ＋Ｋ－１）。通过函数的单调减性分析得出区域城镇化水平（Ｚ）随地方的乡镇化水平（Ｋ）的上升而上升，而随各个城市的卫星城镇数目（Ｓ）的增多而下降的结论。这意味着，随着城镇体系的发展，中心地系统的阶梯式等级结构最终要向Ｚｉｐｆ式等级有序列演化；通过发展卫星城镇的办法解决区域人口城镇化问题在实     

拟结合BZ－代数及其同态定理

引入拟结合ＢＺ－代数概念；证明了拟结合ＢＺ－代数同态于它的一个对合群的子代数，从而推广了ＢＣＩ－代数的相在结果。     

增长曲线模型方差扰动的影响分析

对增长曲线模型Ｙ＝ＸＢＺ＋∈，∈～（０，Ｖ－１⊙∑－１），给出了Ｂ的ＬＳＥ受Ｖ和∑变动影响的统计量，并导出了在方差单点扰动的情况下该统计量的简洁形式．     

C~n空间中具有逐块光滑边界的有界域上光滑函数的Norguet－Ono公式

得到Ｃｎ空间中具有逐块Ｃ（１）光滑边界的有界域上光滑函数的一个Ｎｏｒｇｕｅｔ－Ｏｎｏ公式，它是有界域上光滑函数的Ｂｏｃｈｎｅｒ－Ｏｎｏ公式的一种拓广．这个公式的显著特点是其中三个积分核关于变量Ｚ都是全纯的，而已有的具这种逐块Ｃ（１）光滑边界的有界域上光滑函数的种种积分表示，其积分核关于Ｚ都不是全纯的．     

吸积盘中心黑洞的熵变与B—Z过程

分别在薄盘和厚盘两种情况下，详细讨论了纯吸积过程和Ｂ－Ｚ过程中吸积盘中心黑洞的熵变。结果表明，中心黑洞各参量在Ｂ－Ｚ过程中的变化率与在纯吸积过程中的变化率之差与盘结构无关，而且与Ｂ－Ｚ过程的辐射功率成正比。在Ｂ－Ｚ过程中黑洞熵的变化率总是大于纯吸积过程中黑洞熵的变化率，二者之差来自中心黑洞延伸视界上的耗散功率。此外，还讨论了黑洞热力学定律在上述盘吸积过程中的有效性。     

Z—连续偏序集的Z—极小集理论

给出了Ｚ－连续偏序集上Ｚ－极小集的概念及其性质和等价刻划，利用Ｚ－极小集的方法阐述了映射的连续性及保Ｚ－Ｂｅｌｏｗ关系和保Ｚ－极小集之间的联系，并证明了完备格是Ｚ－连续格当且仅当每个元都存在Ｚ－极小集     

零对称BZ—代数

将原子及其分支的概念引信ＢＺ－代数，提出零对称ＢＺ－代数，得到若干重要特征。研究零对称ＢＺ－代数Ｘ关于其理想Ｎｚ（Ｘ）＝｛ｘ∈Ｘ│０－ｘ≤ｘ｝所作为的商代数Ｘ／Ｎｚ（Ｘ０的结构，证得Ｘ／Ｎｚ（Ｘ）≌｛ｙ│ｙ＝（０－ｘ）－ｘ，ｘ∈Ｘ｝。     

关于自对偶SU(N)规范场与Belinsky-Zakharov方程二重孤子解的研究

把Ｂｅｌｉｎｓｋｙ－Ｚａｋｈａｒｏｖ的逆散射方法推广到二重高维形式,我们发现Ｂｅｌｉｎｓｋｙ－Ｚａｋｈａｒｏｖ（ＢＺ）方程与自对偶ＳＵ（Ｎ）规范场有密切关系．利用调和函数方法,可以直接得到某些散射波函数．作为例子,我们具体计算了与自对偶ＳＵ（７）规范场相关的ＢＺ方程的二重孤子解,并且推导出ｎ－孤子解的具体结构     

B－Z反应的振荡行为及其处理方法

本文分析了Ｂ－Ｚ类振荡反应的研究类型及处理方法，并对今后的研究焦点作了介绍。     

新材料—抗菌塑料的开发与研制

研究了系列抗菌沸石ＭＪＺ和抗菌母粒ＭＪＺＢ的制备，抗菌母粒ＭＪＺＢ与聚丙烯ＰＰ塑料的复合及其系列抗菌塑料ＭＪＺＢ－ＰＰ抗菌性能的测试，指出了单组分抗菌混石的不足及改进方法，同时也预测了未来具有抗菌功能塑料的应用。     

关于Faà di Bruno公式的应用

本文将关于复合形式的形式幂级数高级微商的Ｆａａ　ｄｉ Ｂｒｕｎｏ公式应用于常系数递 归方程的求解。在线性齐次条件下，给出了（ｍ－１） 阶方程一般解公式的一个新证明； 又给出了具有完全历史的非齐次方程的一般解公式。     

CSTR和Bastch中维生素B1对B—Z反应影响的研究

本文研究ＣＳＴＲ和Ｂａｔｃｈ中维生素Ｂ１对Ｂ－Ｚ反应系统影响的非线性动力学行为，并对其成因进行探索。     

关于布尔方阵半群的Euler—Fermat公式

指出了文献［１］中给出的由布尔矩阵乘法半群Ｂｎ的Ｅｕｌｅｒ－Ｆｅｒｍａｔ公式及相应的一个具体例子都是不正确的，给出了半群Ｂｎ的Ｅｕｌｅｒ－Ｆｅｒｍａｔ公式的正确形式及其完整证明。     

有理Bezier曲线的导矢

ｎ次Ｂｅｚｉｅｒ曲线有一个求导公式为：Ｐ′（ｔ）＝ｎ（Ｐ１，ｎ－１（ｔ）－Ｐ０，ｎ－１（ｔ），使用的是控制网格段的（Ｐｉ＋１－Ｐｉ）在本文中我们对有理Ｂｅｚｉｅｒ曲线也建立这种形式的导数。     

M—调和插值序列

设｛Ｚｖ｝是Ｃ＾ｎ中单位球Ｂ内的一个点列，Ｐ（Ｚ，ζ）是泊松核，其中Ｚ∈Ｂ，ζ∈Ｓ。如果点Ｚｖ是分离的，而且它们的分布具有某些规律，那么本文给出了点列｛Ｚｖ｝成为Ｍ－调和插值序列的充分必要条件。     

Nernst—Planck方程在离子交换排代色谱中的应用

在本文中，我们首次将Ｎｅｒｎｓｔ－Ｐｌａｎｃｋ方程应用于离子换排代色谱的理论研究。对于两组分体系，得到了稳态条件下浓度分布的分析解为ＣＡ·ＣＢ－ＺＡＺＢ＝Ｃ０ｅｘｐ（ｇｘ）式中ＣＡ，ＣＢ为Ａ、Ｂ离子的浓度，Ｃ０为常数，ｇ为与扩散系数及流速有关的系数。由以上理论结果，可以对同位素分离过程的浓度分布及实际操作过程出现的极限实集等实验现象做很好的理论解释     

2和3连通图中的禁止子图与哈密顿性质

证明了如下结果：（１）若Ｇ是２－连通的（Ｋ１，３，Ｐ５，Ｂ）－自由图，或２－连通的（Ｋ１，３，Ｚ２，Ｐ５）－自由图，则Ｇ是哈密顿图，（２）若Ｇ是３－连通的（Ｋ１，３，Ｚ１）－自由图，或３－连通的（Ｋ１，３，Ｚ２，Ｐ５）自由图，或３－连通的（Ｋ１，３，Ｐ５，Ｂ）－自由图，则Ｇ是哈密顿连通的。     

BZ－代数与BZ1－代数的一些结果

研究ＢＺ代数与ＢＺ１－代数的一些性质，其中有拟交错性、非零不相等元素的不可比较性、可交换性、拟正蕴涵性、正蕴涵性以及蕴涵性等．讨论了这些性质的相互关系．另外还讨论一类特殊的ＢＺ代数的构造，得到它的结构定理．     

系统（产品）可靠性参数MTBCF的预计

基于系统可靠度上下限逐次预计公式以及公式推导得到了ＭＴＢＣＦ（ｍｉｓｓｉｏｎ－ｔｉｍｅ－ｂｅｔｗｅｅｎ－ｃｒｉｔｉｃａｌ－ｆａｉｌｕｒｅ）的上下限逐次预计公式．应用本文公式可得出ＭＴＢＣＦ的逐次区间估计（置信水平γ＝１），并能最终得出其预计精确值