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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 条记录，以下是51-60 订阅

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

详细简洁

排序：

Application-level security for ROS-based applications

Application-level security for ROS-based applications

引用

IEEE/RSJ International Conference on Intelligent Robots and systems

作者： Bernhard Dieber Severin Kacianka Stefan Rass Peter Schartner ROBOTICS institute at JOANNEUM RESEARCH Austria Software Engineering Group at the Technical University of Munich Germany System Security Group in the Institute of Applied Informatics at the Alpen-Adria-University Klagenfurt Austria

ISBN: (纸本)9781509037636

While the topic of security in industrial applications has gained some momentum in recent years, there are still severe security vulnerabilities which are actively exploited for attacks. The robot operating system (ROS) is expected to further grow in usage and to be used in many industrial applications. Analysis, however, shows that it lacks several security enhancements in order to make it suitable for industrial use. In its current state, false data and commands can be injected posing a possible safety risk for the resulting product and humans in the production. In addition, data may be eavesdropped and used by outsiders to gain insight into the production process. In this paper we propose a security architecture intended for use on top of ROS on the application level. We use a dedicated authorization server to ensure that only valid nodes are part of the application. Cryptographic methods ensure data confidentiality and integrity. We show in a demonstration with a collaborative robot how our architecture can be used to secure a ROS-based application.

关键词： Cryptography Authentication Production Digital signatures Service robots

来源：评论

学校读者我要写书评

暂无评论

Inter-data-center large-scale database replication optimization - A workload driven partitioning approach

Inter-data-center large-scale database replication optimizat...

引用

25th International Conference on Database and Expert systems Applications, DEXA 2014

作者： Min, Hong Gao, Zhen Li, Xiao Huang, Jie Jin, Yi Bourbonnais, Serge Zheng, Miao Fuh, Gene IBM T.J. Watson Research Center Yorktown Heights NY United States IBM Silicon Valley Lab San Jose CA United States School of Software Engineering Tongji University Shanghai China Pivotal Inc. Beijing China IBM System and Technology Group United States

ISBN: (纸本)9783319100845

Inter-data-center asynchronous middleware replication between active-active databases has become essential for achieving continuous business availability. Near real-time replication latency is expected despite intermittent peaks in transaction volumes. Database tables are divided for replication across multiple parallel replication consistency groups;each having a maximum throughput capacity, but doing so can break transaction integrity. It is often not known which tables can be updated by a common transaction. Independent replication also requires balancing resource utilization and latency objectives. Our work provides a method to optimize replication latencies, while minimizing transaction splits among a minimum of parallel replication consistency groups. We present a two-staged approach: a log-based workload discovery and analysis and a history-based database partitioning. The experimental results from a real banking batch workload and a benchmark OLTP workload demonstrate the effectiveness of our solution even for partitioning 1000s of database tables for very large workloads. © 2014 Springer International Publishing Switzerland.

关键词： Middleware

来源：评论

学校读者我要写书评

暂无评论

Developing Student Model Using Kohonen Network in Adaptive Hypermedia Learning system

Developing Student Model Using Kohonen Network in Adaptive H...

引用

International Conference on Intelligent systems Design and Applications (ISDA)

作者： Bariah Yusob Siti Mariyam Hj Shamsuddin Nor Bahiah Ahmad Faculty of Computer System & Software Engineering Universiti Malaysia Pahang Kuantan Pahang Malaysia Soft Computing Research Group Universiti Teknologi Malaysia Johor Malaysia

This paper presents a study on method to develop student model by identifying the students' characteristics in an adaptive hypermedia learning system. The study involves the use of student profiling techniques to identify the features that may be useful to help the researchers have a better understanding of the student in an adaptive learning environment. We propose a supervised Kohonen network with hexagonal lattice structure to classify the student into 3 categories: beginner, intermediate and advance to represent their knowledge level while using the learning system. An experiment is conducted to see the proposed Kohonen network's performances compared to the other types of Kohonen networks in term of learning algorithm and map structure. 10-fold cross validation method is used to validate the network performances. Results from the experiment shows that the proposed Kohonen network produces an average percentage of accuracy, 81.3889% in classifying the simulated data and 51.6129% when applied to the real student data.

关键词： Adaptive systems Learning systems Computer networks Educational technology Turing machines Lattices Intelligent systems Intelligent networks Application software software engineering

来源：评论

学校读者我要写书评

暂无评论

Event Indexing and Searching for High Volumes of Event Streams in the Cloud

Event Indexing and Searching for High Volumes of Event Strea...

引用

IEEE Annual International Computer software and Applications Conference (COMPSAC)

