逻辑空间的结构及图象——兼论逻辑函数化简

本文是关于“逻辑空间图象”理论研究的一个小结.主要内容:1.从解析角度分析了n维逻辑空间及n元逻辑函数的结构性质,论证了二者之间的一一对应关系.其中,得到了m维子空间的集合的基数|α~m|=[n!/((n-m)!m!)]2~(n-m),n维逻辑空间的示性数X(P)=sum from K=0 to n(-1)~k|α~k|=1,以及|α~0|=|γ~0|=2~n,|α~m|=|γ~m|=[n!/((n-m)!m!)]2~(n-m)|α|=sum from m=0 to n|α~m|=|γ|=sum from m=0 to n|γ~m|=3~n等定理.2.根据等价原理,采用“k阶a维子图的m维集合”及“a维子图的k阶m维集合”两种方法,得到了简明的多维逻辑空间图象。3.分析了逻辑函数的化简,得到了二个结果.从而提出了一个化简逻辑函数的普遍程序:“由低维到高维,按次序地提取f中的不重复孤立子空间,直到提完所有的点为止”。     

模糊逻辑函数的几何建模与图象运算

本文是将逻辑空间图象理论发展至模糊逻辑的一次新的探讨。模糊逻辑中现有代数的及卡诺图一类的方法,在实际应用中比二值逻辑遇到更为严重的困难。因此,建立模糊逻辑函数的几何模型及图象计算,将几何与代数,形象思维与抽象思维相结合,系统地提出模糊逻辑的几何理论与图象算法,得到了一类模糊逻辑空间及其模糊点集图。     

基于广义非规则维的图象描述和分割

作为研究极不规则问题的工具,非规则维几何学在许多领域里得到了广泛的应用。我们知道,材料的一些形态常常是极不规则的,而且这些极不规则的形态通常又是以图象照片(如扫描电镜照片)提供出来,因此,图象的非规则维问题的研究是十分重要的。Pentland 根据非规则维几何学提出了非规则维布朗图象模型~([1]),但实际所碰到的     

改性纳米SiO2填充PLA/PBAT复合体系的 结晶动力学研究

利用Avrami方程,研究PLA及PLA/PBAT/SiO_2复合材料的等温结晶动力学,研究结果表明:PLA及其共混物的Avrami指数n值分别为2.06~2.29和1.91~3.05;样品的结晶常数K(T)、半结晶时间t_(1/2)和结晶速率τ_(1/2)均随结晶温度的升高先增大后减小;在相同的结晶温度条件下,PLA/PBAT/SiO_2样品的K(T)和t_(1/2)均高于纯PLA的。采用改进的Avrami方程,分析PLA及PLA/PBAT/SiO_2复合材料样品的非等温结晶过程。研究结果表明:PLA及其共混物的Avrami指数n_1数值范围为1.31~4.88,表明晶体生长模式均为二维生长和三维生长并存;所有样品的n_1均随着升温速率的增大而增大,且n_1均小于n2,Z_(c1)和Z_(c2)也随升温速率的增大而增大。基于Mo方程分析结果与基于改进的Avrami方程分析结果一致,进一步证实了纳米SiO_2的引入提高了PLA的结晶速率;且PLA/PBAT/SiO_2样品的结晶活化能ΔE均大于纯PLA的,说明PBAT及SiO_2的引入阻碍了PLA主链的链段向晶体生长表面的迁移过程。     

《工程图学学报》1-5卷目录

第1卷目录祝贺《工程图学学报》的出版逻辑代数的几何表达形式的初步探讨二次曲面复切的几何结构可展曲面展开图中的方程包络面平面剖线的图解解析方法及其应用关于轴测投影变形系数和轴间角的图解问题战国中山三墓出土公元前四世纪建筑平面图轴线倾斜于投影面的二次旋转面的投影 第2卷目录朱福熙(1)张云鹤(3)杨游生(21)I」周绪喧I(31)马香峰(45)徐宏文(57)赵擎寰(73)柯纯(85)逻辑空间的结饱尽图象 —兼论逻辑函数化简反射抛物镜焦区照度分布图解复共扼回转面的理论及井应用泰念祖凹回转曲面可见轮廓线的投影‘直线在回转曲面上投影的探讨.…     

