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

Switched Capacitor Network Analysis by Means of TCM

Journal of Donghua University(English Edition) 2004年第1期21卷 100-103页

作者：徐静波徐望人 College of Electronic & Electrical Engineering Shanghai University of Engineering Science Shanghai 200336 College of Information science and technology Donghua University Shanghai 200051he totally coded method (TCM) reveals the same objective law which governs the gain calculating for signal flow graph as Mason formula does. This algorithm is carried out merely in the domain of code operation. Based on pure code algorithm it is more efficient because figure searching is no longer necessary. The code-series (CS) which are organized from node association table have the holoinformation nature so that both the content and the sign of each gain-term can be determined via the coded method. The principle of this method is obvious and it is suited for computer programming. The capability of the computeraided analysis for Switched Capacitor (SCN) can be enhanced.

The totally coded method (TCM) reveals the same objective law, which governs the gain calculating for signal flow graph as Mason formula does. This algorithm is carried out merely in the domain of code operation. Based on pure code algorithm, it is more efficient because figure searching is no longer necessary. The code-series ( CS ), which are organized from node association table, have the holoinformation nature, so that both the content and the sign of each gain-term can be determined via the coded *** principle of this method is obvious and it is suited for computer programming. The capability of the computeraided analysis for Switched Capacitor (SCN) can be enhanced.

关键词： signal flow graph algorithm coded method SCN.

来源：评论

学校读者我要写书评

暂无评论

Implementation lessons of performance prediction tool for parallel conservative simulation 6

引用

6th International European Conference on Parallel Computing, Euro-Par 2000

作者： Lim, Chu-Cheow Low, Yoke-Hean Gan, Boon-Ping Cai, Wentong Intel Corporation SC12-305 2000 Mission College Blvd Santa ClaraCA95052-8119 United States Programming Research Group Oxford University Computing Laboratory University of Oxford OxfordOX1 3QD United Kingdom Gintic Institute of Manufacturing Technology 71 Nanyang Drive Singapore638075 Singapore Center for Advanced Information Systems School of Applied Science Nanyang Technological University Singapore639798 Singapore

ISBN: (纸本)9783540679561

Performance prediction is useful in helping parallel programmers answer questions such as speedup scalability. Performance prediction for parallel simulation requires first working out the performance analyzer algorithms for specific simulation protocols. In order for the prediction results to be close to the results from actual parallel executions, there are further considerations when implementing the analyzer. These include (a) equivalence of code between the sequential program and parallel program, and (b) system effects (e.g. cache miss rates and synchronization overheads in an actual parallel execution). This paper describes our investigations into these issues on a performance analyzer for a conservative, "super-step" (synchronous) simulation protocol. © Springer-Verlag Berlin Heidelberg 2000.

关键词： Forecasting

来源：评论

学校读者我要写书评

暂无评论

Symposia lectures

引用

Journal of Biosciences 1999年第1期24卷 5-31页

