检索结果-内蒙古大学图书馆

JOURNAL OF VLSI SIGNAL PROCESSING SYSTEMS FOR SIGNAL IMAGE AND VIDEO TECHNOLOGY 1996年第2期14卷 125-156页

作者： Egolf, T Pettigrew, M DeBardelaben, J Hezar, R Famorzadeh, S Kavipurapu, A Khan, M Dung, LR Balemarthy, K Desai, N Madisetti, V 1. School of Electrical and Computer Engineering Georgia Institute of Technology 30332-0250 Atlanta GA USA

The Rapid Prototyping of Application-Specific Signal Processors (RASSP) [1.3] program of the US Department of Defense (ARPA and Tri-Services) targets a 4X improvement in the design, prototyping, manufacturing, and support processes (relative to current practice). Based on a current practice study (1.93) [4], the prototyping time from system requirements definition to production and deployment, of multiboard signal processors, is between 37 and 73 months. Out of this time, 25-49 months is devoted to detailed hardware/software (HW/SW) design and integration (with 1.-24 months devoted to the latter task of integration). With the utilization of a promising top-down hardware-less codesign methodology based on VHDL models of HW/SW components at multiple abstractions, reduction in design time has been shown especially in the area of hardware/software integration [5]. The authors describe a top-down design approach in VHDL starting with the capture of system requirements in an executable form and through successive stages of design refinement, ending with a detailed hardware design. This hardware/software codesign process is based on the RASSP program design methodology called virtual prototyping, wherein VHDL models are used throughout the design process to capture the necessary information to describe the design as it develops through successive refinement and review. Examples are presented to illustrate the information captured at each stage in the process. Links between stages are described to clarify the flow of information from requirements to hardware.

关键词： Signal processing

来源：评论

学校读者我要写书评

暂无评论

SIGNAL TRANSITION GRAPH CONSTRAINTS FOR SYNTHESIS OF HAZARD-FREE ASYNCHRONOUS CIRCUITS WITH UNBOUNDED-GATE DELAYS

引用

FORMAL METHODS IN SYSTEM DESIGN 1994年第3期5卷 245-273页

作者： NAGALLA, R HELLESTRAND, G 1. Computer and Systems Technology Laboratory School of Computer Science and Engineering University of New South Wales 2052 NSW Australia

A synthesis procedure for asynchronous control circuits from a high level specification, signal transition graph (STG), is described. In this paper, we propose some syntactic constraints on STG to guarantee speed-independent implementation. We have introduced a global persistency concept in order to establish the relationship between the persistency concept introduced by Chu [2] (which we call local persistncy) and the consistent state coding (CSC). The STG syntactic constraints required to compute the input set of a signal are identified. This paper also describes an algorithm to ascertain whether a given STG has the CSC property. The algorithm identifies the non-persistent signals associated with the CSC violations. The algorithm has the advantage of operating directly on the STG rather than on the state graph.

关键词： ASYNCHRONOUS CIRCUITS SPEED-INDEPENDENT CIRCUITS SIGNAL TRANSITION GRAPHS PERSISTENCY COMPLETE STATE CODING

来源：评论

学校读者我要写书评

暂无评论

A VLSI DESIGN FOR THE PARALLEL FINITE STATE AUTOMATON AND ITS PERFORMANCE EVALUATION AS A HARDWARE SCANNER

引用

INTERNATIONAL JOURNAL OF computer & INFORMATION SCIENCES 1984年第6期13卷 491-508页

作者： HURSON, AR 1. School of Electrical Engineering and Computer Science University of Oklahoma 73019 Norman Oklahoma

Recent developments in VLSI technology have made it possible to design and implement smaller, cheaper, faster, and more reliable computer components. In addition, these advances have been a major drive for the design ... 详细信息

关键词： Parallel finite state automaton VLSI design pattern matching text retrieval performance evaluation

来源：评论

学校读者我要写书评

暂无评论

Improved innovation-based adaptive Kalman filter for dual-frequency navigation using carrier phase

引用

Science China(Information Sciences) 2010年第12期53卷 2653-2663页

