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

Advances in Intelligent Systems and Computing 2021年 1221 AISC卷 v-vi页

作者： Balas, Valentina Emilia Jain, Lakhmi C. Balas, Marius Mircea Shahbazova, Shahnaz N. "Aurel Vlaicu" University of Arad Faculty of Engineering Arad Romania Faculty of Engineering and Information Technology University of Technology Sydney Centre for Artificial Intelligence Sydney Australia Faculty of Engineering "Aurel Vlaicu" University of Arad Arad Arad Romania Department of Information Technology and Programming Azerbaijan Technical University Baku Azerbaijan

来源：评论

学校读者我要写书评

暂无评论

Editorial

引用

Formal Aspects of Computing 2009年第3期21卷 225页

作者： Paul Boca Raymond Boute David Duce José Oliveira Programming Research Ltd Mark House 9/11 Queens Road KT12 SLU Hesham Surrey United Kingdom Formal Methods Group Department of Information Technology (INTEC) Ghent University Sint-Pietersnieuwstraat 41 B-9000 Ghent Belgium School of Technology Oxford Brookes University Wheatley Campus OX33 lHX Oxford UK Departamento de Informática Universidade do Minho Campus de Gualtar 4710-057 Braga Portugal

No abstract available.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Correction to: A new cognitive clock matching phenotypic and epigenetic ages

引用

Translational psychiatry 2022年第1期12卷 452页

作者： M I Krivonosov E V Kondakova N A Bulanov S A Polevaya C Franceschi M V Ivanchenko M V Vedunova Institute of Biology and Biomedicine Department of Neurotechnology N. I. Lobachevsky State University Nizhny Novgorod Russia. krivonosov@itmm.unn.ru. Institute of Information Technology Mathematics and Mechanics Department of Applied Mathematics N. I. Lobachevsky State University Nizhny Novgorod Russia. krivonosov@itmm.unn.ru. Research Center for Trusted Artificial Intelligence The Ivannikov Institute for System Programming of the Russian Academy of Sciences Moscow 109004 Russia. krivonosov@itmm.unn.ru. Research Center for Trusted Artificial Intelligence The Ivannikov Institute for System Programming of the Russian Academy of Sciences Moscow 109004 Russia. Institute of Biology and Biomedicine Department of Basic and Medical Genetics N. I. Lobachevsky State University Nizhny Novgorod Russia. Faculty of Computer Science School of Data Analysis and Artificial Intelligence HSE University Moscow Russia. Faculty of Social Sciences Department of Psychophysiology N. I. Lobachevsky State University Nizhny Novgorod Russia. Institute of Information Technology Mathematics and Mechanics Department of Applied Mathematics N. I. Lobachevsky State University Nizhny Novgorod Russia. Department of Experimental Diagnostic and Specialty Medicine (DIMES) University of Bologna Bologna Italy.

来源：评论

学校读者我要写书评

暂无评论

Scientific Data Lake for High Luminosity LHC project and other data-intensive particle and astro-particle physics experiments

引用

Journal of Physics: Conference Series 2020年第1期1690卷

作者： A Alekseev A Kiryanov A Klimentov T Korchuganova V Mitsyn D Oleynik A Smirnov S Smirnov A Zarochentsev Compiler Technology Department Ivannikov Institute for System Programming of the RAS Moscow 109004 Russia Cloud technologies and Big Data analytics laboratory Plekhanov Russian University of Economics Moscow 117997 Russia ATLAS group Universidad Andres Bello Santiago 7550196 Chile Department of computing resources and technologies NRC 'Kurchatov Institute' - PNPI 188300 Gatchina Russia Physics Department Brookhaven National Laboratory Upton NY 11973 USA Laboratory of Information Technologies Joint Institute for Nuclear Research Dubna 141980 Russia Institute of Nuclear Physics and Engineering National Research Nuclear University MEPhI Moscow 115409 Russia Laboratory of Ultra-High Energy Physics Saint Petersburg State University Saint Petersburg 198504 Russia

The next phase of LHC Operations – High Luminosity LHC (HL-LHC), which is aimed at ten-fold increase in the luminosity of proton-proton collisions at the energy of 14 TeV, is expected to start operation in 2027-2028 and will deliver an unprecedented scientific data volume of multi-exabyte scale. This amount of data has to be stored and the corresponding storage system should ensure fast and reliable data delivery for processing by scientific groups distributed all over the world. The present LHC computing and data processing model will not be able to provide the required infrastructure growth even taking into account the expected hardware technology evolution. To address this challenge the new state-of-the-art computing infrastructure technologies are now being developed and are presented here. The possibilities of application of the HL-LHC distributed data handling technique for other particle and astro-particle physics experiments dealing with large-scale data volumes like DUNE, LSST, Belle-II, JUNO, SKAO etc. are also discussed.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Preface

引用

CEUR Workshop Proceedings 2019年 2514卷 1-2页

作者： Avetisyan, Arutyun Ivar, Jacobson Pozin, Boris A. Petrenko, Alexander K. Pozin, Boris A. Petrenko, Alexander K. Cavalli, Ana Rosa Petrenko, Alexander K. Avetisyan, Arutyun Arlazarov, Vladimir Avdoshin, Sergey Batovrin, Victor K. Bershadsky, Alexander M. Boichenko, Alexander Juris, Borzovs Vasenin, Valery A. Schlingloff, Holger Kalyanov, Georgy Kantorovich, Georgy G. Korolev, Anton Kosolapov, Mikhail S. Kostogryzov, Andrey I. Koznov, Dmitry V. Kuznetsov, Sergey Prokhorov, Sergei Soyfer, Victor A. Starykh, Vladimir A. Stolyarov, Gennady K. Stupnikov, Sergey A. Telnov, Yury Ph. Shmid, Alexander Mira, Kajko-Mattssen Miroslawa Wentzl, Wilfried Mayer, Walter H. Yevtushenko, Nina Zakharov, Victor Zmeev, Oleg Cavalli, Ana Rosa Petrenko, Alexander K. Pozin, Boris A. RAS ISP Russia Ivar Jacobson International Switzerland NRU HSE «-leasing» Co Russia NRU HSE ISP RAS Russia Information and Analytical Systems «-leasing» Co Russia Department of Network Software TELECOM and Management SudParis France NRU HSE Russia Software Engineering of Ivannikov Institute for System Programming RAS Russia RAS System Analysis Institute of Federal Research Centre Informatics and Management Russia Russia Penza State University Russia Federal State Educational Centre of Higher Learning «Plekhanov Russian University of Economics» Russia CISA Academy of Sciences of Latvia State University of Latvia Latvia MSU Institut für Offene Kommunikationssysteme FOKUS Germany Verifikation und Testtheorie an der Humboldt-Universität zu Berlin Germany Institute of Control Sciences RAS Russia Institute of Sociology RAS NRU HSE Russia ISO IEEC Institute of Informatics Problems Federal Research Centre IM RAS Russia St. Petersburg State University Russia Institute for System Programming RAS Moscow State University Russia SRI Korolev Samara State Aerospace University Russia Belarus FRC IM RAS Russia FSEC «Plekhanov Russian University of Economics» Russia KTH School of Information and Communication Technology Sweden Governmental Agricultural Analyst Austria Austria Ivannikov Institute for System Programming RAS Russia Institute of Informatics Problems Federal Research Centre IM RAS Russia Tomsk State University Russia

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：