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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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,168 篇 会议
25 篇 期刊文献
1 册 图书

馆藏范围

2,194 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

1,361 篇 工学
- 1,219 篇 计算机科学与技术...
- 606 篇 软件工程
- 485 篇 电气工程
- 196 篇 信息与通信工程
- 177 篇 控制科学与工程
- 70 篇 电子科学与技术（可...
- 56 篇 动力工程及工程热...
- 48 篇 网络空间安全
- 41 篇 机械工程
- 33 篇 交通运输工程
- 32 篇 安全科学与工程
- 31 篇 仪器科学与技术
- 29 篇 生物工程
- 19 篇 建筑学
- 17 篇 生物医学工程（可授...
- 15 篇 光学工程
- 15 篇 土木工程
- 11 篇 环境科学与工程（可...
- 8 篇 石油与天然气工程
177 篇 管理学
- 156 篇 管理科学与工程(可...
- 99 篇 工商管理
- 35 篇 图书情报与档案管...
171 篇 理学
- 86 篇 数学
- 33 篇 系统科学
- 32 篇 物理学
- 32 篇 生物学
- 13 篇 统计学（可授理学、...
- 11 篇 化学
22 篇 法学
- 21 篇 社会学
11 篇 经济学
- 11 篇 应用经济学
10 篇 医学
8 篇 军事学
6 篇 农学
3 篇 教育学
1 篇 文学

主题

432 篇 real time system...
351 篇 real-time system...
196 篇 embedded systems
143 篇 processor schedu...
115 篇 embedded system
107 篇 hardware
106 篇 timing
97 篇 computational mo...
82 篇 computer archite...
80 篇 embedded computi...
74 篇 resource managem...
74 篇 energy consumpti...
68 篇 control systems
66 篇 computer science
66 篇 protocols
65 篇 scheduling algor...
64 篇 delay
60 篇 schedules
60 篇 program processo...
60 篇 scheduling

机构

10 篇 department of co...
8 篇 city university ...
7 篇 department of co...
7 篇 college of compu...
7 篇 eindhoven univer...
7 篇 malardalen univ ...
6 篇 department of co...
6 篇 department of co...
6 篇 uppsala universi...
6 篇 malardalen univ ...
6 篇 department of co...
5 篇 department of co...
5 篇 evidence srl pis...
5 篇 chongqing univ c...
5 篇 information and ...
5 篇 department of co...
5 篇 scuola super san...
5 篇 department of co...
5 篇 univ york dept c...
5 篇 mälardalen unive...

作者

15 篇 nolte thomas
14 篇 thomas nolte
12 篇 jian-jia chen
12 篇 tei-wei kuo
12 篇 anderson james h...
11 篇 james h. anderso...
10 篇 nakajima tatsuo
10 篇 chen jian-jia
9 篇 nobuyuki yamasak...
8 篇 dakai zhu
8 篇 tovar eduardo
8 篇 chun jason xue
8 篇 shao zili
8 篇 cheng albert m. ...
8 篇 nan guan
8 篇 wei zhang
7 篇 shinpei kato
7 篇 kato shinpei
7 篇 kuo tei-wei
7 篇 xue chun jason

语言

2,182 篇 英文
11 篇 其他
1 篇 中文

检索条件"任意字段=11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications"

共 2194 条记录，以下是2121-2130 订阅

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

详细简洁

排序：

Source Code Annotated Memory Leak Detection for Soft real time embedded systems with Resource Constraints

Source Code Annotated Memory Leak Detection for Soft Real Ti...

引用

ieee international Symposium on Dependable, Autonomic and Secure computing (DASC)

作者： Mabel Mary Joy Wolfgang Mueller Franz Josef Rammig C-Lab University of Paderborn Germany Heinz Nixdorf Institute University of Paderborn Germany

With ever increasing complexity of software and increased competition in the market, it is very important to minimize the production to market delivery time. Early phase detection of serious errors in the design and program can be done with automated approaches which save time. Memory leaks are the most important memory related problems which are severe threats to software applications. We propose a novel hybrid automated source code annotated memory leak detection approach for soft real time embedded system software with no garbage collection. We utilize our source code annotation tool to detect the potential memory leak candidates, which are further analyzed in our hybrid leak detection approach. the control flow graph of the source code generated with our annotation tool provides information of all execution paths, where the basic blocks are annotated with specific marks. Our hybrid method combines static and dynamic approaches. Static phase of the hybrid approach detect the potential leak candidates from the control flow graph. Dynamic phase filters false positives from the static phase results and provide results on the actual leaks. In early design stages where a real execution environment and complete executable software are unavailable, a simulation environment and a virtual platform are necessary. Virtual platforms provide flexibility to change the target architecture to be tested. Our proposed dynamic phase of the approach runs on the virtual memory model platform we implemented in SystemC at an abstract level using Transaction Level Modeling. the software under test is run on top of this model. this makes our approach faster and provides early results. Our approach can be easily deployed across a variety of architectures as it is compiler independent and does not implement any architecture specific features. Moreover the automated approach provides an efficient methodology to determine potential leaks in early phases of software development.

关键词： Leak detection Software Memory management Resource management real-time systems Pattern matching

来源：评论

学校读者我要写书评

暂无评论

Computationally Efficient Type-Reduction Strategies for a Type-2 Fuzzy Logic Controller

Computationally Efficient Type-Reduction Strategies for a Ty...

引用

ieee international conference on Fuzzy systems (FUZZ-ieee)

作者： Dongrui Wu Woei Wan Tan Department of Electrical and Computer Engineering National University of Singapore Singapore

A type-2 fuzzy set is characterized by a concept called footprint of uncertainty (FOU). It provides the extra mathematical dimension that equips type-2 fuzzy logic systems (FLSs) with the potential to outperform their type-1 counterparts. While a type-2 FLS has the capability to model more complex relationships, the output of a type-2 fuzzy inference engine needs to be type-reduced. As type-reduction is very computationally intensive, type-2 FLSs may not be suitable for certain real-time applications. this paper aims at developing more computationally efficient type-reducers. the proposed type-reducer is based on the concept known as equivalent type-1 sets (ET1Ss), a collection of type-1 sets that replicates the input-output map of a type-2 FLS. Simulations are presented to demonstrate that the proposed type-reducing algorithms have lower computational cost and better performances than the Karnik-Mendel type-reducer

关键词： Fuzzy logic Fuzzy sets Uncertainty Engines Computational modeling Fuzzy control Computational efficiency Shape Inference algorithms embedded computing

来源：评论

学校读者我要写书评

暂无评论

Imprecise Computation Over the Cloud

Imprecise Computation Over the Cloud

引用

ieee international conference on Mobile Cloud computing, Services, and Engineering

作者： Chi-Sheng SHIH Joen CHEN Yu-Hsin WANG Norman CHANG Embedded Systems and Wireless Networking Lab Graduate Institute of Networking and Multimedia Department of Computer Science and Information Engineering National Taiwan University

ISBN: (纸本)9781479944248

the number and variety of applications for mobile devices continue to grow. However, the resources on mobile devices including computation and storage do not keep pace with the growth. How to incorporate the computation capacity on cloud servers into mobile computing has been desired and challenge issues to resolve. In this work, we design a flexible computation framework to take advantage the heterogeneous computation capacity on cloud servers, which are CPUs and GPGPUs, to meet the computation demands of ever growing mobile applications. the computation framework extends OpenCL framework to link remote processors with local mobile applications. the framework is flexible in the sense that the computation can be stopped at any time and gains results, which is called imprecise computation in real-time computing literature. the framework has been evaluated against OpenCL benchmark and physical computation engine for gaming. the results show that the framework supports OpenCL benchmark, RODINIA, without modifying the codes with few exceptions. the imprecise computation model allows the cloud servers to support more mobile clients without sacrificing their QoS requirements. the experiment results also show that IO intensive applications do not perform well when the network capacity is insufficient or unreliable.

关键词： OpenCL GPGPU Heterogeneous computing Mobile computing

来源：评论

学校读者我要写书评

暂无评论

Assessment of IEC-61499 and CDL for Function Block composition in factory-wide system integration

Assessment of IEC-61499 and CDL for Function Block compositi...

引用

ieee international conference on Industrial Informatics (INDIN)

作者： Borja Ramis Jorge Garcia Jose L. Martinez Lastra Factory Automation Systems and Technologies Laboratory Tampere University of Technology Tampere Finland

Factory Information systems (FIS) are clustered with a variety of heterogeneous systems using different protocols making integration tasks complex and time consuming. A common practice for integration of large applications is modularity and servitization as seen in the Service Oriented computing (SOC) paradigms. Services can be encapsulated as a Function Block (FB) according to IEC-61499 standard bridging the gap between shop-floors and Information Technology (IT) distributed systems. this approach eases the task to describe the overall system in a single descriptive language. However, along with all these concepts comes the critical task of ensuring trustful communication between distributed modular functions to transform the atomic functionality into processes. One of the main challenges for function composition is the need to establish the interactions between the compatible modules to compose a process. this encourages the use of a rich descriptive language as a control strategy to manage the exchange of messages and to define the connections among the services. Primarily, this paper provides a contrast for Function Block composition using IEC-61499 and Choreography Description Languages (CDL) for Function Block based integration. the results are later evaluated within the PLANTCockpit's Function Block Engine reference architecture for deployment of Function Block Networks (FBNs).

关键词： Web services Standards Semantics Business XML Information filters

来源：评论

学校读者我要写书评

暂无评论

Increasing Reliability of Programming Interfaces Based on Fuzz Testing

Increasing Reliability of Programming Interfaces Based on Fu...

引用

ieee international conference on Dependable systems, Services and Technologies (DESSERT)

作者： Yaroslav Khortiuk Galyna Kondratenko Ievgen Sidenko Yuriy Kondratenko Intelligent Information Systems Department Petro Mohyla Black Sea National University Mykolaiv Ukraine

ISBN: (数字)9781728199573

ISBN: (纸本)9781728199580

Over the last decade, there has been a significant growth in web applications for data processing and output, most of them working through the REST API to communicate with third-party applications. Tools for automatically testing web services through their REST API and verifying the reliability and security of these services are still in their infancy. the most sophisticated testing tools currently available for the REST API scan all API traffic in real-time and then analyze, modify, and reproduce it. Many of these tools were born as extensions of more established web site testing and crawling tools. As these REST API testing tools are all recent and not widely used, it is unknown at this time how effective they are in finding errors and how important they are for security. In this paper, using the latest researches in the field, several methods and approaches for fuzzing web interfaces are analyzed. their comparative analysis of existing techniques allows to see the current state, performance, and appliance to real-world web application and widely used REST API architecture in general.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Design of an MPU9250-Based Attitude Data Measurement System

Design of an MPU9250-Based Attitude Data Measurement System

引用

international conference on Computer Science and Network Technology (ICCSNT)

作者： Yuanjie Li Mahvish Nazir The Department of Electronic Electrical and Systems Engineering University of Birmingham Xi'an China

Attitude solving plays a crucial role in various fields, as it enables accurate determination of an object's orientation and helps optimize system performance. By providing precise attitude information, the MPU9250 nine-axis sensor contributes to the design of balance bikes, aerial mice, and other applications. the project utilizes the STM32F767 microcontroller to interface with the MPU9250 sensor, enabling the acquisition of raw data. the Digital Motion Processor (DMP) and Motion Process Library (MPL) library are employed to perform attitude solving, allowing for real-time estimation of the object's Euler angles. the results from the proposed method demonstrate accuracy, providing a reliable and cost-effective solution for precise attitude resolution. this research enhances operational efficiency, optimizes system performance, and reduces computational complexity. Future efforts will focus on mitigating errors arising from environmental factors.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Phase-Locked Noninvasive Brain Stimulation

Phase-Locked Noninvasive Brain Stimulation

引用

international ieee/EMBS conference on Neural Engineering, CNE

作者： Nicolo Rossetti Roberto Garcia Van der Westen Vojkan Mihajlović Holst Centre Autonomous Therapeutics imec Eindhoven The Netherlands

One of the unique methods to directly impact the electrical activity of the brain is through the use of noninvasive brain stimulation methods. these methods, such as transcranial current stimulation (tCS), are applied in scientific community to provide insights in cognitive processes but also to treat certain health conditions. Although transcranial alternate current stimulation (tACS) is less frequently used than widespread transcranial direct current stimulation (tDCS), it offers the possibility to directly entrain brain activity, leading to short- and potentially long-term physiological and cognitive effects. Together with methods facilitating better sensing and stimulation focus, it enables improved spatio-temporal neuromodulation. One of the crucial aspects of facilitating this is introducing a phase locking mechanism within a closed-loop, encompassing a real-time brain activity readout and targeted stimulation. In this paper we introduce a phase-locked closed-loop tACS framework and demonstrate its working principles. We focus on the phase-locking method as a crucial component and analyse its performance on an artificial setup that includes an in-house developed phantom head and a software framework. the achieved temporal precision is in the order of 5.4° ± 2.31°. the future outlook of the proposed framework is discussed, in particular looking at the research applications and clinical potential.

关键词： Performance evaluation Wireless communication Brain Phantoms Wavelet analysis Electroencephalography real-time systems

来源：评论

学校读者我要写书评

暂无评论

Online learning on tiny micro-controllers for anomaly detection in water distribution systems

Online learning on tiny micro-controllers for anomaly detect...

引用

ieee international conference on Consumer Electronics - Berlin (ICCE-Berlin)

作者： Danilo Pau Abderrahim Khiari Davide Denaro System Research and Applications Agrate Brianza Italy Universita degli studi di Padova Padova Italy

ISBN: (纸本)9781665428347

Researchers have developed novel approaches and algorithms to aid in the planning, design, and administration of water distribution systems (WDS) since the 1960s. While early research focused on simulating the hydraulic of such systems, the 1980s saw a shift in focus to water quality subjects. Recent study has delved deeper into system reliability and resilience. this paper introduces a resource constrained anomaly detector for WDS to monitor its reliability. the proposed solution uses Reservoir computing (RC), in particular Deep Echo State Network (DeepESN), to achieve high accuracy with low complexity. Furthermore, thanks to the special properties of DeepESN, online learning capabilities of this model is implemented in the micro-controller (MCU) to ensure the continuous adaptability over time of the model to adapt to the time varying data distribution. In most cases, researchers have relied on either hypothetical water distribution systems or a handful of actual systems for use as benchmark test systems. Skoltech Anomaly Benchmark (SKAB) dataset was used to measure the performance of those models. It consists of several anomalies in a sensorized WDS. the online learning feature is proposed in two different approaches: single iteration and batch decomposition Which give options for different implementations depending on the application needs and the MCU memory constraints. the accuracy, complexity and robustness of the proposed models are comprehensively validated through comparative analysis of many sets of hyper-parameters.

关键词： Adaptation models Computational modeling Water quality Benchmark testing Reservoirs Data models Robustness

来源：评论

学校读者我要写书评

暂无评论

Coaching robot behavior using continuous physiological affective feedback

Coaching robot behavior using continuous physiological affec...

引用

ieee-RAS international conference on Humanoid Robots

作者： Anna Gruebler Vincent Berenz Kenji Suzuki Graduate School of Systems and Information Engineering University of Tsukuba Japan Faculty of Engineering Information and Systems University of Tsukuba JST Japan

In this work we present a new way for human- robot interaction, where a robot is able to receive physiological affective feedback for its actions from a human trainer and learn from it. We capture the human trainer's facial expressions using a wearable device that records distal electromyographic signals and uses computational methods of signal processing and pattern recognition in real time. We show how a robot can be coached to perform a certain action when confronted with an object by using the continuous physiological affective feedback from the human trainer. We also show that the robot is able to quickly learn the appropriate actions for different situations from the trainer in a manner modeled after the way children learn from their parent's encouragement or reproach. this work shows an effective way to coach a robot using affective feedback and has the advantage of working in multiple lighting conditions and camera angles as well as not increasing the cognitive load of the trainer. Our method has applications in the area of social robotics because it shows that interaction between humans and robots is possible using continuous non-verbal social cues, which are characteristic for human-human interaction.

关键词： Robots Humans Face Electrodes Electromyography Vectors Training

来源：评论

学校读者我要写书评

暂无评论

Consolidating and Optimizing embedded Processor IP Blocks for Area, Power, and Sustainability

Consolidating and Optimizing Embedded Processor IP Blocks fo...

引用

international Green computing conference

作者： Boisy Gene Pitre Martin Margala Kevin J. Phillipson Michael M. Rywalt School of Computing & Informatics University of Louisiana at Lafayette Lafayette Louisiana USA Department of Electrical & Computer Engineering University of Florida Gainesville Florida USA

ISBN: (数字)9798331507862

ISBN: (纸本)9798331507879

the growth of computing continues to place power demands on an ever-stressed energy grid. embedded systems are a part of that demand. Focusing on the architecture of the System-On-Chip (SoC) is an area of interest for power optimization. Intellectual Property (IP) blocks that provide support functionality for SoC designs are often licensed from vendors who provide little or no visibility into their inner workings, requiring reliance on vendor-supplied metrics. this work proposes TurbOS, a small footprint open-source operating system (OS) for reducing required resources within IP blocks. TurbOS utilizes the Turbo9 microprocessor, and is just 20% the size of the popular FreeRTOS operating system, while providing the same functionality. For certain applications, the number of IP blocks can be reduced without loss of functionality.

关键词： Measurement Power demand Microprocessors Computer architecture Intellectual property Multitasking real-time systems System-on-chip Sustainable development Optimization

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共220页 << < 209 210 211 212 213 214 215 216 217 218 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：