摘要：基于现实会议中席位的分配与共享规则,抽象出能用于射频优卡的席位约束会议模型.基于会议模型分析射频优卡多芯片操作系统(COS)安全问题,给出安全实体的符号化描述和安全需求的形式化定义,建立了COS、存储块和独立存储区的有限状态机模型,并复合这3个模型建立了多COS安全的有限状态机模型.给出了安全模型的原型系统设计及其功能仿真和现场可编程门阵列(FPGA)实现.仿真结果表明该安全模型结构简单,易于实现,具有很好的数据安全性.

摘要：针对随机及早检测(RED)中存在的不稳定现象,提出了一种新颖的AQM算法LRC-RED,该模式具有快的响应速度、良好的鲁棒性以及高的链路利用率.LRC-RED是在RED,LossRadio,VRC,TCP/AQM等基础上提出的,它检查最近包的丢失率以及当前拥塞链路总速率,然后动态调整包的丢失概率以提高服务性能.为了验证算法的有效性,设计了一个有效的实验来检验.实验表明,该算法是可行的.

摘要：考虑视频点播系统的成本代价要求 ,设计一种基于低配置服务器群架构的高性能分布式视频点播(VOD)系统 ,论述系统的体系结构和各模块功能 ,采用基于最大值或最小值的动态负载均衡调度算法 ,给出软件实现的基本过程 ,得到良好的试验结果 ,并导出一个可伸缩的服务器配置公式 .该系统设计支持大规模的并发用户 ,具有良好的伸缩性、抗干扰能力、设备无关独立性等特点 .

摘要：提出了一个基于本体的通用知识网格(UKG)架构模型,用于在网格环境下创建大规模的分布式知识发现和知识集成系统,并对网格基本的安全机制进行扩展,引入安全策略本体服务和防火墙本体服务,提供较高的安全性.讨论了本体构造的原则和方法,介绍了外汇监管集成本体的设计和实现.给出了基于UKG的外汇监管的应用举例,展示用户在解决问题时如何从UKG服务获益.

摘要：提出了一种改进的信用计分方法,该方法采用商品价格的区间分布来对成功交易进行加分,采用信用等级的扣分系数来对不同信用等级的失败交易进行扣分,可以解决信用炒作和周期欺骗问题。通过对信用风险的分析,在改进的信用计分模型的基础上,设计了一种网上交易的风险计算方法,该方法可以根据历史交易的情况以及当前交易的价格来对当前交易的风险进行评估。模拟实验结果表明,改进的信用计分方法具有较好的抗信用炒作和周期欺骗效果,所给出的风险评估方法对电子商务交易中的风险分析和预测是比较准确和有效的。

摘要：确定候选关键字是关系数据库的理论研究和应用设计中非常重要的问题，求解候选关键字是一个ＮＰ－完全问题。文章提出了一种快速求解候选关键字的算法，该算法利用关键字本身的属性，采用特殊的剪枝策略，可大大减少非关键字的生成，并显著地降低Ｉ／Ｏ时间和ＣＰＵ时间，尤其是当候选关键字的维数较小时，可以急剧降低算法的复杂度。

摘要：结合协同开发和Agent技术,构造了一个基于Agent组件的智能软件协同开发模型CMISA,对模型的组成元素进行了语义定义,并阐述了模型的设计思想。实现从传统软件结构到智能软件结构的转变,从实体单元的被动性到主动自主性的转变,使开发出来的软件具有典型的智能特征。

摘要：在分析数字图像中数字水印所受各种攻击的基础上,给出了一个基于数字水印技术的数字图像版权保护安全协议框架.该协议在满足数字版权保护基本要求的同时,引入了认证中心和版权中心,以便更好地保证数字水印抵抗协议攻击的能力和图像服务商与消费者在版权方面的公平性.对数字图像中含有合法数字水印和伪造数字水印的状态及状态变迁进行了分析,并采用协议安全分析工具murphi对所给安全协议进行了分析.分析结果表明所给协议具有较强的安全性.

摘要：提出了一种不依赖于同步性的抗几何攻击的水印算法,通过对水印模式结构进行精心设计,使得其自身具有可识别性,通过对不同结构的水印模式进行识别,从而判断对应的水印信号.算法从根本上消除了同步性的依赖,也不需要对图像进行区域剖分和规范化,因此大大节省计算消耗.实验结果表明,该水印算法对旋转、缩放、裁剪、改变纵横比等几何操作具有鲁棒性,同时对高斯噪声、低通滤波等信号处理操作也具有鲁棒性.

摘要：将现代排队论的有关原理用于视频点播数学模型的建立,介绍了生灭过程,阐述了有限源等待制VOD视频点播模型的建立,对其主要性能参数进行分析并得到了可以指导VOD系统设计的数学分析工具。