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

Leveraging Applications of Formal Methods, Verification, and Validation 1

丛书名： Communications in Computer and Information Science

1000年

作者： Reiner Hähnle Jens Knoop Tiziana Margaria Dietmar Schreiner Bernhard Steffen

ISBN: (数字)9783642347818

ISBN: (纸本)9783642347801

This volume contains a selection of revised papers that were presented at the Software Aspects of Robotic systems, SARS 2011 Workshop and the Machine Learning for System Construction, MLSC 2011 Workshop, held during October 17-18 in Vienna, Austria, under the auspices of the International Symposium Series on Leveraging Applications of Formal Methods, Verification, and Validation, ISoLA. The topics covered by the papers of the SARS and the MLSC workshop demonstrate the breadth and the richness of the respective fields of the two workshops stretching from robot programming to languages and compilation techniques, to real-time and fault tolerance, to dependability, software architectures, computer vision, cognitive robotics, multi-robot-coordination, and simulation to bio-inspired algorithms, and from machine learning for anomaly detection, to model construction in software product lines to classification of web service interfaces. In addition the SARS workshop hosted a special session on the recently launched KOROS project on collaborating robot systems that is borne by a consortium of researchers of the faculties of architecture and planning, computer science, electrical engineering and information technology, and mechanical and industrial engineering at the Vienna University of Technology. The four papers devoted to this session highlight important research directions pursued in this interdisciplinary research project.

关键词： Artificial Intelligence Data Mining and Knowledge Discovery Software Engineering Computation by Abstract Devices Information Storage and Retrieval Pattern Recognition

来源：评论

学校读者我要写书评

暂无评论

Biological LC/MS Preprocessing and Analysis with jABC, jETI and xcms

Biological LC/MS Preprocessing and Analysis with jABC, jETI ...

引用

International Symposium on Leveraging Applications of Formal Methods, Verification and Validation ( ISoLA)

作者： Christian Kubczak Tiziana Margaria Arno Fritsch Bernhard Steffen Chair of Software Engineering University of Dortmund Germany Chair of Service and Software Engineering University of Potsdam Germany Chair of Mathematical Statistics and Biometric Applications University of Dortmund Germany Chair of Programming Systems University of Dortmund Germany

LC/MS is a successful analysis technique for the statistical analysis used in several branches of biology. It requires an intense screening and combination of the raw data, which is usually done with programs and libraries invoked by scripts in the domain-specific statistics language S or R. We show here how to model and implement this complex workflow in a service-oriented fashion, using the jABC service definition environment and jETI for remote service integration and execution.

关键词： Statistical analysis Biological system modeling Proteins Mice Mass spectroscopy Proteomics Application software Software engineering Performance analysis Biometrics

来源：评论

学校读者我要写书评

暂无评论

RNN-Based Method for Classifying Natural Human Emotional States from Speech

RNN-Based Method for Classifying Natural Human Emotional Sta...

引用

Digital Signal Processing and its Applications (DSPA), International Conference on

作者： Alan K. Alimuradov Alexander Yu. Tychkov Dmitry S. Dudnikov Mikhail A. Tyurin Marat I. Yuskaev Maria G. Myasnikova Danil S. Moiseev Student Research and Production Business Incubator Penza State University Penza Russia Department of Radio Engineering and Radioelectronic Systems Penza State University Penza Russia Department of Automation and Telemechanics Penza State University Penza Russia Department of Information Systems and Programming Leninogorsk Oil College Leninogorsk Russia

An accuracy of classifying human emotional states from speech has been dependent on emotional speech database, speech signal processing algorithms, and classification methods. Numerous static and dynamic classification techniques are used for emotional state recognition. The paper considers a novel method for classifying natural positive, negative, and neutral human emotional states based on a five-layer Recurrent Neural Network (RNN). The method novelty is due to various neuron activation functions employed for each network layer stemming from the peculiarities of natural emotional speech informative parameters used as input data for the neural network. Local and global informative speech parameters relevant to human emotional states are outlined, and the known classification methods are surveyed. The proposed classification method is described, and the developed Russian database of natural emotional speech is presented. The research results compared with the widely used classification methods have evidenced 95 % accuracy of the developed method, which can be effectively tested in systems for detecting and classifying natural human emotional states from speech.

关键词： Emotion recognition Recurrent neural networks Databases Neurons Signal processing algorithms Digital signal processing Speech processing

来源：评论

学校读者我要写书评

暂无评论

A case study of software testers

引用

AI EDAM 2009年第1期3卷 35-51页

