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

5th International Symposium on Digital Forensic and Security (ISDFS)

作者： Das, Resul Tuna, Gurkan Firat Univ Dept Software Engn Elazig Turkey Trakya Univ Dept Comp Programming Edirne Turkey

ISBN: (纸本)9781509058341

Although people think that their identity is not revealed on the internet, the confidentiality and protection of personal information on unreliable networks such as the internet is an important question. In this study, a sample application on network packet tracing and analysis of network cameras with Wireshark program is realized to show how partial access to personal information and location information is obtained. As it is shown, network packets coming from/sent to IP cameras can be traced and analysed with Wireshark program. Moreover, it is shown that the location information can easily be obtained. This confirms that personal information can be captured and used for illegal purposes if the data is transferred over unreliable networks.

关键词： Location Detection Wireshark OSI Reference Model Layers Network Based Chat Systems

来源：评论

学校读者我要写书评

暂无评论

Forecasting Measles Cases in Ethiopia using Neuro-Fuzzy Systems

Forecasting Measles Cases in Ethiopia using Neuro-Fuzzy Syst...

引用

International Symposium on Multidisciplinary Studies and Innovative Technologies (ISMSIT)

作者： Kaan Uyar Umit Ilhan Erkut Inan Iseri Ahmet Ilhan Dept. of Computer Engineering Near East University Mersin 10 Turkey Dept. of Software Engineering Near East University Mersin 10 Turkey Dept. of Biophysics Near East University Mersin 10 Turkey Dept. of Computer Programming Near East University Mersin 10 Turkey

Measles is still one of the deadly diseases that terrify the world. Making accurate decisions is necessary in organizing an effective fight against the disease. Forecasting is a very important tool for planning future needs of the health services including the vaccine stocks. Forecasting methods will help to watch over the critical stock levels of the medication as well as their expiration dates and perhaps take the necessary action to ensure a health stock flow. Governments and health institutions estimate the measles vaccine requirements using certain equations generally based on the size of the target population and the past consumption records. There are several studies that have examined the measles forecasting and conducted a vaccine requirement assessment. In this study genetic algorithm (GA) based trained recurrent fuzzy neural network (RFNN) and Adaptive neuro-fuzzy inference system (ANFIS) used to forecast the monthly measles cases in Ethiopia. The Ethiopia measles data was extracted from the World Health Organization Measles and Rubella Surveillance Data, which covers the period from January 2011 to December 2017. Out of total monthly measles cases, 80% were used for training, and 20% were chosen for testing. GA based trained RFNN shows better performance compared to ANFIS results.

关键词： Forecasting Testing Tools Organizations Diseases Vaccines Sociology

来源：评论

学校读者我要写书评

暂无评论

Monitoring as a Service for Networked Medical Cyber-Physical Systems 43

Monitoring as a Service for Networked Medical Cyber-Physical...

引用

43rd Annual Conference of the IEEE-Industrial-Electronics-Society (IECON)

作者： Kuhn, Franziska Thoma, Daniel Labitzke, Dennis Fischer, Stefan Univ Lubeck Inst Telemat Lubeck Germany Univ Lubeck Inst Software Engn & Programming Languages Lubeck Germany

ISBN: (纸本)9781538611272

This paper presents monitoring as a service for networked medical cyber-physical systems in the operating room based on the recent IEEE 11073 standards for interoperable medical device communication. Runtime Verification techniques are used to allow for a formal specification and verification. Based on the specification so called monitors are automatically synthesized. At runtime, the monitors observe the communication of the interconnected systems and examine whether they adhere to the specification. This facilitates the handling of the high safety requirements of medical cyber-physical systems and to increase their reliability. In addition, we outline the development and deployment process of the monitors and depict how the framework can be extended to react when misbehavior is detected. As a case study the interconnection of an ultrasound dissector and a microscope is used. Our benchmarks show that the monitoring overhead is substantially lower than what is required for our practical application.

关键词： Monitoring Standards Biomedical monitoring Safety Microwave integrated circuits Runtime Web services

来源：评论

学校读者我要写书评

暂无评论

Challenges Concerning Test Case Specifications in Automotive software Testing

Challenges Concerning Test Case Specifications in Automotive...

引用

Euromicro Conference on software Engineering and Advanced Applications (SEAA)

作者： Katharina Juhnke Matthias Tichy Frank Houdek Daimler AG Group Research & MBC Development Ulm Germany Ulm University Institute of Software Engineering and Programming Languages Ulm Germany

ISBN: (纸本)9781538673843

Test case specifications are a fundamental part of a structured test process and required by standards like ISO 26262 in the automotive domain. Test cases are usually derived from requirements and provide a necessary basis for test implementation and execution. The aim of this work is to gain insights into the creation and processing of test case specifications from a practitioner's point of view. We decided on an explorative case study to identify challenges related to three problem areas: creation, processing and quality assessment related aspects of test case specifications. We conducted 17 semi-structured interviews covering a German OEM and three automotive suppliers. Afterwards, we analyzed the collected data qualitatively to identify challenges as well as causes and consequences arising from them. The identified challenges were categorized in a taxonomy consisting of nine main categories: (1) availability and (2) content-related problems with input artifacts, problems related to (3) a lack of knowledge, (4) the test case description, (5) the content of a test case specification, (6) quality assurance, (7) processes, (8) communication, and (9) tools. Overall, we observed a present awareness of the identified challenges, which is evident from different solutions to handle these challenges. Nevertheless, some of the current solutions are not efficient and still require a lot of manual work, for instance phrasing-based problems in test cases.

