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

IEEE Conference on Quality Management, Transport and Information Security, Information Technologies (IT&MQ&IS)

作者： Natalia V. Dneprovskaya Inessa V. Shevtsova Department of Information System Management and Programming Plekhanov Russian University of Economics Moscow Russia School of Public Administration Lomonosov Moscow State University Moscow Russia

ISBN: (纸本)9781538667583

This paper is devoted to solving a problem of improving the content of education and instructional materials used. The digital technologies are developing so fast that the engineering aspects of application and scientific investigations start blurring the aspects associated with the methodology and content of smart learning. The need for development of digital economy places severe requirements not only upon know-how, but also upon the content of smart learning, i.e., the content of educational courses shall be a reflection of professional activity. The techniques and methods of knowledge management can provide for a desired rate and quality of development of educational materials. This paper describes a knowledge management system which employs intelligent database, network and co-authorship instruments to insure the compliance of the content being developed with the requirements of digital economy and fills out the smart learning with a qualitative content.

关键词： Training Knowledge management Electronic learning Organizations Task analysis Instruments

来源：评论

学校读者我要写书评

暂无评论

Lemma functions for frama-C: C programs as proofs

arXiv

引用

arXiv 2018年

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

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. Copyright © 2018, The Authors. All rights reserved.

关键词： Formal verification

来源：评论

学校读者我要写书评

暂无评论

Distributed system for Detecting the Malware in LAN

Distributed System for Detecting the Malware in LAN

引用

International Scientific and Technical Conference on Computer Science and Information Technologies

作者： George Markowsky Oleg Savenko Anatoliy Sachenko Department of Computer Science Missouri University of Science and Technology Rolla USA Department of Computer Engineering and System Programming Khmelnytsky National University Khmelnytsky Ukraine Department of Informatics Kazimierz Pulaski University of Technology and Humanities in Radom Radom Poland

The paper proposes the architecture of distributed multilevel detection system of malicious software in local area networks. Its feature is the synthesis of its requirements of distribution, decentralization, multilevel. This allows you to use it autonomously. In addition, the feature of autonomous program modules of the system is the same organization, which allows the exchange of knowledge in the middle of the system, which, unlike the known systems, allows you to use the knowledge gained by separate parts of the system in other parts. The developed system allows to fill it with subsystems of detection of various types of malicious software in local area networks.

关键词： Architecture Distributed system Malware Local area networks

来源：评论

学校读者我要写书评

暂无评论

Modeling of Thermoviscoelasticity Time Harmonic Variational Problem for a Thin Wall Body

Modeling of Thermoviscoelasticity Time Harmonic Variational ...

引用

IEEE International Conference on Data Stream Mining & Processing (DSMP)

作者： Romanna Malets Heorgiy Shynkarenko Igor Malets Petro Vahin Department of programming Ivan Franko National University of Lviv Lviv Ukraine Department of Information System Opole University of Technology Opole Poland Lviv Ukraine Department of Project Management Information Technologies and Telecommunications Lviv State University of Life Safety Lviv Ukraine Department of Information System Ivan Franko National University of Lviv Lviv Ukraine

ISBN: (纸本)9781538628751

The paper presents the construction and analysis of vibration problem of thermoviscoelastic shells under the influence of non-stationary heat and under forced loads. The studied model was based on application of simplest finite element semidiscretization to mixed variational problem of dynamical thermoviscoelasticity. The problem in addition to the mutual influence of temperature field and stress field is also taken into account the viscoelastic properties of the material thin wall body. For assumptions quite suitable for applications we prove the well-posedness forthis model of time harmonic vibrations.

关键词： Heating systems Vibrations Harmonic analysis Mathematical model Tensile stress Load modeling Method of moments

来源：评论

学校读者我要写书评

暂无评论

Study of Digitization of Russian Higher Education as Basis for Smart Education

Study of Digitization of Russian Higher Education as Basis f...

引用

IEEE Conference on Quality Management, Transport and Information Security, Information Technologies (IT&MQ&IS)

作者： Natalia V. Dneprovskaya Tuyana A. Bayaskalanova Vitaly L. Ruposov Inessa V. Shevtsova Department of Information System Management and Programming Plekhanov Russian University of Economics Moscow Russia Management Department Irkutsk National Research Technical University Irkutsk Russia School of Public Administration Lomonosov Moscow State University Moscow Russia

ISBN: (纸本)9781538667583

The research objective is to assess the status of digitalization of Russian higher education as a basis for the development of smart education. To solve the tasks of public administration of education, various state information systems are being created. 80% of Russian universities use different information systems in the administrative activities of universities. The assessments of the use of ICT in the educational process point to a great potential that has remained unoccupied in the last few years, less than 30% of Russian students are trained using e-learning and distance education technologies. The use of educational technologies and techniques using ICT is fragmentary. The initiative to develop educational tools and techniques on the basis of ICT, as a rule, belongs to nongovernmental organizations that highly appreciate not only the effectiveness of the use of these technologies in the educational process, but also the potential of the market of educational services provided online. The study shows that the Russian education system has created the necessary backlog for the creation of an ICT infrastructure, regulatory and legal support, which should be used to develop smart education.

关键词： Electronic learning Information and communication technology Economics Task analysis Information systems Training

