信号发生器类仪器自动检定系统的软件设计

讨论了信号发生器类仪器自动检定系统软件设计的方法和实现过程。通过使用VISA I/O接口函数库实现了软件兼容常见仪器接口的设计目标;使用数据库技术和合理的检定流程设计方法提高了软件的通用性,实现了软件和具体仪器资源无关,特别是与检定规程或校准方法无关的设计目标。他的应用极大地提高了信号源检定/校准的工作效率,检定/校准数据的准确性,也减轻了检定/校准人员的工作强度,具有较为广泛的实用性。     

密码算法的自动验证

文中设计了一种密码算法自动验证方法,给出了密码算法验证的基本原理框图和各个功能模块的设计;讨论了算法验证中关键模块的实现方法;最后给出了密码算法验证设备的外围附件和扩展能力。     

A Network Software Architecture Suitable for Service Customization

1　ＩｎｔｒｏｄｕｃｔｉｏｎＮｅｔｗｏｒｋｓｏｆｔｗａｒｅｆｏｒｓｅｒｖｉｃｅｃｕｓｔｏｍｉｚａｔｉｏｎｒｅｆｅｒｓｔｏｔｈｅｓｏｆｔｗａｒｅｓｙｓｔｅｍｔｈａｔｐｅｒｍｉｔｓｕｓｅｒｓｏｒａｐｐｌｉｃａｔｉｏｎｓｔｏｃｕｓｔｏｍｉｚｅｔｈｅｉｒｓｅｒｖｉｃｅｉｎｔｈｅｎｅｔｗｏｒｋｅｎｖｉｒｏｎｍｅｎｔｓ,ｓｕｃｈａｓＩｎｔｅｒｎｅｔ,ｏｒｔｅｌｅｃｏｍｍｕｎｉｃａ ｔｉｏｎｎｅｔｗｏｒｋｓ.ＡｃｔｉｖｅＮｅｔｗｏｒｋｓ[1 ] ａｎｄＰｒｏ ｇｒａｍｍａｂｌｅＮｅｔｗｏｒｋｓ[2～ 3] ａｒｅｔｗｏｔｙｐ…     

基于VMM统一验证平台的处理器芯片功能验证

本文结合处理器芯片实际项目,重点介绍了功能验证环节的工作。文章基于VMM验证平台,利用System Verilog语言自动生成测试激励,采用断言和功能覆盖率相结合的验证方法,实时监测RTL模型运行时的各种信号,自动进行覆盖率统计,通过增加约束实现覆盖率的快速收敛。文章最终给出了基于VMM验证平台进行功能验证的结果,绘制了功能覆盖率上升曲线。     

信号发生器自动检定系统

信号发生器自动检定系统通过系统配置、硬件设计、系统及测量软件的编制和调试、误差分析与处理,实现了频率达到26．5GHz射频、微波合成信号发生器性能的全自动检定。单次连接可完成频率、功率、调制、频谱纯度、失真等26个参数的全部自动检定,并兼容手动、半自动、全自动的状态;已完成的被检信号发生器的型号有四十余种,且系统可以实时自动添加;系统的标准仪器配置设计结构开放,可方便替换;系统运行高速、准确、可靠。系统良好的兼容性、适应性和实用性。使系统具有较强的推广应用价值。该信号发生器自动检定系统可广泛应用于计量技术机构的信号发生器的自动检定。该系统的建立是计量检定工作的发展方向,同时对射频、微波仪器实现计量检定的自动化有着普遍的指导意义。     

A Low-Power Multithreaded Processor for Software Defined Radio

