内存数据库查询优化

基于一种广泛接受的内存数据库系统基本概念及内存数据库中的SB-树索引结构，提出了更方便关系代数操作的SB^*-树．在此基础上，提出了优化的关系代数操作的实现算法．根据这些算法和关系代数等价定理，给出了对关系代数查询树进行逻辑优化的规则，并证明了逻辑优化的正确性．最后给出了代价评估模型，实验表明提出的内存数据库查询优化算法相对于传统的优化算法具有更好的时间及空间性能．     

非致冷红外焦平面阵列驱动电路优化设计

提出了基于复杂可编程逻辑器件 (CPLD)及低压差 (LDO)线性稳压器实现 3 2 0× 2 40长波红外非致冷焦平面阵列 (UFPA)驱动电路优化设计的方法 .选用Altera公司的MAX70 0 0AE系列CPLD作为硬件设计平台 ,运用VHDL语言对驱动时序进行硬件描述 ;选用TI公司的LDO线性稳压器及 14bit视频A/D转换器THS14 0 8实现UFPA偏置电路及视频输出信号的模数转换电路的设计 .测量与仿真结果证明是可行的 .     

自旋1/2态下的量子逻辑变换

作者利用对自旋算符的量子线性变换理论，提供了一种考察自旋1/2态下的量子逻辑门变换的一种有效方法，并给出了几个基本量子逻辑操作的变换表达式。     

基于TCP/IP网络中多PLC通信的设计和实现

随着工业自动化的发展,在控制领域中PLC应用范围日益广泛,因此与上位机间的通信也越来越频繁。通常PLC同上位机间的通信方式是单线对等连接或通过PLC网络实现。文章提出了一种将上位机和多个PLC通过通信服务器组成通用TCP/IP局域网的方法,上位机以定期主动查询方式和PLC实行通信,介绍了上位机通信程序的设计和实现。     

基于网络的便携式机器人管理系统

提出一种全新的便携式机器人的概念。研究了便携式机器人设计、便携式机器人管理系统的体系结构、控制管理模型以及任务的分配管理。在JINI基础上扩展了JINI的服务查找、分发机制。通过综合分析服务提供者状态、用户状态、系统性能以及上下文感知信息，经模糊决策确定是否给用户提供服务。本系统将通过“Pull”方式，或者“Push”方式给用户(或第三方用户)提供所需的网络服务。利用一个应用实例说明系统的应用情况。     

基于PROLOG元级扩充的知识消化系统

通过对ＴＵＲＢＯ ＰＲＯＬＯＧ进行元级扩充，实现了一个能在知识获取时对新知识进行逻辑一致性检测的实用知识消化系统，所采用的技术和方法对提高微机ＰＲＯＬＯＧ知识库系统的质量和性能有重要参考价值。     

多项式隐函数在一点邻域里的近似显式算法

利用隐函定理和Ｗｕ－Ｒｉｔｔ方法给出了多项式隐函数在一点邻域内的一种近似显式算法，并给出了根据要求精度计算邻域半径和迭代次数的关系式，使得这种算法的误差具有可控性，计算量小，容易上机实现，在理想的近似参数化及近似定理证明中有进一步的应用。     

模糊逻辑控制方法在ATM网络拥塞控制中的应用

将普通漏桶技术和移动窗口机制相结合，提出一种基于模糊规则的ＡＴＭ网络拥塞控制方法，并研究了它作为监管机制的一些特性，对它的性能进行了计算机仿真。仿真结果表明，该机制对履行连接接纳控制协议的信元流能提供透明传输，对过份违约的信元能快速阻止其进入网络。与普通漏桶技术相比，本文方法具有同时监管信元流峰值速率和平均速率的优点。     

逻辑功能与逻辑体制

对同一逻辑门电路，既可采用正逻辑体制，亦可采用负逻辑体制，还可采秀混和逻辑体制，选用何种逻辑体制，应视分析和设计逻辑电路的方便与否而定。     

符号几何规划及其可行域修正算法

本文脱离了影响较广泛的文献１、２的思路，不依赖反向几何规划，直接讨论符号几何规划，不增变量个数和约束个数。利用集约化思想构造了一个可行城修正算法。本文还对文献２中的一个疏漏作了修改，增补了文献２的内容