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

2nd International Conference on Systems, ICONS 2007

作者： Wang, Y. Kusserrow, T. Irmer, S. Hasse, A. Bartels, M. Dharmarasu, N. Hillmer, H. Börcsök, J. Mikami, O. University of Kassel Kassel Germany Department of Computer Architecture and System Programming University of Kassel Germany Department of Information Telecommunication and Electronics School of Information Science and Technology Tokai University Hiratsuka-shi Japan

ISBN: (纸本)0769528074

We present novel concepts, technologies and potentials of optical data communication, especially for future computer architectures. The WDM (wavelength division multiplexing) and the optical wiring technologies are explained in detail. Experimental results of tunable optical filters, which play a major role in WDM systems, are reported. New concepts for novel optical interconnectors and novel miniaturized lasers for direct generation of green light are proposed as examples for possible next generation components to improve the performance of optical communication based computer architecture. © 2007 IEEE.

关键词： Computer architecture

来源：评论

学校读者我要写书评

暂无评论

A proposal of Ontology-based health care information extraction system: VnHIES

A proposal of Ontology-based health care information extract...

引用

2007 IEEE International Conference on Research, Innovation and Vision for the Future, RIVF 2007

作者： Dung, Tran Quoc Kameyama, Wataru Art and Multimedia Science Department Graduate School of Information and Tele-communication Studies Waseda University Database and Programming Department Institute of Information Technology Viet Nam Art and Multimedia Science Faculty Global Information and Tele-Communication Studies Graduate School Waseda University Japan Art and Multimedia Science GITS Waseda University Japan

ISBN: (纸本)1424406943

This paper presents an Ontology-based health care information extraction system - VnHIES. In the system, we develop and use two effective algorithms called "Semantic Elements Extracting Algorithm" and "New Semantic Elements Learning Algorithm" for health care semantic words extraction and ontology enhancement. The former algorithm will extract Concepts (Cs), Descriptions of concepts (Ds), Pairs of Concept and Description(C-D) and Names of diseases (Ns) in health care information domain from web pages. Those extracted semantic elements are used by latter algorithm that will render suggestions in which might contain new semantic elements for later use by domain users to enrich ontology. After extracting semantic elements, a "Document Weighting Algorithm" is applied to get summary information of document with respect to all extracted semantic words and then to be stored in knowledge base which contains ontology and database to be used later in other applications. Our experiment results show that the approach is very optimistic with high accuracy in semantic extracting and efficiency in ontology upgrade. VnHIES can be used in many health care information management systems such as medical document classification, health care information retrieval system. VnHIES is implemented in Vietnamese language. © 2007 IEEE.

关键词： information systems

来源：评论

学校读者我要写书评

暂无评论

Improving the distributed elementwise processing implementation in D-Clean

Improving the distributed elementwise processing implementat...

引用

10th Symposium on programming Languages and Software Tools, SPLST 2007

作者： Zsok, Viktoria Hernyak, Zoltan Horvath, Zoltan Department of Programming Languages and Compilers Faculty of Informatics Eötvös Loránd University Pazmany Peter setany 1/C H-1117 Budapest Hungary Department of Information Technology Eszterházy Károly College Eszterházy tér 1 H-3300 Eger Hungary

ISBN: (纸本)9789634639251

The skeleton computing the distributed elementwise processing in D-Clean splits the input data, then applies an elementwise process-able function on the divided input, and finally composes the result from the already computed subresults. This paper presents improvements and refinements of the generalized skeleton implementation. The distributed and functional skeleton of the elementwise processing is implemented using the D-Clean coordination language with a new technique.

关键词： Musculoskeletal system

来源：评论

学校读者我要写书评

暂无评论

CONTROL SYSTEM DESIGN CONSIDERING A TRADEOFF BETWEEN EVALUATED UNCERTAINTY RANGES AND CONTROL PERFORMANCE

引用

Asian Journal of Control 2008年第1期1卷

