广义布尔函数的正规性

基于布尔函数的正规性,提出了广义正规Boolean函数的概念,给出了一些广义正规Boolean函数的构造方法,证明了广义正规Bent函数及其对偶函数所具有的一些独特性质.     

异彩纷呈热带兰——记武汉植物园兰花展

兰花是有花植物中进化程度最高、花的形态结构最为特化的类群。加之经过人类长期的人工选择与杂交育种，令其千姿百态、绚丽多彩，无花可及。兰花花朵独特之处在于：萼片不像其他许多植物那样是绿色的，而是有着类似花瓣的斑斓色彩；三片花瓣中，唇瓣特别突出；花形、花色的变化可说是无穷无尽；雌雄蕊尤不一般，它们不是单独的结构，而是组成合蕊柱。     

“时空量子化”的关键：纠正数学课本一系列重大错误——证明实数轴有最小、大正数点推翻百年集论

破解“时空量子化”难题的关键：须知“点无大小”是初等几何最重大根本错误。近似计算常识凸显R轴相比下是极短直线段，R仅是实数全体的沧海一粟而远不够用，中学“R各点可与全部实数一一配对；…”等是一系列重大根本错误——微积分不能自圆其说的症结。揭示：否定无穷数使极限论的思想极其混乱；R轴由长为R的最小正数的点组成；各相应曲线是由充分短直线段连接成的；没空隙的y=x轴的区间D各点y=x都沿轴保序增距移动变为点y’=2x形成比D长的ZCy’=2x轴的原因只能是①D-Z各点都弹性变长了②或点与点之间都拉开了一段距离而使其所占据的空间变长了，使Z有许多空隙（各点可变大填补空隙；Z变回D是因…），否则就是点的保距变挟了；将大小不同的点或有空隙与无空隙的线混为一谈．就误以为DiZ而推出：Z的点能与其真子集的点一样多：有半径相等的两圆的点不可一一配对从而不≌更不可重合相等。     

食饵有感染的时滞三维捕食-被捕食模型稳定性分析(英文)

食饵具有感染率的捕食-被捕食系统可以用来解释生命科学中的很多现象,该问题已经被很多学者研究。在人口动力学中,收获率对物种有重要的影响。研究了一类具有收获的食饵有感染的时滞三维捕食-被捕食模型的稳定性,同时发现当参数经过一系列临界值时,系统产生Hopf分支现象。数值仿真证明了理论结果。     

一类新链图的优美性

定义了有柄mi圈链图和无柄mi圈链图,得到了在m1,m2,…,mn≡0(mod4)时它们都是优美图、无柄mi圈链图是k优美图,并且给出了具体标号;进一步得到了在m1,m2,…,mn≡0(mod4),mn+1≡3(mod4)时这2类链图也是优美图的新结果及其证明.     

有补偿无次固定支座直埋热力管道敷设方法

介绍了有补偿无次固定支座直埋热力管道的敷设原理与方法。这种敷设方法安全可靠、施工简单、工程造价低、运行中维修量小，是一种经济效益较好的敷设方法。     

同心环隙有压科特流层流解析解及实验验证

本文对同心环隙有压科特流层流提出了一维流动的动量矩微分方程,并根据广义牛顿内摩擦力定律,求得了圆周切应力τ与圆周切线速度 u 的解析解.对流场中的零切应力环面,流速极环面和流速拐环面的存在条件进行了讨论.证明了流速极环面并不与零切应力环面重合.对所提出的上述理论进行了实验印证.实验表明用一维理论来描述这种运动是简单可行的.本文把层流的无压环隙科特流与有压槽道流作为两个特例概括在所提出的理论之中.     

矿井通风有效度分析

本文应用可靠性工程理论分析了矿井通风有效度问题,并进行了实例计算,为改善矿井通风系统和评价矿井通风系统优劣提供了一种新的理论依据。图2,表1,参3。     

拉氏（Laguerre）双曲型有核圆汇的一个性质及其应用

本文得到了拉氏(Laguerre)双曲型有核圆汇的一个性质,即拉氏双曲型有核圆汇δ(Z-Z_0)=-k(k>0)可以看成由抛物型线性圆列族lⅠ(α,β)和lⅡ(α,β)所构成。构造出lⅠ(α,β)和lⅡ(α,β)的矩阵方程,并用代数法和作图法解决了如何寻求一个双曲型有核圆汇和两个抛物型有核圆汇的公共圆问题。     

有限次可微象征拟微分算子的Grding不等式

在证明偏微分方程解的存在性和探求解的正则性时,Garding不等式起着关键作用.对于无穷次可微象征类的拟微分算子,很多数学家曾研究并得到了相应的Garding不等式.是否对有限次可微象征的拟微分算子,也有相应的Gardng不等式呢?本文就一类有限次可微象征的拟微分算子,肯定地回答了这个问题.