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

Asia-Pacific Conference on software Engineering

作者： Gwang Sik Yoon Sung Deok Cha Yong Rae Kwon Chan Hyoung Yoo Department of Computer Science Korea Advanced Institute of Science and Technology Taejon South Korea ATM M and A Software Section Electronics and Telecommunications Research Institute Taejon South Korea

ISBN: (纸本)081868271X

An underlying assumption for N-version programming technique is that independently developed versions would fail in a statistically independent manner However empirical studies have demonstrated that common mode failures can occur even for independently developed versions, and that common mode failures degrade system reliability. In this paper, we demonstrate that the weakest precondition analysis is effective in determining input spaces leading to common mode failures. We applied the weakest precondition to the Launch Interceptor Programs which were used in several other experiments related to the N-version programming technique. We detected 13 out of 18 fault pairs which have been known to cause common mode failure. These faults were due to logical flaws in program design. Although the weakest precondition analysis may be labor-intensive since they are applied manually our results convincingly demonstrate that it is effective for identifying input spaces causing common mode failures and further improving the reliability of N-version software.

关键词： Failure analysis Fault detection software safety computer science Asynchronous transfer mode Degradation Reliability Fault tolerant systems Communication industry computer industry

来源：评论

学校读者我要写书评

暂无评论

Performance of the H.263 Video Compression Standard

引用

Journal of VLSI Signal Processing Systems for Signal, Image, and Video technology 1997年第2-3期17卷 101-111页

作者： Girod, Bernd Steinbach, Eckehard Färber, Nikolaus Telecommunications Institute University of Erlangen-Nuremberg 91058 Erlangen Cauerstrasse 7 Germany Georgia Institute of Technology United States University of Hannover Germany Inst. F. Theor. N. University of Hannover Germany Massachussetts Inst. of Technology Cambridge MA United States Research Laboratory of Electronics United States Department of Media Technology Media Laboratory Germany Department of Computer Graphics Germany Academy of Media Arts Cologne Germany Computer Science Section Cologne University Germany Digital Signal Processing Group Georgia Institute of Technology Atlanta GA United States Dept. of Elec. Eng./Telecom. University of Erlangen-Nuremberg Germany Telecommunications Institute Germany Vivo Software Inc. Waltham MA United States University of Karlsruhe Germany University of Essex United Kingdom ESIEE Paris France Image Communication Group Telecommunications Institute University of Erlangen-Nuremberg Germany University of Munich Germany Telecommunications Institute University of Erlangen-Nuremberg Germany Image Communication Group

The draft international standard ITU-T H.263 is closely related to the well known and widely used ITU-T Recommendation H.261. However, H.263 does provide the same subjective image quality at less than half the bit-rate. In this paper we investigate to what extend single enhancements of H.263 contribute to this performance gain, and consider the trade-off quality vs. complexity. Based on typical test sequences, H.263 with its various modes is compared to H.261 on the basis of rate distortion curves at bit-rates up to 128 kbps. At 64 kbps, the performance gain of H.263 in its default mode compared to H.261 is approximately 2 dB. This improvement is achieved with only little increase of complexity, and is mainly due to more accurate motion compensation with half-pel accuracy. Considering the trade-off quality vs. complexity, the combination of the optional coding-modes "Advanced prediction mode" and "PB-frames mode" is a good compromise, resulting in an additional performance gain of 1.5 dB PSNR at 64 kbps. The "Syntax-based arithmetic coding mode" on the other hand, offers only a very small performance gain (0.1 dB at 64 kbps) for its increased computational complexity. Results from profiling an H.263 software codec are presented in order to support complexity considerations of the optional coding-modes.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A semi-automatic multiple-strategy approach to mapping tree-structured symbolic processing programs

引用

JOURNAL OF SYMBOLIC COMPUTATION 1996年第4-6期21卷 615-634页

作者： Sodan, A GMD Institute for Computer Architecture and Software Technology Germany

Symbolic applications such as expert systems, theorem provers, and computer algebra exhibit dynamic, tree-structured behavior with respect to control and data structures. This is why it is difficult to parallelize a program and get it running efficiently on a parallel computer, especially one with distributed memory. This paper introduces a semi-automatic mapping environment providing a set of support tools, intended for application to large, real-life programs. Mapping can perform adaptive granularity control, dynamic load balancing, and scheduling on parallel programs with dynamic data and control behavior, providing a set of strategies for all components. A set of mapping rules are extracted, describing when which strategy is appropriate. The approach systematically selects and configures its strategies to suit the characteristics of the application and is thus superior to a universal heuristic. (C) 1996 Academic Press Limited

关键词：

来源：评论

学校读者我要写书评

暂无评论

Hydroelastic considerations in ship panel design

引用

NAVAL ENGINEERS JOURNAL 1997年第5期109卷 61-66页

