数组越界的静态测试分析

给出了一种静态分析方法,静态分析的主要优点就是在程序运行之前就可以对程序故障进行定位。文章首先针对数组越界错误类型进行了分析,介绍了软件测试的一些基本概念,给出了这类错误的静态分析方法,并给出了相应的算法,而后给出了测试系统设计和开发,最后给出了软件测试的实验结果和分析。     

使用统一建模语言研制计算机等级考试教学辅助系统

描述了统一建模语言,给出了系统用例图,详细描述了每个用例的事件流,给出了系统活动图,最后给出了系统设计和实际结果。     

一种基于POE交换机的教学区无线网设计

随着高校信息化建设的不断深入,教学对无线网络依赖越来越大,提出了一种基于POE交换机供电的教学区无线网设计,给出了无线网建设核心流程,给出了无线专网光纤布设流程,分析了教学区域无线网络需求,给出了poe交换机特点和接入交换机配置要求,总结了教室无线规划和设计的要点,最后给出网络实施方案。     

Web数据抽取技术研究初探

该文给出了数据抽取过程中需要的基本定义,描述了数据抽取所基于的页面生成模型。同时给出了EXALG+这种数据抽取方法的基本流程,并给出了这种方法的抽取流程图。     

基于BES7456芯片的OSD的应用平台设计

重点介绍了北京市嵌入式系统重点实验室自主研发的OSD产生芯片BES7456的组成和原理,并给出应用该芯片的具体方法和实现效果.阐述了OSD原理及芯片设计的原理,接着给出根据具体要求需要的外围设计方案,给出了系统软硬件的设计步骤,最后给出实测结果.     

输入输出双线性系统的递推辨识与实现算法

本文对输入输出双线性系统给出了一套完整的辨识方法。首先给出了输入输出方程的一般形式,并对于一类规范型给出了相应地输入输出差分方程。然后给出了确定系统的结构指标和参数估计的递推算法,它改进了由Katta和Nurges(1984)给出的方法,大大缩短了计量时间。另外,还给出了状态方法的简单实现算法。最后,给出了仿真例子说明算法的有效性。     

Vague关系

该文给出了关于Vague集的二元关系的基本概念,并就二元Vague关系的性质进行讨论。在此基础上,给出了二元Vague等价关系的定义,最后给出了二元Vague等价关系的充要条件。     

门级逻辑模拟算法

本文论述了计算机辅助逻辑模拟的基本方法，给出了门级逻辑模拟算法，并在IBMPC-286上编程实现。文中对算法进行了分析。给出算法的时间和空间复杂度。最后给出实例，实践表明，使用本文给出的算法可取得与实际吻合的模拟结果。     

对象关系技术对多维数据计算的支持

在多维数据压缩的基础上,提出了多维数据的CUBE计算方法。首先给出了无限内存算法,其次给出了一个不完全立方体算法,最后给出了完整立方体的计算方法。并与其他CUBE算法作了比较。     

数据挖掘技术——聚类算法研究

介绍了聚类算法的分类,对每一类聚类方法给出了典型的聚类算法,重点对基于划分算法的PAN算法给出了详细的阐述,总结和归纳了PAM算法四种代价的计算方法,同时给出了其性能分析。     

基于proteus的任意进制计数器设计及仿真

给出了利用集成计数器芯片进行任意进制计数器的设计方案,并给出了proteus仿真结果。     

对象关系技术对多维数据计算的支持

在多维数据压缩的基础上，提出了多维数据的CUBE计算方法。首先给出了无限内存算法，其次给出了一个不完全立方体算法，最后给出了完整立方体的计算方法。并与其他CUBE算法作了比较。     

Oracle数据库辅助数据字典的实现

给出了数据字典的基本定义 ,指出了其意义 ,描述了辅助数据字典的实现 ,给出了实现方法 ,从软件设计的角度给出了实用程序 ,实现了数据字典的功能 ,使数据管理员能方便地了解数据库表的有关结构。     

实用石英晶体测温传感器的制作

给出了石英晶体测温传感器的制作方案及电路，并给出了测试方法及结果分析。     

具有多状态滞后的不确定时变时滞系统的鲁棒镇定

首先给出了具有多状态滞后的时变时滞系统渐近稳定的代数Riccati不等式形式的判据, 并基于此给出了确定性时变时滞系统的镇定方法.然后给出了具有有界参数不确定性的多状态滞 后时变时滞系统的镇定方法.文中的结论非常简单,只需解一个代数Riccati方程.最后给出一个算 例.     

基于最优Hankel范数近似的线性相位ⅡR滤波器设计

提出了一类基于最优Hankel范数近似的线性相位无限脉冲响应(IIR)滤波器设计方法．首先给出了Hankel范数的相关预备知识,然后给出了离散时间单输入单数出系统Hankel范数近似的定理及证明,最后给出了线性相位IIR滤波器的设计步骤．该方法不但减小了逆矩阵求解过程中的计算量,同时给出了(?)2范数近似的误差边界,仿真结果验证了该方法的有效性．     

图形处理器电路设计仿真与测试技术研究

文章根据图形处理器芯片的功能结构,提出了电路设计要求,给出了仿真波形图,基于芯片的电路仿真结果,结合93000测试系统给出了测试图形转换方法,转换生成测试图形,完成超大规模复杂芯片的功能测试,并给出了图形处理器的测试波形和数据结果.     

计算机文化基础在线考试系统的设计与实现

本文给出了一个计算机文化基础在线考试系统的设计思路,并给出了部分的实现过程。     

控制系统中实时任务分析

本文分析了控制系统任务的特点,给出了控制系统中各种实时任务模型。分析了控制系统性能与任务参数之间的关系,给出了参数的设置方法。最后,研究了控制系统中实时任务之间存在关系,包括资源共享、执行顺序及一致性限制,给出了处理这些关系的方法。     

直觉对偶犹豫模糊集在多属性群决策中的应用

基于直觉对偶犹豫模糊集的定义,结合标准距离测度公式,给出了直觉对偶犹豫模糊集的Hamming距离测度公式、Euclidean距离测度公式等。给出了用以度量两个对偶模糊信息之间相关关系的相关系数、加权相关系数的公式及其相关性质。给出了用以度量直觉对偶犹豫模糊集模糊性的熵的定义,并给出了熵的计算公式。基于直觉对偶犹豫模糊集的距离测度、相关系数、熵给出了一种新的直觉对偶犹豫模糊集的多属性群决策方法,并通过实例说明了该方法的有效性。