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

Pattern-based Transformation of Diagrammatic Conceptual Models for Semantic Enrichment in the Web of Data

Procedia computer science 2015年 60卷 150-159页

作者： Robert Andrei Buchmann Dimitris Karagiannis Business Information Systems Dpt. Faculty of Economic Sciences and Business Administration University Babeş Bolyai str. T. Mihali 58-60 400591 Cluj Napoca Romania Knowledge Engineering Research Group Faculty of Computer Science University of Vienna Waehringerstr. 29 1090 Vienna Austria

The goal of this paper is to bridge the paradigms of Linked Data and Conceptual Modeling, which have been developed from quite distinct concerns, although certain opportunities may stimulate the evolution of the Web towards a new type of knowledge space driven by diagrammatic models. To this end, the work at hand investigates structural patterns in a multitude of modeling languages accumulated over time within the Open Model Initiative Laboratory and defines for each pattern transformation rules that produce graph-based model serializations, thus enabling the processing of diagrammatic models using the Web of Data tech-nological space and practices.

关键词： Web of Data Conceptual Modeling Linked Data Graph databases

来源：评论

学校读者我要写书评

暂无评论

Real-time dynamic data-driven simulation of continuum systems

Real-time dynamic data-driven simulation of continuum system...

引用

2004 ASME Design engineering Technical Conferences and computers and Information in engineering Conference

作者： Michopoulos, J.G. Farhat, C. Houstis, E.N. Special Projects Group Compl. Multiphysics Systems Lab U.S. Naval Research Laboratory Washington DC 20375 United States Dept. of Aerospace Eng. Sciences Center of Aerospace Structures Univ. of Colorado at Boulder Boulder CO 80309-0429 United States Computer Sciences Department Purdue University W. Lafayette IN 47906 United States University of Thessaly Dpt. of Computer Engineering Volos Greece

Recent proliferation of sensor networks in various application areas has promoted real-time behavioral monitoring of various physical systems. The opportunity to use sensor generated data dynamically for improving speed, accuracy, and general performance of predictive behavior modeling simulation is of paramount importance. The present paper identifies enabling modeling methods and computational strategies that are critical for achieving real-time or near real-time simulation response of very large and complex systems. It also discusses our choices of these technologies in the context of sample multidisciplinary computational mechanics applications and describes two examples to demonstrate the feasibility of integrating real-time data with real-time simulation.

关键词： Continuum mechanics

来源：评论

学校读者我要写书评

暂无评论

Cryptanalysis of TRUTH: Fixing a Protocol to Make it 5G-Compliant

Cryptanalysis of TRUTH: Fixing a Protocol to Make it 5G-Comp...

引用

International Symposium on Networks, computers and Communications (ISNCC)

作者： J. Munilla M. Burmester P. Caballero-Gil Dpt. of Telecommunication Engineering University of Málaga Málaga Spain Department of Computer Science Florida State Unviersity Tallahassee Florida USA Dept. of Computer Science and AI University of La Laguna La Laguna Tenerife Spain

ISBN: (数字)9798350364910

ISBN: (纸本)9798350364927

Trust and security are critical deployment require-ments for Industrial Internet of Things (IIoT) networks. A recent protocol, called TRUTH, integrates security mechanisms for authentication and privacy alongside a Dempster-Shafer based trust model, to assess the trustworthiness of collected data. We analyze this protocol and show that it does not comply with the implementation requirements of the 5G standard, and that flaws in the identification of involved parties hinder its adoption by 5G devices. We show how to fix this protocol and tailor it for the specific 5G implementation constraints, by enhancing its computational and communication performance. Finally, we show how to prove the security of this fixed protocol (TRUTH +) using the Tamarin automated verification tool.

关键词： Fault diagnosis Performance evaluation Data privacy Protocols 5G mobile communication Data models Synchronization Object recognition Standards Industrial Internet of Things

来源：评论

学校读者我要写书评

暂无评论

Towards a framework for dedicated operating systems development in high-end computing systems

引用

Operating systems Review (ACM) 2006年第2期40卷 16-21页

作者： Tournier, Jean-Charles Bridges, Patrick G. Maccabe, Arthur B. Widener, Patrick M. Abudayyeh, Zaid Brightwell, Ron Riesen, Rolf Hudson, Trammel Dpt. of Computer Science University of New Mexico Albuquerque NM 87131-0001 Sandia National Laboratories MS 11110 PO Box 5800 Albuquerque NM 87185-1110 Operating Systems Research Inc. 1729 Wells Drive NE Albuquerque NM 87112

