基于任务复制的进化调度算法

并行程序任务调度是NP完全问题。已有的进化调度算法不能很好利用任务复制这一重要手段。为此，利用染色体直接编码和间接编码的优点，并结合任务图的知识，使进化调度算法的搜索能力得到增强，同时染色体的解码过程也得到简化。通过与同类算法的性能比较，表明了本算法在调度问题中的有效性。     

机群上DSM和消息传递方法的集成

在并行分布式计算领域中,基于NOW(Network of Workstation)的分布式共享存储器(DSM:Distributed Shared Memory)系统越来越受到人们的青睐.然而,要想在这种系统上获得较好的可编程性和性能,则需要系统支持细颗粒度的并行性,并且简化编程.我们设计了一个并行分布式系统,该系统由六台SUN Sparc上作站通过10M以太网组成,外加基于线程的MPI运行库和自定义的DSM-C程序设计语言,同时用软件方法实现Cache一致性.所有这些构成了一个较好的并行程序设计环境     

冲孔桩＋三重管旋喷桩加固深基坑的应用

本文根据某工程实例,对冲孔灌注桩与三重管高压旋喷桩联合加固深基坑的分项施工方法与质量控制进行探讨。     

基于信任逻辑的PKI互通信任模型形式化

为了准确描述公钥基础设施(PKI)互通信任模型的语义,提出一种能推理主体信念和信任关系的形式逻辑,并用该逻辑形式化地分析了3个重要的PKI通信任模型.结果表明,这种逻辑能准确表达PKI互通信任模型的语义,揭示模型的优点和弱点,为验证PKI通模型是否满足特定需求提供了一种有效的形式化方法.