发布求助
文献互助 智能选刊 最新文献

IT-Information Technology最新文献

筛选
英文 中文
Proving properties of autonomous car manoeuvres in urban traffic 城市交通中自动驾驶汽车操纵特性的证明
IF 0.9
IT-Information Technology Pub Date : 2021-09-18 DOI: 10.1515/itit-2021-0007
Maike Schwammberger
{"title":"Proving properties of autonomous car manoeuvres in urban traffic","authors":"Maike Schwammberger","doi":"10.1515/itit-2021-0007","DOIUrl":"https://doi.org/10.1515/itit-2021-0007","url":null,"abstract":"Abstract As automated driving techniques are increasingly capturing the market, it is particularly important to consider vital functional properties of these systems. We present an overview of an approach that uses an abstract model to logically reason about properties of autonomous manoeuvres at intersections in urban traffic. The approach introduces automotive-controlling timed automata crossing controllers that use the traffic logic UMLSL (Urban Multi-lane Spatial Logic) to reason about traffic situations. Safety in the context of collision freedom is mathematically proven. Liveness (something good finally happens) and fairness (no queue-jumping) are examined and verified using a model-checking tool for timed automata, UPPAAL.","PeriodicalId":43953,"journal":{"name":"IT-Information Technology","volume":"63 1","pages":"253 - 263"},"PeriodicalIF":0.9,"publicationDate":"2021-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"47159919","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Exploiting symmetries of high-level Petri games in distributed synthesis 利用分布式合成中高级Petri博弈的对称性
IF 0.9
IT-Information Technology Pub Date : 2021-09-18 DOI: 10.1515/itit-2021-0012
Nick Würdemann
{"title":"Exploiting symmetries of high-level Petri games in distributed synthesis","authors":"Nick Würdemann","doi":"10.1515/itit-2021-0012","DOIUrl":"https://doi.org/10.1515/itit-2021-0012","url":null,"abstract":"Abstract Distributed Synthesis is the problem of automatically generating correct controllers for individual agents in a distributed system. Petri games model this problem by a game between two teams of players on a Petri net structure. Under some restrictions, Petri games can be solved by a reduction to a two player game. The concept of symmetries in Petri nets is closely related to high-level representations of Petri games. Applying symmetries to the states in the two-player game results in a significant state space reduction. We give an overview about (high-level) Petri games and the application of symmetries in this setting. We present ongoing work aiming to concisely describe solutions of Petri games by a high-level representation.","PeriodicalId":43953,"journal":{"name":"IT-Information Technology","volume":"63 1","pages":"321 - 331"},"PeriodicalIF":0.9,"publicationDate":"2021-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"48699402","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Abstraction NBTI model 抽象NBTI模型
IF 0.9
IT-Information Technology Pub Date : 2021-09-17 DOI: 10.1515/itit-2021-0005
Stephan Adolf, W. Nebel
{"title":"Abstraction NBTI model","authors":"Stephan Adolf, W. Nebel","doi":"10.1515/itit-2021-0005","DOIUrl":"https://doi.org/10.1515/itit-2021-0005","url":null,"abstract":"Abstract Negative Bias Temperature Instability (NBTI) is one of the major transistor aging effects, possibly leading to timing failures during run-time of a system. Thus one is interested in predicting this effect during design time. In this work an Abstraction NBTI model is introduced reducing the state space of trap-based NBTI models using two abstraction parameters, applying a state transformation to incorporate variable stress conditions. This transformation is faster than traditional approaches. Currently the conversion into estimated threshold voltage damages is a very time consuming process.","PeriodicalId":43953,"journal":{"name":"IT-Information Technology","volume":"63 1","pages":"299 - 310"},"PeriodicalIF":0.9,"publicationDate":"2021-09-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"46551252","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
spaceAPPS – A modular approach for on-board software spaceAPPS -机载软件的模块化方法
IF 0.9
IT-Information Technology Pub Date : 2021-09-01 DOI: 10.1515/itit-2020-0038
Juergen Herpel, F. Schoen, Harald Selegrad
{"title":"spaceAPPS – A modular approach for on-board software","authors":"Juergen Herpel, F. Schoen, Harald Selegrad","doi":"10.1515/itit-2020-0038","DOIUrl":"https://doi.org/10.1515/itit-2020-0038","url":null,"abstract":"Abstract Software modularity and partial qualification capabilities are key enablers to produce cost efficient software in highly regulated domains. The modular concept (called spaceAPPS) described in this paper has been developed in the frame of the OPS-SAT project aiming at missions where flexibility is one of the success factors. spaceAPPS implements a novel software architecture for satellites inspired by the Apps concept of modern smartphones. In the European space domain the operation of a satellite is based on a set of 18 services. Accordingly, in spaceApps these services are mapped to individual Apps. This is not a one-to-one mapping which means that one App implements one or more services. During OPS-SAT ground testing it was demonstrated that functionality could be easily added through a new App or updated through replacing an existing App. Also during OPS-SAT ground testing it could be shown that a failing UserApp did not impact the basic apps to operate the satellite. Thus, it is possible to run applications of different criticality on the same platform. With operating systems supporting time and space separation the risk of failure propagation can be further reduced. The implementation of a partial validation approach, i. e. testing of third-party Apps in a representative environment and not running the validation on the target platform is feasible but was not demonstrated.","PeriodicalId":43953,"journal":{"name":"IT-Information Technology","volume":"63 1","pages":"209 - 218"},"PeriodicalIF":0.9,"publicationDate":"2021-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"43645661","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Space information technology 空间信息技术
IF 0.9
IT-Information Technology Pub Date : 2021-09-01 DOI: 10.1515/itit-2021-0038
F. Dannemann
{"title":"Space information technology","authors":"F. Dannemann","doi":"10.1515/itit-2021-0038","DOIUrl":"https://doi.org/10.1515/itit-2021-0038","url":null,"abstract":"lies on model-based, scalable and autonomous avionics for future","PeriodicalId":43953,"journal":{"name":"IT-Information Technology","volume":"63 1","pages":"183 - 184"},"PeriodicalIF":0.9,"publicationDate":"2021-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"44868172","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Current state and future challenges in deep space communication: A survey 深空通信现状与未来挑战综述
IF 0.9
IT-Information Technology Pub Date : 2021-08-25 DOI: 10.1515/itit-2021-0002
A. Könsgen, Anna Förster
{"title":"Current state and future challenges in deep space communication: A survey","authors":"A. Könsgen, Anna Förster","doi":"10.1515/itit-2021-0002","DOIUrl":"https://doi.org/10.1515/itit-2021-0002","url":null,"abstract":"Abstract Communication has been crucial since the beginning of space exploration. Control information and telemetry data of the space vessels as well as voice and video communication of the crew with the ground control have to be maintained. This paper is a survey for readers new to the topic to get an overview about the current status of space communication in national agencies and standardization bodies and ongoing research in the field. It also gives a short overview about the historical development and finally summarizes the authors’ thoughts about future challenges in space communication.","PeriodicalId":43953,"journal":{"name":"IT-Information Technology","volume":"63 1","pages":"219 - 234"},"PeriodicalIF":0.9,"publicationDate":"2021-08-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"47259452","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 6
Advanced data handling architecture for earth observation satellites 地球观测卫星的先进数据处理体系结构
IF 0.9
IT-Information Technology Pub Date : 2021-08-20 DOI: 10.1515/itit-2020-0036
Julianna Bozler, H. Herpel, J. Johansson, W. Gasti, O. Mourra
{"title":"Advanced data handling architecture for earth observation satellites","authors":"Julianna Bozler, H. Herpel, J. Johansson, W. Gasti, O. Mourra","doi":"10.1515/itit-2020-0036","DOIUrl":"https://doi.org/10.1515/itit-2020-0036","url":null,"abstract":"Abstract In this paper we describe how commercial open standards for embedded systems could affect the architecture of future satellite data handling systems. Traditionally, satellite data handling systems are based on the principles of a federated architecture, i. e. one function is implemented as one box. Each box has its own housing and power supply. In the paper we describe the transition path from the traditional federated architecture to a centralized but modular architecture based on adapted industrial standards. In the presented approach functional modules like on-board computer, Global Navigation Satellite System receiver, interface boards, etc. are combined in a rack communicating via a standard backplane using standardized communication links. The analysis performed during the Advanced Data Handling Architecture study showed that this approach contributes significantly to mass and power reduction (approx. 20 %) of a typical satellite data handling system. Another major point highlighted in the Advanced Data Handling Architecture study is the simplification of Assembly, Integration and Test activities. All this will help space industry to handle increasing system complexity while keeping costs at an acceptable level.","PeriodicalId":43953,"journal":{"name":"IT-Information Technology","volume":"63 1","pages":"199 - 208"},"PeriodicalIF":0.9,"publicationDate":"2021-08-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"46907160","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
A qualitative study of Machine Learning practices and engineering challenges in Earth Observation 对地观测中机器学习实践和工程挑战的定性研究
IF 0.9
IT-Information Technology Pub Date : 2021-07-15 DOI: 10.1515/itit-2020-0045
Sophie F. Jentzsch, N. Hochgeschwender
{"title":"A qualitative study of Machine Learning practices and engineering challenges in Earth Observation","authors":"Sophie F. Jentzsch, N. Hochgeschwender","doi":"10.1515/itit-2020-0045","DOIUrl":"https://doi.org/10.1515/itit-2020-0045","url":null,"abstract":"Abstract Machine Learning (ML) is ubiquitously on the advance. Like many domains, Earth Observation (EO) also increasingly relies on ML applications, where ML methods are applied to process vast amounts of heterogeneous and continuous data streams to answer socially and environmentally relevant questions. However, developing such ML- based EO systems remains challenging: Development processes and employed workflows are often barely structured and poorly reported. The application of ML methods and techniques is considered to be opaque and the lack of transparency is contradictory to the responsible development of ML-based EO applications. To improve this situation a better understanding of the current practices and engineering-related challenges in developing ML-based EO applications is required. In this paper, we report observations from an exploratory study where five experts shared their view on ML engineering in semi-structured interviews. We analysed these interviews with coding techniques as often applied in the domain of empirical software engineering. The interviews provide informative insights into the practical development of ML applications and reveal several engineering challenges. In addition, interviewees participated in a novel workflow sketching task, which provided a tangible reflection of implicit processes. Overall, the results confirm a gap between theoretical conceptions and real practices in ML development even though workflows were sketched abstractly as textbook-like. The results pave the way for a large-scale investigation on requirements for ML engineering in EO.","PeriodicalId":43953,"journal":{"name":"IT-Information Technology","volume":"63 1","pages":"235 - 247"},"PeriodicalIF":0.9,"publicationDate":"2021-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"46768929","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Towards modular and scalable on-board computer architecture 走向模块化和可扩展的机载计算机体系结构
IF 0.9
IT-Information Technology Pub Date : 2021-07-02 DOI: 10.1515/itit-2020-0037
U. Kulau, Juergen Herpel, Ran Qedar, P. Rosenthal, J. Krieger, F. Schoen, I. Masár
{"title":"Towards modular and scalable on-board computer architecture","authors":"U. Kulau, Juergen Herpel, Ran Qedar, P. Rosenthal, J. Krieger, F. Schoen, I. Masár","doi":"10.1515/itit-2020-0037","DOIUrl":"https://doi.org/10.1515/itit-2020-0037","url":null,"abstract":"Abstract The demand for satellites and space systems with ever-increasing avionics requirements is constantly growing, whether in the field of satellite communications or earth observation. Traditional architectures for Data Handling Systems (DHS) on satellites are reaching their limits in terms of flexibility, interoperability and reusability, while slowing down the innovation cycle due to costly qualification. With regard to commercial and industrial solutions, it is evident that ‘plug and play’-like systems based on open standards can overcome the above-mentioned disadvantages. For this reason, this paper describes how open standards could affect the architecture of future satellite DHSs. In particular it shows an transition path from the traditional federated architecture to a centralized but modular architecture based on adapted industrial standards.","PeriodicalId":43953,"journal":{"name":"IT-Information Technology","volume":"63 1","pages":"185 - 197"},"PeriodicalIF":0.9,"publicationDate":"2021-07-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"43436891","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Anti-Muslim hatred in Italy: A Glocal issue 意大利的反穆斯林仇恨:一个全球问题
IF 0.9
IT-Information Technology Pub Date : 2021-06-10 DOI: 10.25253/99.2021232.2
D. Altomonte
{"title":"Anti-Muslim hatred in Italy: A Glocal issue","authors":"D. Altomonte","doi":"10.25253/99.2021232.2","DOIUrl":"https://doi.org/10.25253/99.2021232.2","url":null,"abstract":"The rise of far-right parties in Europe and harsh propaganda against immigrants and Muslims are primary sources for the development of anti-Islam stances and anti-Muslim hatred among the population. The lack of acknowledgment of Islam and Muslims by the Italian state allows its citizens to conceive an exclusionary populist discourse and a shared negative view that impedes the enforcement of the right to religious freedom. To go local may result as an attractive, though obliged, alternative, and the municipality, as the representative of the institution closest to citizenship, may then affirm its leadership role in ensuring social cohesion and the protection of the human rights of all its citizens, so that European democratic pluralism is translated into effective access to and enjoyment of fundamental rights.","PeriodicalId":43953,"journal":{"name":"IT-Information Technology","volume":"57 1","pages":"23-37"},"PeriodicalIF":0.9,"publicationDate":"2021-06-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"88415318","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信