基于I／O传送的PCI总线控制器的设计

随着微处理机性能的迅速提高以及多媒体技术和高速网络的不断发展，人们对微机系统的I/O带宽提出了越来越高的要求，原有的标准总线如ISA、EISA和MC已逐渐不能胜任现代技术的要求。在这种情况下，PCI总线便应运而生，并迅速成为微机中的主流标准总线。现有的PCI总线控制器的实现方法有：采用专用芯片和可编程逻辑芯片。笔者在对PCI系统结构粗略介绍的基础上，用一块Lattice1032E可编程逻辑芯片设计出一个基于I/O传送的PCI总线控制器。仿真分析表明，该设计是成功的。     

纺织酸浴过程多通道实时监控及数据查询系统

国内绝大多数化纤企业仍然采用人工取样滴定酸浴检测方法，而这种方法由于受人为因素的影响很大，导致测量重复性差、测量结果滞后、实时性差，因而调配的酸浴品质不高，浓度波动较大，对粘胶纤维的生产品质影响很大。针对以上问题，采用S7—200PLC和VISUAL Basic及SQL Server数据库，开发了多通道实时监控系统，该系统配置灵活，扩充方便，可靠性高，能以支现形象的方式表现实时数据，同时对历史数据采用SQL Server数据库进行了保存，可方便地进行查询和分析。实际应用表明具有良好的运行效果。     

Shift visual cryptography scheme of two secret images

A new visual cryptography scheme of two secret images, which is named the shift visual cryptography of two secret images, is given. The compound function family of a general construction model is also introduced. The uniqueness and validity of this model are proved, and the minimum rows and columns for realizing the scheme are obtained. Compared with visual cryptography of one secret image, the shift visual cryptography scheme can share two secret images with the same size of pixels expansion without losing the contrast. It has randomness and various forms, and furthermore, we can also visually recover two secret images even if the two shares are different in form and color.     

关于经验论模态词相互关系的注记

经验论模态逻辑系统含有两组关于经验推理的模态词，证明了该系统中复合模态词间的一系列蕴涵关系，并构造反模型说明了其蕴涵关系的反方向不成立，从而全面弄清了该系统中各种复合模态词的相互关系。     

模拟示波器数字化存储功能的设计

设计的电子系统由大规模可编程逻辑器件PLD，模／数(A／D)转换电路、数／摸(D／A)转换电路、存储电路、比较触发电路、放大器电路组成，重点论述了系统构思、计算和设计过程，本设计的实现，能使模拟示波器具有数字化存储功能，成为简易数字存储示波器．     

工程问题的哲学意义

工程是一种有一定规模的建造活动，当今人类正生活在一个由各种有形和无形的工程所关联起来的网络中，人类当代文明就是一种工程文明。工程的普遍化使得工程问题上升到了哲学层面，具有了哲学意义。工程个案和一般工程学科解决工程中的具体问题，但惟独不对“工程本身”发问。对工程的哲学研究则专门追究“工程之所以为工程”的问题。工程问题的哲学意义至少有两种：一是按照哲学研究的惯常方式建构一门新的部门哲学，二是通过对工程问题的特殊性呈现给人类思维方式的变革提供一个契机。任何一项工程都牵涉无数复杂因素，它们之间尽管具有这样那样的逻辑性关联，但总有一些因素之间没有逻辑联系，这就使得工程问题归根到底不可能逻辑地、理论地和哲学地解决。理论和工程之间不可能逻辑地统一起来，这就是工程问题通过哲学而给我们的最特殊的启示。     

利用卡诺图快速化简逻辑函数的方法

该文分析了利用卡诺图法化简逻辑函数的基本原理，并根据自己的教学实践，提出了快速画出逻辑函数的卡诺图及由卡诺图快速化简逻辑函数的方法。     

机场最小起降带的计算机辅助优选

通过对机场最小起降带位置选择影响因素的研究分析，建立了以工程量为主要依据的道面区位置优选方法，开发了最小起降带辅助优选软件。实例表明此方法和软件可用于机场抢修实践。     

基于活动对象的面向对象测试策略研究

提出基于活动对象的面向对象测试策略，给出三种覆盖标准，用以处理由面向对象新特性带来的问题。其中，所有定义-使用对覆盖标准主要用于指导测试设计者设计验证对象生存期的动态行为的测试用例；所有绑定覆盖标准主要用于解决继承和多态问题，以及执行了哪个绑定；所有交互覆盖标准主要用于解决方法间的数据共享问题。     

内存数据库查询优化

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