An Efficient Secure Real-Time Concurrency Control Protocol

0 IntroductionThe real-ti me database system(RTDBS) is usually ap-pliedto the safety-critical applications .Inthese applica-tions,besides the ti ming constraints ,it is essential to preventunlawful information flows between different transactions .The traditional real-ti me concurrency protocols such as two-phase locking high priority (2PL-HP)[1], priority ceiling(PC)[2], OPT-WAIT[3], OPT-SACRIFICE[4], etc ., con-centrate on how to mini mize the missing deadlines ratio oftransactio…     

基于校园网格的多学科计算及协同可视化

针对浙江大学各高性能计算资源过于分散、无法充分利用的问题,提出一种校园网格的架构.通过使用Globus Toolkit和Sun Grid Engine两种网格中间件,部署层次化结构的校园网格,并在此基础上提供科学计算、生物信息、流体力学等服务.通过在不同节点数的网格中的应用程序运行情况的测试,表明校园网格能够提供高效、稳定的计算能力.提供了在校园网格环境下本地绘制和服务器绘制两种可视化服务,用户可以针对不同的数据和计算环境,选择不同的可视化方法;用户可对可视化结果进行协同操作,便于联合研究和分析.     

舰船保障性并行设计管理模式分析

针对传统串行设计管理模式中存在的问题,提出了舰船保障性并行设计管理模式,包括舰船总体与保障性设计内容并行,舰船总体设计过程并行,舰船综合技术保障设计主体并行和舰船全寿命周期信息集成共享4方面,界定了并行的内容和并行设计中各主体活动,给出了并行设计流程,建立了基于CALS的并行设计信息集成体系,从而为舰船在设计阶段就具备可保障、易保障能力提供理论和方法依据.     

一类延迟微分方程的并行Rosenbrock方法

针对刚性大系统,根据实际数值仿真和科学计算的需要,提出了一类并行Rosenbrock方法.该方法将不同级分配到不同的处理器上同时计算,以提高计算效率.将其用到一类延迟微分方程上,并对其稳定性及收敛性进行讨论.该方法不需要迭代,具有良好的稳定性.     

第3代移动通信系统中的多用户检测技术

讨论了第3代移动通信系统中的多用户检测技术;多用户检测(MUD:Multi-User Detection)技术在传统检测技术的基础上,充分利用造成多址干扰(MAI:Multiple Access Interference)的所有用户信号信息对单个用户的信号进行检测,从而具有优良的抗干扰性能.首先,给出了多用户检测性能界限;然后具体分析了两类多用户检测,给出了它们的实现框图,性能曲线,以及各自的优缺点.     

在并行设计系统中引入Agent技术

阐述的是将人工智能Agent技术引入现有并行设计系统中，通过在设计的底层－－特征（Feature)级别上实施并行工程理念，将“设计→评估→再设计”的大循环改进为“设计=评估”并行进行的小循环，有效地在产品的设计过程中产品的可制造性进行了评价，进一步增强了并行设计系统的实时性和高效性，从而不论在宏由还是微观上均保证了并行工程总体目标的实现。     

并行测量仪器的测量系统能力分析

测量系统能力分析是工序质量改进的一项重要工作，也是OS9000所要求的要素之一，其目的在于研究测量系统对工序质量的保证程度。传统的测量系统能力分析方法是以单台测量仪器为对象的，不适于多测量仪器并行测量的情形。因此，以并行测量过程为对象，基于三因素交叉随机实验模型的方差分析和方差估计，提出了并行测量仪器测量系统能力分析的方法，并给出了应用实例。     

多智能体并行设计环境中的自然语言通信功能

研究了一个多智能体并行设计环境中自然语言通信模块的设计和实现方法.该设计方法建立在受限语言的基础上,突出了在协商式多智能体之间进行自然语言通信时的准确性.通过建立一个受限词汇的综合信息库,记录词汇的各种语法、语义信息;描述了词库的结构和形态;为了区分基本词汇和面向用户领域词汇,将词库分级;在词法分析时采用总库索引来查询词汇库,并提出了提高词库性能的方法;限定了用户使用的基本句型,采用扩充短语结构文法对句子结构进行分析,并产生相应的语义逻辑公式;定义了句子生成模板,智能体借助该模板提供的接口函数生成自然语言句子.此外,还提出了提高通信有效性的方法,为智能体提供了灵活、友善的接口,提高了多智能体并行设计环境的性能.     

利用NDIS中间驱动技术实现局域网的并行容错

在Windows2000系统平台上采用NDIS中间驱动技术进行并行容错局域网的研究，并就一些关键技术如失效检测、并行传输的NDIS驱动程序实现给出了较为详细的描述。     

基于可进化性的快速遗传算法

给出三类可进化性较强的个体的定义,提出充分重视个体的可进化性并对可进化性强的个体加以引导,来提高遗传算法搜索效率的思想·同时考虑算法全局收敛性能而采用一种并行群体进化结构,设计了旨在提高遗传算法寻优效率的基于可进化性的快速遗传算法,仿真结果验证了这种快速遗传算法的良好性能