作者： Miao Wang Viliam Holub John Murphy Patrick O'Sullivan Performance Engineering Laboratory School of Computer Science and Informatics University College Dublin Ireland Collaboration Solutions System Test IBM Software Group Dublin Ireland

Deployed software applications use log files to keep a record of system events. Log analysis provides support for system administrators to gain the knowledge of system health and behavior. As a result, the ability to efficiently search for patterns in historical events has become a major requirement for timely analysis. Enterprise systems today produce high volumes of log data, regularly in the order of thousands of events per second, which requires to build inverted indexes for quick data retrieval. However, current inverted indexing techniques are rarely designed to handle high volumes of dynamic stream data and often resource consuming. We propose an efficient indexing solution, which reduces the necessary resources by employing bloom filter techniques. The solution builds a generic indexing engine for the Run Time Correlation Engine logging framework to achieve efficient monitoring in the Cloud. In particular, our solution is able to deliver significant performance improvement over existing indexing engines.

关键词： Silicon Indexing Engines Arrays Data analysis

来源：评论

学校读者我要写书评

暂无评论

Modeling and analysis of mobile cloud computing based on bigraph theory

Modeling and analysis of mobile cloud computing based on big...

引用

2nd IEEE International Conference on Mobile Cloud Computing, Services, and engineering, MobileCloud 2014

作者： Yu, Lian Tsai, Wei Tek Wei, Xin Gao, Jerry Hildebrandt, Thomas T. Guo, Xiao Qun School of Software and Microelectronics Peking University Beijing 102600 China School of Comp. Info. and Dec. Systems Engineering Arizona State University Tempe AZ 85287 United States Dept. of Computer Engineering College of Engineering San Jose State University San Jose CA United States Process and System Models Group IT University of Copenhagen Copenhagen Denmark

ISBN: (纸本)9781479925049

A mobile cloud is a cloud infrastructure connecting to mobile devices with a variety of applications (apps). This paper proposes utilizing bigraphical reaction systems (BRSs) to model and analyze a mobile cloud including its contexts such as mobile location, power consumption, network bandwidth, and latency. Simulations and evaluations are performed by matching the reaction rules of BRS with its current agent, on different usage scenarios of mobile cloud, to demonstrate the validity of the proposed methodology. © 2014 IEEE.

关键词： Mobile cloud computing

来源：评论

学校读者我要写书评

暂无评论

An assessment and analysis tool for statistical process control of software processes 7

An assessment and analysis tool for statistical process cont...

引用

7th International SPICE Conference on Process Assessment and Improvement, SPICE 2007

作者： Kirbaş, Serkan Tarhan, Ayça Demirörs, Onur Siemens Program and System Engineering Department ODTU Teknokent Silikon Blk No:21 Ankara06531 Turkey Bilgi Group Software Research Education and Consultancy Ltd ODTU Teknokent Gumus Blk No:3 Ankara06531 Turkey Informatics Institute Middle East Technical Universit AnkaraMM Kat:4 06531 Turkey

ISBN: (纸本)9788976416094

In software engineering domain, SPC is currently utilized only by organizations which have high maturity levels according to the process improvement models like ISO/IEC 15504 and CMMI. In this paper, we present a software tool that we developed to ease and enhance application of SPC especially for emergent organizations. Our tool has facilities to assess the suitability of software processes and metrics for SPC as well as to analyze a software process with respect to its qualifying metrics using SPC techniques like control charts, histograms, bar charts, and pareto charts. In this paper we explain the tool by means of a bug-fixing process of a system and software development organization.

关键词： Statistical process control

来源：评论

学校读者我要写书评

暂无评论

Towards runtime testing in automotive embedded systems

Towards runtime testing in automotive embedded systems

引用

International Symposium on Industrial Embedded systems

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

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.

关键词： Circuit faults Testing Runtime Hardware Safety Automotive engineering Embedded systems

来源：评论

学校读者我要写书评

暂无评论

Thermal/acoustic trade-off design for consumer electronics in a distributed design environment

Thermal/acoustic trade-off design for consumer electronics i...

引用

19th Annual International Symposium of the International Council on systems engineering, INCOSE 2009

作者： Seki, Kenichi Nishimura, Hidekazu Ishii, Kosuke Balmelli, Laurent Graduate School of System Design and Management Keio University 4-1-1 Hiyoshi Kouhoku-ku Yokohama Japan Department of Mechanical Engineering Stanford University Stanford CA 94305-4022 United States Product Lifecycle Management Solutions IBM Software Group United States Product Lifecycle Management Solutions Management Keio University Japan

ISBN: (纸本)9781615674398