作者： McCormick, ME Bhattacharyya, R Mouring, SE Dr. Michael E. McCormick:is a research professor of civil engineering at The Johns Hopkins University. Before joining the Hopkins faculty in 1994 he was a professor of ocean engineering for twenty-five years at the U.S. Naval Academy. In addition he has held full-time faculty positions at Swarthmore College Trinity College (Hartford) and the Catholic University of America. He was also a hydrodynamicist at the David Taylor Model Basin for more than four years. Prof. McCormick received his undergraduate degree in mathematics and physics from AmericanUniversity a masters degree in applied mechanics and a Ph.D. in mechanical engineering from Catholic University a Ph.D. in civil engineering and a Sc.D. in engineering science from Trinity College in Dublin Ireland. He has over 100 publications including two books in the areas of ocean engineering wave mechanics and ocean wave energy conversion. He has also edited two books dealing with ocean engineering. In addition he is co-editor of both the journal Ocean Engineering and the Elsevier book series in ocean engineering. Dr. Rameswar Bhattacharyya:is professor of naval architecture at the U.S. Naval Academy where he has served for twenty-six years and adjunct professor of mechanical engineering at The Johns Hopkins University. Prior to joining the Naval Academy faculty he was a faculty member in the Department of Naval Architecture and Marine Engineering at the University of Michigan. His research experience includes ten years at both the Lubecker Flender-Werke and the Hamburg Ship Model Basin in Germany. His research has led to numerous publications including two books one in the area of ship dynamics and the other in the area of computer-aided ship design. Prof. Bhattacharyya received his undergraduate degree in naval architecture from the Indian Institute of Technology and his doctorate in engineering from the Technical University of Hanover Germany. In addition he holds an honorary doctorate from the University of Veracruz. With Prof. McCormick he co

Panels and all other structural components of surface ships and submarines vibrate when the vessel is underway. The vibratory motions are primarily excited by the power plant. At operational (design) speeds, panels vibrate in their fundamental modes and those associated with their higher harmonic frequencies. The panel motions have rather well-defined energy spectra, which depend on both the structural design, position of the panel and the rotational speed of the single or multiple power plants. The panel motions will interact with the vortices in the adjacent turbulent boundary layer. The interaction can result in either an increase in the frictional drag or a decrease. Because of this, the argument is made that the designs of the panels and their support systems should include considerations of this hydroelastic effect.

关键词： Naval architecture

来源：评论

学校读者我要写书评

暂无评论

Fault analysis with modular neural networks

引用

INTERNATIONAL JOURNAL OF ELECTRICAL POWER & ENERGY SYSTEMS 1996年第2期18卷 99-110页

作者： Rodriguez, C Rementeria, S Martin, JI Lafuente, A Muguerza, J Perez, J Computer Architecture and Technology Department UPV/EHU Apdo. 649 E-20080 Donostia Spain European Software Institute (ESI) Parque Tecnol6gico 204 E-48016 Zamudio Spain LABEIN Research Centre Parque Tecnológico 101 E-48016 Zamudio Spain

Automatic fault diagnosis in power systems presents real challenges to computing technologies. As an alternative approach to expert systems, several neural network solutions have been proposed recently. In this paper a modular, neural network-based solution to power systems alarm handling and fault diagnosis is described that overcomes the limitations of 'toy' alternatives constrained to small and fixed-topology electrical networks. In contrast to monolithical diagnosis systems, the neural network-based approach presented here fulfills the scalability and dynamic adaptability requirements of the application. Mapping the power grid onto a set of interconnected modules that model the functional behaviour of electrical equipment provides the flexibility and speed demanded by the problem. The way in which the neural system is conceived allows full scalability to real-size power systems.

关键词： alarm handling fault diagnosis modular neural networks

来源：评论

学校读者我要写书评

暂无评论

Modelling and simulation of air pollution

引用

Systems Analysis Modelling Simulation 1996年第2-4期25卷 303-314页

作者： Sydow, A. GMD Research Inst for Computer Architecture and Software Technology Berlin Germany

The paper gives a survey about computer models used for the simulation of the generation and dispersion of air pollution in the lower troposphere. Various kinds of models in different model scales are discussed. Examples of air pollution simulation systems based on these models are described. Results and experience of exemplary simulation applications at GMD FIRST are presented including the approaches for parallelizing air pollution models.

关键词： Air pollution

来源：评论

学校读者我要写书评

暂无评论

On-line handwriting recognition of Chinese characters via a rule-based approach

On-line handwriting recognition of Chinese characters via a ...

引用

13th International Conference on Pattern Recognition, ICPR 1996

作者： Chen, Ju-Wei Lee, Suh-Yin Institute of Computer Science and Information Engineering National Chiao Tung University Hsinchu 30050 Taiwan Application Software Department Computer and Communication Research Laboratories Industrial Technology Research Institute Chutung Hsinchu 31015 Taiwan

