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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

123 篇 会议
34 篇 期刊文献
2 册 图书

馆藏范围

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

日期分布

学科分类号

101 篇 工学
- 71 篇 计算机科学与技术...
- 53 篇 软件工程
- 20 篇 控制科学与工程
- 13 篇 信息与通信工程
- 10 篇 土木工程
- 10 篇 安全科学与工程
- 9 篇 电气工程
- 8 篇 机械工程
- 8 篇 电子科学与技术（可...
- 8 篇 建筑学
- 6 篇 交通运输工程
- 5 篇 仪器科学与技术
- 4 篇 光学工程
- 4 篇 生物医学工程（可授...
- 3 篇 动力工程及工程热...
- 3 篇 生物工程
- 2 篇 力学（可授工学、理...
- 2 篇 材料科学与工程（可...
- 2 篇 船舶与海洋工程
32 篇 理学
- 18 篇 数学
- 7 篇 物理学
- 6 篇 系统科学
- 3 篇 生物学
- 3 篇 统计学（可授理学、...
- 2 篇 海洋科学
- 2 篇 地球物理学
18 篇 管理学
- 13 篇 管理科学与工程(可...
- 5 篇 工商管理
- 5 篇 图书情报与档案管...
2 篇 教育学
- 2 篇 教育学
2 篇 医学
2 篇 军事学
1 篇 经济学
1 篇 法学
1 篇 文学
1 篇 农学

主题

12 篇 hardware
9 篇 embedded systems
7 篇 computer archite...
7 篇 unified modeling...
6 篇 model checking
6 篇 machine learning
5 篇 runtime
5 篇 safety
5 篇 real time system...
5 篇 semantics
5 篇 software
4 篇 registers
4 篇 timing
4 篇 petri nets
4 篇 processor schedu...
4 篇 static analysis
4 篇 schedules
4 篇 computational mo...
4 篇 control systems
4 篇 analytical model...

机构

6 篇 embedded softwar...
5 篇 software enginee...
3 篇 school of electr...
3 篇 faculty of compu...
3 篇 software and emb...
3 篇 school of electr...
3 篇 cea laboratory o...
3 篇 cea list laborat...
3 篇 software and emb...
3 篇 engineering rese...
3 篇 distributed & em...
2 篇 college of compu...
2 篇 heriot-watt univ...
2 篇 embedded softwar...
2 篇 embedded softwar...
2 篇 software and emb...
2 篇 college of compu...
2 篇 centre for high ...
2 篇 intelligent embe...
2 篇 department of co...

作者

19 篇 glesner sabine
11 篇 sabine glesner
7 篇 herber paula
4 篇 gwanggil jeon
4 篇 ansgar radermach...
4 篇 göthel thomas
4 篇 klös verena
4 篇 zhangqin huang
4 篇 jeon gwanggil
4 篇 yibin hou
4 篇 tetzlaff dirk
4 篇 paula herber
3 篇 kogel paul
3 篇 mahmoud hussein
3 篇 dirk tetzlaff
3 篇 schlesinger seba...
3 篇 kowalewski stefa...
3 篇 chunhua xiao
3 篇 da li
3 篇 reda nouacer

语言

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

检索条件"机构=Software Engineering for Embedded Systems"

共 159 条记录，以下是131-140 订阅

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

详细简洁

排序：

A synchronized event logger for substation topology processing

A synchronized event logger for substation topology processi...

引用

19th Australasian Universities Power engineering Conference: Sustainable Energy Technologies and systems, AUPEC'09

作者： Liu, Yang Zivanovic, Rastko Al-Sarawi, Said Marinescu, Cristian Cochran, Richard School of Electrical and Electronic Engineering ECMS Building University of Adelaide SA 5005 Australia Software Embedded Systems OMICRON Electronics GmbH Oberes Ried 1 6833 Klaus Austria

ISBN: (纸本)9780863967184

We present a topology processing technique for substations. The proposed technique synchronizes substation event information using a logging system, overcoming existing problems of SCADA systems, such as inaccurate timing information of substation events and unreliable topology processing in presence of bad data. The design of the proposed event logging system and its application are also presented.

关键词： SCADA systems

来源：评论

学校读者我要写书评

暂无评论

Towards a Model-Driven Approach for Mapping Requirements on AADL Architectures

Towards a Model-Driven Approach for Mapping Requirements on ...

引用

IEEE International Conference on engineering of Complex Computer systems

作者： Christophe Ponsard Mathieu Delehaye Software and System Engineering CETIC Research Center Charleroi Belgium Embedded and Communication Systems CETIC Research Center Charleroi Belgium

software architectural design is a key activity in the software development process. It is especially critical for embedded systems subject to specific non-functional requirements such as performance or reliability. However, the activity of designing an architecture fulfilling a set of requirements still remains largely informal, based on experience with the support of some informal patterns and *** purpose of this paper is to explore how to build more systematically architectures for embedded systems using precise models both for the requirements and the architecture. A mapping is proposed between those models together with guidelines on how to inject functional and non-functional requirements at various stages. The process is illustrated and discussed using a cruise control system.

关键词： Computer architecture embedded system embedded software Context modeling Design engineering Communication system software software design Guidelines Control systems Hardware

来源：评论

学校读者我要写书评

暂无评论

A synchronized event logger for substation topology processing

A synchronized event logger for substation topology processi...

引用

Australasian Universities Power engineering Conference, AUPEC

作者： Yang Liu Rastko Zivanovic Said Al-Sarawi Cristian Marinescu Richard Cochran School of Electrical & Electronic Engineering ECMS Building University of Adelaide SA Australia Software Embedded Systems OMICRON Electronics GmbH Klaus Austria

ISBN: (纸本)9781424451531

关键词： Substations SCADA systems Synchronization Circuit topology IEC standards Object oriented modeling Australia Control systems Switches Brushless DC motors

来源：评论

学校读者我要写书评

暂无评论

Port embedded Linux to XUP Virtex-II Pro development board

Port embedded Linux to XUP Virtex-II Pro development board

引用

IEEE International Symposium on Information (IT) in Medicine and Education, ITME

作者： Qingguo Zhou Qi Yao Chanjuan Li Bin Hu Distributed & Embedded System Lab (DSLab) Lanzhou University China Engineering Research Center of Open Source Software and Real-Time Systems Ministry of Education Lanzhou University China

As its free, rich code resource and supporting many kinds of CPU architecture, Linux is making steady progress in the embedded arena. The Virtex-II Pro serials development system, produced by Xilinx company, provides an advanced hardware platform that consists of a high performance Virtex serials platform FPGA surrounded by a comprehensive collection of peripheral components that can be used to create a complex system and meet different special embedded application areas. This paper mainly introduces porting embedded Linux to the XUP Virtex- II Pro development system, and using serials of development tool kits. It is a good guide to develop embedded system with FPGA development system and Linux.

关键词： Linux embedded system Field programmable gate arrays Hardware Kernel embedded computing Computer architecture Power system reliability Open source software Computer applications

来源：评论

学校读者我要写书评

暂无评论

A Case Study of Microkernel for Education

A Case Study of Microkernel for Education

引用

2009 IEEE International Symposium on IT in Medicine & Education(ITME2009)

作者： Nicholas McGuire Distributed & Embedded System Lab (DSLab) Lanzhou UniversityChina Engineering Research Center of Open Source Software and Real-Time Systems Ministry of EducationLanzhou UniversityChina

The paper will introduce a new operating system architecture microkernel for *** its safe,small,and flexible feature,micorkernel is becoming widely use in various *** it to education,will from different design architecture to make learner get deeper understanding of operating system *** is a real,second-generation microkernel whose source code is less than 15,000 lines,and it is freely available under the GNU General Public *** this paper,based on Fiasco,the microkernel operating system will be introduced especially in its kernel mechanism.

关键词： A Case Study of Microkernel for Education

来源：评论

学校读者我要写书评

暂无评论

Model checking SystemC designs using timed automata 08

Model checking SystemC designs using timed automata

引用

embedded systems Week 2008 - 6th IEEE/ACM/IFIP International Conference on Hardware/software Codesign and System Synthesis, CODES+ISSS 2008

作者： Herber, Paula Fellmuth, Joachim Glesner, Sabine Software Engineering for Embedded Systems Group Technical University of Berlin Germany

ISBN: (纸本)9781605584706

SystemC is widely used for modeling and simulation in hardware/software co-design. Due to the lack of a complete formal semantics, it is not possible to verify SystemC designs. In this paper, we present an approach to overcome this problem by defining the semantics of SystemC by a mapping from SystemC designs into the well-defined semantics of UPPAAL timed automata. The informally defined behavior and the structure of SystemC designs are completely preserved in the generated UPPAAL models. The resulting UPPAAL models allow us to use the UPPAAL model checker and the UPPAAL tool suite, including simulation and visualization tools. The model checker can be used to verify important properties such as liveness, deadlock freedom or compliance with timing constraints. We have implemented the presented transformation, applied it to two examples and verified liveness, safety and timing properties by model checking, thus showing the applicability of our approach in practice. Copyright 2008 ACM.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Scalable Analyses via Machine Learning: Predicting Memory Dependencies Precisely

Scalable Analyses via Machine Learning: Predicting Memory De...

引用

Scalable Program Analysis 2008

作者： Gesellensetter, Lars Software Engineering for Embedded Systems Institute for Software Engineering and Theoretical Computer Science Technical University of Berlin FR 5-6 Franklinstr. 28/29 Berlin10587 Germany

Program analysis tackles the problem of predicting the behavior or certain properties of the considered program code. The challenge lies in determining the dynamic run-time behavior statically at compile time. While in rare cases it is possible to determine exact dynamic properties already statically, in many cases, e.g., in analyzing memory dependencies, one can only find imprecise information. To overcome this problem, we look at the dynamic run-time behavior and use Machine Learning (ML) techniques to learn the relationship between static program features and dynamic run-time behavior. ML yields highly scalable predictors, which are safely applicable when erroneous predictions merely have an impact on program optimality but not on correctness. Once trained, these predictors can be used in a static compiler. In this extended abstract, I present our approach to mitigate the impact of the memory gap using ML techniques and speculative optimizations. The memory gap denotes the fact that over the last decade, computer performance is increasingly dominated by memory speed, which did not manage to keep pace with the ever increasing CPU rates. We consider novel speculative optimization techniques of memory accesses to reduce their effective latency. We trained predictors to learn the memory dependencies of a given pair of accesses, and use the result in our optimization to decide about the profitability of a given optimization step. © 2008 Dagstuhl Seminar Proceedings. All rights reserved.

关键词： Machine learning

来源：评论

学校读者我要写书评

暂无评论

Real-Time Distributed Discrete-Event Execution with Fault Tolerance

Real-Time Distributed Discrete-Event Execution with Fault To...

引用

IEEE Symposium on Real-Time and embedded Technology and Applications

作者： Thomas Huining Feng Edward A. Lee Center for Hybrid and Embedded Software Systems Department of Electrical Engineering and Computer Sciences University of California Berkeley CA USA

We build on PTIDES, a programming model for distributed embedded systems that uses discrete-event (DE) models as program specifications. PTIDES improves on distributed DE execution by allowing more concurrent event processing without backtracking. This paper discusses the general execution strategy for PTIDES, and provides two feasible implementations. This execution strategy is then extended with tolerance for hardware errors. We take a program transformation approach to automatically enhance DE models with incremental checkpointing and state recovery functionality. Our fault tolerance mechanism is lightweight and has low overhead. It requires very little human intervention. We incorporate this mechanism into PTIDES for efficient execution of fault- tolerant real-time distributed DE systems.

关键词： Fault tolerance embedded system Hardware Real time systems embedded software Distributed computing Checkpointing Fault tolerant systems Concurrent computing Application software

来源：评论

学校读者我要写书评

暂无评论

Data-driven implementation of contents discovery service on Ad hoc ubiquitous network

Data-driven implementation of contents discovery service on ...

引用

2008 International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA 2008

作者： Sueda, Y. Mizuno, O. Hirata, N. Fukushi, N. Ishii, H. Nishikawa, H. NTT Information Sharing Platform Labs. Nippon Telegraph and Telephone Corporation Musashino-shi Tokyo Japan NTT Software Corporation Yokohama Kanagawa Japan Course of Computer and Communication Graduate School of Engineering Tokai University Hiratsuka Kanagawa Japan Course of Embedded Technology Professional Graduate School of Embedded Technology Tokai University Minato City Tokyo Japan Department of Computer Science Graduate School of Systems and Information Engineering University of Tsukuba Tsukuba Science City Ibaragi Japan

ISBN: (纸本)1601320841

In an ad-hoc network, each node does routing autonomously and the starting node does not know the address of the target node. We present in this paper a preliminary evaluation of a target node discovery method in an ad-hoc network based on received signal counts, and we identify some problems with this method. The effectiveness of the proposed method is shown by comparing the number of hops to reach the target node required by a system using this method with that required by a random flooding method.

关键词： Ad hoc networks

来源：评论

学校读者我要写书评

暂无评论

Is Free-software Open-Source ready for Medical Applications?

Is Free-Software Open-Source ready for Medical Applications?

引用

2008 IEEE International Symposium on IT in Medicine and Education(ITME 2008)

作者： Nicholas Mc Guire Distributed & Embedded System Lab(DSLab) Lanzhou UniversityChina Engineering Research Center of Open Source Software and Real-Time Systems Ministry of EducationLanzhou UniversityChina

While in the past years free-software has gained some acceptance in the domain of medical applications it has been mainly focused on quite typical IT-infrastructure cases -may that be billing systems,data warehousing,databases and content management systems a second area where free software has made prominent entrance has been in the area of imaging and high-volume data *** the area of medical devices,with rare exceptions,free-software is still quite underrepresented -in part due to acceptance but in part also due to plain technical ***/Linux,real-time and embedded variants and many free-software projected have made there way into medical applications -but is Free-software ready to cover the wide area of demands on medical platforms and there applications? The demands of medical platforms stretch more or less the entire range of computational capabilities: * battery powered -robust against power-failures * reliable in rough environment * compliant with safety regulations * robust and secure software platforms * standalone,networked all the way to clusters * extensibility for specialized hardware and software * from head-less to multithread graphical user-interfaces And all this for devices that sometimes only will be built in a few 10s or hundred devices? What advantages could free-software have here -what limitations are there -where do we still need to do *** software is not the answer to all problems in medical computing (or in any other area) -but it has a plethora of innovative and powerful solutions to *** will outline some of them along with some outstanding medical applications that have been built on free-software components.

关键词： Is Free-software Open-Source ready for Medical Applications

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共16页 << < 7 8 9 10 11 12 13 14 15 16 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：