基于重量分析的OBDD变量排序算法

有序的二叉判决图（ＯＢＤＤ）是布尔表达式的一种有效表示方法，但它的体积对变量排序具有较强的依赖性。本文提出一种电路结构图，并在此基础上定义了原始输入重量和节点重量等参数，并建立了用重量分析来指导的ＯＢＤＤ变量排序算法。由于从考虑变量对输出函数的影响出发与从考虑ＯＢＤＤ节点共享性出发对变量排序的要求不同，本文分别设计了两类算法。实验结果表明，本文对大多数标准电路变量排序的效果都优于国际上的同类算法，     

求解最优二分搜索树

最优二分搜索树的求解在一些实际问题中是经常碰到的，本文首先对该问题以及已有的几种求解算法作一介绍和评述，之后给出求解ＯＢＳＴ的更优算法，以及其正确性证明和算法评价。该算法的时间复杂度为最好的结果９。     

利用DMA实现基于ARM的HDLC通信

本文主要以ARM7TDMI为内核的Samsung's S3C4510B 网络微控制器(Networking MCU)为基础,重点论述了如何通过DMA(直接内存访问)方式实现HDLC通信。并讨论了如何编写在操作系统下的驱动程序。     

文件目录及链表损坏后的文件恢复办法

本文介绍了一种利用PCTOOLS和DEBUG程序直接查看和读写磁盘扇区数据的恢复丢失文件的方法,并给出了一个文件恢复实例。     

一种新型图形描述算法

本文提出一种新型的图形描述算法，该算法以各种规则图形作为图形的最小处理单位。利用本算法构造的图形管理系统可广泛用于环境实时监控、采样数据动态显示等领域     

二维Delaunay三角网的动态更新

对于三角格网的动态更新，提出了一种对称边双循环链表结构，提供了如何实现这种结构，如何创建三角形，动态插入和删除点等操作的代码和伪码实现。该结构具有理解容易、操作简单、使用内存少的特点，能够快速地查找和维护三角网的拓扑结构，并且可根据实际需求进行扩充。     

网络多媒体课件自动生成平台的探索与设计

随着网络技术的发展，将其与计算机技术、多媒体技术相结合并融入教学过程的新的教学手段已经成为信息时代的潮流。应用于网络环境的多媒体课件的制作和维护过程要比其他类型的课件简单得多，成为网上教学的主要资源。因为现有的多媒体课件都存在更新速度慢、无法适应千度万化教学环境的缺点，所以开发课件组合系统成为现代教育技术中非常热的一个课题。基于“积件”理论，就网络多媒体课件自动生成平台做一探索设计。     

用C语言链表解决大整数运算的精度问题

介绍用C语言链表解决大整数运算的精度问题的方法。     

基于“二叉决策树”模型的嵌入式软件调试

在嵌入式软件开发过程中,软件不可避免地会出现各种错误,因此调试是软件生命周期中一个非常重要的环节。针对嵌入式软件开发的流程和特点,对其调试部分进行较为深入具体的研究和探索,提出基于调试器的"二叉决策树"调试模型。该模型描述了嵌入式软件调试的一般过程、调试对象和常用方法。实践表明"二叉决策树"调试模型具有较好的实用性和扩展性。