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

Developing an informational model of instrumental examination

Journal of Physics: Conference Series 2019年第3期1260卷

作者： A Filatova A Povoroznyuk S Gavrylenko M Fahs Department of Computer Engineering and Programming National Technical University «Kharkiv Polytechnic Institute» Kharkiv Ukraine

This document presents the development of an informational model of instrumental examination of a patient using the data flow diagrams (DFD). The developed informational model of the instrumental examination is presented in the form of a context diagram, its decomposition, and the decomposition of the subsystems «Registration and analysis of biomedical signals and images with locally concentrated features» and «Diagnostics». Taking into account the proposed information model, UML diagrams of the activity of the biomedical decision support system based on morphological analysis of biomedical signals and images with locally concentrated features, of the module for morphological analysis of an electrocardiogram, and of the module for improving the quality of visualization of biological objects on radiological images based on the IMRI method are developed.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Relations of attention and meditation level with learning in engineering education 9

Relations of attention and meditation level with learning in...

引用

9th International Conference on Electronics, computers and Artificial Intelligence, ECAI 2017

作者： Ülker, Büsra Tabakcioǧlu, Mehmet Bariş Çizmeci, Hüseyin Ayberkin, Doruk Electrical-Electronics Engineering Department Bursa Technical University Bursa Turkey Computer Programming Department Hitit University Çorum Turkey Computer Programming Department Bayburt University Bayburt Turkey

ISBN: (纸本)9781509064571

Neurons use electricity in order to communicate to each other. Due to numerous signals sent by neurons, there are oodles of electrical activity in the brain. Sensitive equipment like electroencephalogram (EEG) biosensor perceives the brainwaves emanated from neurons. Beta waves are responsible for problem solving or decision making and associated with attention. Alpha waves are associated with now and meditation. Neurosky EEG biosensor perceives the brainwaves and transforms these brainwaves into attention and meditation values. In this study, Neurosky EEG biosensor is used for measuring the attention and meditation levels of students. A program is developed in C# medium. The developed program records raw brainwave data, attention and meditation average while the students are studying. As the attention and meditation levels are high, the students learn the subjects in the course. If predetermined meditation and attention level are not caught, the developed program does not give permission to pass to another subject. Because of that the students have less meditation and attention average than the predetermined value;they get fewer grades in the exam. © 2017 IEEE.

关键词： Brain computer interface

来源：评论

学校读者我要写书评

暂无评论

Using the Model of a Functional Rationalizer of Consumer Behavior in Recommendation Systems for Managing the Transport Activity of the Urban Population

Using the Model of a Functional Rationalizer of Consumer Beh...

引用

International Conference on Soft Computing and Measurements (SCM)

作者： Yaroslav A. Seliverstov Svytoslav A. Seliverstov Nikolay V. Podoprigora Alexey L. Starichenkov Roman S. Naryshkin Laboratory of Intelligent Transport Systems Solomenko Institute of Transport Problems of the Russian Academy of Sciences Institute of Computer Science and Technology Peter the Great St.Petersburg Polytechnic University St. Petersburg Russian Federation Department of Ground Transportation Technological Machines Saint Petersburg State University of Architecture and Civil Engineering St. Petersburg Russian Federation Department of Ship Control Systems Saint Petersburg Electrotechnical University “LETI” St. Petersburg Russian Federation Department of Programming Technology Saint Petersburg State University St. Petersburg Russian Federation

ISBN: (数字)9781728196923

ISBN: (纸本)9781728196930

An overview of existing urban software mobile applications of the transport and economic direction is given. A model of a functional rationalizer of consumer behavior is being built. The software model of the functional rationalizer of consumer behavior (SM FRCB) was developed for the first time. PMFRCB allows the user to expand the number of his preferred needs (occupations, activities) during the daily cycle through intelligent recommendations. Also, SM FRCB allows you to optimize needs (activities, activities) at the cost and rate of their use. The SM FRCB is made in Python_3 using the libraries matplotlib, collections, numpy, pyplot, mplot3d. The analysis of consumer behavior before and after using the functional rationalizer model is carried out. The graphical results of a structural analysis of the costs of old and new consumer behavior, analysis of consumer behavior within the boundaries of the theory of possibilities and the model of transport behavior of a resident before and after applying the functional rationalizer model are presented. The prospects of further improving the SM FRCB are considered.

关键词： Consumer behavior Mobile applications Sociology Statistics Logistics Analytical models Software

来源：评论

学校读者我要写书评

暂无评论

Product of interval-valued fuzzy graphs and degree

Product of interval-valued fuzzy graphs and degree

引用

作者： Rashmanlou, Hossein Pal, Madhumangal Borzooei, Rajab Ali Mofidnakhaei, F. Sarkar, Biswajit Department of Computer Science University College of Adib Sari Iran Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University Midnapore India Department of Mathematics Shahid Beheshti University Tehran Iran Department of Physics Sari Branch Islamic Azad University Sari Iran Department of Industrial and Management Engineering Hanyang University Erica Campus Ansan Korea Republic of

