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

Workshops held at 35th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2014 and 14th International Conference on Application of Concurrency to System Design, ACSD 2014

作者： Bergenthum, Robin Schick, Joachim Department of Software Engineering and Theory of Programming FernUniversität in Hagen Hagen Germany

ISBN: (纸本)9783662486498

If there is suspicion of Lyme disease, a doctor sends a blood sample of the patient to a medical laboratory. The laboratory performs a number of different blood examinations, testing for antibodies against the Lyme disease bacteria. The total number of performed examinations depends on the intermediate results of the blood count. Of course, the number of performed examinations is important since the cost of each examination needs to be covered by the health insurance companies. In order to control and restrict the number of performed examinations, the health insurance companies provide a so called charges regulation document. If some health insurance company disagrees with the charges of a laboratory, it is the job of the public prosecution service to validate the charges according to this document. In this paper we present a case study showing a systematic approach to revealing faulty processes in a medical laboratory. Different files produced by the information system of the respective laboratory are analyzed, consolidated, and stored in a database. An excerpt of this data is translated into an event log, providing a list of all events performed by the information system. This list is further compressed and translated into the language of the information system. Compared to the size of the data and the size of the event log, the size of the language is small. With the help of the regulation document this language can be split in two sets - the set of valid and the set of faulty words. In a next step, we build a colored Petri net model corresponding to the set of valid words in a sense that only the valid words are executable in the Petri net model. In a last step we translate the colored Petri net into a PL/SQL-program. This program can automatically reveal all faulty processes stored in the database. © Springer-Verlag Berlin Heidelberg 2015.

关键词： Blood

来源：评论

学校读者我要写书评

暂无评论

Compact regions for place/transition nets

Compact regions for place/transition nets

引用

Workshop on Algorithms and Theories for the Analysis of Event Data, ATAED 2015

作者： Bergenthum, Robin Department of Software Engineering and Theory of Programming Fern Universität in Hagen Germany

This paper presents compact regions to synthesize a Petri net from a partial language. We synthesize a Petri net using the theory of regions. Let there be a partial language, every region definition provides an inequality system and a solution of this system is called a region. Every region defines a valid place where a place is valid if it enables every word of the partial language. The new compact region definition relies on compact tokenflows. Compact tokenflows are a very efficient behavioral model for the partial language of Petri nets [3, 4]. Compact regions will lead to faster synthesis algorithms computing smaller Petri nets solving the synthesis problem.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

Device- And service profiles for integrated or systems based on open standards

引用

Current Directions in Biomedical engineering 2015年第1期1卷 538-542页

作者： Mildner, Alexander Janß, Armin Dell'Anna-Pudlik, Jasmin Merz, Paul Leucker, Martin Radermacher, Klaus UniTransferKlinik Lübeck Maria-Goeppert-Straße 1 Lübeck 23562 Germany Institute for Software Engineering and Programming Languages University of Lübeck Germany Department of Medical Engineering Helmholtz-Institute for Biomedical Engineering RWTH Aachen University Germany

Integrated OR systems nowadays are closed and proprietary, so that the interconnection of components from third-party vendors is only possible with high time and cost effort. An integrated operating theatre with open interfaces, giving clinical operators the opportunity to choose individual medical devices from different manufacturers, is currently being developed in the framework of the BMBF (Federal Ministry of Education and Research) funded project *** [1]. Actual standards and concepts regarding technical feasibility and accreditation process do not cope with the requirements for modular integration based on an open standard. Therefore, strategies as well as service and device profiles to enable a procedure for risk management and certifiability are in the focus of the project work. Amongst others, a concept for User Interface Profiles (UI-Profiles) has been conceived in order to describe medical device functions and the entire user interface regarding Human-Machine-Interaction (HMI) characteristics with the aim to identify human-induced risks of central user interfaces. The use of standardized device and service profiles shall allow the manufacturers to integrate their medical devices in the *** network, without disclosing the medical devices' risk analysis and related confidential knowledge or proprietary information. © 2015 by Walter de Gruyter GmbH, Berlin/Boston 2015.

