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

Forming the logical conclusion about sufficiency of information of software requirements specification for software quality assessment by ISO 25010:2011

Forming the logical conclusion about sufficiency of informat...

引用

IEEE Ukraine Conference on Electrical and computer engineering (UKRCON)

作者： Tetiana Hovorushchenko Computer Engineering & System Programming Department Khmelnitsky National University Khmelnitsky Ukraine

The aim of this study is the development of the method of generating and filling the template of ontology for the quality of the concrete software and method of forming the logical conclusion about the sufficiency of information of software requirements specification (SRS) for software quality assessment (by ISO 25010:2011). The first time proposed method of generating and filling the template of ontology for the quality of the concrete software leaves in the relevant ontology only measures, which are available in the SRS for the concrete software. It provides forming the ontology for the quality of the concrete software. The first time developed method of forming the logical conclusion about the sufficiency of the SRS information for software quality assessment provides the conclusion about the sufficiency or insufficiency of the SRS information for software quality assessment by ISO 25010:2011. If the SRS information is insufficient, this method: provides the conclusion for which characteristics and sub-characteristics the information is insufficient; creates the sorted list of missing measures as the recommended priority of their addition in the SRS; evaluates the veracity of software quality assessment based on the available in the SRS measures.

关键词： Software quality Ontologies Software measurement Concrete ISO Standards

来源：评论

学校读者我要写书评

暂无评论

MAPA: An Automatic Memory Access Pattern Analyzer for GPU Applications

引用

ACM SIGPLAN Notices 2017年第8期52卷 443-444页

作者： Jo, Gangwon Jung, Jaehoon Park, Jiyoung Lee, Jaejin Center for Manycore Programming Department of Computer Science and Engineering Seoul National University Seoul08826 Korea Republic of

Various existing optimization and memory consistency management techniques for GPU applications rely on memory access patterns of kernels. However, they suffer from poor practicality because they require explicit user interventions to extract kernel memory access patterns. This paper proposes an automatic memory-access-pattern analysis framework called MAPA. MAPA is based on a source-level analysis technique derived from traditional symbolic analyses and a run-time pattern selection technique. The experimental results show that MAPA properly analyzes 116 real-world OpenCL kernels from Rodinia and Parboil. © 2017 ACM.

关键词： Graphics processing unit

来源：评论

学校读者我要写书评

暂无评论

Conceptual model of the VR module for “Virtual plaza for interactive presentation of Bulgarian cultural heritage”

引用

AIP Conference Proceedings 2019年第1期2172卷

作者： Angel Bachvarov Dimo Chotrov Yordan Yordanov Zlatka Uzunova 1Technical University Sofia Faculty of Mechanical Engineering Department Automation of Discrete Production Engineering Bulgaria 2Technical University Sofia Faculty of Computer Systems and Technologies Department Programming and Computer Technologies Bulgaria 3Technical University Sofia Faculty of German Engineering Education and Industrial Management Bulgaria 4Research and Development and Innovation Consortium Virtual and Augmented Reality Laboratory Bulgaria

In the last years, Virtual Reality (VR) has been established itself as a highly promising media technology for reconstruction and presentation of cultural heritage sites to a wide audience. Virtual Reality enables not only an exploration of a single artefact but of many virtual objects spatially and temporally arranged into a single scene. The users enter an artificially created space and get a feeling of being a part of it. They can perceive and interact with the objects in the virtual environment in natural way. In this paper we propose a conceptual model of the VR module for the “Virtual Plaza for Immersive Representation of Bulgarian Cultural Heritage Sites”. It contains an analysis of the possible input data and the developed workflows to help experts from the cultural heritage domain to implement various scenarios for presentation of single artefacts and complete scene par of cultural heritage site using the benefits of Virtual Reality as visualization medium.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A Fuzzy Inventory Model of Deteriorating Items with Stock-dependent Demand under Limited Storage Space

