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

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

57 篇 会议
27 篇 期刊文献
4 册 图书

馆藏范围

88 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

60 篇 工学
- 49 篇 计算机科学与技术...
- 41 篇 软件工程
- 8 篇 安全科学与工程
- 7 篇 生物医学工程（可授...
- 5 篇 仪器科学与技术
- 5 篇 信息与通信工程
- 4 篇 机械工程
- 4 篇 电气工程
- 2 篇 冶金工程
- 2 篇 控制科学与工程
- 2 篇 建筑学
- 2 篇 土木工程
- 2 篇 航空宇航科学与技...
- 1 篇 材料科学与工程（可...
- 1 篇 动力工程及工程热...
- 1 篇 石油与天然气工程
23 篇 理学
- 13 篇 数学
- 7 篇 系统科学
- 7 篇 统计学（可授理学、...
- 1 篇 化学
- 1 篇 海洋科学
- 1 篇 生物学
14 篇 管理学
- 12 篇 管理科学与工程(可...
- 3 篇 工商管理
- 3 篇 图书情报与档案管...
4 篇 教育学
- 4 篇 教育学
3 篇 医学
- 3 篇 基础医学(可授医学...
- 3 篇 临床医学
- 3 篇 药学(可授医学、理...
2 篇 法学
- 2 篇 社会学

主题

10 篇 software enginee...
5 篇 software
5 篇 artificial intel...
4 篇 unified modeling...
3 篇 computer science
3 篇 tools
3 篇 runtime
3 篇 java
3 篇 monitoring
3 篇 software testing
3 篇 semantics
3 篇 software design
3 篇 testing
2 篇 surveys
2 篇 adaptive systems
2 篇 object oriented ...
2 篇 safety
2 篇 application soft...
2 篇 modeling languag...
2 篇 prototypes

机构

15 篇 institute for so...
14 篇 institute of sof...
7 篇 institute of sof...
5 篇 institute for so...
5 篇 ulm university i...
4 篇 institute for so...
3 篇 institute of dis...
3 篇 ulm university i...
2 篇 department of co...
2 篇 université paris...
2 篇 loria campus sci...
2 篇 department of en...
2 篇 department of me...
2 篇 university of st...
2 篇 department of co...
2 篇 université paris...
2 篇 institute of sof...
2 篇 institute of sof...
2 篇 western norway u...
2 篇 unitransferklini...

作者

27 篇 tichy matthias
15 篇 leucker martin
10 篇 matthias tichy
10 篇 raschke alexande...
7 篇 pietron jakob
7 篇 groner raffaela
6 篇 juhnke katharina
4 篇 exelmans joeri
4 篇 höppner stefan
4 篇 wolfgang reif
3 篇 frühwirth thom
3 篇 thoma daniel
3 篇 schmitz malte
3 篇 schaefer ina
3 篇 jakob pietron
3 篇 alexander raschk...
3 篇 mildner alexande...
3 篇 neider daniel
3 篇 witte thomas
3 篇 felderer michael

语言

87 篇 英文
1 篇 其他

检索条件"机构=Institute of Software Engineering and Programming Languages Ulm University"

共 88 条记录，以下是51-60 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

A Comparative Analysis of Multi-agent Simulation Platforms for Energy and Mobility Management 20th

A Comparative Analysis of Multi-agent Simulation Platforms ...

引用

Proceedings of the 20th European Conference on Multi-Agent Systems, EUMAS 2023

作者： Ali, Aliyu Tanko Leucker, Martin Schuldei, Andreas Stellbrink, Leonard Sachenbacher, Martin Institute for Software Engineering and Programming Languages University of Lübeck Ratzeburger Allee 160 Lübeck Germany Institute for Multimedia and Interactive Systems University of Lübeck Ratzeburger Allee 160 Lübeck Germany

ISBN: (纸本)9783031432637

Effective energy and mobility management benefits from multi-agent simulations (MAS) to model complex interactions among various agent types. Selecting the optimal MAS platform to implement and simulate these interactions is vital for achieving accurate results, scalability to realistic problem sizes, and efficient computational performance. This paper investigates the energy and mobility domain and identifies key parameters such as the number and complexity of agents, parallel computing power, CPU requirements etc., for developing MAS in the context of this domain. It then presents a comprehensive evaluation of various MAS development platforms. Using a multi-level selection and elimination approach, we narrowed down our evaluation to two final candidates. We then implemented key aspects of our model in both platforms to compare them in terms of practical relevance. Our findings reveal that the *** platform outperforms the Mesa platform in terms of runtime performance, has a smaller memory footprint for large numbers of agents, and offers scalability, making it the most suitable choice for developing MAS for integrated energy and mobility models. © 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： Scalability

来源：评论

学校读者我要写书评

暂无评论

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

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

来源：评论

学校读者我要写书评

暂无评论

Realizing Scenario-Based Verification Tests of Automated Vehicles With an Ai-Controlled Surrounding Vehicle in a Practice-Relevant Context

Realizing Scenario-Based Verification Tests of Automated Veh...

引用

International Conference on Intelligent Transportation

作者： Felix Beringhoff Joel Greenyer Christian Roesener Matthias Tichy Volkswagen AG Wolfsburg Germany FHDW Hannover Hannover Germany Institute for Software Engineering and Programming Languages Ulm University Germany

ISBN: (数字)9798331505929

ISBN: (纸本)9798331505936

Scenario-based testing is seen as a key for the verification and validation of automated vehicles (AV). In a test scenario, the AV is tested under pre-defined traffic conditions. However, realizing those traffic conditions is challenging due to the autonomously behaving AV. The AV decides on its own, whether it gets into the test scenario conditions at all, e.g., by deciding on which lane it wants to drive or at which velocity it is driving. In order to influence the AV's decision making in a required way to realize a test scenario condition, we implement a novel AI method for controlling a surrounding vehicle (SV) of the AV. The AI-controlled SV (AISV) consists of a reinforcement learning (RL) agent which is trained to, e.g., nudge the AV into changing lanes. In contrast to current common practice, this approach does not require the manual tailoring of triggers and actions for controlling the SV. In this paper, we report on a working design of the RL framework and experiments regarding three different training scopes for the RL agent. We distinguish specialized agents which are trained to reach a single scenario condition and two sorts of generalized agents which shall be capable of reaching a set of scenario conditions. The results show that specialized agents perform the best with a success rate of up to 100 %. However, the generalized agents perform better in realizing scenario conditions which are not known to the agent from training. We also report on an implementation of the approach in a hardware-in-the-loop-simulation (HIL) test bench used in industrial practice and discuss a first try-out.

关键词： Training Symbiosis Roads XML Prototypes Reinforcement learning Manuals Artificial intelligence Intelligent transportation systems Testing

来源：评论

学校读者我要写书评

暂无评论

A Case Study on Data Protection for a Cloud- and AI-based Homecare Medical Device

A Case Study on Data Protection for a Cloud- and AI-based Ho...

引用

2022 International Health Data Workshop, HEDA 2022

作者： Bende, Philipp Vovk, Olga Caraveo, David Pechmann, Ludwig Leucker, Martin University of Lübeck Institute for Software Engineering and Programming Languages Lübeck Germany Tallinn University of Technology School of Information Technologies Department of Health Technologies Tallinn Estonia UniTransferKlinik Lübeck GmbH Lübeck Germany

To improve the treatment of many diseases, continuous monitoring of the patient at home with the ability of doctors to interact with individual cases demands an increasing number of medical devices connected to the cloud. To support the doctor’s duties, such devices may benefit from AI-based diagnosis routines. In order for such devices to be approved and placed on the market, they need to comply with various legal, regulatory, economic, and social requirements. An integral part of these requirements is the protection of the patients’ data. In this paper, based on a current use case, we describe a workflow on how to identify risks and address their mitigations. To this end, we recall the relevant legal, regulatory, economic, and social data protection requirements. We pursue our findings on a Homecare OCT device that is intended to be used by elderly patients on a daily basis, by taking images of their eyes and sending them for further analysis to a cloud- and AI-based system. The patient’s ophthalmologist gets notified for further dedicated treatment depending on the result. To perform the risk management, we describe (i) the architecture of the homecare system, (ii) analyze its data flow, (iii) discuss several vectors of attack, and (iv) propose ways to mitigate the risks. © 2022 Copyright for this paper by its authors.

关键词： Risk management

来源：评论

学校读者我要写书评

暂无评论

A Case Study on Data Protection for a Cloud- and AI-Based Homecare Medical Device 43rd

A Case Study on Data Protection for a Cloud- and AI-Based...

引用

43rd International Conference on Application and Theory of Petri Nets and Concurrency , Petri Nets 2022

作者： Bende, Philipp Vovk, Olga Caraveo, David Pechmann, Ludwig Leucker, Martin Institute for Software Engineering and Programming Languages University of Lübeck Lübeck Germany School of Information Technologies Department of Health Technologies Tallinn University of Technology Tallinn Estonia UniTransferKlinik Lübeck GmbH Lübeck Germany

ISBN: (纸本)9783662681909

To improve the treatment of many diseases, continuous monitoring of the patient at home with the ability of doctors to interact with individual cases demands an increasing number of medical devices connected to the cloud. To support the doctor’s duties, such devices may benefit from AI-based diagnosis routines. In order for such devices to be approved and placed on the market, they need to comply with various legal, regulatory, economic, and social requirements. An integral part of these requirements is the protection of the patients’ data. In this paper, based on a current use case, we describe a workflow on how to identify risks and address their mitigations. To this end, we recall the relevant legal, regulatory, economic, and social data protection requirements. We pursue our findings on a Homecare OCT device that is intended to be used by elderly patients on a daily basis, by taking images of their eyes and sending them for further analysis to a cloud- and AI-based system. The patient’s ophthalmologist gets notified for further dedicated treatment depending on the result. We then compare the Homecare OCT device with a clinical OCT System in regard to various risks to patient data which arise when a medical system is used outside of a secure hospital environment. To perform the risk management, we describe (i) the architecture of both systems, (ii) analyze their data flow, (iii) discuss several vectors of attack, (iv) propose ways to mitigate the risks, and (v) discuss the handling of potential data breaches. © 2024, The Author(s), under exclusive license to Springer-Verlag GmbH, DE, part of Springer Nature.

关键词： Decision support systems

来源：评论

学校读者我要写书评

暂无评论

A Modeling Framework for the Development of Provably Secure E-Commerce Applications

A Modeling Framework for the Development of Provably Secure ...

引用

International Conference on software engineering Advances (ICSEA)

作者： Nina Moebius Dominik Haneberg Wolfgang Reif Gerhard Schellhorn Institute of Computer Science Department of Software Engineering and Programming Languages University of Augsburg Augsburg Germany

Developing security-critical applications is very difficult and the past has shown that many applications turned out to be erroneous after years of usage. For this reason it is desirable to have a sound methodology for developing security-critical e-commerce applications. We present an approach to model these applications with the Unified Modeling Language (UML) [1] extended by a UML profile to tailor our models to security applications. Our intent is to (semi-) automatically generate a formal specification suitable for verification as well as an implementation from the model. Therefore we offer a development method seamlessly integrating semi-formal and formal methods as well as the implementation. This is a significant advantage compared to other approaches not dealing with all aspects from abstract models down to code. Based on this approach we can prove security properties on the abstract protocol level as well as the correctness of the protocol implementation in Java with respect to the formal model using the refinement approach. In this paper we concentrate on the modeling with UML and some details regarding the transformation of this model into the formal specification. We illustrate our approach on an electronic payment system called Mondex [10]. Mondex has become famous for being the target of the first ITSEC evaluation of the highest level E6 which requires formal specification and verification.

关键词： Unified modeling language Object oriented modeling Formal specifications Java Application software Smart cards Communication system security Cryptographic protocols Computer science software engineering

来源：评论

学校读者我要写书评

暂无评论

Generating formal specifications for security-critical applications - A model-driven approach

Generating formal specifications for security-critical appli...

引用

International Workshop on software engineering for Secure Systems (SESS)

作者： Nina Moebius Kurt Stenzel Wolfgang Reif Department of Software Engineering and Programming Languages Institute of Computer Science University of Augsburg Augsburg Germany

ISBN: (纸本)9781424437252

The SecureMDD approach aims to generate both, a formal specification for verification and executable code, from UML diagrams. The UML models define the static as well as dynamic components of the system under development. This model-driven approach is focused on security-critical applications that are based on cryptographic protocols, especially Java Card applications. In this paper we describe the generation of the formal specification from the UML model which is then used as input for our interactive verification system KIV. The formal specification is based on abstract state machines and algebraic specifications. It allows to formulate and to prove application-specific security properties.

关键词： Formal specifications Object oriented modeling Unified modeling language Cryptographic protocols Java Security Application software software engineering Computer languages Computer science

来源：评论

学校读者我要写书评

暂无评论

Runtime verification and reflection for wireless sensor networks

Runtime verification and reflection for wireless sensor netw...

引用

International Workshop on software engineering for Sensor Network Applications (SESENA)

作者： Stefan Fischer Martin Leucker Telematics Institute University of Lübeck Germany Institute for Software Engineering and Programming Languages University of Lübeck Germany

ISBN: (纸本)9781467362689

The paper proposes to re-visit a light-weight verification technique called runtime verification in the context of wireless sensor networks. The authors believe that especially an extension of runtime verification which is called runtime reflection and which is not only able to detect faults, but diagnose and even repair them, can be an important step towards robust, self-organizing and self-healing WSNs. They present the basic idea of runtime reflection and possible applications.

关键词： Runtime Wireless sensor networks Monitoring Maintenance engineering Testing software

来源：评论

学校读者我要写书评

暂无评论

Monitoring as a service for networked medical cyber-physical systems

Monitoring as a service for networked medical cyber-physical...

引用

Annual Conference of Industrial Electronics Society

作者： Franziska Kühn Daniel Thoma Dennis Labitzke Stefan Fischer Institute of Telematics University of Lübeck Germany Institute for Software Engineering and Programming Languages University of Lübeck Germany

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

来源：评论

学校读者我要写书评

暂无评论

Runtime Verification of Autonomous Systems Utilizing Digital Twins as a Service 5

Runtime Verification of Autonomous Systems Utilizing Digital...

引用

5th IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, ACSOS-C 2024

作者： Kristensen, Morten Haahr Bonizzi, Alberto Gomes, Claudio Hansen, Simon Thrane Isasa, Carlos Iven, Hannes Kamburjan, Eduard Larsen, Peter Gorm Leucker, Martin Talasila, Prasad Tang, Valdemar Trojgard Tonetta, Stefano Vosteen, Lars B. Wright, Thomas Aarhus University Department of Electrical and Computer Engineering Denmark Fondazione Bruno Kessler Italy University of Luxembourg Interdisciplinary Centre for Security Reliability and Trust Luxembourg Institute for Software Engineering and Programming Languages Universität zu Lübeck Germany University of Oslo Department of Informatics Norway

ISBN: (纸本)9798350389760

Autonomous Systems (AS) enable systems to adapt to drastic and unprecedented environmental changes, a capability that can be enhanced through the utilization of Digital Twins (DTs). However, the additional capabilities of AS come at the cost of explainability, as the expanding adaptation space complicates the reasoning about the system's behavior. For certain types of systems, it is crucial to ensure that specific properties are upheld despite the system's autonomous behavior. To facilitate the monitoring of these properties, we propose the use of Runtime Verification (RV). This tutorial demonstrates the integration of RV tools into the Digital Twins as a Service (DTaaS) platform to monitor and verify the behavior of AS in real-time. By exploring various methods to incorporate RV tools within a DT context, the tutorial aims to advance the application of RV technologies in autonomic computing and self-adaptive system design. Specifically, we demonstrate how the behavior of a self-configuring DT can be verified utilizing RV. This is accomplished through the DTaaS platform, which supports seamless deployment of DT-based AS. © 2024 IEEE.

关键词： Adaptive systems

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共9页 << < 1 2 3 4 5 6 7 8 9 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：