Embedded digital signal processors for software defined radio have stringent design constraints including high computational bandwidth, low power consumption, and low interrupt latency. Furthermore, due to rapidly evolving communication standards with increasing code complexity, these processors must be compiler-friendly, so that code for them can quickly be developed in a high-level language. In this paper, we present the design of the Sandblaster Processor, a low-power multithreaded digital signal processor for software defined radio. The processor uses a unique combination of token triggered threading, powerful compound instructions, and SIMD vector operations to provide real-time baseband processing capabilities with very low power consumption. We describe the processor’s architecture and microarchitecture, along with various techniques for achieving high performance and low power dissipation. We also describe the processor’s programming environment and the SB3010 platform, a complete system-on-chip solution for software defined radio. Using a super-computer class vectorizing compiler, the SB3010 achieves real-time performance in software on a variety of communication protocols including 802.11b, GPS, AM/FM radio, Bluetooth, GPRS, and WCDMA. In addition to providing a programmable platform for SDR, the processor also provides efficient support for a wide variety of digital signal processing and multimedia applications. Michael Schulte received a B.S. degree in Electrical Engineering from the University of Wisconsin-Madison in 1991, and M.S. and Ph.D. degrees in Electrical Engineering from the University of Texas at Austin in 1992 and 1996, respectively. From 1996 to 2002, he was an assistant and associate professor at Lehigh University, where he directed the Computer Architecture and Arithmetic Research Laboratory. He is currently an assistant professor at the University of Wisconsin-Madison, where he leads the Madison Embedded Systems and Architectures Group. His research interests include high-performance embedded processors, computer architecture, domain-specific systems, computer arithmetic, and wireless systems. He is a senior member of the IEEE and the IEEE Computer Society, and an associate editor for the IEEE Transactions on Computers and the Journal of VLSI Signal Processing. John Glossner is CTO & Executive Vice President at Sandbridge Technologies. Prior to co-founding Sandbridge, John managed the Advanced DSP Technology group, Broadband Transmission Systems group, and was Access Aggregation Business Development manager at IBM’s T.J. Watson Research Center. Prior to IBM, John managed the software effort in Lucent/Motorola’s Starcore DSP design center. John received a Ph.D. in Computer Architecture from TU Delft in the Netherlands for his work on a Multithreaded Java processor with DSP capability. He also received an M.S. degree in Engineering Management and an M.S.E.E. from NTU. John also holds a B.S.E.E. degree from Penn State. John has more than 60 publications and 12 issued patents. Dr. Sanjay Jinturkar is the Director of Software at Sandbridge and manages the systems software and communications software groups. Previously, he managed the software tools group at StarCore. He has a Ph.D in Computer Science from University of Virginia and holds 20 publications and 4 patents. Mayan Moudgill obtained a Ph.D. in Computer Science from Cornell University in 1994, after which he joined IBM at the Thomas J. Watson Research Center. He worked on a variety of computer architecture and compiler related projects, including the VLIW research compiler, Linux ports for the 40x series embedded processors and simulators for the Power 4. In 2001, he co-founded Sandbridge Technologies, a start-up that is developing digital signal processors targeted at 3G wireless phones. Suman Mamidi is a graduate student in the Department of Electrical and Computer Engineering at the University of Wisconsin-Madison. He received his M.S. degree from the University of Wisconsin-Madison in December, 2003 and is currently working towards his PhD. His research interests include low-power processors, hardware accelerators, multithreaded processors, reconfigurable hardware, and embedded systems. Stamatis Vassiliadis was born in Manolates, Samos, Greece, in 1951. He is currently a Chair Professor in the Electrical Engineering, Mathematics, and Computer Science (EEMCS) department of Delft University of Technology (TU Delft), The Netherlands. He previously served in the Electrical and Computer Engineering faculties of Cornell University, Ithaca, NY and the State University of New York (S.U.N.Y.), Binghamton, NY. For a decade, he worked with IBM, where he was involved in a number of advanced research and development projects. He received numerous awards for his work, including 24 publication awards, 15 invention awards, and an outstanding innovation award for engineering/scientific hardware design. His 73 USA patents rank him as the top all time IBM inventor. Dr. Vassiliadis is an ACM fellow, an IEEE fellow and a member of the Royal Netherlands Academy of Arts and Sciences (KNAW).     

SFTMP——一个实现软件容错的多处理机系统

多版本软件通过设计相异性实现了软件容错。为了对这种方法进行研究，我们的课题实现了一个三版本软件系统，称之为SFTMP（SoftwareFault－TolerantMultiProcessor）。本文描述了SFTMP的硬件结构和软件执行支持环境，该环境包括同步、表决和监控功能、版本间的通讯及故障的恢复和重构。     

相控阵雷达软件测试环境确认

结合相控阵雷达系统的特点,阐述了相控阵雷达软件测试环境确认的方法以及抽样测试在测试环境确认过程中的应用,为正确客观评价相控阵雷达软件质量提供有力的依据。     

EEG Based Biometric Framework for Automatic Identity Verification

The energy of brain potentials evoked during processing of visual stimuli is considered as a new biometric. In particular, we propose several advances in the feature extraction and classification stages. This is achieved by performing spatial data/sensor fusion, whereby the component relevance is investigated by selecting maximum informative (EEG) electrodes (channels) selected by Davies–Bouldin index. For convenience and ease of cognitive processing, in the experiments, simple black and white drawings of common objects are used as visual stimuli. In the classification stage, the Elman neural network is employed to classify the generated EEG energy features. Simulations are conducted by using the hold-out classification strategy on an ensemble of 1,600 raw EEG signals, and 35 maximum informative channels achieved the maximum recognition rate of 98.56 ± 1.87%. Overall, this study indicates the enormous potential of the EEG biometrics, especially due to its robustness against fraud.

