关系数据库系统移植中模式优化与冲突机制的设计

在深入研究异构数据库在模式和SQL语法等方面差异的基础上,设计了可扩展的冲突检查和处理机制,通过对潜在的冲突元素进行针对性调整避免模式冲突的不利影响.同时为了向上层应用程序屏蔽数据库移植中的模式调整,提出了在运行期间动态调整操作请求来保证数据库操作的准确性.     

基于构件汉语拼音的湘西方块苗文输入法

在分析湘西方块苗文的结构特点及其构件拆分方法的基础上,提出了一种基于构件汉语拼音全部字母的输入编码方案,设计了输入法编码映射表;并以多多输入软件生成器为工具,实现了基于Windows IMM-IME结构规范的湘西方块苗文输入法软件及其安装程序.测试结果表明,基于上述输入编码方案的苗文输入法易学易用,能够有效地解决湘西方块苗文的计算机输入问题.     

B-值多线性映射的有界型核定理

讨论了取值于一般的Banach空间（不必须是自反的）的有界型多线性映射的核定理．     

集值映射型广义Ekeland变分原理

在序拓扑向量空间中定义了集合的非线性标量化函数,
 并证明了它的一些性质. 利用集合的非线性标量化函数, 给出了关于集值映射的广义Ekela
nd变分原理, 此变分原理是向量形式广义Ekland变分原理的推广.     

AADL模型的ada代码自动生成及集成技术

基于模型驱动架构MDA方法,对AADL进行了研究,提出了AADL模型元素同ada语言元素之间的映射规则。开发了AADL模型的ada代码自动生成器Generator—ada,最后以实例证明将AADL模型自动转换为可执行的ada代码的有效性。     

集合的等价度量研究

通过引进特殊的复合函数,分别给出一个集合与n个集合的Cartesian积的等价度量．     

向量映射的广义拟凸性及应用

通过研究广义拟凸的向量映射的一些性质,讨论了向量极小极大不等式,改进和推广了相关文献中的主要结果．     

一种模糊小脑模型神经网络及其仿真研究

在传统小脑模型的基础上,利用其特有的寻址方式,引入模糊逻辑的思想,采用模糊隶属度函数作为接受域函数,提出了一种模糊小脑模型神经网络。重点研究了接受域函数的映射规律、隶属度函数及其参数的选取规律和学习算法。仿真结果表明,该模糊模型具有良好的泛化能力和逼近精度,且可获得连续性强且有解析微分输出的复杂函数。     

关于p-一致光滑Banach空间中非自映像的Reich公开问题

在p -一致光滑的Banach空间(1相似文献   

关于广义非线性隐似变分包含问题

文章在Hilbert空间中引入了一类新的涉及（A,η）单调映射的非线性集值隐似变分包含问题,基于与（A,η）单调性相关的广义预解算子技巧,用一种迭代算法研究了解的近似可解性,所得结果改进了许多近期结果．