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

Learning extended finite state machines

12th International Conference on Software Engineering and Formal Methods, SEFM 2014

作者： Cassel, Sofia Howar, Falk Jonsson, Bengt Steffen, Bernhard Dept. of Information Technology Uppsala University Sweden Carnegie Mellon University Moffet CA United States Department of Programming Systems Technical University Dortmund Germany

ISBN: (纸本)9783319104300

We present an active learning algorithm for inferring extended finite state machines (EFSM)s, combining data flow and control behavior. Key to our learning technique is a novel learning model based on so-called tree queries. The learning algorithm uses the tree queries to infer symbolic data constraints on parameters, e.g., sequence numbers, time stamps, identifiers, or even simple arithmetic. We describe sufficient conditions for the properties that the symbolic constraints provided by a tree query in general must have to be usable in our learning model. We have evaluated our algorithm in a black-box scenario, where tree queries are realized through (black-box) testing. Our case studies include connection establishment in TCP and a priority queue from the Java Class Library. © 2014 Springer International Publishing.

关键词： Learning algorithms

来源：评论

学校读者我要写书评

暂无评论

Intelligent system of a smart house 3

Intelligent system of a smart house

引用

3rd International Conference on Advanced Information and Communications Technologies, AICT 2019

作者： Lytvyn, Vasyl Vysotska, Victoria Mykhailyshyn, Vladyslav Peleshchak, Ivan Peleshchak, Roman Kohut, Ihor Information Systems and Networks Department Lviv Polytechnic National University Lviv Ukraine Department of Physics Pedagogical University Drohobych Ukraine Department of Computational Mathematics and Programming Lviv Polytechnic National University Lviv Ukraine

ISBN: (纸本)9781728123998

In the work intelligent system of a smart house is developed, which is designed to create from any house, office, or building a smart room. The best solutions and tools were chosen to develop the system, which allowed us to create a fast, optimized, reliable and easy-To-use system with a comfortable mobile and web-based user interface. The optimal parameters for deployment of the system (both hardware and software) were investigated and determined, and its operation in the planned mode, without any interruptions of the system operation. Upon completion of the design and development of the system, an analysis of the product was conducted, based on a control example, which made it possible to verify that the system was operating in accordance with the planned requirements, and provides access to all of the intended functionality. © 2019 IEEE.

关键词： Intelligent systems

来源：评论

学校读者我要写书评

暂无评论

Dependency grammar: Classification and exploration

引用

作者： Debusmann, Ralph Kuhlmann, Marco Programming Systems Lab. Saarland University 66123 Saarbrücken Germany Department of Linguistics and Philology Uppsala University 75126 Uppsala Sweden

ISBN: (纸本)9783540894070

Syntactic representations based on word-to-word dependencies have a long tradition in descriptive linguistics [29]. In recent years, they have also become increasingly used in computational tasks, such as information extraction [5], machine translation [43], and parsing [42]. Among the purported advantages of dependency over phrase structure representations are conciseness, intuitive appeal, and closeness to semantic representations such as predicate-argument structures. On the more practical side, dependency representations are attractive due to the increasing availability of large corpora of dependency analyses, such as the Prague Dependency Treebank [19]. © 2010 Springer-Verlag.

关键词： Syntactics

来源：评论

学校读者我要写书评

暂无评论

METHODS FOR IMPROVING THE QUALITY OF CLASSIFICATION ON IMBALANCED DATA 4

METHODS FOR IMPROVING THE QUALITY OF CLASSIFICATION ON IMBAL...

引用

4th IEEE KhPI Week on Advanced Technology, KhPI Week 2023

作者： Gavrylenko, Svitlana Vladislav, Zozulia Khatsko, Nataliia Department of Computer Engineering and Programming National Technical University "Kharkiv Polytechnic Institute" Kharkiv Ukraine Department of Information Systems and Technologies National Technical University «Kharkiv Polytechnic Institute» Kharkiv Ukraine

ISBN: (纸本)9798350395532