作者： F. Parak A. Ostermann G. U. Nienhaus Nobuo Niimura William A. Eaton Stephen J. Hagen Eric R. Henry James Hofrichter Gouri Jas Lisa Lapidus Victor Muñoz Chih-chen Wang Abani Bhuyan Javant Udgaonkar Heinz Rüterians Derek N. Woolfson M. D. Finucane J. H. Lees M. J. Pandya G. Spooner M. Tuna Wilma K. Olson K. V. R. Chary E. Westhof I. G. Wool C. C. Correll V. I. Ivanov S. A. Bondarenko E. M. Zdobnov A. D. Beniaminov E. E. Minyat N. B. Ulyanov Dale B. Wigley Nobuo Shimamoto Takashi Kinebuchi Hiroyuki Kabata Osamu Kurosawa Masao Washizu Barbara Baird David Holowka H. Belrhali P. Nollert A. Royant J. P. Rosenbusch E. M. Landau E. Pebav-Peyroula Anil K. Lala Patrick R. D’Silva Daniela Pietrobon Paolo Pinton Paulo Magalhaes Anna Chiesa Marisa Brini Tullio Pozzan Rosario Rizzuto M. Montai Shu-Rong Wang José L. Carrascosa B. Bhattacharyya Ian A. Wilson Dinakar M. Salunke Kurt Drickamer Anne Imberty A. Surolia Louise N. Johnson Michal Neeman S. M. Prince K. McLuskey R. J. Cogdell K. McAuley N. W. Isaacs G. Venturoli F. Drepper J. C. Williams J. P. Allen X. Lin P. Mathis R. van Grondelle Wolfgang Junge T. Tsukihara K. Shinzawa-Itoh R. Nakashima E. Yamashita M. J. Fei N. Inoue T. Tomizaki C. Peters Libeu S. Yoshikawa Patrick Chaussepied Keiichi Namba Marie-France Carlier Fariza Ressacl Valerie Laurent Thomas Loisel Coumaran Egile Philippe Sansonetti Dominique Pantaloni Manju Bansal E. W. Knapp M. G. Ullmann A. Amadei B. L. de Groot M. A. Ceruso M. Paci H. J. C. Berendsen A. Di Nola V. Di Francesco P. J. Munson J. Garnier Sung-Hou Kim Jean-Michel Claverie Ian C. P. Smith P. T. Callaghan Bruce Cornell Ratna S. Phadke Kazuhiko Kinosita D. Goldfarb I. Qromov C. Shutter I. Pecht P. Manikandan R. Carmieli T. Shane David S. Moss Clare E. Sansom Jeremy K. Cockcroft Ian J. Tickle Huub C. P. Driessen J. Raul Grigera Ramen K. Poddar Charles R. Cantor Barry Robson Jean Garnier John Helliwell Sunney I. Chan Ronald Rock Physik-Department El7 Technische Universität München Garching Abteilung Biophysik Universität Ulm Ulm Advanced Science Research Center Japan Atomic Energy Research Institute Japan Laboratory of Chemical Physics NIDDK National Institutes of Health Bethesda USA National Lab of Biomacromolecules Institute of Biophysics Beijing China National Centre for Biological Sciences Bangalore Institute of Biophysical Chemistry University of Frankfurt Frankfurt/Main Germany Centre for Biomolecular Design and Drug Development University of Sussex UK Rutgers University Piscataway USA Department of Chemical Sciences Tata Institute of Fundamental Research Mumbai India IBMC-CNRS Strasbourg France Department of Biochemistry and Molecular Biology The University of Chicago Chicago USA Engelhardt Institute of Molecular Biology RAS Moscow Russia Sir William Dunn School of Pathology University of Oxford Oxford UK Structural Biology Center National Institute of Genetics Japan Faculty of Engineering Kyoto University Kyoto Advance Co. Tokyo Japan Department of Chemistry and Chemical Biology Cornell University Ithaca Institute de Biologie Structurale Joseph Fourier Grenoble Cedex 1 France Biomembrane Lab Department of Chemistry and Biotechnology CenterIndian Institute of Technology Bombay Powai Mumbai India Dept of Biomedical Sciences Univ. of Padova Italy Dept. Exp. Diagn. Med. Sect. Gen. Pathol Ferrara Italy Department of Biology University of California San Diego La Jolla USA Chinese Academy of Sciences Institute of Biophysics Beijing China Centra Nacional de Biotecnología CSIC. Campus de la Universidad Autónoma de Madrid Cantoblanco Spain Dept.of Biochemistry Bose Institute Calcutta-54 India The Scripps Research Institute La Jolla National Institute of Immunology New Delhi India Glycobiology Institute Department of Biochemistry University of Oxford Oxford UK Centre de Recherches sur les Macromolécules Végétales-CNRS Grenoble cedex 9 France Molecular Biophysics Uni

来源：评论

学校读者我要写书评

暂无评论

Development and application of MCAL tools for marine radar instruction

引用

Computer Applications in Engineering Education 1995年第4期3卷 259-259页