作者： Robin Lampert David Hamilton Elliot Soloway Yale University Department of Computer Science Cognition and Programming Project P. O. Box 2158 Yale Station New Haven CT 06520 IBM Systems Integration Division 3700 Bay Area Blvd. Houston TX 77058 U.S.A.

In an effort to learn more about how testers test code, we observed several testers while they designed tests to check a change which had been made to code. Using a case study methodology, we gathered empirical data from the ‘real world’—professional testers, and actual software products. We found that testers do share some common work patterns. These patterns can be seen in their information gathering, their use of heuristics and their construction of mental models. This work is extremely knowledge intensive, experience appears to have a useful effect. In this paper we will discuss how we collected and analysed our data. Then we will present some of our observations about how the testers gathered information, used heuristics, formed mental models and were affected by their previous experience in the course of designing their test scenarios. Based on these observations we comment on training and tools for testers.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Impact of fluctuation interferences to the responders performance of secondary surveillance radar system

Impact of fluctuation interferences to the responders perfor...

引用

International Conference on Radio Electronics & Info Communications (UkrMiCo)

作者： I.V. Svyd A.E. Goriushkina G.E. Zavolodko O.S. Maltsev Dept. Radiotechnologies Information and Communication Systems Kharkiv National University of Radio Electronics KNURE Kharkiv Ukraine Department of Computer science and Programming National Technical University «KhPI» NTU «KhPI» Kharkiv Ukraine Department of Information Systems National Technical University «KhPI» NTU «KhPI» Kharkiv Ukraine

ISBN: (数字)9781538652640

ISBN: (纸本)9781538652657

The principle of network construction and the principle of request signals service of Secondary surveillance radar systems predetermined the work of the respondents of the considered systems in conditions of intra-system and intentional correlated and uncorrelated interferences. The article estimates the impact of masking fluctuation interferences on the quality of the request signals detection. It is shown that the choice of time-interval codes as the request signals predetermined the low noise immunity of the considered systems when a channel is exposed by the fluctuation interference.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Development of a visual programming tool called SmrAI for function testing to mitigate the shortage of programming personnel in the manufacturing

Computer Software

引用

Computer Software 2022年第4期39卷 61-74页

作者： Sugiyama, Ko-Ichiro Okuda, Satsuki Tanabe, Tsubasa Takao, Kouji Higashi, Hirohito Tanaka, Kazuaki Dept. of Information Engineering National Institute of Technology Matsue College Japan NIPPO Co. Ltd. Japan Ruby Programming Shounendan Japan Shimane IT Open-innovation Center Japan Faculty of Computer Science and Systems Engineering Kyushu Institute of Technology Japan

We have developed a visual programming tool called SmrAI for function testing, and investigated whether wrapping existing source code with Scratch Blocks is an effective means of mitigating the shortage of programming personnel in the manufacturing. SmrAI is based on Smalruby, which can convert Scratch Blocks into Ruby code. In addition, SmrAI introduces two new sets of Blocks that wrap existing Ruby libraries for function testing. Since existing tools and libraries were utilized, the cost of developing SmrAI was low, and there were no changes in the function testing procedure. We conducted a verification test using staff members who were familiar with the function testing process but had little or no programming experience, and confirmed that they were able to program using SmrAI and that they had confidence in its business applications. These results are expected to contribute to the diversification and increase of programming personnel responsible for function test programming. © 2022 Japan Society for Software Science and Technology. All rights reserved.

关键词： Application programs

来源：评论

学校读者我要写书评

暂无评论

Two Algorithms for Designing Control over Centerof-Mass Motion of a Moving Object with Incomplete Description

Two Algorithms for Designing Control over Centerof-Mass Moti...

引用

International Conference on Control systems, Mathematical Modelling, Automation and Energy Efficiency (SUMMA)

作者： S. I. Kolesnikova Yu. I. Paraev S. A. Tsvetnitskaya Institute of Computational Systems and Programming St.Petersburg State University of Aerospaсe Instrumentation St. Petersburg Russia Institute of Applied Mathematics and Computer Science National Research Tomsk State University Tomsk Russia

ISBN: (数字)9781728188409

ISBN: (纸本)9781728181134

The methods of nonlinear adaptation based on an analytical design of aggregated regulators and modal control are discussed for solving the problem of nonlinear control over a robotic arm operating under the conditions of nonrandom noise. A comparative analysis of control is performed under different types of noise variables. It is shown that both control systems are adaptive and robust, while their transient process quality characteristics differ. The results of numerical modeling support the method of nonlinear adaptation as far as the value of overshoot is concerned in the case of nonrandom noise and evidence in favor of the method of modal control identifying the noise for off-design conditions (random high level noise).

