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

IEEE Conference and Exhibition on Global Telecommunications (GLOBECOM)

作者： H. Tanaka K. Sakakibara Information and Communication Systems Laboratory Toshiba Corporation Japan Faculty of Computer Science and System Engineering Okayama Prefectural University Japan

A Reed-Solomon coded type-1 hybrid ARQ scheme based on a selective-repeat (SR) ARQ with multicopy retransmission is proposed for mobile/personal satellite communication systems of a transmitter and a receiver both with finite buffer. The performance of the proposed scheme on fading channels is analyzed. The basic idea of the strategy is the use of two modes; the SR mode and the multicopy mode. In the latter mode, erroneous blocks stored in the /spl nu/N block transmitter buffer are alternatively retransmitted multiple times when /spl nu/ consecutive retransmissions in the SR mode are received in error, where N denotes round-trip-delay in blocks. Numerical and simulation results for /spl nu/=1 show that the proposed scheme presents better performance than the conventional SR+ST scheme 2 of the 2N block buffer by Miller and Lin (1981).

关键词： Reed-Solomon codes Automatic repeat request Fading Strontium Transmitters Throughput Performance analysis Buffer storage Satellite communication Buffer overflow

来源：评论

学校读者我要写书评

暂无评论

A Bayesian approach to error concealment in encoded video streams

A Bayesian approach to error concealment in encoded video st...

引用

IEEE International Conference on Image Processing

作者： P. Salama N. Shroff E.J. Delp Computer Vision and Image Processing Laboratory Purdue Multimedia Testbed Laboratory School of Electrical Engineering Purdue University West Lafayette IN USA Purdue University System West Lafayette IN US

In ATM networks cell loss causes data to be dropped in the channel. When digital video is transmitted over these networks one must be able to reconstruct the missing data so that the impact of these errors is minimized. In this paper we describe a Bayesian approach to conceal these errors. Assuming that the digital video has been encoded using the MPEG1 or MPEG2 compression scheme, each frame is modeled as a Markov random field. A maximum a posteriori estimate of the missing macroblocks and motion vectors is described based on the model.

关键词： Bayesian methods Streaming media Intelligent networks Laboratories Markov random fields Video sequences Interpolation Image reconstruction Motion estimation computer errors

来源：评论

学校读者我要写书评

暂无评论

Reporting bulk power system delivery point reliability

引用

IEEE TRANSACTIONS ON POWER systemS 1996年第3期11卷 1262-1267页

作者： Weber, E Adler, B Agarwal, S Allan, R Bhavaraju, M Billinton, R Blanchard, M DAquanni, R Ellis, R Endrenyi, J Garrison, D Grigg, C Luehmann, M Odom, J Preston, G Rau, N Reppen, N Salvaderi, L Schilling, M Schneider, AW Vojdani, A White, T Division of System Studies Western Area Power Administration Billings MT Reliability and Performance PECO Energy Company Philadelphia PA Electrical Energy Systems UMIST Manchester UK General Reliability CA Public Service Electric and Gas Company Newark NJ Esearch and Extension University of Saskatchewan Saskatoon SAS Canada IREQ (Hydro-Quebec) Varennes Canada Applied Resources Group Inc. Brookline MA Power System Operations Bonneville Power Administration Vancouver WA Ontario Hydro Technologies Toronto ONT Canada Duke Power Company Charlotte NC Department of Electrical and Computer Engineering Rose-Hulman Institute of Technology Terre Haute IN Consumers Power Company Jackson MI Florida Power Corp. Saint Petersburg FL Utility Dept. City of Austin Elect. Austin TX Utility Planner National Renewable Energy Laboratory Golden CO Power Technologies Inc. Schenectady NY ENEL-Planning Dept. Rome Italy Universidade Federal Fluminense Brazil MAIN Coordination Center Lombard IL Electrical Systems EPRI Palo Alto CA MAPP Coordination Center Minneapolis MN