引用

OPSEARCH 2017年第4期35卷 323-337页

作者： Mandal, M. Roy, T. K. Maiti, M. Department of Mathematics Midnapore College Midnapore India Department of Mathematics Bengal Engineering College Deemed University Howrah India Department of applied Mathematics with Oceanology and Computer Programming Vidyasagar University Midnapore India

A profit maximization deteriorating multi-item inventory model with stock-dependent demand is developed in fuzzy environment. Here, the available space for inventory storage is limited, holding cost and selling price are purchasing price dependent and the rate of production is finite and uniform. The fuzzy environment is created making the inventory costs, purchasing price, storage area and the rate of deterioration imprecise and vague to certain extent. The impreciseness of these parameters are expressed by linear and non-linear membership functions. The fuzzy model is solved by fuzzy non-linear programming (FNLP) method and illustrated with a numerical example. The results of the fuzzy model are compared with those of the crisp model. Parametric study of the model and its sensitivity with respect to some parameters are presented.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Method for calculating of R-learning traffic peakedness 4

Method for calculating of R-learning traffic peakedness

引用

4th International Scientific-Practical Conference Problems of Infocommunications Science and Technology, PIC S and T 2017

作者： Kuchuk, Nina Mozhaiev, Oleksandr Mozhaiev, Mykhailo Kuchuk, Heorgii Department of Computer Science Faculty V.N. Karazin Kharkiv National University Kharkiv Ukraine Department of Information Technologies Kharkiv National University of Internal Affairs Kharkiv Ukraine Laboratory on Speech and Audio Computer Engineering and Telecommunication Kharkov SRI examinations named Dist. prof. N.S. Bokariusa Kharkiv Ukraine Department of Computer science and programming National Technical University Kharkiv Polytechnic Institute Kharkiv Ukraine

ISBN: (纸本)9781538609835

In this article e-leaming traffic which is served by system on the hyper convergent platform is considered. It was done the analysis of the known methods of determine the degree of pulsation of traffic. The method for calculating of e-learning traffic peakedness is proposed. Simulation and calculation results peakedness is analyzed. © 2017 IEEE.

关键词： E-learning

来源：评论

学校读者我要写书评

暂无评论

Relations of attention and meditation level with learning in engineering education

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

引用

International Conference on Electronics, computers and Artificial Intelligence (ECAI)

作者： Büşra Ülker Mehmet Barış Tabakcıoğlu Hüseyin Çizmeci Doruk Ayberkin Electrical-Electronics Engineering Department Bursa Technical University Bursa Turkey Computer Programming Department Hitit University Çorum Turkey Bayburt University Bayburt Turkey

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.

关键词： Electroencephalography Biosensors Neurons Rhythm Robot sensing systems Brain-computer interfaces Games

来源：评论

学校读者我要写书评

暂无评论

Reliable Code Generation and Test Environment demonstrated on a PI-Controller Design

引用

IFAC-PapersOnLine 2016年第3期49卷 465-470页

作者： Schwarz, M.H. Sheng, H. Üstoglu, I. Chabaan, W. Börcsök, J. Safety Computer Technology University of Kassel Germany Control and Automation Engineering Department Yildiz Technical University Istanbul Turkey Computer Architecture and System Programming University of Kassel Germany

This paper focuses on the latest version of a tool developed within the department to guide developer through the various steps of requirements, test-procedures and documentations to finally download the derived algorithm on a safety programmable logic controller (PLC). Requirements on how to develop and how to test software are steadily increasing due to international standards, which have to be obeyed in industries in general, and in the process- and automation industries in particular. A simple model is derived to be used to develop a PI controller that has to pass several steps to be qualified for execution on a PLC. The paper explains the different steps and describes the various problems that might occur. © 2016

关键词： Controllers Accident prevention Reliability Software testing Automated code generation Automation industry International standards P i controller designs PI control Programmable Logic Controller (PLC) Simple modeling Test Environment

