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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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

分类表

所选分类

>> <<

限定检索结果

文献类型

2,732 篇 会议
1,004 篇 期刊文献
116 册 图书

馆藏范围

3,852 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

2,168 篇 工学
- 1,606 篇 计算机科学与技术...
- 1,300 篇 软件工程
- 365 篇 控制科学与工程
- 333 篇 信息与通信工程
- 194 篇 电气工程
- 167 篇 生物工程
- 153 篇 机械工程
- 126 篇 安全科学与工程
- 125 篇 生物医学工程（可授...
- 113 篇 电子科学与技术（可...
- 82 篇 化学工程与技术
- 80 篇 建筑学
- 76 篇 土木工程
- 73 篇 光学工程
- 69 篇 材料科学与工程（可...
- 69 篇 交通运输工程
861 篇 理学
- 463 篇 数学
- 179 篇 生物学
- 169 篇 物理学
- 167 篇 系统科学
- 131 篇 统计学（可授理学、...
- 84 篇 化学
686 篇 管理学
- 512 篇 管理科学与工程(可...
- 267 篇 工商管理
- 225 篇 图书情报与档案管...
126 篇 医学
- 121 篇 临床医学
- 106 篇 基础医学(可授医学...
- 68 篇 药学(可授医学、理...
93 篇 经济学
- 92 篇 应用经济学
82 篇 法学
- 72 篇 社会学
53 篇 教育学
31 篇 农学
5 篇 文学
5 篇 军事学
5 篇 艺术学

主题

337 篇 software enginee...
150 篇 software systems
139 篇 software
106 篇 systems engineer...
105 篇 computer archite...
104 篇 application soft...
78 篇 programming
74 篇 costs
71 篇 computer science
66 篇 machine learning
63 篇 data mining
63 篇 testing
59 篇 software design
56 篇 artificial intel...
55 篇 software archite...
55 篇 training
54 篇 automation
53 篇 conferences
53 篇 computational mo...
53 篇 security

机构

92 篇 fraunhofer insti...
91 篇 fraunhofer insti...
33 篇 hasso plattner i...
32 篇 fraunhofer insti...
31 篇 institute for so...
29 篇 institute for so...
27 篇 fraunhofer insti...
26 篇 fraunhofer insti...
23 篇 max planck insti...
23 篇 institute for so...
20 篇 institute for so...
19 篇 university of ch...
19 篇 state key labora...
19 篇 institute of sof...
17 篇 college of compu...
17 篇 software enginee...
17 篇 fraunhofer insti...
17 篇 fraunhofer insti...
17 篇 hasso-plattner i...
17 篇 max planck insti...

作者

62 篇 wolfgang reif
55 篇 reif wolfgang
36 篇 rausch andreas
24 篇 biswas gautam
22 篇 alwin hoffmann
20 篇 xenofon koutsouk...
19 篇 hoffmann alwin
18 篇 andreas rausch
17 篇 alexander egyed
17 篇 giese holger
16 篇 jens knodel
16 篇 egyed alexander
15 篇 biffl stefan
15 篇 alexander zeier
15 篇 gautam biswas
15 篇 jedlitschka andr...
14 篇 schaefer ina
14 篇 steghöfer jan-ph...
14 篇 veera boonjing
14 篇 grünbacher paul

语言

3,505 篇 英文
308 篇 其他
33 篇 中文
7 篇 德文
3 篇 葡萄牙文
1 篇 日文
1 篇 斯洛文尼亚文

检索条件"机构=Fraunhofer-Institute for Software Engineering and Systems Engineering"

共 3852 条记录，以下是331-340 订阅

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

详细简洁

排序：

MOBILITY DATA PRODUCTS FOR SMART CITY ECOsystems - A GREENHOUSE GAS BALANCING CASE STUDY 16

MOBILITY DATA PRODUCTS FOR SMART CITY ECOSYSTEMS - A GREENHO...

引用

16th International Conference on Computer Graphics, Visualization, Computer Vision and Image Processing, CGVCVIP 2022, 8th International Conference on Connected Smart Cities, CSC 2022, 7th International Conference on Big Data Analytics, Data Mining and Computational Intelligence, BigDaCI 2022, and 11th International Conference on Theory and Practice in Modern Computing, TPMC 2022 - Held at the 16th Multi Conference on Computer Science and Information systems, MCCSIS 2022

作者： Sautter, Johannes Lis, Dominik Kräck, Jan Helsper, Andreas Erlenhardt, Kai Schnieders, Fabienne Lambrecht, Udo Fraunhofer Institute for Industrial Engineering IAO Nobelstr. 12 Stuttgart70569 Germany Fraunhofer Institute for Software and Systems Engineering ISST Emil-Figge-Str. 91 Dortmund44227 Germany Wilckensstr. 3 Heidelberg69120 Germany Municipality of Wuppertal Johannes-Rau-Platz 1 Wuppertal42275 Germany Municipality of Solingen Walter-Scheel-Platz 1 Solingen42651 Germany

ISBN: (纸本)9789898704429

Smart cities need high-quality data products in order to shape societal challenges such as the transformation of transportation and mobility. Trusted Data intermediary concepts are an important tool for enabling the sharing of data via standardized interfaces and ensuring trust and data quality. The ecosystem of a smart city comprises numerous organizations and extends far beyond the city's own boundaries, especially with regard to data products. Based on related work, this paper elaborates key terms of a data intermediary ecosystem concept that is planned to be applied at the interface between smart city and mobility on the one hand, and between municipalities and their municipal companies, science and industry on the other. The nucleus for this eco-system is the Klingenstadt Solingen in Germany that serves as a case study to explore ecosystem data governance concepts. © MCCSIS *** rights reserved.

关键词： Ecosystems

来源：评论

学校读者我要写书评

暂无评论

Interface Protection Against Transient Faults

Interface Protection Against Transient Faults

引用

IEEE Design and Diagnostics of Electronic Circuits and systems (DDECS)

作者： Ján Mach Lukáš Kohútka Pavel Čičák Institute of Computer Engineering and Applied Informatics Slovak University of Technology Bratislava Slovakia Institute of Informatics Information Systems and Software Engineering Slovak University of Technology Bratislava Slovakia

Increasing bus frequency to fulfill the performance requirements of dependable applications may increase the susceptibility of the system to transient faults. This paper describes an integration of protection against transient bus faults into the interface of the Hardisc RISC-V core. The protection is based on information redundancy with spatial redundancy features. It enables uninterrupted execution in the presence of transient faults and provides a hardware-software interface for its reporting. The benchmarking results indicate that most of the applications will be impacted minimally. The protection has a negligible impact on the maximal frequency and 8% area and power consumption overhead.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Influence of Structural Units on Vulnerability of systems with Distinct Protection Approaches

Influence of Structural Units on Vulnerability of Systems wi...

引用

Euromicro Symposium on Digital System Design

作者： Ján Mach Lukáš Kohútka Pavel Čičak Institute of Computer Engineering and Applied Informatics Slovak University of Technology Bratislava Slovakia Institute of Informatics Information Systems and Software Engineering Slovak University of Technology Bratislava Slovakia

ISBN: (数字)9798350380385

ISBN: (纸本)9798350380392

Mission/safety-critical applications rely on the dependability of their semiconductor control systems. The lockstepping is state-of-the-art when it comes to their protection. This paper compares the dual/triple lockstep systems with the Hardisc, which features microarchitecture-level protection. For a fair comparison, each system is based on the same architecture and integrates protection against bit-flips in memory and transient faults in the bus. We analyse how individual structures of the system affect the vulnerability of a system to faults. Our fault injection methodology combines pre-synthesis simulation with synthesis data to scale the fault rate of the structures according to their size. The results show that the Hardisc can withstand fault rates orders of magnitude higher than the dual-core lockstep system while preserving the same area and power consumption. It comes with a 5% frequency penalty. The pipeline logic has the most significant impact on the vulnerability of the lockstep system. On the other hand, the ECC-protected register file constraints the maximum failure rate the Hardisc can withstand due to fault accumulation during specific program sections.

关键词： Fault tolerance Power demand Microarchitecture Digital systems Pipelines Fault tolerant systems Registers Logic Protection Transient analysis

来源：评论

学校读者我要写书评

暂无评论

Lockstep Vs Microarchitecture: A Comparison

Lockstep Vs Microarchitecture: A Comparison

引用

IEEE International SOC Conference

ISBN: (数字)9798350377569

ISBN: (纸本)9798350377576

Safety/mission-critical applications require high dependability of the control systems. Their state-of-the-art protection approach is a system-level lockstep. This paper compares the system-level dual and triple lockstep technique to the microarchitecture-level protection of the Hardisc RISC-V core. For a fair comparison, each system is based on the same core(s) and integrates protection against bit-flips in memory and transient faults in the bus. We propose a fault injection methodology, combining pre-synthesis simulation with synthesis data to analyse the vulnerability of a system to faults. The fault injection campaigns show that the Hardisc can withstand fault rates orders of magnitude higher than the dual-core lockstep system while preserving the same area and power consumption. It comes with a 5% frequency penalty. We have shown that system failures are more frequent once the fault rate reaches an application-specific threshold (one fault in 100 clock cycles).

关键词： Fault tolerance Microarchitecture Power demand Event detection Fault tolerant systems Registers System-on-chip Protection Transient analysis Clocks

来源：评论

学校读者我要写书评

暂无评论

Left and Right Lung-Specific Method of Segmentation in Chest Radiographs

Left and Right Lung-Specific Method of Segmentation in Chest...

引用

Applications of Machine Learning 2024

作者： Marsh, John J. Narayanan, Barath Narayanan Hardie, Russell C. Electrical and Computer Engineering Department University of Dayton 300 College Park DaytonOH45469 United States Sensor and Software Systems Division University of Dayton Research Institute 300 College Park DaytonOH45469 United States

ISBN: (纸本)9781510679368

Lung segmentation supports essential functionality within the realm of computer-aided detection and diagnosis using chest radiographs. In this research, we present a novel bifurcation approach of segmenting the lungs by separating them down the spinal column and having separate networks for the right and the left lungs respectively. Results from the right lung and left lung networks are then merged to form the overall lung. We utilize DeepLabV3+ network with ResNet50 as the backbone for both left and right lung networks. Results are presented for publicly available datasets such as Shenzhen Dataset and Japanese Society of Radiological Technology (JSRT) dataset. Our proposed bifurcation approach achieved an overall accuracy of 98.8% and an IoU (Intersection over Union) of 0.977 for a set of 100 cases in Shenzhen dataset. We conducted an additional robustness study of this method by training and testing on an independent dataset utilizing a hold-out methodology. We utilize a private dataset for the training and testing occurs on an independent JSRT dataset comprising 140 cases and our algorithm achieved an overall IoU of 0.945 thereby demonstrating its efficacy against other whole lung models and setting a new benchmark for future research works. © 2024 SPIE.

关键词： Image segmentation

来源：评论

学校读者我要写书评

暂无评论

Data spaces as enablers for sustainability

Data spaces as enablers for sustainability

引用

2023 Designing Futures: Zukunfte gestalten, INFORMATIK 2023 - 2023 Designing Futures: Shaping the Future, INFORMATIK 2023

作者： Hoppe, Christoph Schmelzer, Robert Möller, Frederik Schoormann, Thorsten Fraunhofer Institute for Software and Systems Engineering Industrial Manufacturing Speicherstraße 6 Dortmund44147 Germany Technische Universität Chemnitz Business Informatics Straße der Nationen 62 Chemnitz09111 Germany Technische Universität Braunschweig Institute for Business Informatics Rebenring 58a Braunschweig38106 Germany Universität Hildesheim Department for Information Systems Samelsonplatz Hildesheim31141 Germany

ISBN: (纸本)9783885797319

One of our society's most fundamental challenges is promoting sustainable development. Data sharing across organizations is one way to spur innovation and address the Sustainable Development Goals (SDGs) through optimizing resource utilization, fostering circular supply chains, and producing accurate information about CO2 emissions. However, organizations often hesitate to share data given a range of concerns, including the fear of data misappropriation or the lack of control over what others do with their data. Data spaces as a novel artifact seek to tackle these issues by providing an integrated data management approach upholding data sovereignty. These spaces can boost sustainable development by being a secure and trusted digital infrastructure for organizations to share data for sustainable purposes. To disclose how this digital solution fosters sustainability, we present a set of 65 potentials of data spaces along with the dimensions of ecological, economic, and social sustainability. © 2023 Gesellschaft fur Informatik (GI). All rights reserved.

关键词： Sustainable development

来源：评论

学校读者我要写书评

暂无评论

Development of a Statistical Analyzer to Identify Malicious Code in Information systems

Development of a Statistical Analyzer to Identify Malicious ...

引用

International Russian Smart Industry Conference (SmartIndustryCon)

作者： Aung Kyaw Myo Evgeni M. Portnov Alexey R. Fedorov Institute of Systems and Software Engineering and Information Technology National Research University of Electronic Technology (MIET) Zelenograd Moscow Russia

ISBN: (数字)9798331511241

ISBN: (纸本)9798331511258

Currently, the search for malicious code in information systems is relevant. The analysis showed that existing static analyzers detect vulnerabilities in the code, but not malicious code, as a result of which it was decided to create a new static analyzer with zero false positives, which will not only search for malicious code, but also indicate its location. A formalized representation of the task of detecting malicious code based on static analysis using set theory based on the introduction of a function that matches each element with a maliciousness factor is proposed. A technique for detecting malicious code in the source code based on lexical, semantic and static analysis has been developed. An experimental study has shown that the accuracy of detecting malicious code has increased by three percent, and the F1 measure - by five percent, compared to the best similar tool, which indicates a more effective performance of the task of detecting malicious code by the developed algorithm compared to analogs.

关键词： Measurement Accuracy Source coding Semantics Static analysis Syntactics Set theory Malware Libraries Information systems

来源：评论

学校读者我要写书评

暂无评论

Stochastic MPC with Situation-Aware Dynamic Risk Assessment for Autonomous Driving

Stochastic MPC with Situation-Aware Dynamic Risk Assessment ...

引用

International Conference on Intelligent Transportation

作者： Jonas Ulmen Marc Wellstein Christoph Mark Ganesh Sundaram Daniel Görges Jan Reich University of Kaiserslautern-Landau Kaiserslautern Germany Fraunhofer Institute for Experimental Software Engineering IESE Kaiserslautern Germany

In this paper, we propose a novel interplay between stochastic model predictive control and situation-aware dynamic risk assessment (SINADRA) for autonomous driving. With the help of SINADRA a Bayesian network is engineered which infers a probabilistic behavior classification for a surrounding actor. This classification is considered in the chance constraints of the model predictive controller (MPC). The MPC can guarantee no constraint violations up to a chosen probability. If a constraint violation occurs, the system is handled by an emergency braking assistant (EBA) ensuring the safety of the overall system. The approach of combining MPC with SINADRA results in a less conservative driving behavior while not introducing additional safety violations. The probability of interference by the EBA can be used as a design parameter, that can be tuned by the manufacturer or possibly by the end-consumer through a safe interface.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Specification Completion for Sustainable software Development via Sustainability-Driven Mining

Specification Completion for Sustainable Software Developmen...

引用

International Workshop on Green and Sustainable software (GREENS)

作者： Mohamed Toufik Ailane Carolin Rubner Andreas Rausch Siemens Foundational Technologies Siemens AG Erlangen Germany Institute for Software and Systems Engineering Clausthal University of Technology Germany

ISBN: (数字)9798331538156

ISBN: (纸本)9798331538163

In an era where digital transformation intersects with environmental sustainability, the software development industry must integrate practices that minimize ecological impacts. This paper proposes a comprehensive framework for specification completion through specification mining, aimed at embedding sustainability into software development processes. Utilizing an Extended Abstraction Refinement Model (EARM), we enhance the DevOps lifecycle by mapping observed behavior to development artifacts, ensuring sustainability metrics are accessible and actionable for stakeholders such as requirements engineers, software architects, and developers. Our approach leverages emergent behavior analysis to identify sustainability impacts that manifest during runtime, enabling targeted, energy-efficient interventions without incurring the rebound effect of exhaustive evaluations. By incorporating natural language processing (NLP) techniques for automated specification mapping, the framework refines software models iteratively, integrating real-world sustainability insights. This methodology supports the reduction of the carbon footprint in software products while preserving performance and quality, contributing to the alignment of software engineering with global sustainability objectives.

关键词： Measurement DevOps Runtime Biological system modeling Green products software Natural language processing Data mining Stakeholders Sustainable development

来源：评论

学校读者我要写书评

暂无评论

Towards Digital Twining of Lithium-ion Battery Management systems: An Extended Kalman Filter for State-of-Charge Estimation in Cloud-platform

Towards Digital Twining of Lithium-ion Battery Management Sy...

引用

2023 IEEE Energy Conversion Congress and Exposition, ECCE 2023

作者： Karnehm, Dominic Anekal, Latha Samanta, Akash Neve, Antje Williamson, Sheldon Bundeswehr University Munich Institute of Intelligent Distributed Systems Neubiberg Germany Ontario Tech University Electrical Computer and Software Engineering ONL1G 0C5 Canada

ISBN: (纸本)9798350316445

In practice, extended Kalman filter (EKF) is one of the most popular lithium-ion battery (LIB) state of charge (SOC) estimation algorithms in electric vehicles onboard battery management system (BMS). With the increasing necessity of off-loading the computational burden and data storage capacity of onboard BMS, the application of battery digital twin and cloud-BMS are getting popularity. Therefore, to assess the performance of EKF in terms of accuracy, the computational time, and overall request and execution time, an EKF-based SOC estimation method is developed in the cloud platform of Amazon Web Services (AWS). For a specific battery test data set, the cloud-based EKF demonstrated a mean absolute error of 0.00226 and a request time of 0.028s that are highly satisfactory towards developing a digital twin enabled cloud-based BMS. © 2023 IEEE.

关键词： cloud Computing computational cost electric vehicles intelligent state estimation transportation electrification

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共386页 << < 30 31 32 33 34 35 36 37 38 39 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：