This paper is part of an ongoing activity of the IEEE Application of Probability Methods Subcommittee to advance the probabilistic methods used to analyze Bulk Power system (BPS) reliability. The objective of the Task Force is to develop a set of guidelines for measuring delivery point reliability. This involves reviewing published literature and other documentation of existing procedures, definitions, and indices. This report presents the results of the Task Force efforts to compile a useful set of terms and procedures for consistent reporting of BPS delivery point reliability.

关键词： Power system reliability Guidelines Power system measurements Power measurement Power system analysis computing Force measurement Power system planning Power system security Power system transients Power system harmonics

来源：评论

学校读者我要写书评

暂无评论

Measuring the distance and orientation of a planar surface using nonstructured lighting

引用

systemS AND computerS IN JAPAN 1996年第8期27卷 83-92页

作者： Tsukiyama, T Member Electrotechnical Laboratory Tsukuba Japan 305 Tosbifumi Tsukiyama:graduated in 1972 from the Biological Engineering Department Osaka University where he also received his Dr. of Eng. degree. He joined Electrotechnical Laboratory Ministry of Tread and Industry (Japan) in 1972. At present he is Senior Researcher at Computer Vision Section Intelligent Systems Division ETL. He was a Visiting Researcher at University of Illinois during 1984–1985. He has been interested in vision system for mobile robots and image processing architectures. He is a member of the Society of Instrumental and Control Engineers Japan Robotics Society of Japan and Information Processing Society of Japan.

This paper proposes a method of 3-dimensional measurement of a planar surface by using two fixed light sources and a TV camera. A set of two images is recorded by the camera switching on each light alternately. The peak of the luminance distribution in each image is detected, and the orientation and distance of the planar surface are calculated. The position of the peak of a luminance distribution can be estimated accurately by using an image processing. The light sources can be conventional apparatus with no particular structure. The method is simple and suitable for a vision system on an indoor mobile robot.

关键词： distance to surface orientation of planar surface point light source luminance distribution ring light

来源：评论

学校读者我要写书评

暂无评论

Efficient computation of sound field above ground in horizontally stratified media using a Wentzel-Kramers-Brillouin-type approximation with Airy functions

引用

JOURNAL OF THE ACOUSTICAL SOCIETY OF AMERICA 1995年第6期98卷 3405-3411页

作者： Li, YL Computer and System Research Laboratory Department of Electrical and Computer Engineering University of Illinois at Urbana-Champaign Urbana Illinois 61801 1308 W. Main Street United States

Conventional fast field programs model a general refractive index profile with a system of horizontal layers. The choice of layer thickness and number of layers depends on frequency, range, and intrinsic properties of the refractive index profile. These constraints result in excessive computation time for many practical cases. To avoid the long run times associated with the layered model, a Wentzel-Kramers-Brillouin-type (WKB) approximation with Airy functions has been applied to the efficient computation of the height-dependent acoustic pressure. Numerical results demonstrate that the new fast field program can reduce the computer time about 50-fold. For higher frequencies, the new fast field program can save more computer time. (C) 1995 Acoustical Society of America.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A comparison of relay ladder logic programming and Petri net approach for sequential industrial control systems

A comparison of relay ladder logic programming and Petri net...

引用

IEEE Conference on Control Technology and Applications (CCTA)

作者： MengChu Zhou E. Twiss Discrete Event System Laboratory Department of Electrical and Computer Engineering New Jersey Institute of Technology Newark NJ USA