带权最大割问题的一种基于划分技术的固定参数可解算法

运用参数计算复杂性理论和技术对带权最大割问题进行了研究。首先对该问题及其相关概念进行了参数化定义,然后对参数化带权最大割问题提出了一种基于随机划分技术的随机算法。该随机算法依次将实例图的顶点进行[1n(1/ε)]×2~k(0ε1)次随机划分,并选择其中权值最大的k-划分作为输出解,因而能在时间O~*(1n(1/ε)2~k)内以至少1-ε的概率找到目标解。接着在此基础上着重运用最新改进的(n,k)-全集划分技术对参数化带权最大割问题提出了一个时间复杂度为O~*(2~(2k+12log~2(2k))的确定性算法,表明了带权最大割问题是固定参数可解的。     

定量金相

<正> 定量金相是在二维平面(试样抛光平面或分析表面)上对显微组织作一定的几何测量,然后推算出三维空间中显微组织量值的方法。定量金相研究的基本方法是几何测量与统计分析。其定量描述的数学基础是体视学、拓扑概念和数理统计。目前进行定量金相分析工作的方法有两种:(1)用肉眼观察作几何测量,再进行计算分析的手工方法。(2)采用配置在金相显微镜或电子显微镜上的各种定量图象分析附件以及高分辨的全自动图象分析仪。     

p值随机变量联合分布的分解式及其应用

给出了一般概率空间上n维p值(户为素数)随机变量的联合分布与其分量的任意非零线性和的分布之间的等量关系，并将之应用于与户值逻辑函数相应的p值随机变量的有关联合分布的分解,得到了p值逻辑函数和户值逻辑向量函数相关免疫性的等价条件及谱判别条件，揭示出p值逻辑函数、p值逻辑向量函数相关免疫性的若干等价条件的概率内在联系。     

N维空间的可展超曲面

在三维欧氏空间E~3中,直纹面r=a(t)+vl(t)为可展曲面的充要条件是 (a＇,l,l＇)=0 (1)且可展曲面只有锥面、柱面、切线曲面三种。本文将此推广列n维欧氏空间,并得到完全类似的结论。 设E~n为N维欧氏空间,建立直角坐标系{x~i)(i=1,…,n)。给出超曲面M~(n-1)的方程     

具有极谱的二部竞赛矩阵

令Γm ,n 表示所有的不可约m×n二部竞赛矩阵 ,获得了如下主要结论 :(1)Γm ,n 中每个 (s,t)半正则二部竞赛矩阵的特征值的代数重数和几何重数相等 ;(2 )刻划了Γm ,n 中恰好有四个不同特征值的 (s ,t) 半正则二部竞赛矩阵 ,这些矩阵与组合设计有关 ;(3)设 lm ,n 表示 Γm ,n 中零特征值的最大代数重数 ,则lm ,n =m +n - 4 ,并给出了使该式成立的二部竞赛图的结构。     

(2+1)维非线性演化方程的形式新解

主要从两个方面讨论(1)将非线性演化方程的形式级数解进行对称延拓;(2)利用"秩"的概念,对非线性演化方程进行分类.即如果方程各项中"秩"的取值全为奇数或偶数,则可借助椭圆方程的方法解之;若方程各项中"秩"的取值奇偶性不一致,则给出一形式幂级数解.并以两个(2+1)维非线性演化方程为例,说明改进的方法能较好地求得非线性演化方程的更多形式新解.     

定量金相的图象分析技术

讨论了将数字图象处理技术用于定量金相中材料组织测量分析的方法，并根据数字图象处理技术的特点和定量金相的要求，研制出了一套定量金相自动图象分析系统。根据二维截面或投影面上的图象参数去推断三维的空间图象参数，提取需要的特征信息并自动地进行处理及输出特征参数值。为理论检验、测试提供了快速、准确的定量分析手段。     

TC2钛合金的高温热变形行为

对TC2钛合金的高温变形行为进行了有限元模拟和热压缩实验研究,使用有限元自洽模型模拟提高流动应力曲线修正精度,分析材料的应力应变曲线特征,得到其高温流动本构方程和激活能,并进行了光学显微镜观察研究其微观组织演变规律,发现在高温低应变速率下α相的球化程度较高。绘制出TC2钛合金的功率耗散图和热加工图,结合应变速率敏感系数m研究了受m值控制的不同变形机制,最终确定了TC2钛合金的最佳加工窗口：(I)760~825℃、0.007~0.024 s^-1;(II)850~900℃、0.018~0.37 s^-1;(III)900~950℃、1~10 s^-1,在此区间功率耗散因子较大,在材料变形过程中发生充分动态再结晶,试样的微观组织呈细小等轴状。     

南加里福尼亚大学的图象处理

南加里福尼亚大学图象处理研究所成立六年来,一直从事于把光学与数字的信号处理技术用于图象处理的多种应用研究。该所早期的研究以频带压缩、图象复原应用以及图象增强过程为基础。后来主要的研究方向转到:(1)图象理解;(2)图象复原;(3)图象分析的数学问题。     

用逐点迭代法进行模糊图象复原

根据成象的物理模型，提出用逐点迭代模糊图象复原法，对形成模糊图象的卷积方程直接求解，实现原物的复原。利用此方法，进行了模拟的模糊图象的复原。     

60Si2CrVAT弹簧钢高温拉伸变形行为研究

在DIL805A/T热模拟机上对60Si2CrVAT弹簧钢进行了等温单向热拉伸实验,研究了该弹簧钢在温度900~1050℃、应变速率0.001~1s-1条件下的高温变形及动态再结晶行为。使用包含变形激活能Q和温度T的双曲正弦形式修正的Arrhenius关系来描述60Si2CrVAT弹簧钢高温拉伸变形时的最大变形抗力方程;在此基础上,引入参数α(ε)、n(ε)、Q(ε)和A(ε)得到包含σ、ε、T、ε的本构方程。结果表明,由本构方程计算得到的应力值和实验值有较好相关性(R~2=0.98985),平均相对误差绝对值为3.6646%;最后采用加工硬化率法通过对θ-σ和lnθ-ε曲线进行三次多项式拟求解拐点的方法,得到了不同变形条件下发生动态再结晶的临界应力和临界应变值,建立了临界应力、临界应变和Z参数的关系,得到了动态再结晶的临界应力和临界应变方程。     

新(2+1)-维超动力系统的生成（英文）

本文利用二项式残数表示方法生成(2+1)-维超动力系统,利用这些系统得到一个新的(2+1)-维超NLS-MKd V族,它能约化为超非线性Schr?dinger方程.特别地得到两个具有重要物理应用的结果,一个是(2+1)-维超可积耦合方程,另一个是(2+1)-维扩散方程.最后,利用超迹恒等式给出了新(2+1)-维超可积系统的超Hamilton结构.     

图象自动处理显微镜系统

该图象自动处理显微镜系统采用了电荷藕合器件对显微镜系统的涂片(或其它试片)进行了自动测光、自动调焦、自动曝光,以及对涂片(如细胞)进行自动筛选的功能。整个系统由微机控制,设有自动输涂片机械手装置、显微镜工作台自动二维扫描机构、自动测光、自动拍照等装置。微机对CCD器件所得到的图象信息按预定模式进行处理,并由预定程序对其组成机构的每步动作自动控制,达到显微镜系统对图象进行自动分析和处理的目的。     

带直线特征的数字图象的位置检测

在图象测量及物体精确定位处理中，为了确定被测物体的旋转及平移的偏差量，通过处理被测物体图象的边缘而获得的几何参数，为提高到测量系统的精度，本文提出了一种通过提取图象边缘的直线特征；并对边缘点进行插值和加密的方法，将图象边缘定位于亚象元，利用最小二乘法拟合出直线方程，根据求得的参数，可以确定图象的旋转及平移量。     

(2+1)维Nizhnik方程的Jacobi椭圆函数周期解

利用最近提出的F-展开法,导出了(2 1)维Nizhnik方程的由Jacobi椭圆函数表示的周期解,并且在极限情况下,可以推得(2 1)维Nizhnik方程的孤波解以及其他形式解。