测试集自动生成工具TUGEN的设计与实现

测试集自动生成工具的研究是协议一致性测试领域中比较活跃的一个分支，本文在对目前已有的各种测试集生成方法进行分析的基础上，提出了一种新的测试集自动生成方法并对它的实现ＴＵＧＥＮ作了介绍．ＴＵＧＥＮ基于一种称为ＥＢＥ的形式模型，ＥＢＥ模型只对协议的外部行为进行描述，而且可以从协议的Ｅｓｔｅｌｌｅ或ＬＯＴＯＳ描述中转化得到．ＴＵＧＥＮ以协议的ＥＢＥ－ＮＦ描述作为输入，使用我们新提出的一套测试事例生成策略，最后产生出ＴＴＣＮ．ＭＰ格式的测试集．我们用Ｘ．２５ＬＡＰＢ协议的ＥＢＥ－ＮＦ描述作为例子，对ＴＵＧＥＮ     

一种新的符号求解机器人逆运动学的分离变量法

本文提出一种新的分离变量法，在ＰＡＵＬ分离变量法失败的情况下，它能从位置方程组中递推地分离出可解析求解的简单三角／代数方程。该方法是ＰＡＵＬ方法的又一补充。     

数据安全的保护神—LantechUPS

一、概述 浩翔电子有限公司是台湾一家 ＵＰＳ（Ｕｎｉｎｔｅｒｒｕｐｔｉｂｌｅ ｐｏｗｅｒｓｙｓｔｅｍ）的专业生产厂,过去浩翔的产品专销欧美市场,随着国内ＵＰＳ市场的不断扩大,浩翔在广东设厂生产并开始向国内销售ＵＰＳ产品。本刊在今年第３期已对浩翔的Ｉ－ＭＡＴＥ５００ＶＡＵＰＳ做了测试,本期测试的是ＡＩ－ＵＰ－ＳＰＩｕｓ２０００ＶＡ－ＸＬ产品,这是一款２０００ＶＡ长延时ＵＰＳ,主机不带电池,需另配电池箱,标配电池箱有８块蓄电池,４块一组,２ 组并联输出４８Ｖ。 ＡＩ－ ＵＰＳＰｌｕｓ２０００ＶＡ－ ＸＬ是…     

有奇异解的奇异微分方程的数值方法研究

有奇异解的奇异微分方程的数值方法研究牟宗泽，隋国芳，何启兵（核工业西南物理研究院）ＮＵＭＥＲＩＣＡＬＭＥＴＨＯＤＳＦＯＲＳＩＮＧＵＬＡＲＤＩＦＦＥＲＥＮＴＩＡＬＥＱＵＡＴＩＯＮＳＷＩＴＨＳＩＮＧＵＬＡＲＳＯＬＵＴＩＯＮ￥ＭｏｕＺｏｎｇｚｅ；ＳｕｉＧｕ...     

任意形状容器装液不定常晃动的边界元模型

任意形状容器装液不定常晃动的边界元模型冯振兴，李正秀（武汉大学）ＬＡＧＲＡＮＧＩＡＮＢＥＭＦＯＲＡＮＵＮＳＴＥＡＤＹＳＬＯＳＨＩＮＧＭＯＤＥＬＳＵＩＴＡＢＬＥＴＯＡＲＢＩＴＲＡＲＹＴＡＮＫＳ￥ＦｅｎｇＺｈｅｎ－ｘｉｎｇ；ＬｉＺｈｅｎ－ｘｉｕ（Ｗｕｈａ...     

基于方块脉冲函数逼近的线性连续回归模型的参数估计及其应用

基于方块脉冲函数逼近的线性连续回归模型的参数估计及其应用赵明旺（武汉钢铁学院）ＰＡＲＡＭＥＴＥＲＥＳＴＩＭＡＴＩＯＮＦＯＲＬＩＮＥＡＲＣＯＮＴＩＮＵＯＵＳＲＥＧＲＥＳＳＩＶＥＳＹＳＴＥＭＳＶＩＡＢＬＯＣＫＰＵＬＳＥＦＵＮＣＴＩＯＮＳＡＮＤＩＴＳＡＰＰ...     

基于TRANSPUTER网络的函数式语言的并行抽象机模型

本文基于函数式语言的并行ＬＥ计值语义，提出了一个针对ＴＲＡＮＳＰＵＴＥＲ网络的函数式语言的并行抽象机模型──并行ＬＥＭＡＣＨＩＮＥ．在该抽象机中由于ＬＥ计值分析方法的采用减少了函数式语言的惰性语义所带来的开销，并且在并行性开发中引入惰性计值的思想在保证充分利用系统中的并行处理能力的同时，基于ＴＨＲＥＡＤ的惰性进程生成法减少了一些不必要的并行性开发所带来的开销．双向链表的栈模型亦对并行进程的实现效率有较大的提高，原型系统的测试显示系统具有较高的执行效率．     

线性连续回归模型基于Laguerre多项式逼近的Markov参数估计

线性连续回归模型基于Ｌａｇｕｅｒｒｅ多项式逼近的Ｍａｒｋｏｖ参数估计赵明旺（武汉钢铁学院自动化系）ＭＡＲＫＯＶＰＡＲＡＭＥＴＥＲＥＳＴＩＭＡＴＩＯＮＦＯＲＬＩＮＥＡＲＣＯＮＴＩＮＵＯＵＳＲＥＧＲＥＳＳＩＶＥＭＯＤＥＬＳＶＩＡＬＡＧＵＥＲＲＥ－ＰＯＬＹ...     

UML类结构的形式化