关键词： Usability engineering

来源：评论

学校读者我要写书评

暂无评论

Integrated smart home services and smart wearable technology for the disabled and elderly 4

Integrated smart home services and smart wearable technology...

引用

4th International Conference on Data Management Technologies and Applications, DATA 2015

作者： Tuna, Ayse Das, Resul Tuna, Gurkan School of Foreign Languages Trakya University Edirne Turkey Department of Software Engineering Firat University Elazig Turkey Department of Computer Programming Trakya University Edirne Turkey

ISBN: (纸本)9789897581038

Smart Home is indeed a broad concept which includes the techniques and systems applied to living spaces. While its main goal is to reduce the consumption of energy, it provides many benefits including living in comfort, security and increasing flexibility. Smart homes are achieved through networking, control and automation technologies. Since smart homes offer more comfort and security and provide novel innovative services, people with disabilities or the elderly can take the advantages and improve their life quality. However, for such novel services, an analytical infrastructure which can manage overall data flow provided by various sensors, understand anomalous behaviour, and make necessary decisions. In this study, for efficient data handling and visualisation, an integrated smart service approach based on the use of a smart vest is proposed. The smart vest plays a key role in the proposed system since it provides the main health parameters of the monitored person to the smart home service and enables tracking of the monitored person's location. The proposed system offers many benefits to both people with disabilities and the elderly and their families in terms of increased efficiency of health care service and comfort for the monitored person. It can also reduce the cost of health care services by reducing the number of periodical visits.

关键词： Wearable technology

来源：评论

学校读者我要写书评

暂无评论

Device- And service profiles for integrated or systems based on open standards

Device- And service profiles for integrated or systems based...

引用

作者： Mildner, Alexander Janß, Armin Dell'Anna-Pudlik, Jasmin Merz, Paul Leucker, Martin Radermacher, Klaus UniTransferKlinik Lübeck Maria-Goeppert-Straße 1 Lübeck23562 Germany Institute for Software Engineering and Programming Languages University of Lübeck Germany Department of Medical Engineering Helmholtz-Institute for Biomedical Engineering RWTH Aachen University Germany

关键词： Usability engineering

来源：评论

学校读者我要写书评

暂无评论

Ontological Approach to the Formal Specification of the Standard Life Cycle

Ontological Approach to the Formal Specification of the Stan...

引用

Science and Information Conference

作者： Ekaterina Lavrishcheva Software Engineering Department Institute for System Programming of the RAS Prof. MIPT Moscow Russia

ISBN: (纸本)9781479985487

Approach is offered to the formal specification of Standard Life Cycle (LC) of the program systems (PS) by the ontology facilities with purpose automation and generation of the variants LC for making the appropriate kinds process for development different PS. Ontological approach to presentation LC model of the standard ISO/IEC 12207-2007 is included the specification of general, organizational and support processes. These processes are presented in the subject-oriented DSL, which than transformed to XML for realization. One of the processes, the testing process is given in terms of Protégé systems. An eventual result of this system Protégé got generally at accepted to the XML, suitable for implementation tasks testing PS on computer.

关键词： ontology the life cycle standard model of life cycle processes actions task testing DSL description Protégé XML

来源：评论

学校读者我要写书评

暂无评论

Common network attack types and defense mechanisms

Common network attack types and defense mechanisms

引用

IEEE Signal Processing and Communications Applications (SIU)

作者： Resul Daş Abubakar Karabade Gurkan Tuna Department of Software Engineering Firat Univ. Elazığ Turkey Department of Computer Programming Trakya University Edirne Turkey

For every organization having a well secured network is the primary requirement to reach their goals. A network is said to be secure if it can protect itself from sophisticated attacks. Due to the rapid increase in the number of network users, security becomes the main challenge in the area of network field. Most security related threats target the layers of the OSI reference model. Sophisticated attack types such as Distributed Denial of Service (DDoS), Man-in-the-Middle and IP spoofing attacks are used to attack these layers. In this paper, we analyze most of the attack types that cause serious problems in computer networks and defense techniques to stop or prevent these attacks.

