数据库设计方法的发展

数据库研究课题涉及应用、系统与理论三个领域。应用领域研究以数据库为核心的信息系统——数据库应用系统的分析和设计。一个数据库应用系统(DBAS)由数据库系统(DBS)、应用程序系统、和不同层次上的用户组成;而数据库系统又由数据库(DB)、数据库管理系统(DBMS)和数据库管理员(DBA)组成。可见数据库应用系统的设计是以数据库设计为中心的。数据库设计是指,对于一个给定的应用环境,提供一个确定最优数据模型和处理模式的逻辑设计,以及一个确定数据库存贮结构和存取方法的物理设计,以建立起既能反映特定的信息结构,又能为某个DBMS所接     

求解排列问题的分布估计离散粒子群优化算法

目前粒子群优化算法和分布估计算法较少用于解决排列编码组合优化问题,本文提出了一种新的适用于求解排列问题的分布估计离散粒子群优化算法.提出的算法结合粒子群优化算法和分布估计算法的思想,突破了标准粒子群优化算法速度-位移更新模式.新算法中每个粒子的信息一部分来自该粒子当前解排列与全局最优排列的最长公共子串,另一部分来自描述所有个体最优值分布信息的概率模型.这样粒子的当前解、所有个体最优值和全局最优值都参与了新解的生成过程,提出的算法秉承了粒子群优化算法的思想,同时具有更全面的学习能力,提高了算法的寻优能力以及避免陷入局部最优的能力.在两个经典的排列问题上的实验结果表明提出的算法具有良好的性能.     

基于Kronecker分解的数字图象水印嵌入算法

简述Kronecker乘积问题及其在图象处理应用中的最新进展.针对数字水印,本文给出一种结合图象置乱方法的Kronecker乘积分解算法.     

求解TSP的变异算子的设计及优化应用

通过选择合适的算子和参数,遗传算法(GA)可以有效求解旅行商问题(TSP)。GA通常可以获得满意解,但容易陷入早熟,因而较难求得全局最优解。传统的变异算子在求解该问题时性能并不理想,甚至会引起反作用。文章通过实验分析多种变异算子在求解TSP时的表现,提出了一个改进的破坏重建变异法,并利用该方法对算法进行优化。经仿真实验测试,该方法效果明显。     

DDoS攻击及其防御技术研究

介绍分布式拒绝服务攻击(DDoS)的相关知识,包括攻击原理、攻击类型和攻击工具等,从攻击前、攻击时和攻击后3个方面论述DDoS攻击的防御技术,对攻击时的过滤技术的分析.     

基于门户的虚拟协同工作平台研究

通常在门户实现中把协同工作视为一个独立系统进行接入,这不利于提高工作效率.文章提出一种在门户平台上使用相关Portlet和业务资源来构建虚拟协同工作平台的方法和体系结构,进一步讨论了实施中的若干关键问题.最后以江西省电力公司企业门户为研究实例给出相应的研究结果.     

时态查询语言的并发Lambek演算及范畴语法

时态逻辑不可递归公理化的性质,造成它的公理化系统和证明论方法不适于时态查询语言的建模．这使得时态逻辑无法利用公理化系统的良好性质及相关证明论方法对时态数据库的推理和查询做更为严谨和细致地刻画．因此寻找时态逻辑的替代者,以公理化的方式对时态查询语言做句法和语义的分析是必要的．考虑的2个主要工具是作为句法分析工具的以Lambek演算为核心的范畴语法系统,和作为语义分析工具的类型演算λ－演算．这主要是基于类型论的演算特点、SQL语句与陈述句的相似性、Lambek演算和λ－演算的公理化与证明论方法,及它们作为句法和语义分析工具之间的密切联系与对应性决定的．据此从Lambek演算出发,结合时态的处理,构建了并发的Lambek演算（LCTQ）及相应的范畴语法,对以公理化系统为基础的时态查询语言的句法分析做相关研究,并从证明论性质上保障了计算性资源,使得系统更为严谨和完善．     

Ｗeb应用程序对象建模方法研究

Ｗeb应用程序对象建模方法的研究重点是其演示层。根据其特点,利用ＭＵＬ较好地解决了如何把ＨＴＭＬ,ＡＳＰ等Ｗeb应用演示层要素映射为类这一难题。进而讨论对三层Ｗeb应用的建模。     

数据库学科研究型教学探讨

本文探讨数据库课程研究型教学过程中的一些重要问题。首先是教学理念的转变,这是教改的指导思想;其次是研究型教学师资建设;另外就是教学与科研项目有机结合,通过研究型教学提供科研的底层支撑,通过科研项目为研究能力培养和创新人格塑造提供机会：最后是讨论创建研究型教学的硬件和软件环境。     

动态优先系统及其Petri网语义

优先关系是并发系统控制的重要手段。文中提出一种动态优先系统（∑,D）,其中∑是有界Petri网,D是描述变迁之间优先关系的动态结构。然后采用变换技术分别给出安全的和有界的动态优先系统的Petri网语义：通过引入广义补位置和优先变迁,并对非安全系统的某些变迁进行分解,根据（∑,D）构造相应的Petri网∑D。最后利用步序列证明了∑D在不破坏动态优先结构D的规格说明约束的前提下,尽可能地保持了∑的并发语义。