The subject of the study is methods of balancing raw data. The purpose of the article is to improve the quality of intrusion detection in computer networks by using class balancing methods. Task: to investigate methods of balancing classes and to develop a classification method on imbalanced data to increase the level of network security. The methods used are: methods of artificial intelligence, machine learning. The following results were obtained: Class balancing methods based on Undersampling, Oversampling and their combinations were studied. The following methods were chosen for further research: SMOTEENN, SVMSMOTE, BorderlineSMOTE, ADASYN, SMOTE, KMeansSMOTE. The UNSW-NB 15 set was used as the source data, which contains information about the normal functioning of the network and during intrusions. A decision tree based on the CART (Classification And Regression Tree) algorithm was used as the basic classifier. According to the research results, it was found that the use of the SMOTEENN method provides an opportunity to improve the quality of detection of intrusions in the functioning of the network. Conclusions. The scientific novelty of the obtained results lies in the complex use of data balancing methods and the method of data classification based on decision trees to detect intrusions into computer networks, which made it possible to reduce the number of Type II errors. © 2023 IEEE.

关键词： Classification (of information)

来源：评论

学校读者我要写书评

暂无评论

The technique for computer systems Trojan diagnosis in the monitor mode

The technique for computer systems Trojan diagnosis in the m...

引用

IEEE International Workshop on Intelligent Data Acquisition and Advanced Computing systems: Technology and Applications

作者： Segiy Lysenko Oleg Savenko System programming Department Khmelnitsky National University Khmelnitskiy Ukraine Computer Systems and Programming Faculty Lecturer of System programming Department Khmelnitsky National University Khmelnitskiy Ukraine

New technique for computer system Trojan diagnosis in monitor mode which uses fuzzy logic and allows improving reliability and efficiency is developed.

关键词： Trojan horses Computers Monitoring Software Computational modeling Software reliability

来源：评论

学校读者我要写书评

暂无评论

Extracting component-oriented behaviour for self-healing enabling

Extracting component-oriented behaviour for self-healing ena...

引用

7th IEEE International Conference and Workshop on Engineering of Autonomic and Autonomous systems, EASe 2010

作者： Bakera, Marco Wagner, Christian Margaria, Tiziana Vassev, Emil Hincheyz, Mike Steffen, Bernhard Universität Potsdam Department of Service and Software Engineering Potsdam Germany University College Dublin Ireland University of Limerick Ireland Technische Universität Dortmund Department of Programming Systems Dortmund Germany

ISBN: (纸本)9780769540047

Rich and multifaceted domain specific specification languages like the Autonomic System Specification Language (ASSL) help to design reliable systems with self-healing capabilities. The GEAR game-based Model Checker has been used successfully to investigate in depth properties of the ESA ExoMars Rover. We show here how to enable GEAR's game-based verification techniques for ASSL via systematic model extraction from a behavioral subset of the language, and illustrate it on a description of the Voyager II space mission. This way, we close the gap between the design-time and the run-time techniques provided in the SHADOWS platform for self-healing of concurrency, performance, and functional issues. © 2010 IEEE.

关键词： Specification languages

来源：评论

学校读者我要写书评

暂无评论

Text, Speech and Dialogue 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Petr Sojka Ivan Kopeček Karel Pala

ISBN: (数字)9783540453239

ISBN: (纸本)9783540410423

The workshop series on Text, Speech and Dialogue originated in 1998 with the ?rst TSD1998 held in Brno, Czech Republic. This year’s TSD2000, already the third in the series, returns to Brno and to its organizers from the Faculty of Informatics at the Masaryk University. As shown by the ever growing interest in TSD series, this annual workshop developed into the prime meeting of speech and language researchers from both sides of the former Iron Curtain, which provides a unique opportunity to get acquainted with the current activities in all aspects of language communication and to witness the amazing vitality of researchers from the former East Block countries. Thanks need to be extended to all who continue to make the TSD workshop series such a success: ?rst, to the authors themselves, without whom TSD2000 would not exist; next, to all organizations that support TSD2000, among them the International Speech Communication Association, the Faculty of Informatics at the Masaryk University in Brno and the Faculty of Applied Sciences, West Bohemia University in Plzen; ? and last but not least,to the organizers and members of the Program Committee who spentmuch effort to make TSD2000 success and who reviewed 131 contributions submitted from all corners of the world and accepted 75 out of them for presentation at the workshop. This book is evidence of the success of all involved.

关键词： Artificial Intelligence Popular Computer Science Information Storage and Retrieval Information systems Applications (incl. Internet) User Interfaces and Human Computer Interaction Natural Language Processing (NLP)