来源：评论

学校读者我要写书评

暂无评论

A hybrid simulation for singularly perturbed system of two-point reaction-diffusion boundary-value problems

arXiv

引用

arXiv 2017年

作者： Cengizci, Süleyman Natesan, Srinivasan Atay, Mehmet Tarik Department of Computer Programming Antalya Bilim University Antalya Turkey Department of Mathematics Indian Institute of Technology Guwahati Guwahati India Department of Mechanical Engineering Abdullah Gül University Kayseri Turkey

This study concerns with singularly perturbed systems of second-order reaction-diffusion equations in ODE's. To handle this type of problems, a numerical-asymptotic hybrid method is employed. In this hybrid method, an efficient asymptotic method, the so-called Successive complementary expansion method (SCEM) is applied first and then, a numerical method based on finite differences is proposed to approximate the solution of the corresponding singularly perturbed reaction-diffusion systems. Two illustrative examples are provided to show the efficiency and easy-applicability of the present method with convergence properties. 65L10, 65L11 Copyright © 2017, The Authors. All rights reserved.

关键词： Finite difference method

来源：评论

学校读者我要写书评

暂无评论

Modular Fault Diagnosis in Fixed-Block Railway Signaling Systems

引用

IFAC-PapersOnLine 2016年第3期49卷 459-464页

作者： Durmus, Mustafa S. Ustoglu, lker Tsarev, Roman Y. Schwarz, Michael Electrical and Electronics Engineering Department Pamukkale University Denizli Turkey Control and Automation Engineering Department Yildiz Technical University Istanbul Turkey Institute of Space and Information Technology Siberian Federal University Krasnoyarsk Russia Computer Architecture and System Programming Kassel University Kassel Germany

The diagnosis of possible faults in railway signaling systems is an important issue to provide safe travel and transportation in railways. Signaling system designers have to consider the possible faults which may occur in railway field components both on the requirements preparation phase and on the development phase of the signaling system software or namely, the interlocking system. Although the diagnosis of different unobservable faults is relatively hard, especially for large scale railway fields, this complexity can be overcome by using the Discrete Event System (DES) based modular diagnosis approach which is explained in this paper. The main advantage of using such modular approach for fault diagnosis in fixed-block signaling systems is the inspection of the diagnosability of the whole system with respect to its subsystems (railway field components). In this study, the diagnosability of the railway field equipment and the whole system is also explained with a case study. © 2016

关键词： Fault detection Discrete event simulation Failure analysis Railroad signal systems Railroads Signaling Development phase Field components Field equipment Fixed block signaling Interlocking systems Modular approach Railway signaling systems Signaling systems

来源：评论

学校读者我要写书评

暂无评论

Multiservice network security metric

Multiservice network security metric

引用

International Conference on Advanced Information and Communication Technologies (AICT)

作者： Oleksandr Mozhaev Heorgii Kuchuk Nina Kuchuk Mykhailo Mozhaev Mykhailo Lohvynenko Department of Information Technologies Kharkiv National University of Internal Affairs Kharkiv Ukraine Department of Computer science and programming “Kharkiv Polytechnic Institute” Kharkiv Ukraine Faculty of computer science V.N. Karazin Kharkiv National University Kharkiv Ukraine Laboratory on Speech and Audio Computer Engineering and Telecommunication Kharkiv SRI examinations Kharkiv Ukraine Sector on Computer Engineering and Telecommunication Examinations Kharkiv SRI examinations Kharkiv Ukraine

ISBN: (纸本)9781538606384

This report proposes a new approach to determination of security complex metric. Such approach allows to obtain a quantitative assess based on network security recorded monitoring. Assessment of separate network host, which could be accessed from other networks, is conducted. Proposed metric considers a possibility of attack propagation within the network.

关键词： Silicon Security Measurement Monitoring Probabilistic logic

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：