关键词： Automotive engineering Interviews software testing Tools software Encoding

来源：评论

学校读者我要写书评

暂无评论

Design and Development of a Mobile Robotic Complex

Design and Development of a Mobile Robotic Complex

引用

International Conference on Recent Innovations in Electrical, Electronics and Communication Engineering (ICRIEECE)

作者： Adamova, Aigul Zhukabayeva, Tamara Zhumabayeva, Laula Mukanova, Zhanna Ven-Tsen, Khu Saken Seifullin Kazakh Agrotech Univ Dept Comp Engn & Software Astana Kazakhstan LN Gumilyov Eurasian Natl Univ Dept Comp Engn Astana Kazakhstan S Yessenov Caspian State Univ Technol & Engn Dept Informat Syst & Power Engn Aktau Kazakhstan Karaganda Econ Univ Kazpotrebsoyuz Dept Informat & Comp Syst Karaganda Kazakhstan M Auezov South Kazakhstan State Univ Dept Comp Engn & Software Programming Shymkent Kazakhstan

ISBN: (纸本)9781538659953

Development of the mobile robot can be executed in two different ways. Firstly, this creation of the built-in system, secondly, the use of "ready to use" industrial components. With distribution of the industrial mobile robots in the market there are more and more components which can be used for creation of all control system and sensors of the robot mobile platform. Use of the ready components doesn't demand the hardware development that accelerates time of development and reduces cost. The chassis of the Belarus-132 mini-tractor is used as a platform of robotic system in the research, "creation" of the program for traffic control is required. Results of the practical research on design and model development of a mobile robotic complex are given.

关键词： mobile robotic complex control system module of mechatronic system

来源：评论

学校读者我要写书评

暂无评论

System-Wide Elimination of Unreferenced Code and Data in Dynamically Linked Programs

System-Wide Elimination of Unreferenced Code and Data in Dyn...

引用

2017 Ivannikov ISPRAS Open Conference (ISPRAS)

作者： Ivanishin, Vladislav Kudryashov, Evgeny Monakov, Alexander Melnik, Dmitry Lee, Jehyung Russian Acad Sci Ivannikov Inst Syst Programming Moscow Russia Samsung Elect Software Ctr Suwon South Korea

ISBN: (纸本)9781538611326

Embedded devices may be significantly constrained in main memory, storage and CPU loads they can accommodate. The smaller the program, the faster it is loaded into memory. The smaller the system image, the cheaper can be production of the device. There are two ways to approach system image minification. The first way is to carefully write software adding no unnecessary parts from the start. The second way is to use existing software with unnecessary parts removed. In this work we implement the latter approach. Our work is concerned with eliminating unused code and data from dynamically linked programs;for statically linked programs, simple linker analysis is sufficient and has already been implemented.

关键词： Libraries software Optimization Ground penetrating radar Geophysical measurement techniques Manuals Electronic mail

来源：评论

学校读者我要写书评

暂无评论

Test Derivation for the software Defined Networking Platforms: Novel Fault Models and Test Completeness

Test Derivation for the Software Defined Networking Platform...

引用

IEEE East-West Design and Test Symposium (EWDTS)

作者： Yevtushenko, Nina Burdonov, Igor Kossachev, Alexandre Lopez, Jorge Kushik, Natalia Zeghlache, Djamal Tomsk State Univ Dept Informat Technol Lenin Str 36 Tomsk Russia Russian Acad Sci Software Engn Dept Inst Syst Programming 25 Alexander Solzhenitsyn Str Moscow 109004 Russia Univ Paris Saclay Telecom SudParis CNRS SAMOVAR 9 Rue Charles Fourier F-91011 Evry France

ISBN: (纸本)9781538657102

software Defined Networking (SDN) platforms are used in many applications and thus, should be thoroughly verified and tested before deployment;there are a number of research papers proposing various approaches for their verification. The next step is to test whether all the items are proceeding properly, i.e., to test the platform. As the requests can be considered as sets of paths which have to be properly implemented, the inputs of the System Under Test (SUT) are appropriate graphs (and packets traversing those graphs) while the output that can also be considered as a set of paths with appropriate parameters, is obtained via the appropriate platform monitoring. Correspondingly, for testing, we use a so-called proactive approach: check a submitted set of paths after forwarding a packet with appropriate parameters. We define several fault models (under different testing assumptions) with respect to the underlying resource connectivity graph (RNCT). Some conditions for deriving a complete test suite as well as the complexity upper bounds with respect to defined fault models are also established.

关键词： Testing software defined networking Monitoring Control systems Virtualization Protocols Information technology