ISBN: (纸本)081867282X

This paper presents a rule-based approach for online Chinese character recognition without writing constraints on both stroke number and order. Stroke correspondence is accomplished based on rules predefined such that combinatorial exhaustion can be avoided for character matching. Stroke correspondence rules contain the basic stroke types and geometric features of strokes. Because rules are constituted by invariant structural features, wide handwriting variations can be accommodated. Utilizing the structural characteristics in Chinese characters, we represent the reference database hierarchically to reduce its data size. It only requires O(n log n) time to accomplish stroke correspondence between a template of n strokes and an input script using the hierarchical reference database. This approach is very suitable for those systems with very limited computing resource. © 1996 IEEE.

关键词： Character recognition

来源：评论

学校读者我要写书评

暂无评论

A hierarchical representation for the reference database of on-line Chinese character recognition 6th

引用

6th International Workshop on Structural and Syntactical Pattern Recognition, SSPR 1996

作者： Chen, Ju-Wei Lee, Suh-Yin Institute of Computer Science and Information Engineering National Chiao Tung University Hsinchu30050 Taiwan Application Software Department Computer and Communication Research Laboratories Industrial Technology Research Institute Chutung Hsinchu31015 Taiwan

ISBN: (纸本)3540615776

On-line handwritten Chinese characters recognition (OLCCR) is the key technology for Chinese pen-based systems. Handwriting may vary in stroke shapes, character configuration, stroke order, and the number of strokes. These variations make machine recognition difficult. There are multitudinous categories and complicated structures in Chinese characters. Therefore, for an OLCCR system, efficient storage techniques of the reference database are important especially for those portable computers with very limited computing resources. Basically, simple Chinese characters are constructed by basic strokes according to fixed structural rules, and complicated characters are composed of radicals or components based on fixed geometric configurations. In this paper, we propose a hierarchical representation for the reference database of an OLCCR system using a structural recognition method, in which both stroke-number and stroke-order variations can be tolerated in the recognition system. The major structural knowledge used in recognition includes stroke correspondence rules, spatial relationships between strokes, and character patterns. We utilize components and character structures to represent characters. Only the structural knowledge of components are stored, and the structural knowledge of each character can be retrieved based on its constituent components and its character structure. Both the representation method and the retrieving method of the structural knowledge are proposed in the paper. The storage requirement of the reference database is reduced to 1/4 of the amount without using hierarchical representation. © Springer-Verlag Berlin Heidelberg 1996.

关键词： Microcomputers

来源：评论

学校读者我要写书评

暂无评论

A simulated annealing approach to construct optimized prototypes for nearest-neighbor classification

A simulated annealing approach to construct optimized protot...

引用

13th International Conference on Pattern Recognition, ICPR 1996

作者： Huang, Y.S. Liu, K. Suen, C.Y. Shie, A.J. Shyu, I.I. Liang, M.C. Tsay, R.Y. Huang, P.K. Application Software Department Computer and Communication Research Laboratories Industrial Technology Research Institute Taiwan Centre for Pattern Recognition and Machine Intelligence Concordia University Canada

ISBN: (纸本)081867282X

A new method of optimizing prototypes for a nearest neighbor classifier is proposed based on a four-layer network architecture. A new error function is defined for updating prototypes. The physical meaning of the updating rule and the relationship between the proposed method and LVQ2 are also presented. The main characteristic of the present method is consistent criteria for updating prototypes and for using the trained prototypes to build a nearest neighbor classifier. Experimental results indicate that the present method is effective compared with LVQ2. © 1996 IEEE.

关键词： Network architecture

来源：评论

学校读者我要写书评

暂无评论

MANNA: prototype of a distributed memory architecture with maximized sustained performance

MANNA: prototype of a distributed memory architecture with m...

引用

Euromicro Workshop on Parallel and Distributed Processing

作者： W.K. Giloi U. Bruening W. Schroeder-Preikschat GMD Institute for Computer Architecture and Software Technology Berlin Germany

The sustained performance of superscalar microprocessors amounts to only a fraction of their peak performance rating. In parallel computers realized with them this discrepancy is even more dramatic. Reaching a satisfactory sustained performance for the single processor is mainly a compiler problem. The sustained performance of parallel computers depends also on other components of the architecture such as the interconnect and the operating system. It is shown how, through a combination of innovative architectural solutions, the sustained performance of a distributed memory parallel computer can be significantly improved. The key to effective latency hiding by overlapping communication and computation is the operating system. The programmability of such architectures can be enhanced by providing the programmer with parallelizing compilers and/or a global address space provided by virtual shared memory. All these measures have been incorporated in the MANNA computer described in the paper. Benchmark performance figures obtained with it are reported.

关键词： Prototypes Memory architecture Concurrent computing computer architecture Operating systems Microprocessors Distributed computing Delay Programming profession Program processors

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：