一种信息系统生存性的量化分析框架

生存性是信息系统在安全性之上必需考虑的问题,对其量化分析可对系统生存性做出更为准确的评价以改进系统。基于有限状态机描述信息系统,利用系统状态转移图来定义生存性分析过程,而系统状态的层次化结构避免了Markov链模型中的列举系统状态问题。在SNA方法的基础上,提出一种便于计算机实现的生存性量化分析框架：通过系统定义、系统生存性测试和生存性计算,最后给出分析报告。其中基于事件分类分级建立的事件库使得测试方案的生成自动化和客观化,系统的生存性通过层次化的方式从可抵抗性、可识别性和可恢复性3个方面进行了量化计算。     

一种针对软错误的程序可靠性定量分析方法

 宇宙射线辐射所导致的软错误是航天计算面临的最主要挑战之一.而随着集成电路制造工艺的持续进步,现代处理器的计算可信性日益面临着软错误的严重威胁.当前,很少有研究从软件角度分析软错误对系统可靠性的影响.在程序汇编代码的基础上,提出一种针对软错误的程序可靠性定量分析方法PRASE,并且提出基本块分析法和3条运算定律以改进其分析效率.实验表明软错误对程序可靠性的影响与程序自身结构密切相关,同时分析结果还指出在软错误影响下程序的关键脆弱点,对实现针对软错误的高效容错算法有参考意义.     

TLMRES--The TLM Computer Program for the Analysis of Microstrip Resonators (Computer Program Descriptions)

This program, based on the TLM method of numerical analysis in three dimensions, provides the exact numerical solution for general electromagnetic-wave problems.     

Upper Extremity Limb Function Discrimination Using EMG Signal Analysis

A signal analysis technique is developed for discriminating a set of lower arm and wrist functions using surface EMG signals. Data wete obtained from four electrodes placed around the proximal forearm. The functions analyzed included wrist flexion/extension, wrist abduction/adduction, and forearm pronation/supination. Multivariate autoregression models were derived for each function; discrimination was performed using a multiple-model hypothesis detection technique. This approach extends the work of Graupe and Cline [1] by including spatial correlations and by using a more generalized detection philosophy, based on analysis of the time history of all limb function probabilities. These probabilities are the sufficient statistics for the problem if the EMG data are stationary Gauss-Markov processes. Experimental results on-normal subjects are presented which demonstrate the advantages of using the spatial and time correlation of the signals. This technique should be useful in generating control signals for prosthetic devices.     

A Computer Program for Approximating System Reliability

A computer program, which provides bounds for system reliability, is described. The algorithms are based on the concepts of success paths and cut sets. A listing of the elements in the system, their predecessors, and the probability of successful operation of each element are the inputs. The outputs are the success paths, the cut sets, and a series of upper and lower reliability bounds; these bounds converge to the reliability which would be calculated if all the terms in the model were evaluated. The algorithm for determining the cuts from the success paths is based on Boolean logic and is relatively simple to understand. Two examples are described, one of which is very simple and the computation can be done by hand, and a second for which there are 55 success paths and 10 cuts and thus machine computation is desirable.     

Analysis of a Digital EMG Signal Processor in Dynamic Conditions

The performances of digital electromyographic signal processors in dynamic conditions are determined by evaluating the root-mean-square value of the estimation error, including bias and variance of the estimates. The results thus obtained are valid for a wide class of myoprocessor schemes. The analysis has been used to optimize myoprocessors with moving-average smoothing filters, the length of which will be adapted to the local variability characteristics of the force in order to obtain a minimum overali estimation error.     

无线实时数据通信对等网络构架方案

基于移动通信网络的P2P流媒体共享系统，能实现网络中任意用户可以搜索到并且快速共享其所需要的流媒体资源，这对于网络信息交流和高效合理地利用网络资源有着重要的意义。文章提出了一种基于移动通信网络的对等流媒体覆盖网络方案，阐述了对等流媒体覆盖网络的可实现性和有效运行的一些必要条件，最后提出了基于提高服务质量的系统优化思路。     

螺线行波管一维大信号计算的研究报告

本报告描述了螺线行波管一维大信号计算程序ＴＷＴＩＤ的计算功能及使用方法，通过与二个实验的比较，证实了程序的实用性及有效性。     