来源：评论

学校读者我要写书评

暂无评论

Collaborative Filtering Method with the use of Production Rules

Collaborative Filtering Method with the use of Production Ru...

引用

International Conference on Computational Intelligence and Knowledge Economy (ICCIKE)

作者： Amin Salih Mohammed Yelyzaveta Meleshko Saravana Balaji B Semenov Serhii Dept of Computer Engineering Lebanese French University Salahaddin University Erbil KR-Iraq Dept of Cyber Security & Software Central Ukrainian National Technical University Kropyvnytskyi Ukraine Dept of Information Technology Lebanese French University Erbil KR-Iraq Dept of Computer Science and Programming National Technical University (Kharkiv Polytechnic Institute) Ukraine

ISBN: (数字)9781728137780

ISBN: (纸本)9781728137797

this paper proposes a new collaborative filtering method with the calculation of unknown similarity coefficients between users via the application of production rules, which aims to improve the work quality of recommendation systems, to develop of production rules for the developed system. The methods used are: graph theory, the theory of algorithms, mathematical statistics, object-oriented programming, and fuzzy logic. The developed systems are new collaborative filtering method with the definition of unknown similarity coefficients between users through the application of production rules was developed, software for the implementation and testing of this method was developed, experiments on the developed software was conducted. The production rules to determine unknown similarity coefficients in recommendation systems was proposed. The new method of collaborative filtering with the application of production rules has been developed to find unknown similarity coefficients between users that may be possibly used to improve the work quality of the recommendation system. The conducted experiments showed that the developed method enhances the quality indicators of the recommendation system, such as item space coverage and the total number of predicted preferences of users.

关键词： Collaboration Production Information filters Computational intelligence software

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

The SCIP optimization suite 8.0

arXiv

引用

arXiv 2021年

作者： Bestuzheva, Ksenia Besançon, Mathieu Chen, Wei-Kun Chmiela, Antonia Donkiewicz, Tim Van Doornmalen, Jasper Eifler, Leon Gaul, Oliver Gamrath, Gerald Gleixner, Ambros Gottwald, Leona Graczyk, Christoph Halbig, Katrin Hoen, Alexander Hojny, Christopher Van Der Hulst, Rolf Koch, Thorsten Lübbecke, Marco Maher, Stephen J. Matter, Frederic Mühmer, Erik Müller, Benjamin Pfetsch, Marc E. Rehfeldt, Daniel Schlein, Steffan Schlösser, Franziska Serrano, Felipe Shinano, Yuji Sofranac, Boro Turner, Mark Vigerske, Stefan Wegscheider, Fabian Wellner, Philipp Weninger, Dieter Witzig, Jakob Zuse Institute Berlin Department AIS2T Takustr. 7 Berlin14195 Germany School of Mathematics and Statistics Beijing Institute of Technology Beijing100081 China RWTH Aachen University Lehrstuhl für Operations Research Kackertstr. 7 Aachen52072 Germany Technische Universiteit Eindhoven Department of Mathematics and Computer Science P.O. Box 513 Eindhoven5600 MB Netherlands I2DAMO GmbH Englerallee 19 Berlin14195 Germany Friedrich-Alexander Universität Erlangen-Nürnberg Department of Data Science Cauerstr. 11 Erlangen91058 Germany University of Twente Department of Discrete Mathematics and Mathematical Programming P.O. Box 217 Enschede7500 AE Netherlands Technische Universität Berlin Software and Algorithms for Discrete Optimization Straße des 17. Juni 135 Berlin10623 Germany Zuse Institute Berlin Department A2IM Takustr. 7 Berlin14195 Germany University of Exeter College of Engineering Mathematics and Physical Sciences Exeter United Kingdom Technische Universität Darmstadt Fachbereich Mathematik Dolivostr. 15 Darmstadt64293 Germany Technische Universität Berlin Straße des 17. Juni 135 Berlin10623 Germany Software and Algorithms for Discrete Optimization Institute of Mathematics Technische Universität Berlin Straße des 17. Juni 135 Berlin10623 Germany GAMS Software GmbH C/o Zuse Institute Berlin Department AIS2T Takustr. 7 Berlin14195 Germany

The SCIP Optimization Suite provides a collection of software packages for mathematical optimization centered around the constraint integer programming framework SCIP. This paper discusses enhancements and extensions contained in version 8.0 of the SCIP Optimization Suite. Major updates in SCIP include improvements in symmetry handling and decomposition algorithms, new cutting planes, a new plugin type for cut selection, and a complete rework of the way nonlinear constraints are handled. Additionally, SCIP 8.0 now supports interfaces for Julia as well as Matlab. Further, UG now includes a unified framework to parallelize all solvers, a utility to analyze computational experiments has been added to GCG, dual solutions can be postsolved by PaPILO, new heuristics and presolving methods were added to SCIP-SDP, and additional problem classes and major performance improvements are available in *** Codes 90C05, 90C10, 90C11, 90C30, 90C90, 65Y05 Copyright © 2021, The Authors. All rights reserved.

关键词： Integer programming

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：