Today's market demand for smaller, more powerful consumer electronics poses a major challenge to the rapid design of products. In addition, the ability to perform strategic coordination amongst different stakeholders within the enterprise increasingly becomes an important criterion to enable global engineering. We begin the paper with an introduction to a typical design process involving distributed design teams In particular the process allows the thermal-acoustic design of cavities, i.e. air space inside the enclosure, in terms of flow rate and acoustic radiation resistance. Then we proceed with the investigation of an approach leveraging recent modelling technology to support such a process efficiently. The process makes use of the system modelling language (SysML.) as product description support and the Design Structure Matrix as an analytical design tool. We use the model and the DSM as a means to drive numerical simulation and perform trade-off studies. Simulation results show that performing trade-off study in the early system design phase leads to a potentially optimal module layout for the problem studied. © 2009 SEKI, K Nishimura, H Balmelli, L.

关键词： Modeling languages

来源：评论

学校读者我要写书评

暂无评论

Model-Driven Runtime Resource Predictions for Advanced Mechatronic systems with Dynamic Data Structures

Model-Driven Runtime Resource Predictions for Advanced Mecha...

引用

International Symposium on Object-Oriented Real-Time Distributed Computing

作者： Stefan Henkler Simon Oberthür Holger Giese Andreas Seibel Software Engineering Group University of Paderborn Paderborn Germany Design of Distrib. Embedded Syst. Res. Group Univ. of Paderborn Paderborn Germany System Analysis and Modeling Group University of Potsdam Potsdam Germany

The next generation of advanced mechatronic systems is expected to enhance their functionality and improve their performance by context-dependent behavior. Therefore, these systems require to represent information about the complex environment and changing sets of collaboration partners internally. This requirement is in contrast to the usually assumed static structures for embedded systems. In this paper, we present a model-driven approach which overcomes this situation by supporting dynamic data structures while still guaranteeing that valid worst-case execution times can be derived. It supports a flexible resource management which avoids to operate with the prohibitive coarse worst-case boundaries but instead supports to run applications in different profiles which guarantee different resource requirements and put unused resources in a profile at other applications' disposal. By supporting the proper estimation of worst case execution time (WCET) and worst case number of iteration (WCNI) at runtime, we can further support to create new profiles, add or remove them at runtime in order to minimize the over-approximation of the resource consumption resulting from the dynamic data structures required for the outlined class of advanced systems.

关键词： Predictive models Runtime Mechatronics Data structures Embedded system Resource management Object oriented modeling Real time systems Object oriented programming Distributed computing

来源：评论

学校读者我要写书评

暂无评论

The behavior, constraint, and scenario (BeCoS) tool: A web-based software application for modeling behaviors and scenarios

The behavior, constraint, and scenario (BeCoS) tool: A web-b...

引用

AIAA Aerospace Sciences Meeting, 2018

作者： Kaderka, Justin D. Rozek, Matthew L. Arballo, John K. Wagner, David A. Ingham, Michel D. System Architectures and Behaviors Group Jet Propulsion Laboratory California Institute of Technology M/S 321-425P PasadenaCA91109 United States Flight System Systems Engineering Group Jet Propulsion Laboratory California Institute of Technology M/S 321-525E PasadenaCA91109 United States Structure of the Universe Group Jet Propulsion Laboratory California Institute of Technology M/S 169-327 PasadenaCA91109 United States System Architectures and Behaviors Group Jet Propulsion Laboratory California Institute of Technology M/S 301-445P PasadenaCA91109 United States Software and Information Systems Engineering Group Jet Propulsion Laboratory California Institute of Technology M/S 321-541 PasadenaCA91109 United States

ISBN: (数字)9781624105241

ISBN: (纸本)9781624105241

The Behavior, Constraint, and Scenario (BeCoS) tool has been developed to allow engineers to specify system and component behaviors. The tool is a web application that is developed in JavaScript and uses the React framework for the user interface and Redux for maintaining application state. The foundation of the tool is its underlying ontology, which expands upon a previously-defined behavior ontology with a scenario ontology. The behavior ontology includes elements like behaving elements, state variables, parameters, and constraints, while the scenario ontology includes core constructs like activities, temporal constraints, and timepoints. BeCoS allows users to easily create behaving elements and to specify their state variables, parameters, state machines, and constraints. BeCoS also allows users to develop temporal constraint networks that specify constraints on component states over time. BeCoS is a prototype tool that has been deployed and tested by systems engineers on the Europa Clipper project, which generated several use cases and helped steer its current developmental effort. By enabling systems engineers to specify behavior in a semantically-rigorous manner, BeCoS is an enabling technology for analyses that previously could not be performed, and when exporting its model to other tools, allows for consistent behavior models to be used. © 2018 by the American Institute of Aeronautics and Astronautics, Inc. All rights reserved.

关键词： Ontology

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：