为面向对象建模概念建立坚实的语义基础,越来越受到人们的重视。通过提供精确的概念特征定义,可建立精确的面向对象的行为模型和结构模型,便于对模型进行严格的分析。ＵＭＬ是一种被推荐的面向对象建模语言,ＲＡＩＳＥ是欧洲流行的一种形式方法,该文使用ＲＡＩＳＥ来表达ＵＭＬ类结构的含义。     

模拟流体力学的离散运动论模型

模拟流体力学的离散运动论模型李元香（武汉大学软件工程实验室）ＤＩＳＣＲＥＴＥＫＩＮＥＴＩＣＭＯＤＥＬＳＦＯＲＳＩＭＵＬＡＴＩＮＧＦＬＵＩＤＤＹＮＡＭＩＣＳ￥ＬｉＹｕａｎｘｉａｎｇ（ＬａｂｏｒａｔｏｒｙｏｆＳｏｆｔｗａｒｅＥｎｇｉｎｅｅｒｉｎｇＷｕｈａ...     

大型主处理机的功能测试

本文首先分析了一台大型主处理机的系统结构.然后,介绍了适合于大型主处理机的功能测试法,并且对处理机的不同部件:运算部件、指令控制部件、存储体和存储控制部件,给出了相应的测试算法.     

8位模型计算机自动测试系统的设计与实现

描述基于MCS-51的自动测试系统的设计,实现对8位模型计算机的自动测试过程。对8位模型计算机的测试流程进行详细分析,绘出模型机的存储器模块、运算器模块和控制器模块的测试流程图,编写各模块的C语言测试程序。通过大量实验。完成时8位模型计算机的自动测试,整机测试执行时间不超过10秒钟。     

不同ALU实现方法的功耗研究

低功耗是微处理器设计中一项具有挑战性的工作。对每一个组成单元进行功耗优化是进行低功耗微处理器设计必不可少的一种方法。算术逻辑单元(Arithmetic and Logic Unit,ALU)是微处理器中最基本的组成单元之一。ALU的结构与功耗、延迟和面积有着复杂的联系。常用的ALU结构有三种:复合结构、加法器独立结构和链式结构。基于这三种结构,实现了一个8比特ALU,通过对这个8-bit ALU进行功耗分析来研究ALU的结构对功耗的影响。研究结果表明:复合结构ALU具有最小的功耗,与其它两种结构的ALU相比,能分别节省19.38%和33.87%的功耗。     

32位同时多线程微处理器的ALU设计

针对传统ALU存在较大硬件资源浪费的缺点,提出了一种指令执行并行度宽,资源利用率高的同时多线程ALU.同时多线程ALU由7个并行的部件组成.每个部件高效的执行两个线程的指令.这种由7个部分组成的分布式ALU提高了指令并行执行的宽度,大大降低了水平浪费和垂直浪费.对微处理器ALU进行功能验证与仿真,并用综合工具完成逻辑综合.     

一种可重构体系结构的声码器ALU设计

文章介绍了采用可重构体系结构的TR600语音编解码器中的ALU设计。重点讨论了ALU的资源部件、数据通路、指令及在设计中的平衡规则。该ALU采用VHDL语言描述,经过仿真、综合和FPGA验证后,完全符合设计要求。     

基于错误注入技术的Web服务可靠性测试研究

提出了一种使用网络层错误注入技术的修改版本对基于SOAP的Web服务进行可靠性测试的方法.通过将有意义的错误注入SOAP消息来测试Web服务交换的可靠性.本文还在分析Web服务错误模型的基础上给出了测试模型和测试工具框架.     

多媒体技术在《计算机组成原理》实验教学中的应用

根据《计算机组成原理》实验内容的特点,提出一种借助多媒体技术进行实践教学的新方法,通过算术逻辑运算实验作为例子,介绍这种教学方法的应用,为提高实验教学水平提供参考。     

多媒体技术在《计算机组成原理》实验教学中的应用

根据《计算机组成原理》实验内容的特点,提出一种借助多媒体技术进行实践教学的新方法,通过算术逻辑运算实验作为例子,介绍这种教学方法的应用,为提高实验教学水平提供参考。     

Design and analysis of high-speed 8-bit ALU using 18 nm FinFET technology

All modern computational devices consist of ALU. With increase in complexity of software and the consistent shift of software towards parallelism, high speed processors with hardware support for time consuming operations such as multiplication would benefit. Smaller, compact devices such as IoT devices need to run software such as security software and be able to offload computation cost from the cloud. In this paper, a high speed 8-bit ALU using 18 nm FinFET technology is proposed. The arithmetic and logical unit consists of fast compute units such as Kogge Stone fast adder and Dadda multiplier along with basic logic gates. In this paper, an ALU with each compute unit optimized for speed is proposed, while responsibly consuming area. Dadda multiplier is of 8 × 8 architecture as opposed to conventional approach of 4 × 4 making it a true 8-bit ALU. Simulation and analysis is done using Cadence Virtuoso in Analog Design Environment. The transistor count of proposed design is 5298, the power consumption is 219 µW and maximum delay is 166.8 ps. The design is also expected to consume a maximum of one clock cycle for any computation.

     

声码器中一种四级可重构ALU的研究与设计

在面向语音编解码算法实现的高性能声码器设计中,支持可变长VLIW指令集的ALU单元是实现其设计目标的重要环节.本文提出一种四级可重构的ALU设计,以前缀算法加法器为核心,并通过操作数和资源的重构,能在单周期内完成81种复合算术逻辑运算,同时将其控制编码压缩了58.93%以适应指令集的宽度约束,高效实现了算法中潜在的高并行性,很好的满足了运算密集型的算法应用需求.