Smith依赖图的改进

本文分析了 Smith 提出的关于关系数据库设计的依赖图方法,证明了此方法可以使关系模式的规范化程度达到3NF,但不能达到■并在仅考虑函数依赖的情况下提出了改进规则,使其达到了 BCNF.     

时态数据库中的时间变元及其绑定

时态数据库（TDB）出现于上世纪80年代,TDB中的时间变元反映了数据库时态信息的变化情况,它是TDB时变属性的重要体现,本文对于TDB发展历史中典型模式进行研究,对于历史数据库和双时态数据库中的时间变元进行分析,有针对性地对它们的时间变元进行了绑定操作,对于双时态数据库中的BCDM模型进行了有效时间变元Now和事务时间变元UC的绑定操作,并给出了具体实现。     

关系模式规范化的几个问题

本文讨论了关系数据库中实际数据依赖和用于规范化的函数依赖集之间的差异及过度规范化问题。研究了函数依赖集的闭包及Boyce-Codd范式的判定问题。提出了原子函数依赖集的概念,以此取代函数依赖集的闭包进行关系模式的规范化。并定义了一类对某NP-完全问题可解的实际问题。     

分数阶复值神经网络的自适应投影同步（英文）

本文基于自适应混合控制研究了一类分数阶复值神经网络的投影同步.首先,在复数域上构造了一个新的分数阶微分不等式;然后,通过设计新的自适应混合控制器,利用分数阶Lyapunov引理和复变函数理论,得到了分数阶复值神经网络自适应投影同步的充分条件;最后,通过数值模拟验证了理论结果的有效性.     

异构网格环境下的可信依赖任务调度

针对异构网格环境下依赖任务调度过程中网格节点行为可信性考虑不足的问题,根据网格节点的历史行为表现,构建了一个动态信誉度评估策略,为确立任务需求与资源节点行为可信属性之间的隶属关系,定义了隶属度函数,建立了一种安全可信的网格任务调度新模型.为了实现该模型,提出一种依赖任务可信调度的粒子群进化算法.该算法通过深度值和关联耦合度的引入解决了任务间的约束关系;为克服传统粒子群算法解决离散问题时的不足,结合网格任务调度问题的具体特点,重新定义并设计了新的粒子进化方程;为预防算法陷入局部最优,引入了均匀扰动速度.仿真实验表明,该算法与同类算法相比,在相同条件下具有较高的执行效率和安全可信优化性能等.     

关于单种群离散模型稳定性的讨论

本文基于对函数g(x)的研究,得到几个有用的引理,从而讨论了单种群模型x_(i+1)=g(x_i)平衡点稳定性,得到[1]、[2]中的基本定理。     

耦合忆阻复值神经网络的固定时间同步

本文研究了具有时变时滞的耦合忆阻复值神经网络的固定时间同步.首先,引入了复值符号函数来避开传统的分离方法,并建立了一个新的固定时间稳定定理来改进已有的相关结论;然后,通过设计不连续控制策略,利用微分包含理论,建立了主从耦合忆阻复值神经网络的固定时间同步判据.本文的控制策略并不包含线性部分,简化了传统的控制设计;最后,通过数值实例对理论结果进行了验证.     

一种多源矢量空间数据的联动增量更新模型

提出了一种可扩展的多源矢量空间数据的联动增量更新模型.该模型以不同来源的矢量空间数据库作为局域网中的数据节点,通过动态建立和维护不同节点的数据之间的依赖关系,并根据依赖关系信息提取和派发增量更新数据,实现了矢量空间数据节点与节点之间传递联动更新,有效地解决了依靠大量的人工更新操作去维护不同来源的国土资源矢量空间数据库之间现势性和一致性的问题.     

数据库规范化理论研究

数据库规范化理论是数据库领域研究的一个重要课题.本文综合论述了数据库规范化理论研究的现状,指出了从关系数据库、面向对象数据库到XML数据库等各发展阶段中数据库规范化问题的特点、主要思想和关键方法,描述了数据库规范化理论的重要研究成果以及存在的问题,指出将形式概念分析方法引入数据库规范化中,作为新环境下数据库规范化理论研究的新的发展方向.     

时序媒体间同步控制机制的时态模型

在大量实际研制、开发多媒体软件产品工作基础上,通过分析现有同步控制方法的优缺点,提出了一个统一的、可适应时序媒体间同步关系定义的时态模型,该模型可满足时序媒体定量定性的同步控制要求,并给出了“唇同步”控制的时态定义实例．     

基于时态逻辑演算的程序验证

本文建立了时态逻辑演算。在该演算系统下,若能证明一程序抽象成的时态逻辑公式是定理,则该程序是完全正确的。     

一种汉语语句依存关系网分析策略与生成算法研究

本文以依存语法作为语言模型的基础,首先提出了一种全新的句子分析策略: 分析在两级上进行. 一级是基于中心动词同其他成分间的约束关系 ,通过寻找汉语语义类之间可能存在的句法关系,实现句子成分过滤,完成句子主干提取. 另一级是上下文级,将语法、语义和语境信息一体化,结合依存语法确定汉语句子中各成分间的依存关系. 之后给出了一种快速有效的用于完成句子分析的松弛匹配迭代算法. 通过实验表明了该分析策略和算法的可行性.     

多值移位型计数器设计

分析和讨论了基于全状态图的多值移位型计数器的设计方法,指出了当将该方法用于更多值的移位型计数器的设计时,将变得非常复杂,失去了直观性和方便性的特点.提出了多值全状态表及基于全状态表的多值移位型计数器设计方法.此方法能解决上述问题,并给出了二变量四值移位型计数器的设计实例.     

多值算子不动点及变分不等式的一种迭代解

针对Hilbert空间上一类满足一致单边Lipschitz条件的多值算子不动点问题，讨论了其迭代解法，构造了参数凸组合形式的迭代格式，并证明了迭代过程的收敛性。考虑了将多值变分不等式问题转化为多值算子不动点问题来求解，同时给出了一个求解障碍问题的具体数值算例。     

无界集值上鞅的Riesz逼近

研究了弱紧凸集值上鞅及无界集值上鞅的Ｒｉｅｓｚ逼近，以及鞅型集序列的若干收敛定理．     

基于二值计算机的实时多值逻辑控制系统的研究

在工业控制系统中,常常遇到多值逻辑问题,用二值逻辑概念去解决极不方便,有时甚至是困难的．本文提出一种在二值计算机上建立起完备的多值逻辑运算集和多值逻辑接口的方法,从而实现了在二值计算机上有效地解决多值逻辑问题．     

多值拟线性椭圆型微分方程的近似解

作为非线性多值椭圆型方程的一个模型，讨论了一类多值拟线性椭圆型微分方程边值问题，给出了它的解的定义，证明了它的解及其近似解的存在性，以及近似解的收敛性．在数值实例中，还给出了求解的具体实施步骤，数值计算表明，理论分析与数值结果一致．