连续信号频域分析的教学内容编排方式

本文介绍连续信号频域分析教学内容编排方式。它首先用正交积分变换的概念引入连续信号的傅里叶变换FT;然后基于FT的延迟性质推导时域理想冲激序列的频域理想冲激序列谱,最后利用此FT对和FT的时域卷积定理及频域卷积定理导出周期信号的离散谱和采样信号的周期谱,并给出了周期信号的傅里叶级数FS展开式和证明了频域采样定理和时域采样定理。这种新的教学编排方式的优点是叙述简明、条理清晰,而且较深刻地阐述了FT理论与FS理论及采样定理的关系,有助于学生学习和掌握连续信号频域分析技术。     

雷达信号脉内时频分析的一种新方法

提出了基于短时傅立叶变换和分数阶傅立叶变换相结合的雷达信号脉内时频分析方法。介绍了短时傅立叶变换和分数阶傅立叶变换．以及两者的联合分布．最后给出了仿真结果。     

Dielectric Loaded Waveguide Analysis Program (Computer Program Descriptions)

This program determines the resonant frequencies and axial electric and magnetic field components in arbitrary polygonal waveguides loaded with isotropic lossless longitudinal dielectric slabs.     

一种嵌入式信号处理软件构件测试框架

嵌入式系统在保障雷达信号处理高可靠性和高实时性要求的同时,其硬件耦合度高和处理数据量大的问题给嵌入式测试的自动化推进带来了挑战。为提高嵌入式信号处理软件的测试效率,提出了一种构件级测试的自动化框架,该框架通过解析构件的测试用例表产生测试数据,调用驱动镜像,并根据测试脚本自动执行测试,评估测试结果,最终生成测试报告,实现测试全流程的自动化。文中给出了该框架应用于某产品构件测试的实际效果,缩短近一半的人工耗时,验证了其正确性及有效性。     

Computer Analysis of Microwave and Millimeter-Wave Mixers (Computer Program Descriptions)

The program analyzes the performance of single-diode microwave and millimeter-wave mixers. A Schottky-barrier diode is assumed, whose I-V and CV characteristics are known. The diode mount is taken to be lossless, but may have external loads at any number of sideband and local oscillator (LO) harmonic frequencies.     

A General Program for Discrete Least pth Approximation (Computer Program Descriptions)

To minimize an objective function of k variables defined as the generalized discrete least pth objective using gradient methods.     

DISFIL, A Computer Program for the Optimum Synthesis of TEM Transmission-Line Filters (Computer Program Descriptions)

DISFIL uses exact network synthesis techniques to produce the final cascade of unit elements and LC-type resonators, for all common kinds of optimum high- or lowpass Butterworth or Chebyshev filters, terminated either at a single side or at both sides in a finite nonzero resistor.     

Relcomp: A Computer Program for Calculating System Reliability and MTBF

A conversational time-sharing computer program called Relcomp can be used for rapid and economical calculation of the reliability and mean time between failures (MTBF) of systems consisting of serial and redundant units. Relcomp is simple to use and does not require any special knowledge of programming. A copy of the complete Relcomp program listing is provided in Tymshare Super Basic language. Use of the program to calculate the reliability and MTBF of a system, its subsystems, and blocks is illustrated by examples.     

A Special Program for Least pth Approximation Including Interpolation (Computer Program Descriptions)

Minimization of a least pth objective function of k variables using gradient methods. Interpolation brings the discrete problem closer to the continuous minimax approximation problem.     

A Framework for High Level Estimations of Signal Processing VLSI Implementations

This paper deals with the presentation of a framework for the rapid prototyping of Digital Signal Processing applications. The BSS framework enables both synthesis of dedicated VLSI circuits and cost, performance estimation. The latter can be used at different accuracy levels and can help the designer in selecting a proper algorithm in order to improve the global performance of its implementation. The cost estimation takes into account both the processing unit, including operators, registers, interconnections, and memory units. The implemented estimation techniques are presented and include functional unit number bound calculation, probabilistic cost estimation of processing unit components, and memory unit area evaluation. We demonstrate, on a real application, that cost/signal processing quality trade-offs can be achieved while changing the type of algorithm and the number of filter taps for a given algorithm specification.