函数依赖集的扩展左部集

给出了扩展左部集的概念。了当ＦＤ集Ｆ无内部冲突时,Ｆ的扩展左部集的特点与求法,以及它与最小覆盖的左部集之间的联系,阐明了Ｆ的不同最小覆盖集左部集之间的关系。     

函数依赖集投影的算法

给出了关系模式Ｒ的函数依赖集Ｆ在Ｒ的一个属性子集Ｕ上的投影的最小覆盖的算法,并证明了算法的正确性,而且给出了一个实现本算法的例子。     

算子函数的Jenson泛函方程的稳定性

主要讨论了 Hilbert空间上算子函数的 Jenson泛函方程的稳定性 .给出了满足该方程的一个稳定性定理 ,并利用这一定理导出了一个收敛性定理以及可和解析算子函数的等价条件 .     

歧义的元功能分析

本文指出了从形式角度研究歧义的局限性,提出从语言元功能的角度进行研究的必要性。首次把歧义明确划分为表意功能歧义、人际功能歧义和语篇功能歧义,并把研究推向话语层,以进一步考察语言功能和歧义之间更为广泛的歧义。     

基于模糊数的模糊学习理论的关键定理

考虑到现实世界的模糊性,结合模糊集理论和模糊统计学的知识,首先给出了关于模糊数函数以及模糊随机变量函数的若干定理;提出了模糊学习问题的一般表示;最后给出并证明了基于模糊数的模糊学习理论的关键定理.     

基于熵权的水功能区水质达标率年度分解方法研究及应用

水功能区水质达标率年度分解,是促进水功能区限制纳污红线管理有效实施的重要手段。将熵值理论应用于水功能区达标率目标的年度分解,从影响水功能区水质的社会经济发展水平、水质现状、技术进步程度及水资源管理和防治措施等角度确立了12个指标,建立综合指标体系。运用熵权法计算出指标权重系数;结合规划期首末年水功能区水质达标率,得出年度水功能区水质达标率,从而建立了基于熵权的年度水功能区达标率分解方法。经实例验证,方法简便可行,能够实现水功能区水质达标率的合理分解。     

一类含变时滞扰动非线性系统的自适应鲁棒镇定

研究了一类含匹配变时滞状态扰动非线性系统的鲁棒自适应镇定问题.假定变时滞状态扰动的上界是未知的,且满足线性增长条件.基于Lyapunov稳定性理论和Lyapunov Krasovskii型泛函,设计了一种鲁棒自适应状态反馈控制器,并证明了此控制器使得闭环系统一致最终有界,且系统的状态将一致渐近趋于0.最后给出一个仿真例子说明结论的有效性.     

一类脉冲捕食系统的周期解的存在性

由于脉冲现象在自然界中广泛存在,在建立生态模型时引入脉冲效应能更真实、更准确地描述种群的变化规律。该文研究具有脉冲和Beddington-DeAngelis功能反应的捕食系统,运用重合度理论研究其周期解的存在性,得到了周期解存在的充分条件。     

基于简化Mumford-Shah模型的活动轮廓边缘检测模型

在Chan-Vese活动轮廓模型(C-V法)的基础上,提出了一种新的边缘检测模型.在该模型中,图像被定义为两个同质区域的组合,图像边缘检测问题转化为基于Mumford-Shah泛函的能量函数最小化问题.本文在分片常数优化逼近中,添加了图像梯度信息,通过调节该项的权重因子,可以得到基于不同灰度强度的图像边缘图.该方法采用了水平集数值技术,因此活动轮廓具备了拓扑变化的能力,并能克服C-V模型检测不出离灰度均值较远的边缘的问题,实验表明了其有效性.     

n元一次同余方程的解与自由模Z(n)m

在自由模的理论基础上,给出n元一次同余方程解的形式,解的个数定理和求解方法等结论。