Theoretical concepts of graphs are highly utilized by computer science applications. Especially in research areas of computer science such as data mining, image segmentation, clustering, image capturing and networking. The interval-valued fuzzy graphs are more flexible and compatible than fuzzy graphs due to the fact that they have many applications in networks. In this paper, at first we define three new operations on interval-valued fuzzy graphs namely strong product, tensor product and lexicographic product. Likewise, we study about the degree of a vertex in interval-valued fuzzy graphs which are obtained from two given interval-valued fuzzy graphs using the operations Cartesian product, composition, tensor and strong product of two interval-valued fuzzy graphs. These operations are highly utilized by computer science, geometry, algebra, number theory and operation research. In addition to the existing operations these properties will also be helpful to study large interval-valued fuzzy graph as a combination of small, interval-valued fuzzy graphs and to derive its properties from those of the smaller ones. © 2018 - IOS Press and the authors. All rights reserved.

关键词： Image segmentation

来源：评论

学校读者我要写书评

暂无评论

Evaluating the Software Requirements Specifications Using Ontology-Based Intelligent Agent

Evaluating the Software Requirements Specifications Using On...

引用

International Scientific and Technical Conference on computer Science and Information Technologies

作者： Tetiana Hovorushchenko Olga Pavlova Computer Engineering and System Programming Department Khmelnitsky National University (KhNU) Khmelnitsky Ukraine Informatics department Khmelnitsky Gymnasium No.2 Khmelnitsky Ukraine

The purpose of this study is the development of the method of activity of ontology-based intelligent agent (OBIA) for evaluating the software requirements specifications (SRS). OBIA works on the basis of the developed method, and evaluates the sufficiency of information in the SRS for assessing the non-functional software features - provides the conclusion and the numerical evaluation of the level of sufficiency of information in the SRS for assessment of non-functional features.

关键词： Software Software requirements specification (SRS) Ontology Intelligent agent (IA) Ontology-based intelligent agent (OBIA)

来源：评论

学校读者我要写书评

暂无评论

Electric power supply of steel producing companies: Schematic design solutions to improve reliability of power grids

引用

AIP Conference Proceedings 2022年第1期2686卷

作者： Gennady P. Kornilov Ildar R. Abdulveleev Oxana S. Logunova Palvan I. Kalandarov Obid Tursunov Dilshod Kodirov Doniyor Abdurakhimov 1Department of Power Supply of Industrial Enterprises Nosov Mangnitogorsk State Technical University Magnitogorsk Russia 2Department of Computer Engineering and Programming Nosov Mangnitogorsk State Technical University Magnitogorsk Russia 3Department of Automation and Control of Technological Process and Production Tashkent Institute of Irrigation and Agricultural Mechanization Engineers 100000 Tashkent Uzbekistan 4Department of Power Supply and Renewable Energy Sources Tashkent Institute of Irrigation and Agricultural Mechanization Engineers 100000 Tashkent Uzbekistan 5Research Institute of Forestry 111104 Tashkent Uzbekistan 6Gulistan State University 120100 Gulistan Uzbekistan

This research is aimed at improving electric power supply reliability at major industrial plants by applying schematic design solutions. The authors analyzed the features of branch electric power distribution systems at a metallurgical plant; considered options of their revamping to improve reliability of electric power supply; carried out experimental research on splitting 110 kV meshed system at the integrated iron and steel works. When performing the research, mathematical simulation methods and full-scale experiment methods were used. Following the research, we proposed three options to revamp the power grid at the industrial plant applying schematic design solutions: Scheme A - separating substations, causing problems, in an individual block; Scheme B - separating independent 110 kV closed electric power grids; Scheme C – splitting the meshed system into two independent circuits. It is proved that the most efficient solution is Scheme C, which is characterized by a lower number of unscheduled downtimes of the facilities by mitigating the effects of faults in one of meshed systems on a continuous operation of shops powered from the neighboring grid; eliminated risks of simultaneous stops of all or the majority of metallurgical shops of the works during short circuits in 110 kV grids; and a considerable reduction in short circuit currents and active losses in 110 kV industrial grids. An aggregate benefit from the proposed measures aimed at revamping of the electrical grid of metallurgical units by applying schematic design solutions is over USD750,000/year.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A proposal of an example and experiments repository to foster industrial adoption of formal methods 8th

A proposal of an example and experiments repository to foste...

引用

8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018

作者： Schlick, Rupert Felderer, Michael Majzik, Istvan Nardone, Roberto Raschke, Alexander Snook, Colin Vittorini, Valeria Center for Digital Safety and Security AIT Austrian Institute of Technology GmbH Vienna Austria Department of Computer Science University of Innsbruck Innsbruck Austria Department of Software Engineering Blekinge Institute of Technology Karlskrona Sweden Department of Measurement and Information Systems Budapest University of Technology and Economics Budapest Hungary University of Naples Federico II Naples Italy Institute of Software Engineering and Programming Languages Ulm University Ulm Germany Electronics and Computer Science University of Southampton Southampton United Kingdom

