On the Charting Procedures: MEWMA Chart and DD-Diagram

In light of rapid development of customer requirements, control procedures of quality concept use multivariate analysis. This is because of recent advances in information technology and in recording. The charting procedures are based on Mahalanobis distance but their performance needs normality and a type-I error rate choice. The DD-diagram is an alternative scheme that uses data depth to avoid these conditions rarely met in practice. For a given error-free sample, the performance of DD-diagram and that of multivariate EWMA control procedures are compared through a real example on individual observations taken from a multivariate quality process.

基于AD9858的射频信号发生单元的设计

DDS是一种先进的直接数字式频率综合技术,它已经逐渐取代了传统的模拟式频率综合。本文介绍了利用DDS来产生线性扫频信号的射频信号发生单元的设计。该单元采用AD公司的高性能DDS芯片AD9858,它集成了10位高速的D/A转换器,能够输出400MHz以上的正弦波。文章详细地介绍了AD9858的结构、原理。同时还从整个单元的系统结构和功能模块方面介绍了该射频信号发生单元的实现。

PSL的有界模型检验

基于SAT的有界模型检验被视为是基于OBDD的符号化模型检验技术的重要补充,是并行反应式系统的一种有效验证方法.然而,直至现在,有界模型检验已验证的属性逻辑还十分有限.PSL是一种用于描述并行系统的属性规约语言(IEEE-1850),包括线性时序逻辑FL和分支时序逻辑OBE两部分.通过模型检验可验证系统的PSL属性,本文提出了PSL的有界模型检验方法及其算法框架.首先,定义PSL逻辑的有界语义,而后,将有界语义进一步简化为SAT,分别将PSL性质规约公式和系统M的状态迁移关系转换为SAT命题公式,最后验证上述两个SAT命题公式合取式的可满足性,这样就将时序逻辑PSL的存在模型检验转化为一个命题公式的可满足性问题,并用一个队列控制电路实例具体解释算法执行过程.

硬件组合技术在数据库查询优化中的应用

查询优化技术是关系数据库成功运作的关键技术之一。随着现代数据库规模不断扩大到以十亿字节(GB)计量,对能够处理如此巨大的数据信息的系统的需求也随之而来。找到一种高效的信息提取方法对于使研发过程更快、更容易地进行是十分必要的。文章介绍了一种将与或图和数字逻辑电路技术应用于SQL查询优化,得到数据库中有效信息的技术方法。该方法中把与或图作为一种中间数据结构,用来描述布尔值域上的查询集合的子集;数字逻辑电路则用来表示二进制数集合上的各项逻辑运算功能的一种实现方式。该文同时给出了相关实验结果,实验表明这是一个十分有效的方法。

软件需求分析生成环境RAGE／DFD的设计与实现

随着在软件生命周期后端的开发效率的提高，人们对提高生命周期前端开发效率的要求不断增长。计算机辅助分析和设计工具可大大地提高开发效率。本文介绍一个建立在ＵＮＩＸＯＳ和Ｘ—ＷＩＮＤＯＷ系统上的软件需求分析生成环境ＲＡＧＥ／ＤＦＤ，描述了它的原理、实现方法、功能和特点。该系统可用于描述各种应用系统的规格说明，并提供良好的人－机接口和直接操纵方式以及语法错误自动检测功能。