In the context of high-end computing systems, general-purpose operating systems impose overhead on the applications they support due to unneeded services. Although dedicated operating systems overcome this issue, they are difficult to develop or adapt. In this paper, we propose a framework, based on the component programming paradigm, which supports the development and adaptation of such operating systems. This framework makes possible the a la carte construction of operating systems which provide specific high-end computing system characteristics.

关键词： computer operating systems

来源：评论

学校读者我要写书评

暂无评论

Secure image encryption based on a chua chaotic noise generator

引用

Journal of engineering science and Technology Review 2013年第4期6卷 90-103页

作者： Andreatos, A.S. Leros, A.P. Div. of Computer Engineering and Information Science Hellenic Air Force Academy Dekeleia Air Force Base Dekeleia Attica TGA-1010 Greece Dpt. of Automation School of Technological Applications Technological Educational Institute of Chalkis 34400 Psachna Evia Greece

This paper presents a secure image cryptography telecom system based on a Chua's circuit chaotic noise generator. A chaotic system based on synchronised Master-Slave Chua's circuits has been used as a chaotic true random number generator (CTRNG). Chaotic systems present unpredictable and complex behaviour. This characteristic, together with the dependence on the initial conditions as well as the tolerance of the circuit components, make CTRNGs ideal for cryptography. In the proposed system, the transmitter mixes an input image with chaotic noise produced by a CTRNG. Using thresholding techniques, the chaotic signal is converted to a true random bit sequence. The receiver must be able to reproduce exactly the same chaotic noise in order to subtract it from the received signal. This becomes possible with synchronisation between the two Chua's circuits: through the use of specific techniques, the trajectory of the Slave chaotic system can be bound to that of the Master circuit producing (almost) identical behaviour. Additional blocks have been used in order to make the system highly parameterisable and robust against common attacks. The whole system is simulated in Matlab. Simulation results demonstrate satisfactory performance, as well as, robustness against cryptanalysis. The system works with both greyscale and colour jpg images. © 2013 Kavala Institute of Technology.

关键词： Synchronization

来源：评论

学校读者我要写书评

暂无评论

The DEVStone Metric: Performance Analysis of DEVS Simulation Engines

arXiv

引用

arXiv 2023年

作者： Cárdenas, Román Henares, Kevin Arroba, Patricia Risco-Martín, José L. Wainer, Gabriel A. Integrated Systems Laboratory Universidad Politécnica de Madrid Madrid Spain Dept. of Systems and Computer Engineering Carleton University OttawaON Canada Dpt. of Computer Architecture and Automation Universidad Complutense de Madrid Madrid Spain Center for Computational Simulation Universidad Politécnica de Madrid Madrid Spain

The DEVStone benchmark allows us to evaluate the performance of discrete-event simulators based on the DEVS formalism. It provides model sets with different characteristics, enabling the analysis of specific issues of simulation engines. However, this heterogeneity hinders the comparison of the results among studies, as the results obtained on each research work depend on the chosen subset of DEVStone models. We define the DEVStone metric based on the DEVStone synthetic benchmark and provide a mechanism for specifying objective ratings for DEVS-based simulators. This metric corresponds to the average number of times that a simulator can execute a selection of 12 DEVStone models in one minute. The variety of the chosen models ensures we measure different particularities provided by DEVStone. The proposed metric allows us to compare various simulators and to assess the impact of new features on their performance. We use the DEVStone metric to compare some popular DEVS-based simulators. © 2023, CC BY-SA.

关键词： Discrete event simulation

来源：评论

学校读者我要写书评

暂无评论

An Algorithm for Guideline Transformation: From BPMN to SDA

引用

Procedia computer science 2015年 63卷 244-251页

作者： Begoña Martínez-Salvador Mar Marcos David Riaño Dpt. of Computer Engineering and Science Universitat Jaume I Av. de Vicent Sos Baynat s/n 12071 Castellón Spain Research Group on Artificial Intelligence Universitat Rovira i Virgili Av. Päısos Catalans 26 43007 Tarragona Spain

The Business Process Modelling and Notation (BPMN) is a widely-accepted standard for process modelling, which can be used to model the clinical processes contained in guidelines. computer systems based on guidelines need to embed these clinical processes, e.g. using a computer-Interpretable Guideline (CIG) language. However, encoding guidelines in a CIG language is a difficult task which is usually performed by technical staff. Building on our previous work, the transformation-based refinement of guideline models, in this paper we describe an algorithm to transform BPMN models into the SDA CIG language. The use of BPMN has the potential to empower clinicians in the modelling task. In combination with the transformation algorithm, this can lead to an increased adoption of CIG languages, SDA and others.

