一种DSP程序控制结构的分析

DSP程序控制是DSP指令执行控制的核心和关键。文章通过分析DSP程序控制的流程及其实现方式,详细阐述了程序控制所需的程序计数器、堆栈及程序重复计数器等关键逻辑部件工作原理及其作用。实现了一种程序控制中的加减运算逻辑,揭示了指令执行中各程序地址的加载关系,为实现DSP程序控制逻辑的设计提供了一种参考方法。     

GBAS飞行程序研究

本文介绍了使用地基增强系统进行引导的飞行程序在精密进近航段的设计，通过 GLS 飞行程序与 ILS 飞行程序的对比分析，明确了 GBAS 飞行程序的优点及使用特点，并介绍 GLS 飞行程序进近引导的程序设计规范和准则，探讨 GBAS 飞行程序的优化示例，为机场使用 GBAS 飞行程序提供一系列建议。     

北广传媒数字电视节目集成平台

本文介绍获得国家广电总局2006年度科技创新奖工程技术类一等奖的“北广传媒数字电视节目集成平台项目”。该数字电视节目集成平台,全面综合数字视频技术,计算机网络技术,大容量数据存储技术,计算机软件技术,实现了数字电视专业频道全数字化的稳定可靠安全播出,并为数字电视业务的进一步开展奠定了良好的平台基础。     

有线电视网络的互动式点播教学环境

远程教学是构建在电信、计算机、传播科技3者之间的应用,是兼有视觉与听觉的双向学习方式.目前远程教学的发展大致分成实时群播、虚拟网站、课程点播3个系统,虽然已经有完整的系统出现,但均存在受时间限制、网络带宽不足、影片画质差、互动性不佳等缺点.这里提出交互式点播教学环境的概念,是利用有线电视点播视频系统以及有线电视网络控制器,提出一套交互式点播教学系统,以解决目前远程教学发展所遇到的瓶颈.     

基于VB程序数据库登录权限问题的研究

程序中的权限设置问题,是程序的关键所在,在程序设计中有着至关重要的作用,在此就程序设计中的权限设置进行讨论。程序采用模块进行权限设置,在模块中,使用程序级公用过程,设置不同权限管理员或用户的登录方法和不同的运行界面,程序使用8个运行界面,设置三级不同权限管理员的运行界面,通过数据库中对管理员或用户权限的设置,使不同的管理员或用户可以获得完全不同的运行方式,在同样界面,由于管理员权限不同,运行方式同样不同。通过这种方法,其目的是对各级别的登录者运行不同的程序界面。其结果是减少了程序的运行界面,使程序量大为减少。在此的设计思路,在其他程序设计中可以借鉴。     

Cost Model for Testing Program Based on Nonhomogeneous Poisson Failure Model

A model for the s-expected cost of a development testing program is presented in this paper. The total cost function consists of two terms. The first term is proportional to the duration of the testing program; the second term is a loss function that assesses additional costs for failure to meet reliability goals during the testing program. The reliability growth model assumes that failures during the program occur according to a nonhomogeneous Poisson process having a power-law rate. An example shows how the duration of the test program can be chosen to minimize s-expected total cost.     

温州广播电视总台播总控准备系统设计及实现

以播出节目文件准备为核心的新一代播出系统将在当今和未来电视台电视节目播控系统中占据主导,通过对温州广播电视总台新播总控准备系统的介绍,阐述了以节目准备为核心的电视播出流程及其模块化设计,其中全域节目准备系统（GMP）突破了传统硬盘播出采用磁带上载的节目准备方式,为今后全台网互联和文件共享奠定了基础。     

The RASSP Program: Origin, Concepts, and Status: An Introduction to the Issue

The Rapid Prototyping of Application Specific Signal Processors (RASSP) program is a multi-year DARPA/Tri-Service initiative intended to dramatically improve the process by which complex digital systems, particularly embedded digital signal processors, are designed, manufactured, upgraded, and supported. This paper reviews the genesis of the RASSP program, considering both the problems that defined the need for the program, and the historical conditions under which it began. The RASSP program is then presented from two viewpoints. The first is programmatic, covering the goals and constraints of the program, and describing the roles of the various program participants. The second is technical, covering the major concepts upon which the developing RASSP approach to design is based and showing how the detailed technical discussions contained in the other papers in this issue of the Journal of VLSI Signal Processing relate to one another and fit into an overall development concept. The paper closes with a review of the status of the program as of this writing (Summer 1996).     