作者： Guirguis, S. Korany, E. Abdel-Bary, A. Institute of Graduate Studies and Research Alexandria University Alexandria Egypt Shawkat K. Guirguis:obtained the BSc and M.Sc. degrees in Computer Science and Automatic Control Faculty of Engineering Alexandria University in 1981 and 1984 respectively. In 1988 he obtained a PhD degree in Electronics and Communications Faculty of Engineering Cairo University co-supervised by the Imperial College of Science and Technology University of London where he spent two years as an academic visitor. His current research interests include software quality management multimedia automatic programming and decision support systems. He is currently a lecturer of Computer Science at the Institute of Graduate Studies & Research Alexandria University. Ezzat A. Korany:received the BS degree in Electrical Engineering (Electronics Section) from the University of Alexandria Egypt in 1971 the MS degree in Electrical Engineering (Computer Section) from Ain Shams University Cairo Egypt in 1977 and the PhD degree in Electrical Engineering (Digital Systems) from Florida Institute of Technology U.S.A. in 1982. He is currently an associate professor of Computer Science at the Institute of Graduate Studies & Research University of Alexandria. His research interests are in data communications and multimedia applications computer networks image processing and pattern recognition. Abdel-Latif A. Abdel-Bary:obtained the BEng degree in Electronics Technology from Arab Maritime Transport Academy in 1986. In 1995 he obtained the MSc degree in Information Technology from the Institute of Graduate Studies & Research Alexandria University. His current research interests include ICAL hypermedia and automatic programming.

In this article a multimedia computer-assisted learning (MCAL) system is presented. The major objective of this work was to investigate the potential of using such systems as tools for transferring instructional course information through various types of computer media as opposed to the classic CAL systems. The philosophy and techniques employed to design the system are investigated. Usage of the implemented system and its merits have been illustrated through its application to teach engineering students and technicians the theory and concepts of marine radar. System design, implementation, test, and revision phases are presented and discussed.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Seven more myths of formal methods: Dispelling industrial prejudices 2nd

引用

2nd International Symposium of Formal Methods Europe, FME 1994

作者： Bowen, Jonathan P. Hinchey, Michael G. Oxford University Computing Laboratory Programming Research Group Wolfson Building Parks Road OxfordOX1 3QD United Kingdom University of Cambridge Computer Laboratory New Museums Site Pembroke Street CambridgeCB2 3QG United Kingdom Department of Computer and Information Science New Jersey Institute of Technology United States

ISBN: (纸本)9783540585558

For whatever reason, formal methods remain one of the more contentious techniques in industrial software engineering. Despite some improvement in the uptake of formal methods, it is still the case that the vast majority of potential users of formal methods fail to become actual users. A paper by Hall in 1990 [31] exaznined a number of ‘myths’ concerning formal methods, assumed by some to be valid. This paper considers a few more beliefs held by many and presents some counter examples. © 1994, Springer Verlag. All rights reserved.

关键词： Formal methods

来源：评论

学校读者我要写书评

暂无评论

ROLE OF SIMULATION IN RAPID PROTOTYPING FOR CONCEPT DEVELOPMENT

引用

NAVAL ENGINEERS JOURNAL 1991年第3期103卷 204-211页

作者： KING, JF BARTON, DE J. Fred King:is the manager of the Advanced Technology Department for Unisys in Reston Virginia. He earned his Ph.D. in mathematics from the University of Houston in 1977. He has been principal investigator of research projects in knowledge engineering pattern recognition and heuristic problem-solving. Efforts include the development of a multi-temporal multispectral classifier for identifying graincrops using LANDSAT satellite imagery data for NASA. Also as a member of the research team for a NCI study with Baylor College of Medicine and NASA he helped develop techniques for detection of carcinoma using multispectral microphotometer scans of lung tissue. He established and became technical director of the AI Laboratory for Ford Aerospace where he developed expert scheduling modeling and knowledge acquisition systems for NASA. Since joining Unisys in 1985 he has led the development of object-oriented programming environments blackboard architectures data fusion techniques using neural networks and intelligent data base systems. Douglas E. Barton:is manager of Logistics Information Systems for Unisys in Reston Virginia. He earned his B.A. degree in computer science from the College of William and Mary in 1978 and did postgraduate work in London as a Drapers Company scholar. Since joining Unisys in 1981 his work has concentrated on program management and software engineering of large scale data base management systems and design and implementation of knowledge-based systems in planning and logistics. As chairman of the Logistics Data Subcommittee of the National Security Industrial Association (NSIA) he led an industry initiative which examined concepts in knowledge-based systems in military logistics. His responsibilities also include evaluation development and tailoring of software engineering standards and procedures for data base and knowledge-based systems. He is currently program manager of the Navigation Information Management System which provides support to the Fleet Ballistic Missile Progr