ISBN: (纸本)9783030034269

Formal methods (in a broad sense) have been around almost since the beginning of computer science. Nonetheless, there is a perception in the formal methods community that take-up by industry is low considering the potential benefits. We take a look at possible reasons and give candidate explanations for this effect. To address the issue, we propose a repository of industry-relevant example problems with an accompanying open data storage for experiment results in order to document, disseminate and compare exemplary solutions from formal model based methods. This would allow potential users from industry to better understand the available solutions and to more easily select and adopt a formal method that fits their needs. At the same time, it would foster the adoption of open data and good scientific practice in this research field. © Springer Nature Switzerland AG 2018.

关键词： Formal methods

来源：评论

学校读者我要写书评

暂无评论

Lemma Functions for Frama-C: C Programs as Proofs

Lemma Functions for Frama-C: C Programs as Proofs

引用

Ivannikov ISPRAS Open Conference (ISPRAS)

作者： Grigoriy Volkov Mikhail Mandrykin Denis Efremov Faculty of Computer Science Higher School of Economics Moscow Russia Software Engineering Department Ivannikov Institute for System Programming of the Russian Academy of Sciences Moscow Russia

ISBN: (纸本)9781728112763;9781728112756

This paper describes the development of an auto-active verification technique in the Frama-C framework. We outline the lemma functions method and present the corresponding ACSL extension, its implementation in Frama-C, and evaluation on a set of string-manipulating functions from the Linux kernel. We illustrate the benefits our approach can bring concerning the effort required to prove lemmas, compared to the approach based on interactive provers such as Coq. Current limitations of the method and its implementation are discussed.

关键词： Tools Manuals Contracts Linux Kernel Economics

来源：评论

学校读者我要写书评

暂无评论

Couette-Poiseuille flow based non-linear flow over a square cylinder near plane wall

Couette-Poiseuille flow based non-linear flow over a square ...

引用

作者： Bhatt, Rajesh Maiti, Dilip K. Alam, Md. Mahbub Rehman, S. Institute for Turbulence-Noise-Vibration Interaction and Control Shenzhen Graduate School Harbin Institute of Technology Shenzhen China Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University Midnapur721102 India Center for Engineering Research Research Institute King Fahd University of Petroleum and Minerals Dhahran31261 Saudi Arabia

A numerical study on the flow over a square cylinder in the vicinity of a wall is conducted for different Couette-Poiseuille-based non-uniform flow with the non-dimensional pressure gradient P varying from 0 to 5. The nondimensional gap ratio L (=H /a ) is changed from 0.1 to 2, where H is gap height between the cylinder and wall, and a is the cylinder width. The governing equations are solved numerically through finite volume method based on SIMPLE algorithm on a staggered grid system. Both P and L have a substantial influence on the flow structure, time-mean drag coefficient CD, fluctuating (rms) lift coefficient (C′L), and Strouhal number St. The changes in P and L leads to four distinct flow regimes (I, II, III and IV). Following the flow structure change, the CD , C′L, and St all vary greatly with the change in L and/or P. The CD and C′L both grow with increasing P and/or L. The St increases with P for a given L, being less sensitive to L for a smaller P ( 2). A strong relationship is observed between the flow regimes and the values of CD , CL and St. An increase in P affects the pressure distribution more on the top surface than on bottom surface while an increase in L does the opposite. © 2018 Techno-Press, Ltd.

关键词： Flow structure

来源：评论

学校读者我要写书评

暂无评论

An investigation of technical debt in automatic production systems 17

An investigation of technical debt in automatic production s...

引用

2017 XP Scientific Workshops, XP 2017

作者： Besker, Terese Martini, Antonio Bosch, Jan Tichy, Matthias Chalmers University of Technology Computer Science and Engineering Gothenburg Sweden Ulm University Institute of Software Engineering and Programming Languages Ulm Germany

ISBN: (纸本)9781450352642

Technical Debt is a recent concept, borrowed from the financial domain. It has been recently used in software development to describe technical sub-optimal solutions that have short-term benefits but long-term extra-costs. However, no body of literature investigates how Automatic Production Systems companies deal with Technical Debt. We investigated how Technical Debt is known, how much it hurts and how is managed in an automatic production systems company. Results from one in-depth investigation show that the automatic production systems company spend quite a lot of resources because of Technical Debt, both in the extra-costs (interest) and in its management. The company presents moderate awareness of what Technical Debt is and how much is present in its systems. However, the tracking level is quite low. We, therefore, claim that Technical Debt needs more research in this domain, as it is a source of substantial extracosts and the current practices to manage it are not suitable. © 2017 Association for Computing Machinery.

关键词： Software design

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：