无内部冲突满足P3的无α环的数据库模式分解（Ⅰ）：分解的基本理论

文中在文献［１］、［２］、［３］讨论的基础上，讨论了数据库模式无内部冲突，但在最小归并依赖集Ｄ中存在弱右部或弱左部冲突时分解的性质和理论．为无内部冲突的满足Ｐ３的无α环的数据库模式分解算法设计提供了基础．     

用Photoshop绘制圆锥体

ｌ、进人Ｐｈｏｔｏｓｈｏｐ５．０，用［文件］菜单下的［新建］命令（Ｃｔｒｌ＋ Ｎ）创建一个新的图像文档； ２、用［图层］菜单下的［新建］选项中的［图层］命令创建一个新的图层；执行［视图］菜单下的［显示网格］命令打开网格线； ３、用工具箱中的矩形选择工具画一个矩形，用移动工具将这个矩形移动到画布的中心位置； ４、选取工具箱中的直线渐变工具，在弹出的对话框中将［渐变］参数选择为［橙、黄、橙渐变］； ５、按下Ｓｈｉｆｔ键，用鼠标从矩形的左边至右边划一条水平直线，矩形被从橙色到黄色再到橙色的水平渐变色填充； …     

平面弹性方程外问题的非重叠型区域分解算法

１．引言 区域分解算法是八十年代兴起的偏微分方程求解新技术．基于有限元法的区域分解算法对求解有界区域问题行之有效［２,４,９］．边界元方法则是处理无界区域问题的强有力的工具［１,１０,１７］,有限元与边界元耦合法得到广泛应用 ［３,５,７］．近年又发展了基于自然边界归化的区域分解算法,特别适用于无界区域问题［８,１１,１２］．迄今这方面的文章主要是针对二维Ｐｏｉｓｓｏｎ方程及双调和方程的［１３－１６］． 本文讨论平面弹性方程的Ｄｉｒｉｃｈｌｅｔ外边值问题其中Ω是充分光滑闭曲线Г０之外的无界区域,ｕ…     

空值环境下（N）4NF,（N）5NF的研究

本文是在作者已经发表的文［１］，［２］，［３］，［４］的基础上，分别对空值环境下的４ＮＦ，５ＮＦ进行了讨论。给出了空值环境下的４ＮＦ，５ＮＦ的相应定义和有关概念，研究了相关的理论，还给出了分解为（Ｎ）４ＮＦ的分解算法。     

解Hamilton-Jacobi方程的无振荡局部加密方法

０．引 言 近年来,Ｈａｍｉｌｔｏｎ－Ｊａｃｏｂｉ方程（简称Ｈ－Ｊ方程）的数学理论与数值逼近已引起人们越来越多的关注．Ｈ－Ｊ方程不仅在原有的领域例如控制论、微分几何等有非常重要的应用［８］,而且不断开拓新的应用领域,例如用于网格生成［５］以及流体界面的水平集方法计算 ［９,１２,１３,１５］等．由于 Ｈ－Ｊ方程解的导数会出现间断,导致解曲面（线）出现尖点或纽结等现象［７］,故如何做到既节省计算时间,又能在光滑区域高精度数值求解和较好地分辨间断是一个十分重要的问题．文卜］通过在每个坐标方向构造单变量的…     

线性不确定时滞系统的H∞无记忆控制器设计

１引言近年来,Ｈ∞控制理论得到了迅速发展,并提出了许多Ｈ∞控制器的设计方法．在文［１］中首次采用代数Ｒｉｃａｔｉ方程（ＡＲＥ）解决了一类无时滞确定性系统的Ｈ∞控制器的设计问题;在文［２,３］中,基于ＡＲＥ的Ｈ∞控制器设计方法被推广到含有时滞的线性系统...     

模式矩阵的理论研究Ⅰ：基本概念

本文在文献［２］、［３］的基础上，给出了模式矩阵的定义，分析并给出了模式矩阵的固有性质，特别对同类标准型详细讨论了它的分类，并讨论了各类的结构特征，为模式矩阵的理论研究提供了基础。     

受控离散事件过程（CDEP）的一种代数分析方法