作者： Y. Wakasa Y. Yamamoto Dept. of Applied Analysis and Complex Dynamical Systems Graduate School of Informatics Kyoto University Kyoto Japan. Yuji Wakasa was born in Okayama Japan in 1968. He received the B.S. and M.S. degrees in engineering from Kyoto university Japan in 1992 and 1994 respectively. From 1994 to 1998 he was a Research Associate in the Department of Information Technology Okayama University. Since April 1998 he has been a Research Associate in the Graduate School of Informatics Kyoto University. His current research interests include robust control and control system design via mathematical programming. Yutaka Yamamoto received his B.S. and M.S. degrees in engineering from Kyoto University Kyoto Japan in 1972 and 1974 respectively and the M.S. and Ph.D. degree in mathematics from the University of Florida in 1976 and 1978 respectively. From 1978 to 1987 he was with Department of Applied Mathematics and Physics Kyoto University and from 1987 to 1997 with Department of Applied System Science. Since 1998 he is a professor at the current position. His current research interests include realization and robust control of distributed parameter systems learning control sampled-data systems and digital signal processing. Dr. Yamamoto is a receipient of the Sawaragi memorial paper award (1985) the Outstanding Paper Award of SICE (1987) Best Author Award of SICE (1990) the George Axelby Outstanding Paper Award of IEEE CSS in 1996 Takeda Paper Prize of SICE in 1997. He is a Fellow of IEEE. He was an associate editor of Automatica. He is currently an associate editor of IEEE Transactions on Automatic Control Systems and Control Letters and Mathematics of Control Signals and Systems. He is a member of the IEEE the Society of Instrument and Control Engineers (SICE) and the Institute of Systems Control and Information Engineers.

This paper presents a design method of control systems such that a designer can flexibly take account of tradeoffs between evaluated uncertainty ranges and the level of control performance. The problem is reduced to a BMI problem and approximately solved by LMIs. The convergence of the proposed approximation is proved in a modified sense. A numerical example shows the effectiveness of the proposed method in comparison with the standard robust control.

关键词： Control system design LMI BMI tradeoff curves

来源：评论

学校读者我要写书评

暂无评论

Coordination language for distributed clean

Coordination language for distributed clean

引用

作者： Horváth, Zoltán Hernyák, Zoltán Zsók, Viktória Department of Programming Languages and Compilers Eötvös Loránd University Hungary Department of Information Technology Eszterházy Károly College Hungary

The distributed evaluation of functional programs and the communication between computational nodes require high-level process description and coordination mechanism. This paper presents the D-Clean high-level functional language, which supports the distributed computation of Clean functions over a cluster. The lazy functional programming language Clean is extended by new language elements in order to achieve parallel features. The distributed computations of functions are expressed in the form of process-networks. D-Clean introduces language primitives to control the dataflow in a distributed process-network. A process scheme defines a partial computation graph, where the nodes are functions to be evaluated and the edges are communication channels. The computational nodes are implemented as statically typed Clean programs. The schemes are parameterized by functions, types and data for defining process networks. D-Clean is compiled to an intermediate level language called D-Box. The D-Clean generic constructs are instantiated into D-Box expressions. D-Box is designed for the description of the computational nodes. D-Box expressions hide implementation details and enable direct control over the process-network. The asynchronous communication is based on language-independent middleware services. The present paper provides the syntax and the informal semantics of both coordination languages. To illustrate the definition of a distributed functional computational pattern using the D-Clean language a farm skeleton running example is presented.

关键词：

来源：评论

学校读者我要写书评

暂无评论

LearnLib: A library for automata learning and experimentation

LearnLib: A library for automata learning and experimentatio...

引用

FMICS'05 - 10th International Workshop on Formal Methods for Industrial Critical Systems

作者： Raffelt, Harald Steffen, Bernhard Berg, Therese University of Dortmund Chair of Programming Systems Baroper Str. 301 44227 Dortmund Germany Department of Information Technology Uppsala University S-751 05 Uppsala Sweden

ISBN: (纸本)1595931481

In this paper we present the LearnLib, a library for automata learning and experimentation. Its modular structure allows users to configure their tailored learning scenarios, which exploit specific properties of the envisioned applications. As has been shown earlier, exploiting application-specific structural features enables optimizations that may lead to performance gains of several orders of magnitude, a necessary precondition to make automata learning applicable to realistic scenarios. Copyright 2005 ACM.

关键词： Learning algorithms

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Autonomic and Trusted Computing 1

引用

丛书名： Lecture Notes in Computer Science

1000年

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：