PCI总线WDM驱动程序的设计方法与实例

探讨基于Windows操作系统的WDM型PCI总线接口卡驱动程序设计方法。DriverStudio软件是一套设备驱动程序的开发、调试和测试的工具包,介绍DriverStudio环境的配置方法及开发WDM驱动程序的详细步骤,设计PCI总线的驱动程序以及调用驱动程序的应用程序,实现了32位数据的传输。实验结果表明,采用DriverStudio软件能够简化驱动程序的编写,达到较高的编程效率。     

Application of Program Graphs and Complexity Analysis to Software Development and Testing

Several research studies have shown a strong relationship between program complexity, as measured by the structural properties of a program, and its error properties, as measured by number and types of errors and error detection and correction times. This research applies to: a) the setting of threshold values of complexity in software production in order to avoid undue difficulty with program debugging; b) the use of complexity as an index for allocating resources during the test phase of software development; c) the use of complexity for developing test strategies and the selection of test data. Application #c uses the directed graph representation of a program and its complexity measures to decompose the program into its basic constructs. The identification of the constructs serves to identify a) the components of the program which must be tested, and b) the selection of test data which are needed to exercise these components. Directed-graph properties which apply to program development and testing are defined; examples of the application of graph properties for program development and testing are given; the results of program complexity and error measurements are presented; and a procedure for complexity measurement and its use in programming and testing is summarized.     

基于合约的程序分析技术研究

为了更好地保证并提高计算机软件质量,在软件设计过程中采用了合约式程序设计方法。以大量程序运行轨迹数据为基础,以SQLServer2005为实验平台,在大量详实的检测程序中对类与类之间、变量之间以及接口与类之间的关系进行了程序动态分析实验。实验表明,在函数的入口处或者在类的开始点检测程序中应保持的隐含性质是相对较好并且合理的的检测位置。通过利用合约进行程序动态分析的基本过程,是一种新的软件质量保证的思维模式,利用这种模式可以进一步提高软件质量,从而保证软件的可用性。     

几种监视保护单片机程序运行的有效方法

微机在受到某种外界干扰的情况下,会出现程序跑飞(run out)和非法循环(dead lock)等现象,从而导致程序失控。因此,有必要对单片机应用系统采取一些有效措施来监视程序运行。通过实践总结,分别从软件和软硬件相结合的角度介绍几种有效的实用方法。在系统非正常工作时能自动引导系统复位,这为排除系统的故障提供了理想的手段。     

模块化设计在车载控制器程序设计中的应用

车辆电气系统设计过程中,车载控制器程序设计速度和质量起着关键的作用。针对车载电气系统主控制器控制程序的特点,提出将模块化方法应用于车载控制器程序的设计。同时,通过举例说明将模块化方法在控制器程序设计中应用不仅提高了程序开发效率,而且提高控制程序在实验及检修过程中的可维护性,也证明其应用的必要性。     

程序设计基础课程教学模式研究与设计

程序设计基础课程是一门实践性很强的课程,其内容繁多,既有深度,又有广度,它的知识体系较难把握。针时初学者特点,通过对高校程序设计的教学现状进行调查,探讨了算法与语法规则在程序设计课程中的关系,采用“程序设计基础”课程的知识选取上采取“瘦身”措施,提出了采用程序设计语言语法子集进行教学的方案,通过试验,该方案能培养学生分析问题、解决问题的能力,更好地提高程序设计课程的教学效率。     

Switching System Software Design for ISDN