A valuable technique during concept development is rapid prototyping of software for key design components. This approach is particularly useful when the optimum design approach is not readily apparent or several known alternatives need to be rapidly evaluated. A problem inherent in rapid prototyping is the lack of a "target system" with which to interface. Some alternatives are to develop test driver libraries, integrate the prototype with an existing working simulator, or build one for the specific problem. This paper presents a unique approach to concept development using rapid prototyping for concept development and scenario-based simulation for concept verification. The rapid prototyping environment, derived from artificial intelligence technology, is based on a blackboard architecture. The rapid prototype simulation capability is provided through an object-oriented modeling environment. It is shown how both simulation and blackboard technologies are used collectively to rapidly gain insight into a tenacious problem. A specific example will be discussed where this approach was used to evolve the logic of a mission controller for an autonomous underwater vehicle.

关键词： Military Engineering

来源：评论

学校读者我要写书评

暂无评论

STRUCTURE CLASHES - AN ALTERNATIVE TO PROGRAM INVERSION

引用

COMPUTER JOURNAL 1990年第2期33卷 126-132页

作者： DROMEY, RG CHORVAT, TA Programming Methodology Research Group Computing and Information Technology Griffith University Nathan Brisbane 4111Australia

A method for handling boundary structure clashes is presented. It provides a simple alternative to Jackson's program inversiontechnique. It is a constructive approach based on the use of prototypes. Development begins by solving the corresponding simplerproblem that has no structure clashes. This solution is then used to guide the solution of the original problem. Programsconstructed in this way preserve the correspondence between the program control structure and the data structure. They shouldtherefore be easier to maintain than their counterparts developed using Jackson's program inversion *** May 1988. revised August 1988.

关键词： Computer programming

来源：评论

学校读者我要写书评

暂无评论

Managed Software Evolution 1

引用

1000年

作者： Ralf Reussner Jan Keim Michael Goedicke Wilhelm Hasselbring Birgit Vogel-Heuser Lukas Märtin

ISBN: (数字)9783030134990

ISBN: (纸本)9783030134983;9783030135010

This open access book presents the outcomes of the “Design for Future – Managed Software Evolution” priority program 1593, which was launched by the German Research Foundation (“Deutsche Forschungsgemeinschaft (DFG)”) to develop new approaches to software engineering with a specific focus on long-lived software systems. The different lifecycles of software and hardware platforms lead to interoperability problems in such systems. Instead of separating the development, adaptation and evolution of software and its platforms, as well as aspects like operation, monitoring and maintenance, they should all be integrated into one overarching process.;Accordingly, the book is split into three major parts, the first of which includes an introduction to the nature of software evolution, followed by an overview of the specific challenges and a general introduction to the case studies used in the project. The second part of the book consists of the main chapters on knowledge carrying software, and cover tacit knowledge in software evolution, continuous design decision support, model-based round-trip engineering for software product lines, performance analysis strategies, maintaining security in software evolution, learning from evolution for evolution, and formal verification of evolutionary changes. In turn, the last part of the book presents key findings and spin-offs. The individual chapters there describe various case studies, along with their benefits, deliverables and the respective lessons learned. An overview of future research topics rounds out the coverage.;The book was mainly written for scientific researchers and advanced professionals with an academic background. They will benefit from its comprehensive treatment of various topics related to problems that are now gaining in importance, given the higher costs for maintenance and evolution in comparison to the initial development, and the fact that today, most software is not developed from scratch, but as part of a c

关键词： Software Engineering Software Management Management of Computing and information Systems Theory of Computation

来源：评论

学校读者我要写书评

暂无评论

Autonomic and Trusted Computing 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Juan González Nieto Wolfgang Reif Guojun Wang Jadwiga Indulska

来源：评论

学校读者我要写书评

暂无评论

Recent Developments and the New Direction in Soft-Computing Foundations and Applications 1

引用

丛书名： Studies in Fuzziness and Soft Computing

1000年

作者： Shahnaz N. Shahbazova Janusz Kacprzyk Valentina Emilia Balas Vladik Kreinovich

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：