关键词： Computer crime IP networks Servers Switches Ports (Computers)

来源：评论

学校读者我要写书评

暂无评论

Information security threats and an easy-to-implement attack detection framework for wireless sensor network-based smart grid applications

引用

IOP Conference Series: Materials Science and engineering 2016年第1期108卷

作者： G Tuna H Örenbaş R Daş D Kogias M Baykara K K Department of Computer Programming Trakya University Edime Turkey Department of Software Engineering Firat University Elazig Turkey Department of Electronics Engineering Piraeus University of Applied Sciences Aigaleo Greece Department of Control and Automation Engineering Yildiz Technical University Istanbul Turkey

Wireless Sensor Networks (WSNs) when combined with various energy harvesting solutions managing to prolong the overall lifetime of the system and enhanced capabilities of the communication protocols used by modern sensor nodes are efficiently used in are efficiently used in Smart Grid (SG), an evolutionary system for the modernization of existing power grids. However, wireless communication technology brings various types of security threats. In this study, firstly the use of WSNs for SG applications is presented. Second, the security related issues and challenges as well as the security threats are presented. In addition, proposed security mechanisms for WSN-based SG applications are discussed. Finally, an easy- to-implement and simple attack detection framework to prevent attacks directed to sink and gateway nodes with web interfaces is proposed and its efficiency is proved using a case study.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A secure and easy-to-implement web-based communication framework for caregiving robot teams

引用

IOP Conference Series: Materials Science and engineering 2016年第1期108卷

作者： G Tuna R Daş A Tuna H Örenbaş M Baykara K Gülez Department of Computer Programming Trakya University Edime Turkey School of Foreign Languages Trakya University Edime Turkey Department of Control and Automation Engineering Yildiz Technical University Istanbul Turkey Department of Software Engineering Firat University Elazig Turkey

In recent years, robots have started to become more commonplace in our lives, from factory floors to museums, festivals and shows. They have started to change how we work and play. With an increase in the population of the elderly, they have also been started to be used for caregiving services, and hence many countries have been investing in the robot development. The advancements in robotics and wireless communications has led to the emergence of autonomous caregiving robot teams which cooperate to accomplish a set of tasks assigned by human operators. Although wireless communications and devices are flexible and convenient, they are vulnerable to many risks compared to traditional wired networks. Since robots with wireless communication capability transmit all data types, including sensory, coordination, and control, through radio frequencies, they are open to intruders and attackers unless protected and their openness may lead to many security issues such as data theft, passive listening, and service interruption. In this paper, a secure web-based communication framework is proposed to address potential security threats due to wireless communication in robot-robot and human-robot interaction. The proposed framework is simple and practical, and can be used by caregiving robot teams in the exchange of sensory data as well as coordination and control data.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Visual Language Plans - Formalization of a pedagogical learnflow modeling language

Visual Language Plans - Formalization of a pedagogical learn...

引用

International Workshop on Petri Nets and software engineering, PNSE 2014

作者： Irgang, Kerstin Irgang, Thomas Human-Centered Information Systems Clausthal University of Technology Germany Department of Software Engineering and Theory of Programming Fernuniversität Hagen Germany

In this paper we present an approach to support selfregulated learn-flows in the collaborative environment Metafora. In this environment students construct Visual Language Plans. Those plans model workflows of learning activities, which the students execute to solve complex learning scenarios across different tools. Visual Language plans were already used in the context of different pedagogical studies but have no formal syntax or semantics, yet. In this paper, we present the syntax of Visual Language Plans and develop a mapping from Visual Language Plans to Petri net defining semantics. With the help of this semantics, the environment can support the students executing their learnflows. If students execute activities given in a Visual Language Plan which are not enabled in the corresponding Petri net, feedback messages occur guiding the students. Students can refine their Visual Language Plan during execution. If a plan changes the corresponding Petri net model also changes. Analyzing the newly generated Petri net model can help to uncover faulty states of the learnflow model.

关键词： Visual languages

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：