The ISDN offers various services through multipurpose digital subscriber lines. The switching program for the ISDN should be so designed as to realize the control of various voice and nonvoice services and provide for developing service enhancement. To attain the goal, the ISDN services are classified hierarchically and each category is allocated to appropriate network nodes for implementation. As a result, the local switching program provides an out-slot subscriber line signaling capability and call connection with appropriate compatibility checking including a check for access capability to communications processing nodes. The switching program modules specific to analog services and those specific to digital services are separated to allow the use of the existing program file and to afford easy program design and maintenance. Remote-controlled switching is a suitable means for an economical introduction of the ISDN services to low traffic density areas. Special routing and reliability arrangements as well as the program structure for a remote-controlled switch are discussed.     

ACCEL: Automated circuit card etching layout

Printed circuit board design time can be greatly reduced by the use of a computer program called ACCEL developed jointly by Sandia Corporation and the Thomas Bede Foundation under contract to Sandia. The ACCEL program designs printed circuit boards and proceduces the drawings for their construction. The program is designed to handle components with up to four leads each. The input is encoded from an engineer's schematic diagram by a clerk with no knowledge of electronics. The computer edits the schematic data, places the components on the board, and generates the interconnections between components, all in one run. The outputs of the program are a schematic, parts list, printed circuit etching negative, assembly drawing, and a hole drilling list. The program is written in FORTRAN II for the IBM 7090 computer and the drawings are produced on the Stromberg-Carlson 4020 cathode ray tube plotter.     

Quantifying Software Validity by Sampling

The point of all validation techniques is to raise assurance about the program under study, but no current methods can be realistically thought to give 100% assurance that a validated program will perform correctly. There are currently no useful ways for quantifying how 'well-validated' a program is. One measure of program correctness is the proportion of elements in the program's input domain for which it fails to execute correctly, since the proportion is zero i.f.f. the program is correct. This proportion can be estimated statistically from the results of program tests and from prior subjective assessments of the program's correctness. Three examples are presented of methods for determining s-confidence bounds on the failure proportion. It is shown that there are reasonable conditions (for programs with a finite number of paths) for which ensuring the testing of all paths does not give better assurance of program correctness.     

Optical design of a frequency-doubled Nd:YAG laser

The design and laboratory manipulation of the optical resonator of a frequency-doubled Nd:YAG laser has been aided by a unique computer program written for the desk-top HP 9820 calculator-plotter. The program is a self-consistent treatment of Gaussian mode propagation and includes the thermooptical effects of intracavity elements. The optimization of the frequency-doubled laser is greatly aided by use of the computer program. A listing and narrative of the computer program and its use in optimization of the frequency-doubled Nd:YAG is available upon request.     

A dual-mode NAND flash memory: 1-Gb multilevel and high-performance512-Mb single-level modes

A 116.7-mm² NAND flash memory having two modes, 1-Gb multilevel program cell (MLC) and high-performance 512-Mb single-level program cell (SLC) modes, is fabricated with a 0.15-μm CMOS technology. Utilizing simultaneous operation of four independent banks, the device achieves 1.6 and 6.9 MB/s program throughputs for MLC and SLC modes, respectively. The two-step bitline setup scheme suppresses the peak current below 60 mA. The wordline ramping technique avoids program disturbance. The SLC mode uses the 0.5-V incremental step pulse and self-boosting program inhibit scheme to achieve high program performance, and the MLC mode uses 0.15-V incremental step pulse and local self-boosting program inhibit scheme to tightly control the cell threshold voltage V_th distributions. With the small wordline and bitline pitches of 0.3-μm and 0.36-μm, respectively, the cell V_th shift due to the floating gate coupling is about 0.2 V. The read margins between adjacent two program states are optimized resulting in the nonuniform cell V_th distribution for MLC mode     

An investigation into the use of iteration methods for the analysis of axially symmetric and sheet beam electrode shapes with an emitting surface

The techniques for analyzing an axially symmetric or two-dimensional electrode system with an emitting surface have been studied with a computer program. The program is very easy to use and performs in one pass the steps which have usually previously been followed on analog and digital devices separately. The program alternately solves Poisson's equation by a relaxation technique, traces trajectories, recomputes the space-charge distribution and again performs a relaxation process. This procedure continues until satisfactory convergence has been achieved. The ease of use of the computer program has allowed the investigation of different methods of speeding up the convergence. The results are illustrated with two specific examples.