来源：评论

学校读者我要写书评

暂无评论

A declarative pipeline language for complex data analysis

A declarative pipeline language for complex data analysis

引用

22nd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2012

作者： Christiansen, Henning Theil Have, Christian Torp Lassen, Ole Petit, Matthieu Research Group PLIS: Programming Logic and Intelligent Systems Department of Communication Business and Information Technologies Roskilde University P.O. Box 260 Roskilde 4000 Denmark

ISBN: (纸本)9783642381966

We introduce BANpipe - a logic-based scripting language designed to model complex compositions of time consuming analyses. Its declarative semantics is described together with alternative operational semantics facilitating goal directed execution, parallel execution, change propagation and type checking. A portable implementation is provided, which supports expressing complex pipelines that may integrate different Prolog systems and provide automatic management of files. © 2013 Springer-Verlag.

关键词： Pipelines

来源：评论

学校读者我要写书评

暂无评论

COMBAT SYSTEM TEST-FACTORY THROUGH SHIPBOARD

引用

NAVAL ENGINEERS JOURNAL 1980年第5期92卷 49-58页

作者： GALLAHUE, JS THE AUTHOR is the Department Manager of Combat Systems Engineering at Litton Industries. Data Systems Division. Prior to joining Litton Industries he was associated with UNIVAC. Since joining the Combat Systems Community in 1959. his assignments have included operational computer programming field engineering systems engineering equipment design proposal management test engineering. and programs management. In these varied roles he supported the NTDS R&D Program NTDS Service Test Program Interim Fleet Programming Center Pacific Anti-Submarine Warfare Ship Command and Control Systems SQS-26/NTDS/UBFCS Interface Design DD 963 Class LHA 1 Class. and the DDG 993 Class.

The required configuration management and the necessary control of the Surface Ship Combat System elements demand that they be considered as integrated and tested in accordance with an integrated test plan utilizing an integrated test organization. The sometimes used approach of implementing a combat system test program based upon the individual combat system elements being independent, has proven to be less than satisfactory. Then is no question that some of the early testing at the unit, subsystem, and subprogram levels can be planned and conducted independent of a specific “end-item” combat System. This paper addresses the planning and implementing of combat system test with the emphases being upon the integrated phase of test and primarily the lead ship of a class. Information is presented to facilitate planning and implementing a combat system test program including use of shore facilities and integrating these activities with shipboard activities; when to form the test organization and what types of expertise are required; what are the key technical management tools; the proofing of test documentation; the need for detailed “step-by-step” procedures and traceability of the specified requirements; how to assist Ships Force; planning and stat using the conduct of the tests; integrating computer program and special testing into the test program; and the significance of early decisions on administrative and contractual arrangements.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Text, Speech and Dialogue 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Petr Sojka Ivan Kopeček Karel Pala

ISBN: (数字)9783540461548

ISBN: (纸本)9783540441298

The Text, Speech and Dialogue (TSD) Conference 2002, it should be noticed, is now being held for the ?fth time and we are pleased to observe that in its short history it has turned out to be an international forum successfully intertwining the basic ?elds of NLP. It is our strong hope that the conference contributes to a better understanding between researchers from the various areas and promotes more intensive mutual cooperation. So far the communication between man and computers has displayed a one-way nature, humans have to know how the - chines work and only then can they “understand” them. The opposite, however, is still quite far from being real, our understanding of how our “user-friendly” computers can understand us humans is not deep enough yet. A lot of work has to be done both in the near and distant future. Let TSD 2002 be a modest contribution to this goal. The conference also serves well in its second purpose: to facilitate researchers meeting in the NLP ?eld from Western and Eastern Europe. Moreover, many participants now come from other parts of the world, thus making TSD a real crossroadsforresearchersintheNLParea. Thisvolumecontainstheproceedings of this conference held in Brno, September 9–12, 2002. We were honored to have as keynote speakers James Pustejovsky from Brandeis University, and Ronald Cole from the University of Colorado. We would like to thank all the Program Committee members and external reviewers for their conscientious and diligent reviewing work.

关键词： Natural Language Processing (NLP) Artificial Intelligence Information Storage and Retrieval Information systems Applications (incl. Internet) Natural Language Processing (NLP)

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：