作者： LU ChenXi,TAN YunHua ,ZHU BoCheng & ZHOU LeZhu school of Electronics {1. and computer Science,Peking University,Beijing 1.0871.China 1. School of Electronics Engineering and Computer Science Peking University Beijing 100871 China

A new adaptive Kalman filtering algorithm for dual-frequency navigation using carrier phase is *** algorithm gives consideration to both robustness and sensitivity by combining the two main approaches of adaptive Kalman filtering based on innovation-based adaptive estimation(IAE) and fading *** to the navigation using carrier phase measurements typically,this algorithm can balance the weights of observations and predicted states *** to both practical static data and kinetic simulations are presented to demonstrate the validity and efficiency of the algorithm.

关键词： navigation adaptive Kalman filter carrier phase

来源：评论

学校读者我要写书评

暂无评论

Symbolic algorithmic verification of intransitive generalized noninterference

引用

Science China(Information Sciences) 2012年第7期55卷 1650-1665页

作者： ZHOU CongHua,LIU ZhiFeng,WU HaiLing,CHEN Song & JU ShiGuang school of {1. Science and Telecommunication engineering,Jiangsu University Zhenjiang 21.01.,China 1. School of Computer Science and Telecommunication Engineering Jiangsu University Zhenjiang 212013 China

Generalized noninterference can be used to formulate transitive security policies,but is unsuitable for intransitive security *** propose a new information flow security property,which we call intransitive generalized noninterference,that enables intransitive security policies to be specified ***,we propose an algorithmic verification technique to check intransitive generalized *** technique is based on the search for counterexamples and on the window induction proof,and can be used to verify generalized *** further demonstrate that the search of counterexamples and induction proof can be reduced to quantified Boolean *** reduction enables us to use efficient quantified Boolean decision procedures to perform the check of intransitive generalized *** also reduces spatial requirement by representing the space compactly,and improves the efficiency of the verification procedure.

关键词： intransitive generalized noninterference quantified Boolean satisfiability symbolic verification multi-level security

来源：评论

学校读者我要写书评

暂无评论

AN INVESTIGATION OF PHOTOCURRENT LOSS DUE TO REFLECTANCE AND ABSORPTION IN CDTE/CDS HETEROJUNCTION SOLAR-CELLS

引用

JOURNAL OF ELECTRONIC MATERIALS 1994年第7期23卷 681-686页

作者： CHOU, HC BHAT, AK KAMRA, S ROHATGI, A 1. School of Electrical and Computer Engineering Georgia Institute of Technology 30332 Atlanta GA

An attempt is made to understand, quantify, and reduce the reflectance and photocurrent loss in CdTe solar cells. Model calculations are performed to determine the optimum thicknesses of CdS and SnO2 films and anti-reflection (AR) coating on glass that can minimize the reflectance and enhance the performance of CdTe/CdS/SnO2/glass solar cells. Photocurrent loss due to absorption in CdS films is also calculated as a function of CdS thickness. It was found that the current loss due to reflectance and absorption is more sensitive to the CdS film when its thickness falls below 1.00angstrom. Model calculations show that reducing the CdS thickness from 1.00 to 600angstrom increases short-circuit current density (J(sc)) by 3 mA/cm2 because of reduced reflectance as well as absorption. Further decrease in CdS thickness below 600angstrom increases reflectance but results in higher J(cs), because current gain due to reduced absorption in thin CdS offsets the current loss due to higher reflectance. Model calculations also indicate that J(sc) is not sensitive to SnO2 thickness above 4000angstrom. Finally, an optimum thickness for single layer MgF2 AR coating on glass was calculated to be 1.00angstrom, which should provide an additional increase of 0.7 mA/cm2 in J(sc). Some of these results are also experimentally validated in this paper.

关键词： CDTE/CDS HETEROJUNCTION SOLAR CELLS PHOTOCURRENT LOSS

来源：评论

学校读者我要写书评

暂无评论

AN IMAGINARY ROBOT MODEL AND DOUBLE-PD control FOR REDUNDANT ROBOTIC SYSTEMS

引用

JOURNAL OF INTELLIGENT & ROBOTIC SYSTEMS 1992年第2-3期6卷 283-295页

作者： GU, YL 1. Department of Electrical and Systems Engineering School of Engineering and Computer Science Oakland University 48309-4401 Rochester MI USA

The theory and applications of an imaginary robot model with a double-PI) control law for redundant robotic systems are presented. The imaginary robot model is based on a special Riemannian metric decomposition for general nonlinear dynamic systems. This model offers an effective way for reducing nonlinear feedback formulation while preserving the linearized system equation. The developed procedure is also applicable to redundant robots- A three-dimensional redundant robot main-frame having three revolute joints plus a prismatic joint is used in the paper to illustrate the design procedure based on the imaginary robot model with the double-PD control scheme. The entire dynamic control algorithm is also verified by a simulation study on the four-joint three-dimensional robot arm.

关键词： IMAGINARY ROBOT MODEL DOUBLE-PD control REDUNDANCY NULL SPACE METRIC SPACE

来源：评论

学校读者我要写书评

暂无评论

More efficient automatic repair of large-scale programs using weak recompilation

引用

Science China(Information Sciences) 2012年第12期55卷 2785-2799页

作者： QI YuHua 1.MAO XiaoGuang 1.WEN YanJun 1.DAI ZiYing 1.& GU Bin 2 1.school of {1.,National University of Defense Technology,Changsha 41.073,China 2 Beijing Institute of control engineering,Beijing 1.01.0,China 1. School of Computer National University of Defense Technology Changsha 410073 China2. Beijing Institute of Control Engineering Beijing 100190 China

Automatically repairing a bug can be a time-consuming process especially for large-scale programs owing to the significant amount of time spent recompiling and reinstalling the patched *** reduce this time overhead and speed up the repair process,in this paper we present a recompilation technique called weak *** weak recompilation,we assume that a program consists of a set of components,and for each candidate patch only the altered components are recompiled to a shared *** original program is then dynamically updated by a function indirection *** advantage of weak recompilation is that redundant recompilation cost can be avoided,and while the reinstallation cost is completely eliminated as the original executable program is not modified at *** maximum applicability of weak recompilation we created WAutoRepair,a scalable system for fixing bugs with high efficiency in large-scale C *** experiments on real bugs in widely used programs show that our repair system significantly outperforms Genprog,a wellknown approach to automatic program *** the wireshark program containing over 2 million lines of code,WAutoRepair is over 1.8 times faster in terms of recompilation cost than Genprog.

关键词： weak recompilation efficiency automated program repair automated debugging experiment

来源：评论

学校读者我要写书评

暂无评论

Bias correction and forward-backward averaging in frequency/DOA tracking problems

引用

JOURNAL OF VLSI SIGNAL PROCESSING SYSTEMS FOR SIGNAL IMAGE AND VIDEO TECHNOLOGY 1996年第1期14卷 93-105页

作者： Degroat, RD Dowling, EM Linebarger, DA 1. Erik Jonsson School of Engineering and Computer Science The University of Texas at Dallas 75083-0688 Richardson TX

In this paper, we discuss some issues relevant to frequency and direction of arrival (DOA) tracking problems. First, we develop a linear Frequency Modulated (FM) signal model for accurately describing windowed, slowly time varying narrowband signals that typically occur in tracking problems. We then derive first order bias expressions for the peak locations of a Discrete Time Fourier Transform (DTFT) spectrum of a windowed, slowly time varying linear FM signal. We also show that Forward-Backward (FB) averaging is generally inappropriate for nonstationary data, but that it is appropriate when applied to tracking the frequencies of windowed, slowly time varying narrowband signals. A major motivation for using FB averaging is to increase the efficiency of subspace based frequency/DOA estimation in tracking problems. Finally, simulations confirm our first order bias expressions, and show that FB averaging does not significantly alter (or degrade) the time varying MUSIC based frequency estimation performance over that of Forward only averaging.

关键词： Frequency modulation

来源：评论

学校读者我要写书评

暂无评论

Joint Optimization of Power Allocation and Beamforming for UAV-RIS Communication System

引用

IEEE Wireless Communications Letters 2025年

作者： Guo, Xinying Liu, Longfei Zhang, Jiankang Chen, Sheng Ministry of Education Key Laboratory of Grain Information Processing and Control Henan University of Technology China Henan University of Technology College of Information Science and Engineering Zhengzhou450001 China Bournemouth University Department of Computing and Informatics BH12 5BB United Kingdom University of Southampton School of Electronics and Computer Science SouthamptonSO17 1BJ United Kingdom

This paper considers the communication system assisted by a fixed-trajectory unmanned aerial vehicle (UAV), which is equipped with a reconfigurable intelligent surface (RIS). For this UAV-RIS assisted system, we jointly optimize the power allocation and active beamforming at the base station (BS) and the passive beamforming at the RIS, by a novel phase block coordinate descent algorithm framework aimed at maximizing the system sum-rate. Specifically, the joint optimization problem is decomposed into two phases, and we propose two optimization algorithms: one for BS power allocation using fractional programming (FP) and the other for jointly optimizing active and passive beamforming using FP-manifold, which alternately optimize two phases. Simulation results not only highlight the rapid convergence and evident superiority of our proposed framework but also reveal that the optimal UAV-RIS placement is related to the flight height. © 201. IEEE.

关键词： Unmanned aerial vehicles (UAV)

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：