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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

89 篇 会议
38 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

72 篇 工学
- 46 篇 计算机科学与技术...
- 29 篇 软件工程
- 15 篇 控制科学与工程
- 9 篇 电子科学与技术（可...
- 9 篇 信息与通信工程
- 9 篇 航空宇航科学与技...
- 8 篇 电气工程
- 7 篇 土木工程
- 6 篇 机械工程
- 5 篇 交通运输工程
- 5 篇 生物工程
- 5 篇 安全科学与工程
- 4 篇 材料科学与工程（可...
- 4 篇 动力工程及工程热...
- 4 篇 建筑学
- 4 篇 船舶与海洋工程
- 3 篇 生物医学工程（可授...
41 篇 理学
- 16 篇 数学
- 10 篇 物理学
- 7 篇 系统科学
- 5 篇 生物学
- 4 篇 化学
- 4 篇 海洋科学
- 4 篇 统计学（可授理学、...
- 2 篇 地质学
24 篇 管理学
- 20 篇 管理科学与工程(可...
- 5 篇 工商管理
5 篇 医学
- 4 篇 临床医学
- 3 篇 基础医学(可授医学...
2 篇 法学
- 2 篇 社会学
1 篇 经济学
1 篇 教育学

主题

6 篇 software
4 篇 software enginee...
4 篇 testing
4 篇 data models
3 篇 embedded systems
3 篇 servers
3 篇 computational mo...
3 篇 middleware
3 篇 aerospace electr...
3 篇 unified modeling...
3 篇 robustness
3 篇 engines
2 篇 tools
2 篇 runtime
2 篇 airplanes
2 篇 libraries
2 篇 programming
2 篇 peer to peer com...
2 篇 application soft...
2 篇 modeling languag...

机构

5 篇 school of softwa...
3 篇 system and softw...
3 篇 system and softw...
2 篇 school of mathem...
2 篇 graduate school ...
2 篇 software enginee...
2 篇 department of ps...
2 篇 department of me...
2 篇 product lifecycl...
2 篇 computer science...
2 篇 informatics inst...
2 篇 school of softwa...
2 篇 innovative softw...
2 篇 idis research gr...
2 篇 system and techn...
2 篇 software system ...
2 篇 software enginee...
2 篇 digital factory ...
2 篇 sensor and syste...
2 篇 soft computing a...

作者

6 篇 armin zimmermann
5 篇 zimmermann armin
4 篇 ralph maschotta
4 篇 hong min
3 篇 tutut herawan
3 篇 oliver hummel
3 篇 sven jager
3 篇 stefan burger
3 篇 giese holger
3 篇 tino jungebloud
2 篇 nishimura hideka...
2 篇 zhihua wei
2 篇 zhenhua dong
2 篇 weixiong rao
2 篇 ingham michel d.
2 篇 gong su
2 篇 an lei
2 篇 hummel oliver
2 篇 enzhong wang
2 篇 burger stefan

语言

123 篇 英文
2 篇 其他
2 篇 中文
1 篇 德文

检索条件"机构=System Software and Software Engineering Group"

共 127 条记录，以下是21-30 订阅

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

详细简洁

排序：

Modeling and evaluation of stochastic Petri nets with TimeNET 4.1

Modeling and evaluation of stochastic Petri nets with TimeNE...

引用

International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS)

作者： Armin Zimmermann System and Software Engineering Group Ilmenau University of Technology Ilmenau Germany

The paper presents a major update of the software tool TimeNET, a package for the modeling and performance evaluation of standard and colored stochastic Petri nets. Among its main characteristics are simulation and analysis modules for stationary and transient evaluation of Petri nets including non-exponentially distributed delays, as well as an efficient simulation module for complex colored models. An overview of the tool is given as well as a description of the new features, which are demonstrated using a manufacturing system application example. The tool is available free of charge for non-commercial use.

关键词： Analytical models Graphical user interfaces Monitoring Biomedical monitoring Adaptation models

来源：评论

学校读者我要写书评

暂无评论

A simulation-based system design tool for avionic fiber-optical networks

A simulation-based system design tool for avionic fiber-opti...

引用

Annual IEEE systems Conference

作者： Sven Jäger Armin Zimmermann Ralph Maschotta System and Software Engineering Group Ilmenau University of Technology Ilmenau Germany

Model-based analysis and validation using simulation is a helpful tool in the engineering of complex systems. This paper presents a tool chain for the model-based architectural design of avionic fiber-optic networks. A recently proposed framework for simulation-based domain-specific tools is the basis for the development. It supports a model-based design workflow and offers a new 3D graphical user interface for location-based configuration and result visualization of the underlying simulation tool. The benefits of the tool are validated with an application example, in which different topologies for avionic fiber-optical networks are evaluated and compared.

关键词： Network topology Topology Solid modeling Aerospace electronics Unified modeling language Three-dimensional displays Data models

来源：评论

学校读者我要写书评

暂无评论

A Cross-Company Architecture for Cyber-Physical Production systems and its Industrial Use 64

A Cross-Company Architecture for Cyber-Physical Production S...

引用

2023 IEEE 64th International Scientific Conference on Information Technology and Management Science of Riga Technical University, ITMS 2023

作者： Meyer, Friedrich Benisch, Michael F. Baueregger, Florian Zimmermann, Armin R&d System Software Rohde & Schwarz GmbH & Co. Kg Teisnach Germany Deggendorf Germany Digital Factory Rohde & Schwarz GmbH & Co. Kg Teisnach Germany Systems and Software Engineering Group Technische Universität Ilmenau Ilmenau Germany

ISBN: (纸本)9798350370294

Cyber-physical systems are expected to be an enabler for better control of production systems. They require a combination of heterogeneous sensors and systems processing data from various sources. We present an architecture for cyber-physical production systems for cross-company sensor integration, ensuring the necessary data safety. Its design targets generalizability and performance. A real-life industrial application in the area of optical components polishing demonstrates the benefits. © 2023 IEEE.

关键词： Data handling

来源：评论

学校读者我要写书评

暂无评论

Cognitive science based scheduling in grid environment

Advances in Intelligent Systems and Computing

引用

Advances in Intelligent systems and Computing 2015年 330卷 199-203页

作者： Iswarya, N.D. Mohamed, M. A. Maluk Vijaya, N. Software System Group Dept of CSE MAM College of Engineering TiruchirappalliTamil Nadu India Software System Group M.A.M college of engineering TiruchirappalliTamil Nadu India

来源：评论

学校读者我要写书评

暂无评论

Towards runtime testing in automotive embedded systems

Towards runtime testing in automotive embedded systems

引用

IEEE International Symposium on Industrial Embedded systems

作者： Bradatsch, C. Ungerer, T. Zalman, R. Lajtkep, A. Systems and Networking Department of Computer Science University of Augsburg 86159 Augsburg Germany Automotive Electronics Microcontroller Development System and Software Engineering Infineon Technologies AG 75579 Neubiberg Germany Electrics/Electronics and Driver Environment Platform Technologies Software and AUTOSAR BMW Group 80788 Munich Germany

ISBN: (纸本)9781612848204

Runtime testing is a common way to detect faults during normal system operation. To achieve a specific diagnostic coverage runtime testing is also used in safety critical, automotive embedded systems. In this paper we propose a test architecture to consolidate the hardware resource consumption and timing needs of runtime tests and of application and system tasks in a hard real-time embedded system as applied to the automotive domain. Special emphasis is put to timing requirements of embedded systems with respect to hard real-time and concurrent hardware resource accesses of runtime tests and tasks running on the target system. © 2011 IEEE.

关键词： Embedded systems

来源：评论

学校读者我要写书评

暂无评论

Guaranteeing the continuous and high available stream service in clustered media servers

Guaranteeing the continuous and high available stream servic...

引用

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA'04

作者： Jung, Sung-In Cho, IL-Hyun Lee, Cheol-Hoon Internet Server Group Electron. and Telecom. Res. Inst. Daejon Korea Republic of System Software Laboratory Department of Computer Engineering Chungnam National University Daejon Korea Republic of

ISBN: (纸本)1932415262

The stream contents services are becoming more popular due to the growth of high-speed network technology and client devices such as set-top-box and HDTV. Thus, we should prepare the contents streaming media servers supporting service availability in order to guarantee continuous service on the event of system failures or temporary network disconnections. In this paper, we propose LSS (Log Stream Status) and RRD (Ready Resource for instant Delivery) mechanisms. Although these mechanisms required additional operations, we found that they could be applied to clustered media servers with minimum overhead. Additionally, these mechanisms helped service availability up.

关键词： Acoustic streaming

来源：评论

学校读者我要写书评

暂无评论

A Framework for Agile Development of Simulation-Based system Design Tools

A Framework for Agile Development of Simulation-Based System...

引用

IEEE International systems Conference

作者： Ralph Maschotta Sven Jager Tino Jungebloud Armin Zimmermann System and Software Engineering Group Faculty of Computer Science and Automation Ilmenau University of Technology

ISBN: (纸本)9781467331074

Analysis and validation using simulation is a helpful tool in systems engineering, but requires in-depth knowledge of various aspects of the system itself, the used model class(es), an appropriate software tool, and sometimes software engineering. Usually, this expertise is spread over a number of team members, and thus the development of a simulation-based system design tool is not a simple task. This paper presents a framework enabling the rapid development of extensible and reusable simulation-based applications. It supports an agile, iterative, evolutionary, and architecture-centric software development process. The design of the framework together with its components as well as the corresponding software development process is described. As an example, an environment for the configuration and analysis of wireless sensor network applications in the aeronautic domain is presented, which has been designed and implemented based on the proposed environment.

关键词： Agile Development system Design Model Based systems engineering Validation MLDesigner Wireless Sensor Network Simulation system design Wireless sensor networks Frameworks EXPANDABLE software Tools PROCESS DEVELOPMENT software design computer software

来源：评论

学校读者我要写书评

暂无评论

MOF Compliant Fundamentals for Multi-Domain system Modeling and Simulation

MOF Compliant Fundamentals for Multi-Domain System Modeling ...

引用

IEEE International systems Conference

作者： Tino Jungebloud Sven Jager Ralph Maschotta Armin Zimmermann System and Software Engineering Group Faculty of Computer Science and Automation Ilmenau University of Technology

ISBN: (纸本)9781467331074

Modern software frameworks for Model-Based systems engineering (MBSE) methodologies are proprietary and commonly restricts to a poor choice of domain specific languages. Furthermore, the interoperablity and model interchange support between frameworks is a technically hard challenge. The industrial strength standard OMG MOF (Meta-Object Facility) is a solid approach for the definition of domain specific languages. Applying meta-modeling techniques to existing modeling and simulation frameworks reduces obscurity of proprietarity and implicitely language characteristics. On the other hand, standard compliance improves product openness/transparency, reliability and confidence as for primary modes of operation. This paper presents a methodology to incorporate methods of meta-modeling and standard compliant domain specific languages in an existing modeling and simulation framework. First results are emerged and exemplified for an effective modeling dialect called MML (MLDesigner Modeling Language). Future prospects reviews already accomplished goals in this project, address several alternatives and improvements and gives an overview of ongoing development.

关键词： Unified modeling language Computational modeling Grammar Educational institutions Standards Metamodeling

来源：评论

学校读者我要写书评

暂无评论

Model-Based QoS Evaluation for Embedded Wireless Sensor Networks

Model-Based QoS Evaluation for Embedded Wireless Sensor Netw...

引用

IEEE International systems Conference

作者： Sven Jager Tino Jungebloud Ralph Maschotta Armin Zimmermann System and Software Engineering Group Faculty of Computer Science and Automation Ilmenau University of Technology

ISBN: (纸本)9781467331074

Wireless sensor network technologies can be used for industrial embedded system design to save cabling cost and weight. However, their environment, architecture, and design issues are quite different from original sensor network applications. Simulation tools and system design environments have to be adapted to the special requirements, such as operational modes and phases which influence the system. This paper presents a more detailed wireless sensor network to check against the application requirements concerning QoS, reliability, and lifetime. An avionics application example is presented.

关键词： Wireless sensor networks Quality of service Embedded systems operational mode embedded system design Phase avionics embedding simulation tool Environments

来源：评论

学校读者我要写书评

暂无评论

M-DFCPP: A runtime library for multi-machine dataflow computing

M-DFCPP: A runtime library for multi-machine dataflow comput...

引用

作者： Luo, Qiuming Liu, Senhong Huang, Jinke Li, Jinrong College of Computer Science and Software Engineering Shenzhen University Shenzhen China SKT Group Guangdong Province Key Laboratory of Popular High-Performance Computers Shenzhen China SKT Group Guangdong Province Engineering Center of China-made High Performance Data Computing System Shenzhen China

This article designs and implements a runtime library for general dataflow programming, DFCPP (Luo Q, Huang J, Li J, Du Z. Proceedings of the 52nd International Conference on Parallel Processing Workshops. ACM;2023:145-152.), and builds upon it to design and implement a multi-machine C++ dataflow library, M-DFCPP. In comparison to existing dataflow programming environments, DFCPP features a user-friendly interface and richer expressive capabilities (Luo Q, Huang J, Li J, Du Z. Proceedings of the 52nd International Conference on Parallel Processing Workshops. ACM;2023:145-152.), enabling the representation of various types of dataflow actor tasks (static, dynamic and conditional task). Besides that, DFCPP addresses the memory management and task scheduling for non-uniform memory access architectures, while other dataflow libraries lack attention to these issues. M-DFCPP extends the capability of current dataflow runtime libraries (DFCPP, taskflow, openstream, etc.) and capable of multi-machine computing, while maintains the API compatible with DFCPP. M-DFCPP adopts the concepts of master and follower (Dean J, Ghemawat S. Commun ACM. 2008;51(1):107-113;Ghemawat S, Gobioff H, Leung ST. ACM SIGOPS Operating systems Review. ACM;2003:29-43.), which form a worksharing framework as many multi-machine system. To shift to the M-DFCPP framework, a filtering layer is inserted to the original DFCPP, transforming it into followers that can cooperate with each other. The master is made of modules for scheduling, data processing, graph partition, state management and so forth. In benchmark tests with workload with directed acyclic graph topology of binary trees and random graphs, DFCPP demonstrated performance improvements of 20% and 8%, respectively, compared to the second fastest library. M-DFCPP consistently exhibits outstanding performance across varying levels of concurrency and task workloads, achieving a maximum speedup of more than 20 over DFCPP, when the task parallelism e

关键词： Libraries

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：