For about the past two decades programmable logic controllers (PLC's) using relay ladder logic (RLL) programming have been the workhorse for sequential industrial control systems. Petri nets are a methodology for modeling, evaluating and controlling discrete event systems (DES). This paper uses a theoretical Petri net based controller for an industrial control application. These two design methodologies are compared using an industrial design example. Comparisons are made on the ability to evaluate the programmed logic, flexibility of the logic and the ability to troubleshoot/debug the system.

关键词： Relays Logic programming Programmable control Industrial control Programmable logic arrays Programmable logic devices Petri nets Control system synthesis Discrete event systems Design methodology

来源：评论

学校读者我要写书评

暂无评论

Pass-transistor dual value logic for low-power CMOS

Pass-transistor dual value logic for low-power CMOS

引用

International Symposium on VLSI Technology, systems and Applications

作者： V.G. Oklobdzija B. Duchene Advanced Computer System Engineering Laboratory Electrical and Computer Engineering Department University of California Davis USA Ecole Superieure d'Ingenieurs en Electrotechnique et Electronique Noisy le Grand France

This paper presents new pass-transistor logic termed DVL which contains fewer transistors than its counterpart DPL yet maintaining comparable performance. A method for synthesis of such networks is also developed and demonstrated in this paper. The new logic is characterized by good speed and low power. The simulations and tests were performed using 1-/spl mu/m CMOS.

关键词： CMOS logic circuits Page description languages MOSFETs Logic gates Maintenance engineering Degradation Delay systems engineering and theory Laboratories Transistors

来源：评论

学校读者我要写书评

暂无评论

Mechanical synthesis of a unification algorithm in PowerEpsilon

Mechanical synthesis of a unification algorithm in PowerEpsi...

引用

IEEE Annual International computer Software and Applications Conference (COMPSAC)

作者： Ming-Yuan Zhu Xiao-Bai Mo Artificial Intelligence Laboratory Beijing Institute of System Engineering Beijing China Department of Computer Science Changsha Institute of Technology Changsha Hunan China

ISBN: (纸本)081867119X

Programming in constructive type theory corresponds to theorem proving in mathematics: the specification plays the role of the proposition to be proved and the program is obtained from the proof. We present a proof development system called PowerEpsilon, based on a constructive type theory which can be used as a formal program development system for actually deriving a program from a specification. The synthesis of a unification algorithm is presented to show the power of the system.

关键词： Reactive power Logic programming Production

来源：评论

学校读者我要写书评

暂无评论

Neural network applications

Neural network applications

引用

Electronic Technology Directions to the Year 2000

作者： E. Vonk L.C. Jain L.P.J. Veelenturf Control Systems and Computer Engineering Group BSC Laboratory for Network Theory Department of Electrical Engineering University of Twente Enschede Netherlands Knowledge-based Engineering System Group School of Electronic Engineering University of South Australia Adelaide Australia

Artificial neural networks, also called neural networks, have been used successfully in many fields including engineering, science and business. This paper presents the implementation of several neural network simulat... 详细信息

关键词： Neural networks Neurons Artificial neural networks systems engineering and theory Hopfield neural networks Process control Knowledge engineering Supervised learning Clustering algorithms Application software

来源：评论

学校读者我要写书评

暂无评论

Automatic generation of a neural network architecture using evolutionary computation

Automatic generation of a neural network architecture using ...

引用

Electronic Technology Directions to the Year 2000

作者： E. Vonk L.C. Jain L.P.J. Veelenturf R. Johnson Control Systems and Computer Engineering Group BSC Laboratory for Network Theory Department of Electrical Engineering University of Twente Enschede Netherlands Knowledge-based Engineering System Group School of Electronic Engineering University of South Australia Adelaide Australia Weapons Systems Division Defence Science and Technology Organisation Salisbury SA Australia

This paper reports the application of evolutionary computation in the automatic generation of a neural network architecture. It is a usual practice to use trial and error to find a suitable neural network architecture. This is not only time consuming but may not generate an optimal solution for a given problem. The use of evolutionary computation is a step towards automation in architecture generation. In this paper a brief introduction to the field is given as well as an implementation of automatic neural network generation using genetic programming.< >

关键词： Neural networks computer architecture Evolutionary computation Genetic programming Network topology Genetic algorithms Biological cells systems engineering and theory Knowledge engineering Australia

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：