本文在文［１～３］的基础上，提出了受控离散事件过程（ＣＤＥＰ）的一种代数分析方法，弥补了Ｒａｍａｄｇｅ和Ｗｏｎｈａｍ［１～３］的理论对具体系统的应用缺乏可操作性的缺陷，使得对ＣＤＥＰ动态过程的分析变得更为直观，同时也使控制器的设计过程更具可操作性．     

仿人智能控制的在线学习模型

仿人智能控制是一种基于知识的智能控制,模拟了人的控制经验与技巧。根据以前的研究成果［１］［２］［３］,文章总结了仿人智能控制的智能性、仿人智能控制设计的多模态性,讨论了仿人智能控制在线学习的必要性及其学习内容,提出了一种新颖的仿人智能推理与控制在线学习模型,为仿人智能控制系统的设计提供了理论基础。     

一种快速生成2k3型Hadamard矩阵的算法

１．引言所谓ｈａｄａｍａｒｄ矩阵［１］Ｋｎ是指以１或－１作为元素并满足ＨｎＨＩ＝ｎＩ的ｎ阶方阵．Ｈａｄａｍａｒｄ矩阵在数字图象处理［２］、编码理论［３］、数字通信、多比特扩散码［４、区组设计等领域都有十分出色的应用,在应用中常常用到各阶具体的Ｈａｄａｍａｒｄ矩阵,因此研究如何快速生成各阶Ｈａｄａｍａｒｄ矩阵Ｈｎ是十分必要的．有关Ｈａｄａｍａｒｄ矩阵已有一些结论［１］：定理１．设ｎ＞２,Ｈｎ是Ｈａｄａｍａｒｄ矩阵,则ｎ＝０ｍｏｄ４．定理２．若Ｈｎ是Ｈａｄａｍａｒｄ矩阵,则也是Ｈａｄａｍａｒｄ矩阵．…     

基于矩阵方法的量子纠错码构造

根据由简单无向图构造的量子纠错码与量子稳定子码的关系,利用与图对应的对称矩阵直接给出量子稳定子码的稳定子,由此提出一种基于矩阵方法的量子纠错码构造方法,通过将子矩阵变换为循环矩阵,找到满足特殊性质的矩阵,并证明对任意素数p>3,量子MDS码［［9,5,3］］p和［［8,4,3］］p存在,对任意素数p>7,量子MDS码［［9,3,4］］p存在。     

混合物相平衡预测系统的建立

混合物相平衡是重要的热力学性质之一，是化工过程设计与控制必不可少的基础数据。因此，精确预测混合物相平衡有着十分重要的理论和实际意义。本文以修正的硬球三参数状态方程（ＭＣＳＰＴ方程）＾［１，２］为基础方程，结合三种混合规则（经典模型、局部组成模型＾［３］和基团贡献模型＾［４，５］），建立了一个功能较全、易于推广应用的混合物相平衡预测软件包。     

一个m维整数瓶颈运输问题及其算法

５１．引言 整数瓶颈问题 （ＩＢＰ的研究最早可追朔到 １９５９年Ｇｒｏｓｓ关于瓶颈指派问题 （ＢＡＰ的研究［’］以及 Ｂａｒｓｏｗ关于时间运输问题（ＴＴＰ）的研究［’］．对 ＢＡＰ相继又出现了改进算法［３］、图算法［４］以及将其化为一般指派问题的算法［’］． １９６９年以来， Ｈａｍｍｅｒ等人又研究了 ＴＴＰ［６－８１．近十几年来，对 ＩＢＰ仍有一些新成果面世 ［９－１５１．但无论国内或者国外，所有成果其目标函数均局限在１，２维的简单情形．本文提出并研究了目标函数为。维的整数瓶颈运输问题， ５２．问题的提出…     

R-循环分块矩阵求逆的快速傅里叶算法

