基于符号替换逻辑的光学数字计算

本文综述了利用符号替换逻辑进行光学数字计算的原理和技术途径，分析探讨了基于符合替换逻辑光学数字计算技术的发展前景。     

软件重用现状综述

软件重用的研究越来越得到人们的重视,随着研究的深入,我们必须对软件重用的有关背景、功效、形式和现状有比较清楚的认识。本文在介绍了软件重用的背景、功效、形式之后,从软件重用的三种形式——可重用代码、应用产生器和变换系统,着重介绍和分析了软件重用的发展状况。     

智能体的理论研究

智能体在Al/DAl和当前主流计算机学科(如分布式计算)中正成为一个广泛使用、日益重要的键性概念,由此而产生了一系列新的思想、方法、技术和语言用以规范,验证,设计和实现复的分布式     

基于NOWs的并行多重网格计算

分析了工和站网络环境（ＮＯＷｓ）下并行多重网格计算中阻碍并行效率发挥的关键因素，分析了Ｓｃｈｗａｒｚ并行对并行效率和数值效率的影响，总结了将其应用到求解ＳＰＤ椭圆方程，间断问题、ｓｔｏｋｅｓ方程，高Ｒｅｙｎｏｌｄｓ不可压Ｎａｖｉｅｒ０Ｓｔｏｋｅｓ方程和三维跨声速Ｅｕｌｅｒ方程中所取得的重要结论。     

一个低代价的完全自适应路由器设计

互连网络路由器是ＭＰＰ系统的关键器件，其性能优劣直接影响系统性能，本文在ｍｅｓｈ结构上，针对完全自适应器由算法实现难度较大的问题，在性能、低价和实现复杂性 进行合理折衷，给出了一个代价低、自适应性强的完全自适应路由算法ＬＣＦＡＡ，对传统的虫孔路由切换技术进行改进，提出了弹性虫孔路由切换技术，并采用基于虚通道的综合流控策略，设计了一个简洁高交的完全自适应路由器ＬＦＲ，其逻辑在ＸｉｌｉｎｘＸＡＣＴ的Ｃ     

数据库互操作的正确性与安全性

随着网络技术的成熟与信息时代的到来,大范围内的数据共享与分布式事务成为计算机应用的迫切需求。如何使现有的数据库系统能够进行相互交互,在保持局部自治性和安全性的前提下,为用户透明地提供大范围内的数据资源共享与数据操纵能力     

印制板布线的最佳路径快速通道分配算法

针对目前面向线网布线方法的某些不足,本文提出一种具有整体布线思想的最佳路径快速通道分配方法:对给定的线网按照一定的走线模式,根据代价函数,求出其最佳通道分配。它尤其适用于对连线长度有严格要求的超高速电路的布线问题。     

分布实时系统的概率规范和证明形式化

1引言 随着数字系统变得越来越小、越来越便宜,它们用于物理过程控制和与物理过程互协作的机会将越来越多。互相协作的过程如果出现意外行为,后果将可能很严重。这种意外为不仅仅指程序和数字     

抛物运动的计算机仿真研究

为抛物运动的计算机模拟仿真提供数学模型、计算方法，并用动态图形模拟演示运动的过程。该实验教学演示软件对于促进和提高学生学习物理、力学、数学及计算机应用技术的兴趣和水平具有积极作用，算法具有广泛的适应性和启发性。     

抛物运动的计算机仿真研究

为抛物运动的计算机模拟仿真提供数学模型、计算方法,并用动态图形模拟演示运动的过程。该实验教学演示软件对于促进和提高学生学习物理、力学、数学及计算机应用技术的兴趣和水平具有积极作用,算法具有广泛的适应性和启发性。