关键词： Clinical guidelines clinical processes guideline transformation BPMN SDA

来源：评论

学校读者我要写书评

暂无评论

Use of QUIC Protocol for Efficient Data Transmission Over Satellite in Emergency Scenario

Use of QUIC Protocol for Efficient Data Transmission Over Sa...

引用

International Conference on Information and Communication Technologies for Disaster Management (ICT-DM)

作者： Armir Bujari Mirko Franco Claudio E. Palazzi Mattia Quadrini Cesare Roseti Francesco Zampognaro Department of Computer Science and Engineering University of Bologna Bologna Italy Department of Mathematics University of Padua Padua Italy Research and Development RomARS S.r.l. Rome Italy Electronics Engineering Dpt. University of Rome “Tor Vergata” Rome Italy

During emergency situations, reliable and fast communication is crucial for an effective response and coordination of recovery and rescue operations. However, regular communication means may not be always available nor reliable. In this scenario, constellations of Low Earth Orbit satellites can offer high bandwidth capabilities with (relatively) low latency, making them ideal for supporting disaster management teams on the ground and complementing (or replacing) terrestrial telecommunication infrastructures. In this context, the use of the recently defined QUIC protocol can provide the possibility to seamlessly switch from ground communication to satellite ones when needed. In this paper, we discuss the case study of satellite communication in an emergency scenario, assessing via a simulation study the benefits achievable by QUIC under varying queuing parameters and congestion control algorithm behavior.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A mixture of experts model for predicting persistent weather patterns

arXiv

引用

arXiv 2019年

作者： Pérez-Ortiz, M. Gutiérrez, P.A. Tino, P. Casanova-Mateo, C. Salcedo-Sanz, S. Computer Laboratory University of Cambridge United Kingdom Dpt. of Computer Science and Numerical Analysis University of Córdoba Spain School of Computer Science University of Birmingham United Kingdom Department of Civil Engineering: Construction Infrastructure and Transport Universidad Politécnica de Madrid Madrid Spain Department of Signal Processing and Communications University of Alcalá Spain

Weather and atmospheric patterns are often persistent. The simplest weather forecasting method is the so-called persistence model, which assumes that the future state of a system will be similar (or equal) to the present state. Machine learning (ML) models are widely used in different weather forecasting applications, but they need to be compared to the persistence model to analyse whether they provide a competitive solution to the problem at hand. In this paper, we devise a new model for predicting low-visibility in airports using the concepts of mixture of experts. Visibility level is coded as two different ordered categorical variables: cloud height and runway visual height. The underlying system in this application is stagnant approximately in 90% of the cases, and standard ML models fail to improve on the performance of the persistence model. Because of this, instead of trying to simply beat the persistence model using ML, we use this persistence as a baseline and learn an ordinal neural network model that refines its results by focusing on learning weather fluctuations. The results show that the proposal outperforms persistence and other ordinal autoregressive models, especially for longer time horizon predictions and for the runway visual height variable. Copyright © 2019, The Authors. All rights reserved.

关键词： Weather forecasting

来源：评论

学校读者我要写书评

暂无评论

Supervision and Advanced Control in a Beet Sugar Factory

引用

IFAC Proceedings Volumes 2000年第10期33卷 341-346页

作者： C. Prada C. Alonso F. Morilla M. Bollain Dpt. Systems Engineering and Automatic Control Faculty of Sciences University of Valladolid 47011 Valladolid Spain. TL. + 34 983 423164 Fax + 34 983 423161 Dpt. Computing Science Faculty of Sciences University of Valladolid 47011 Valladolid Spain. TL. + 34 983 425005 Fax + 34 983 423161 e-mail Dpt. Computing Science and Automatic Control Faculty of Sciences Open University UNED c/ Senda del Rey s/n 08040 Madrid Spain. TL. + 34 91 3987156 Fax + 34 91 3986697 e-mail Azucarera Ebro Agricolas (AEA) c/ Ruiz de Alarcón 5 Madrid Spain TL. +34 91 5214650 Fax +34 91 5216407

An integrated advanced control and supervision system in operation in a sugar factory is presented. The system works on top of a commercial distributed computer control system, and combines artificial intelligence tec... 详细信息

关键词： Hierarchical control supervisory control expert systems fault detection fault diagnosis predictive control optimization

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：