Solie Edge软件的用户化管理

主要针对SolieEdge在实际应用中的用户化设置进行了论述 ,并介绍了如何在SolieEdge软件中修改风格和生成尺寸风格。     

Generic Fault Tolerant Software Architecture Reasoning and Customization

This paper proposes a novel heterogeneous software architecture GFTSA (Generic Fault Tolerant Software Architecture) which can guide the development of safety critical distributed systems. GFTSA incorporates an idealized fault tolerant component concept, and coordinated error recovery mechanism in the early system design phase. It can be reused in the high level model design of specific safety critical distributed systems with reliability requirements. To provide precise common idioms & patterns for the system designers, formal language Object-Z is used to specify GFTSA. Formal proofs based on Object-Z reasoning rules are constructed to demonstrate that the proposed GFTSA model can preserve significant fault tolerant properties. The inheritance & instantiation mechanisms of Object-Z can contribute to the customization of the GFTSA formal model. By analyzing the customization process, we also present a template of GFTSA, expressed in x-frames using the XVCL (XML-based Variant Configuration Language) methodology to make the customization process more direct & automatic. We use an LDAS (Line Direction Agreement System) case study to illustrate that GFTSA can guide the development of specific safety critical distributed systems.     

声表面波滤波器自动测试软件

声表面波滤波器测试参数较多，仪器设置也较复杂，通常人工测量效率比较低，为了提高测试效率，我们利用E5070B’s VBA在Agilent E5070B网络分析仪上建立了一套自动测试系统，并已应用于实际工作，收到了较好的效果。文章介绍了软件的应用，并提出了改进的方法。     

嵌入式处理器与嵌入式软件研究

阐述了嵌入式系统的发展现状和先进性;讨论了嵌入式系统的微处理器和嵌入式软件设计技术;研究了嵌入式系统的可靠性设计。     

SaaS软件服务基于大规模定制的数据层架构研究

大规模定制是SaaS软件服务成功实施的关键.为满足租户对SaaS数据差异化的需求和不断变化的需求,本文提出SaaS软件服务基于大规模定制的数据层架构,分析和比较了3种数据架构设计方案.针对共享数据库、共享Schema架构提出了动态数据扩展模型,以满足租户的个性化需求.最后通过案例证明了此扩展模型的可行性.     

一种平板显示器定标器的软硬件验证平台

以一款视频图像定标器为研究对象,提出了一种适用于大规模数字集成电路的软件功能性验证平台,详细阐述了平台的结构、平台中测试向量的选择、生成以及测试结果的验证,采用自动向量生成与结果自检测方法,对定标器完成了1200个测试类型的验证。描述了基于Xilinx开发板的定标器硬件验证平台,将经功能性验证后的硬件描述语言植入开发板的FPGA中,完成了硬件验证。为流片后的定标器芯片搭建了一个测试环境,试验结果完全符合预期设计。     

Improved Software Reliability Through Requirements Verification

Requirement errors discovered early in the development process are several orders of magnitude less expensive to fix than if these same errors are discovered late in the development process. Therefore, it is expedient to investigate methods for discovering requirement errors early in the development process. This article decribes a technique to improve software reliability through verifying requirements early in the software development process. The technique involves the generation of a System Verification Diagram (SVD) for each set of functional requirements. The prime purpose of developing SVDs is to serve as a tool for verifying the functional consistency and completeness of a requirement specification. In so doing, it also becomes an excellent communication device for reviewing the requirements to assure that customer needs are not inaccurately portrayed.     

硬盘自动播出系统的软件升级

本文通过对温州市广播电视总台硬盘自动播出系统新老版自动播控软件在播出中安全性、易操作性等方面的比较,阐述软件升级的必要性.希望对其他电视台硬盘播出软件升级有一定的借鉴意义.     

基于VxWorks的飞机配电自动化主执行软件研究

本文探讨了在嵌入式实时操作系统(RTOS)VxWorks下开发电源系统处理机主执行软件的过程,介绍了嵌入式实时操作系统VxWorks的特性.对PSP主执行软件的设计做出了分析,并介绍了如何在嵌入式实时操作系统下实现.