结构化编程实现Sniffer

随着各高校校园网络规模的不断扩大和各种应用的急剧增加,各种新的网络问题也在不断出现。Sniffer是网络管理员进行网络管理的有效工具,可以有效地对网络进行实时监控,及时发现网络中存在的各种问题。本文首先介绍了Sniffer的工作原理,其次给出了实现Sniffer功能的编程流程图,并用C语言给出了编程所需的关键代码。     

集中药包与条形药包爆破漏斗及抛掷堆积研究

把集中药包拉成条形药包之后，其爆破漏斗变化有多大?条形药包能否改善抛掷堆积?可否用集中药包的爆破漏斗参数(n、R、R’、P)及经验方法来设计条形药包的爆破漏斗?本试验研究将回答这些问题。     

一种实现最佳用户检测的非线性优化神经网络

本文提出并讨论了实现码分多址（CDMA）系统上最佳多用户检测（MUD）的一种神经网络方法。该方法通过将最佳多用户检测视为非线性优化组合问题，利用神经网络能有效求解非线性优化问题的优势，导出了一种非线性优化神经网络来实现最佳多用户检测，理论分析和计算机模拟表明，所提出的神经网络具有可实时应用的动态性能和较传统方法优越得多的误码率性能和抗多址干扰的性能。     

R-Calculus for ELP:An Operational Approach to Knowledge Base Maintenance

Sme concepts used in knowledge base maintenace,such as sequence,new law,user‘s rejection and reconstructions of a knowledge base,are first introduced,and then a framework for extended logic programming(ELP)is given,where an extended logic program is equivalent to a knowledge base.A transition system called R-calculus for ELP is provided.For a given knowledge base and a user‘s rejection,the R-calculus for ELP will deduce best revisions of the base.The soundness and the completeness of the R-calculus for ELP are proved,and the R-calculus for ELP is implemented in Prolog.In addition,the research is compared with other relevant work.     

小型过程控制器中编程功能的实现

根据中小规模生产设备过程控制的特点,提出了生产工艺程序在过程控制器中应具有的一般形式,并详细分析如何使小型过程控制器具有编辑这种工艺程序的功能。     

证券组合的快车道问题研究

本文建立了新的证券组合最优控制模型，分析了证券市场长期投资过程中证券组合的快车道问题；提出了隐式规划的模拟退火方法，进行了快车道的仿真，这对于证券市场长期稳定运行和投资具有实际意义。     

仿生型步进式直线驱动器的研究

本文提出一种新型直线驱动器的仿生动作原理，并设计出两种机械结构及其控制器。实验表明，这类驱动器具有精度高，步距可变，输出力大，行程长，结构简单，体积小，内藏传感器，具有极好输出特性等特点。这类驱动器适用于一切超高精度的直接驱动。     

Error in the UNITY substitution rule for subscripted operators

UNITY, introduced by Chandy and Misra [ChM88], is a programming logic intended to reason about temporal properties of distributed programs. Despite the fact that UNITY does not have the full power of, for example, linear temporal logic, it enjoys popularity due to its simplicity.There was however a serious problem with the Substitution Rule. The logic is incomplete without the rule, and with the rule it is inconsistent.     

BP算法的改进及用模拟电路实现的神经网络分类器

基于用模拟电路实现神经网络分类器的目的，对多层静态前馈神经网络的ＢＰ算法做了改进，采用线性限幅函数代替Ｓｉｇｍｏｉｄ函数作为神经元的激活函数，给出了改进的ＢＰ算法。对该算法性能的实验研究表明：这种改进算法不但方便了用线性模拟集成运算放大电路实现神经网络，而且具有学习速度快，映射能力强等优点。根据本文算法设计的神经网络分类器，无论是计算机仿真，还是模拟电路实现，都得到了比较高的识别率。     

关于可分2－D系统的几个注记

可分２－Ｄ系统是一类具有良好特性的重要的特殊２－Ｄ系统，它在多方面均有重要的应用．本文在已有结果的基础上对具有可分性的２－Ｄ多输入多输出系统在再实现问题、渐近稳定性代数判据、状态观测器设计等方面进行了较为广泛的研究，得到了许多较好的结果．