§１．引言 循环矩阵及循环系统的求解在线性预测、误差控制码、自回归滤波器设计领域内起着重要的作用［１－３］．而循环分块矩阵在计算机时序分析、自回归时序模型波滤中也经常出现 ［４］,文［５］对循环矩阵与循环分块矩阵作了较全面和深刻的研究．对这类矩阵求逆问题的快速算法早就引起了人们的重视［５－７］．本文试图对Ｒ－循环分块矩阵［８］求逆进行研究,提供了一种快速傅里叶算法,其计算复杂性为 Ｏ（ｍｎｌｏｇ２ｍｎ）． §２．引理和算法推导 定义１．具有如下形式的ｎ阶矩阵称为ｒ－循环矩阵,记作ＡＣｉｒｃｒ（ａ０,…     

代理签名与阈下信道的封闭

１９８３年,Ｓｉｍｍｏｎｓ＾［１］提出了阈下信道的概念,并阐述了如何在一个可认证的消息中隐藏一个秘密信息,１９８５年和１９９４年,Ｓｉｍｍｏｎｓ分别描述了如何利用ＥｌＧａｍａｌ签名方案和ＤＳＳ建立阈下信道并下阈下信道的若干应用＾［２－３］,１９９８年和２０００年笔者分别文献［４］和文献［５］中共建立了六个封闭阈下信道的签名方案,文章将基于代理多重签名和一次性代理签名又建立了两个封闭阈下信道的新型签     

NURBS在几何造型中的应用技巧

本文论述了ＮＵＲＢＳ在几何造型中的使用方法和技巧，介绍了使用ＮＵＲＢＳ精确表示解析实体的简便方法，给出了表示一些特殊曲线、曲面的通用算法．与传统方法［１］［３］相比，减少了控制点数目，容易使用和实现．     

一种新的线性规划问题的神经网络解法

１　引言单纯形法是解线性规划问题的最常用方法,可它不是一种多项式算法［１］．椭圆算法［２］的提出,使人们认识到线性规划问题存在多项式解法．但椭圆算法本身在实际中的应用却并不成功．内点法［３－５］是新的一类多项式算法,尽管它在求解大规模线性规划问题方面显示了相当的潜力,其算法的精度和软件的开发都有待完善和发展．神经网络方法展示了一种新的计算思想．由于固有的并行性和学习、联想能力,其应用和发展前景未可估量．对线性规划问题而言,Ｈｏｐｆｉｅｌｄ和Ｔａｎｋ提出的ＴＨ算法［６］是这种方法的代表,然而,ＴＨ…     

纤维素酶高产菌株最适发酵条件的研究

纤维素酶是指能降解纤维素生成纤维二糖和葡萄糖等小分子物质的一组酶的总称［１］,是复合诱导酶［２］,包括多种水解酶［３～５］。在７０～８０年代,纤维素酶主要是作为粗饲料的添加剂,提高了饲料的转化率。近年来,纤维素酶在果蔬饮料等食品加工中得到了广泛的应用,提高了原料的利用率［６］。在中草药提取中,经纤维素酶处理的中药原料,有效成分的提取率提高了５%。目前,丹麦、美国、日本等国家已经选育出纤维素酶高产菌株,并用于工业化生产。而我国,以前主要注重纤维素酶基础应用方面研究,用于生产的菌株生产纤维素酶的滤纸酶活力（ＦＰ…     

循环三对角线性方程组的一种分布式并行算法

１．引 言 循环三对角线性方程组的求解是诸多应用问题的重要组成部分．例如,周期的样条插值就导致对角占优的循环三对角线性方程组的求解［１］,当边界条件为周期边界条件时,一些偏微分方程的离散化也可能导致循环三对角线性方程组的求解．适应计算机体系结构发展的此类方程组的算法研究,是数值并行算法的重要问题之一．文献［２］讨论了适用于共享主存并行机的此类方程组的并行算法,在 Ｍｌｌｅｒ和 Ｓｃｈｅｅｒｅｒ［３］提出的并行化Ｈ对角线性方程组解法的划分方法基础上,Ｃｈｕｎｇ［４］等对循环块三对角线性方程组进行了研究…     

由人面照片重建人面三维模型的探讨

１引言人面的计算机辅助三维造型有着广泛的应用前景．现有方法主要采用三角面片或自由曲面建立人面的三维几何模型,进而控制该模型的形状与表情［１,２］．也有人采用图象变形的方法,但其三维效果有限［３］．现有方法易于进行表情控制和基于物理的仿真．但由于需要采...