来源：评论

学校读者我要写书评

暂无评论

Improvement of the Method of Building Dynamic Models of Technological Processes

Improvement of the Method of Building Dynamic Models of Tech...

引用

IEEE Ukraine Conference on Electrical and Computer Engineering

作者： Kseniia Yashyna Katerina Yalova System Programming Department Dniprovsk State Technical University Kamianske Ukraine

ISBN: (纸本)9781509030071

The new method of building models of technological processes is presented in the article. This method allows to perform modeling in a dynamic mode and to unite several types of modeling for describing the same process. The method developed by the authors has been effectively applied in the design of modern automated control systems to optimize the load on the controllers, the algorithm management and the training of technical staff.

关键词： Automated control systems SCADA system Modeling Technological scheme Technological device Pipe Valve Shutter Heat exchanger Furnace Drum Multi-fuel heat boiler

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Design of a low cost equipment that may limit Sudden Infant Death Syndrome 4

Design of a low cost equipment that may limit Sudden Infant ...

引用

4th International Conference on Advances in Biomedical Engineering, ICABME 2017

作者： Daou, Roy Abi Zeid Maalouf, Frederic Geagea, Christian Hayek, Ali Boercsoek, Josef Lebanese German University Faculty of Public Health Biomedical Technologies Department Sahel-Alma Lebanon MART Learning Education and Research Center Chananiir Lebanon Department of Computer Architecture and System Programming University of Kassel Kassel Germany

ISBN: (纸本)9781538616420

This paper deals with the Sudden Infant Death Syndrome (SIDS) problem. The main objective is to limit it by controlling the main reasons that may lead to it. Sudden infant death syndrome is the death without specific reason of a healthy newborn, usually during sleep. Although the causes are unknown, SIDS may be related to abnormalities in the infant's brain that controls breathing and arousal from sleep. Researchers have identified several measures that increase the risk on their babies. Thus, this paper proposes a low cost system that may help in monitoring the baby vital signs responsible for the SIDS and sending notifications to parents when abnormalities are encountered. The system is based on a microcontroller that regroups all sensors' outputs and a mobile application that displays these values, controls the video coming from a camera and send notifications in case of abnormal signals. The system was tested over 10 newborns (between 1 month and 2 years) over 3 weeks and the alarms were going well. © 2017 IEEE.

关键词： Alarm systems

来源：评论

学校读者我要写书评

暂无评论

Simulation of viscoelastic flow past circular airfoil by using the modified LS-STAG immersed boundary method

引用

Journal of Physics: Conference Series 2019年第1期1348卷

作者： Valeria V Puzikova Applied Mathematics Department Bauman Moscow State Technical University 2-ya Baumanskaya st. 5 str. 1 Moscow 105005 Russian Federation Compiler Technology Department Ivannikov Institute for System Programming of the RAS Alexander Solzhenitsyn st. 25 Moscow 109004 Russian Federation

The LS-STAG immersed boundary cut-cell method modification for viscoelastic flow computations is presented. Rate type viscoelastic flow models (linear and quasilinear) are considered. Rate type viscoelastic flow models (linear and quasilinear) are considered. The obtained numerical method is implemented in the LS-STAG software package developed by the author. This software allows to simulate viscous incompressible flows by using the LS-STAG method and it modifications. The LS-STAG-discretization of extra-stress equations for viscoelastic Maxwell, Jeffreys, upper-convected Maxwell, Maxwell-A, Oldroyd-B, Oldroyd-A, Johnson Segalman fluids was developed. Formulae for differential types of convected time derivatives (Oldroyd, Cotter — Rivlin, Jaumann — Zaremba — Noll derivatives) the LS-STAG discretization was obtained. Normal non-newtonian stresses are computed at the centers of base LS-STAG mesh cells and shear non-newtonian stresses are computed at the cell corners. Time-stepping algorithm is based on the first order predictor-corrector scheme. To validate developed numerical method the test problem about viscoelastic Oldroyd-B flow past a circular airfoil was used. Computational experiments were carried out at Weissenberg number in the range from 0 to 4. The computed values of the drag coefficients and the wake length are in good agreement with the experimental data.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Monte-Carlo Tree Search with Tree Shape Control

Monte-Carlo Tree Search with Tree Shape Control

引用

IEEE Ukraine Conference on Electrical and Computer Engineering

作者： Oleksandr I. Marchenko Oleksii O. Marchenko Department of System Programming and Specialized Computer Systems National Technical University of Ukraine "Igor Sikorsky Kyiv polytechnic institute"

ISBN: (纸本)9781509030071

The paper, basing on analysis of the Monte-Carlo Tree Search (MCTS) method and specific features of its behavior for various cases of usage, proposes a new variant of the method, which was called as Monte-Carlo Tree Search with Tree Shape Control (MCTS-TSC) and which uses original Depth-Width Criteria (DWCs) for both tree shape estimation and control during search and for estimation and selection of potentially better options for search continuation. Proposed Tree Shape Control (TSC) technique can be used with some other tuning, pruning, and learning techniques. Besides, it can provide better scheduling of MCTS parallelization.

关键词： Monte-Carlo Tree Search (MCTS) Game tree MCTS improvement techniques Exploitation-exploration dilemma Tree shape control MCTS parallelization

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：