关键词： Regulators Uncertainty Robot kinematics Stochastic processes Process control Control systems Transient analysis

来源：评论

学校读者我要写书评

暂无评论

Robust representation and execution of robot plans

Robust representation and execution of robot plans

引用

Euromicro Workshop on Real Time

作者： D.M. Lyons S. Mehta P.S. Gopinath North American Philips Corp. Briarcliff Manor NY USA Autonomous Systems Department Philips Laboratories North American Philips Corporation Briarcliff Manor NY USA Computer Architecture and Programming Systems Department Philips Laboratories North American Philips Corporation Briarcliff Manor NY USA

The construction of real-time software for autonomous robot systems that can operate in an uncertain and dynamic environment is considered. Techniques for representing robust robot plans using the RS (robot schema) model are developed which make it possible to separate planned decision-making from error monitoring; they give a modular way to embed error detection, diagnosis, and recovery into plans, and via the formal tools of RS they allow one to analyze plans for error behavior. However, experience in implementing the RS kernel leads to the conclusion that robustness in the plan representation alone is not sufficient. Robustness must also be incorporated in the underlying system software to complement robustness in the plan representation model. Experiences with the initial implementation of the RS execution environment kernel also emphasized the need for operating system constructs that would support the robustness inherent in the model.< >

关键词： Robustness Robotics and automation Monitoring Timing Humans Testing Semiconductor device modeling Computer architecture Robot programming Laboratories

来源：评论

学校读者我要写书评

暂无评论

Benchmarking Photonic Quantum Machine Learning Simulators 17

Benchmarking Photonic Quantum Machine Learning Simulators

引用

17th IEEE International Symposium on Applied Computational Intelligence and Informatics, SACI 2023

作者： Varga, Henrik Kiss, Attila Kolarovszki, Zoltan Elte Eötvös Loránd University Department of Algorithms and Their Applications Budapest Hungary Elte Eötvös Loránd University Department of Information Systems Budapest Hungary J. Selye University Department of Informatics Komárno Slovakia Department of Programming Languages and Compilers Elte Eotvos Lorand University Budapest Hungary Wigner Research Centre for Physics Department of Computational Sciences Budapest Hungary

ISBN: (纸本)9798350321104

In the past few years, quantum computing has gotten more attention, and the need for efficient simulations is getting increasingly important as well. A significant branch of quantum computing is photonic quantum computing. For simulating photonic quantum circuits, Strawberry Fields is the most popular framework. In this paper, we compared it with another framework currently under development called Piquasso regarding gradient calculation time, which is an essential part of continuous-variable quantum neural networks. We present the apparent scalability of Piquasso over Strawberry Fields by storing fewer data, but leading to possible accuracy differences as a trade-off, which could motivate future work. © 2023 IEEE.

关键词： Quantum optics

来源：评论

学校读者我要写书评

暂无评论

Promising Developments in Cyber Physical System Tools for Background Monitoring of Reserve Landscape 11

Promising Developments in Cyber Physical System Tools for Ba...

引用

11th International Conference on Advanced Computer Information Technologies, ACIT 2021

作者： Nykolaychuk, Yaroslav Grynchychyn, Taras Pitukh, Ihor Petrashchuk, Yaroslav Nykolaychuk, Lyubov Hryha, Volodymyr West Ukrainian National University Department of Specialized Computer Systems Ternopil Ukraine Nadvirna Vocational College by National Transport University Department of Programming and Information Technologies Nadvirna Ukraine Gorgany Nature Reserve Nadvirna Ukraine Ivano-Frankivsk National Technical University of Oil and Gas Department of Social Communication and Law Ivano-Frankivsk Ukraine Vasyl Stefanyk Precarpathian National University Department of Computer Engineering and Electronics Ivano-Frankivsk Ukraine

Experience in designing and building cyber physical interactive distributed monitoring systems for industrial facilities and reserve landscapes is analyzed. Advantages of the existing interactive and dialogue computerized systems, replicated by many companies, are systematized and their functional limitations are determined. The legal and system requirements for the implementation of this class of information system components, which can be applied in strict Nature Reserve, are clarified. It is proposed to expand the functionality and increase the reliability of the ring-star system for background monitoring of nature reserves based on binary-manipulated optical signals. A sensor system for measuring the height of snow cover along the monitoring route is developed using a relay sensor network and quadcopters. © 2021 IEEE.

关键词： Cyber Physical System

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：