prolog代码库的一种管理方法

在编译型Prolog系统中,程序以代码的形式存在。与传统语言不同,Prolog提供了修改数据库的功能,Prolog代码应是可修改的。对于这些代码,必须有一个功能较强的管理系统。本文论述了作者提出的在基于Warren抽象机(简称WAM)的编译型Prolog系统中代码库的一种管理方法。文中讨论了目标代码的形式,动态代码的管理方法以及半静态代码的管理方法。采用这种方法已在VAX-11/780上用C语言实现了一个Prolog代码库管理系统。     

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

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

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

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

C2连续近似弧长参数化曲线

§1.引言 一条参数曲线r:r=r(t),t∈[a,b]化为它自身的弧长为参数的过程称为弧长参数化,弧长参数化在参数曲线理论、CAD等中都有重要的应用价值。 理论上,参数曲线Γ:r=r(t)的弧长参数化由其弧长公式     

面向主题的关系—多维数据模型建立与数据集市

基于关系型数据库如何构建多维数据库的关键技术进行了深入研究,采用对星形模式分解成维表的方法,优化数据库结构,大大提高了数据的查询和处理性能,并用多维数据库实现了一个数据集市.     

一种选择性丢包机制的分析与设计

随机早期捡测算法(RED)在产生丢包时简单地丢弃到达的数据包，由于Web流占据了网络上75％左右的带宽，而Web流的特点是数据包比较少，这就使得早期丢包的效果难以体现。本文提出一种选择性丢包机制，引进一个类似公平队列的虚队列，检测发遥速率过大的流，筛选出丢包的候选链接，拥塞时丢弃候选链接在队列申的第一个连接的数据包。模拟实验结果表明，与队头丢包相比，采用选择性丢包的RED算法可进一步降低网关的丢包率，提高吞吐率，缩短Http的响应时间，提高队列的稳定性。     

面向对象的有限元工程软件体系结构研究

软件体系结构对软件性能和质量及生命周期的影响是非常关键的，它与具体的开发过程紧密相关。面向对象的有限元程序设计可以大大提高程序的模块化和代码的重用性。文章在有限元基本数据封装和单元过程设计的基础上，构建了有限元工程软件构架和原型，详细讨论了如何使用该软件构架进行有限元程序开发的方法。实例应用表明，和传统的方案相比，此方法能更完整地抽象出各类有限元数据的共性，能更好地适应系统的扩充。     

基于uCLinux和S3C4510B的网络通信的设计与实现

文章结合工程实例，基于S3C4510B微处理器构建了以DM9161为以太网物理层接口的低功耗、高速硬件电路。并且在嵌入式操作系统uCLinux上实现了网络通信的程序编写，这对于网络通信在嵌入式设备中的应用有很好的借鉴意义。     

计算网格软件体系结构研究

从研究集成网格计算资源成为具有应用逻辑的复合计算出发,设计了一个新型的分布式软件体系结构—CGSA(Computing-GridSoftwareArchitecture)。CGSA以XML方式显性表达复合计算的组合逻辑,屏蔽了各计算源间的异构性,具有联邦管理自治、计算透明和完备、可扩展、负载平衡等特点。基于CGSA结构,可以充分利用网格计算能力,快速构造新的应用,同时也为集成企业旧的业务系统提供了新的方法。