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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

3,145 篇 会议
43 篇 期刊文献
21 册 图书
1 篇 学位论文

馆藏范围

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

日期分布

学科分类号

1,901 篇 工学
- 1,681 篇 计算机科学与技术...
- 890 篇 软件工程
- 544 篇 电气工程
- 292 篇 信息与通信工程
- 251 篇 控制科学与工程
- 93 篇 电子科学与技术（可...
- 71 篇 动力工程及工程热...
- 66 篇 机械工程
- 60 篇 生物工程
- 53 篇 安全科学与工程
- 49 篇 网络空间安全
- 46 篇 交通运输工程
- 43 篇 仪器科学与技术
- 36 篇 建筑学
- 30 篇 生物医学工程（可授...
- 27 篇 土木工程
- 25 篇 光学工程
- 20 篇 环境科学与工程（可...
324 篇 理学
- 171 篇 数学
- 65 篇 生物学
- 61 篇 物理学
- 54 篇 系统科学
- 32 篇 统计学（可授理学、...
- 20 篇 化学
263 篇 管理学
- 210 篇 管理科学与工程(可...
- 134 篇 工商管理
- 68 篇 图书情报与档案管...
40 篇 法学
- 36 篇 社会学
26 篇 医学
- 23 篇 临床医学
21 篇 经济学
- 21 篇 应用经济学
11 篇 农学
9 篇 教育学
9 篇 军事学
8 篇 文学
1 篇 艺术学

主题

521 篇 real-time system...
514 篇 real time system...
254 篇 embedded systems
150 篇 processor schedu...
137 篇 hardware
132 篇 embedded system
129 篇 computational mo...
118 篇 computer archite...
111 篇 timing
88 篇 energy consumpti...
88 篇 embedded computi...
85 篇 resource managem...
83 篇 control systems
83 篇 protocols
77 篇 application soft...
73 篇 monitoring
70 篇 delay
69 篇 computer science
69 篇 scheduling
68 篇 scheduling algor...

机构

11 篇 department of co...
8 篇 malardalen univ ...
8 篇 city university ...
7 篇 college of compu...
7 篇 eindhoven univer...
6 篇 department of co...
6 篇 department of co...
6 篇 department of co...
6 篇 department of co...
6 篇 scuola super san...
6 篇 uppsala universi...
6 篇 malardalen univ ...
6 篇 department of co...
5 篇 department of co...
5 篇 evidence srl pis...
5 篇 chongqing univ c...
5 篇 department of co...
5 篇 george mason uni...
5 篇 univ politecn va...
5 篇 department of co...

作者

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

语言

3,171 篇 英文
34 篇 其他
5 篇 中文
1 篇 西班牙文
1 篇 法文

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

共 3210 条记录，以下是991-1000 订阅

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

详细简洁

排序：

Test-driven modeling and development of cloud-enabled cyber-physical smart systems 11

Test-driven modeling and development of cloud-enabled cyber-...

引用

11th Annual IEEE international systems conference (SysCon)

作者： Munck, Allan Madsen, Jan Tech Univ Denmark Dept Appl Math & Comp Sci Sect Embedded Syst Engn Lyngby Denmark

ISBN: (纸本)9781509046232

embedded products currently tend to evolve into large and complex smart systems where products are enriched with services through clouds and other web technologies. the complex characteristics of smart systems make it very difficult to guarantee functionality, safety, security and performance. Using test-driven modeling (TDM) is likely to be the best way to design smart systems such that these qualities are ensured. However, the TDM methods that are applied to development of simpler systems do not scale to smart systems because the modeling technologies cannot handle the complexity and size of the systems. In this paper, we present a method for test-driven modeling that scales to very large and complex systems. the method uses a combination of formal verification of basic interactions, simulations of complex scenarios, and mathematical forecasting to predict system behavior and performance. We utilized the method to analyze, design and develop various scenarios for a cloud-enabled medical system. Our approach provides a versatile method that may be adapted and improved for future development of very large and complex smart systems in various domains.

关键词： Unified modeling language Modeling time division multiplexing Tools Mathematical model Adaptation models Cloud computing

来源：评论

学校读者我要写书评

暂无评论

Detecting Permission Over-claim of Android applications with Static and Semantic Analysis Approach 16

Detecting Permission Over-claim of Android Applications with...

引用

16th IEEE international conference on Trust, Security and Privacy in computing and Communications / the 11th IEEE international conference on Big Data Science and Engineering / the 14th IEEE international conference on embedded Software and systems

作者： Tang, Junwei Li, Ruixuan Han, Hongmu Zhang, Heng Gu, Xiwu Huazhong Univ Sci & Technol Sch Comp Sci & Technol Wuhan 430074 Peoples R China

ISBN: (纸本)9781509049066

Android access control granularity based on its permission mechanism is relatively coarse, which cannot effectively protect the user privacy. Many Android applications do not strictly abide by the principle of least privilege (PLP). Both benign and malicious apps may request more permissions than those they really use. We rethink previous permission over-claim problem of Android applications, and extend it to three kinds of problems: Explicit Permission Over-claim, Implicit Permission Over-claim and Ad Library Permission Over-claim. the latter two problems are new that have not been raised by any previous work. Static analysis is to decompile the applications to generate intermediate code and then analyze the usage of permissions. Our static analysis on 10710 applications shows that 76.08% of them may have Explicit Permission Over-claim problem, among those there are 424 applications that have sensitive permissions, which are only used in the advertisement library's code of the applications rather than developer's own code. they have Ad Library Permission Over-claim problem. the main idea of our semantic analysis is to calculate the semantic similarity between apps' descriptions and function phrases. If the similarity exceeds a certain threshold, the app is considered relevant to the corresponding function. We compare the results of the semantic analysis with those of manual reading of 102 Android application descriptions. the F-measures of the three chosen functions are 80.82%, 70.48% and 89.62%, respectively. the evaluation results show our method can efficiently detect the above three kinds of permission over claim problems which indicates that our method would be helpful for normal users to have a clear understanding of permission usage of Android applications.

关键词： Mobile security Android system permission over-claim problem static analysis semantic analysis

来源：评论

学校读者我要写书评

暂无评论

One-Round Provably Secure Yoking-Proof for RFID applications 16

One-Round Provably Secure Yoking-Proof for RFID Applications

引用

作者： Sun, Da-Zhi Xu, Guang-Quan Tianjin Univ Sch Comp Sci & Technol Tianjin Key Lab Adv Networking TANK Tianjin Peoples R China Inst Informat Engn State Key Lab Informat Secur Beijing Peoples R China Univ Wollongong Sch Comp & Informat Technol Wollongong NSW Australia

ISBN: (纸本)9781509049066

Under the Internet of things (IoT), the coexistence proof of multiple RFID tagged objects becomes a very useful mechanism in many application areas such as health care, evidences in court, and stores. the yoking-proof scheme addresses this issue. However, all existing yoking-proof schemes require two or more rounds communication to generate the yoking-proof. In this paper, we investigate the design of one-round yoking-proof schemes. Our contributions are threefold: (1) to confirm the coexistence of the RFID tag pair, we propose a one-round offline yoking-proof scheme with privacy protection. (2) We define a privacy model of the yoking-proof scheme and enhance Moriyama's security model for the yoking-proof scheme. the security and the privacy of the proposed scheme are proved under our models. (3) We further extend the yoking-proof scheme for the coexistence of m RFID tags, where m>2. the extended scheme maintains one round. In addition, the proposed technique has efficiency advantage, compared with previous work.

关键词： RFID authentication yoking-proof provable security

来源：评论

学校读者我要写书评

暂无评论

Edge Detection in Static and Dynamic Environments using Robot Swarms 11

Edge Detection in Static and Dynamic Environments using Robo...

引用

11th IEEE international conference on Self-Adaptive and Self-Organizing systems (SASO)

作者： Khaluf, Yara Univ Ghent Dept Informat Technol IMEC IDLab Ghent Belgium

ISBN: (纸本)9781509065554

Robotic systems offer an attractive solution for a large spectrum of real-world applications that are hosted in dangerous or inaccessible areas for humans. In such applications, one of the fundamental tasks is to detect and mark particular features (e.g., pollution areas) in order to develop a proper response. In this paper, we focus on the specific problem of environmental edge detection using a swarm of homogeneous robots that can sense and act distributively using a large number of individuals. In our study, we consider both static and dynamic 2D environments, in which the spatial distribution of the feature(s) may change over time. We verify our results using a set of physics-based simulations.

关键词： Image edge detection Robot sensing systems Image color analysis Feature extraction Graphical models

来源：评论

学校读者我要写书评

暂无评论

Software Technologies 1st ed. 2017

引用

丛书名： Communications in Computer and Information Science

2017年

作者： Enrique Cabello Jorge Cardoso André Ludwig Leszek A. Maciaszek Marten van Sinderen

ISBN: (数字)9783319625690

ISBN: (纸本)9783319625683

this book constitutes the thoroughly refereed proceedings of the 11th international Joint conference on Software Technologies, ICSOFT 2016, held in Lisbon, Portugal, in July 2016. the 13 revised full papers together with 3 short papers presented were carefully reviewed and selected from 84 submissions. the papers selected to be included in this book contribute to the understanding of relevant trends of current research on software technologies, including: Modelling for mobile devices Software and system testing Model-driven software development Reengineering systems for multi-tenancy embedded and real-time systems reconguration Domain-specic languages and modelling Software and systems quality Context-aware and dynamically adapting software systems

关键词：

来源：评论

学校读者我要写书评

暂无评论

Design and Implementation of WebRTC-Based Video conference System in Odroid Board

Design and Implementation of WebRTC-Based Video Conference S...

引用

international conference on Telecommunication systems, Services, and applications (TSSA)

作者： Bryan Christy Purba Muhammad Diva Pasha Yoanes Bandung School of Electrical Engineering and Informatics Institut Teknologi Bandung Bandung Indonesia

ISBN: (纸本)9781538669419;9781538669402

this paper presents design of a real-time WebRTC-based video conference system implemented in Odroid embedded board. this research aims to design a low-cost video conference system but with sufficient quality for supporting distant teaching and learning activity. Evaluation of the system was conducted to measure performance of central unit (Odroid board) and video conference application when it was operated on both network with more than 3 Mbps of bandwidth capacity and less than 1 Mbps of bandwidth capacity between two places of around 1 kilometer apart. the results of the evaluation on the central unit show that the video conference application can be executed well in Odroid (50% consumption of CPU usage and 183 MB of memory usage). On the other hand, the results of the evaluation on video conferencing application show that the application can run well under bandwidth of more than 3 Mbps. On network with less than 1 Mbps of bandwidth capacity, the results show that the application can run quite well but with lower performances (higher delays and lower frame rate) with one category on PLR reached the value of 1.714%, exceeding the recommendation of ITU-T with value of 1%. the results of this research show that video conferencing application with sufficient quality of service can be implemented in Odroid.

关键词： Streaming media Universal Serial Bus WebRTC Peer-to-peer computing Education Bandwidth Wireless fidelity

来源：评论

学校读者我要写书评

暂无评论

A Reconfigurable Wideband Streaming Channeliser for RF Sensing applications: A Multiple GPU-Based Implementation 11

A Reconfigurable Wideband Streaming Channeliser for RF Sensi...

引用

11th international conference on Signal Processing and Communication systems (ICSPCS)

作者： Faulkner, Simon Elton, Stephen D. Lamahewa, tharaka A. Roberts, David Def Sci & Technol Grp Cyber & Elect Warfare Div Edinburgh SA 5111 Australia

ISBN: (纸本)9781538628874

this paper describes the design and implementation of a reconfigurable, software-defined spectral channeliser for radio frequency (RF) spectrum sensing applications. the software-based design targets a parallel, multi-core processor architecture in the form of a graphics processing unit (GPU) and incorporates a polyphase filter bank design. Our implementation provides continuous channelisation of RF intercept data across a scalable number of GPU processing engines. On modern generation GPUs, such as the Tesla K40c, we found that our GPU-hosted channeliser satisfies real-time processing requirements for a current microwave intercept receiver with electronic warfare applications. Specifically, a system with an instantaneous collection bandwidth of 500 MHz and a digital sample rate of 1.333 GSa/s. the configurable nature of our channeliser was not done at the expense of performance, in that a similar computational efficiency was achieved across multiple channel sizes. Our analysis also includes a profiling of the computational load on the GPU and comparing it to that of a single core, high performance, CPU implementation. We found that we were able to achieve up to 40x improvement in performance with our implementation on a single GPU and this result scaled linearly when additional GPU resources were utilised.

关键词： Graphics processing units Receivers Radio frequency Kernel Computer architecture Bandwidth Instruction sets

来源：评论

学校读者我要写书评

暂无评论

Estimation filtering for Deep Water Navigation

Estimation filtering for Deep Water Navigation

引用

11th IFAC conference on Control applications in Marine systems, Robotics, and Vehicles (CAMS)

作者： Costanzi, Riccardo Fenucci, Davide Caiti, Andrea Micheli, Michele Vermeij, Arjan Tesei, Alessandra Munafo, Andrea Univ Pisa Dipartimento Ingn Informaz Pisa Italy Univ Pisa Ctr Ric E Piaggio Pisa Italy ISME Interuniv Ctr Integrated Syst Marine Environm Genoa Italy NATO STO Ctr Maritime Res & Expt La Spezia Italy Natl Oceanog Ctr Marine Autonomous & Robot Syst Southampton Hants England

the navigation task for Unmanned Underwater Vehicles is made difficult in a deep water scenario because of the lack of bottom lock for Doppler Velocity Log (DVL). this is due to the operating altitude that, for this kind of applications, is typically greater than the sensor maximum range. the effect is that the velocity measurements are biased by sea currents resulting in a rapidly increasing estimation error drift. the solution proposed in this work is based on a distributed, cooperative strategy strongly relying on an acoustic underwater network. According to the distributed philosophy, an instance of a specifically designed navigation filter (named DWNF - Deep Water Navigation Filter) is executed by each vehicle. Each DWNF relies on different Extended Kalman Filters (EKFs) running in parallel on-board: one for own navigation state estimation (AUV-EKF), the other ones for the navigation state of the remaining assets (Asset-EKF). the AUV-EKF is designed to simultaneously estimate the vehicle position and the sea current for more reliable predictions. the DWNF builds in real-time a database of past measurements and estimations;in this way it can correctly deal with delayed information. An outlier detection and rejection policy based on the Mahalanobis distance associated to each measurement is implemented. the experimental validation of the proposed approach took place in a deep water scenario during the Dynamic Mongoose'17 exercise off the South coast of Iceland (June-July 2017);preliminary analysis of the results is presented. (C) 2018, IFAC (international Federation of Automatic Control) Hosting by Elsevier Ltd. All rights reserved.

关键词： Deep water navigation Cooperative navigation Long-term navigation Autonomous Underwater Vehicles Marine systems Extended Kalman filters

来源：评论

学校读者我要写书评

暂无评论

11th international Joint conference on Software Technologies, ICSOFT 2016

11th International Joint Conference on Software Technologies...

引用

11th international Joint conference on Software Technologies, ICSOFT 2016

ISBN: (纸本)9783319625683

the proceedings contain 16 papers. the special focus in this conference is on Software Technologies. the topics include: Collaboration viewpoint for modeling cross organizational business concerns;a new approach for automatic development of reconfigurable real-time systems;testing web services with model-based mutation;software product line test suite reduction with constraint optimization;a survey on testing distributed and heterogeneous systems;supporting visual data exploration via interactive constraints;a codesign methodology for reconfigurable embedded systems;bidirectional model transformations using a handcrafted triple graph transformation system;domain-specific modelling using mobile devices;applying MDA to rule and data generation for compliance checking;software system theory of the forbidden within discrete design;enabling legacy applications for multi-tenancy without reengineering;an incremental approach to testing AOP and facilitating reuse of control software through context modelling based on the six-variable model.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Anonymous Anti-Sybil Attack Protocol for Mobile Healthcare Networks Analytics 16

Anonymous Anti-Sybil Attack Protocol for Mobile Healthcare N...

引用

作者： Zhang, Peng Zhang, Xiafei Sun, Xiaoqiang Liu, Joseph K. Yu, Jianping Jiang, Zoe L. Shenzhen Univ Coll Informat Engn ATR Key Lab Natl Def Technol Shenzhen Peoples R China Shenzhen Univ Coll Informat Engn Shenzhen Peoples R China Monash Univ Fac Informat Technol Melbourne Vic Australia Harbin Inst Technol Shenzhen Grad Sch Shenzhen Peoples R China

ISBN: (纸本)9781509049066

Mobile Healthcare Networks (MHN) continuously collect the patients' health data sensed by wearable devices, and analyze the collected data pre-processed by servers combined with medical histories, such that disease diagnosis and treatment are improved, and the heavy burden on the existing health services is released. However, the network is vulnerable to Sybil attacks, which would degrade network performance, disrupt proceedings, manipulate data or cheat others maliciously. What's more, the user is reluctant to leak identity privacy, so the identity privacy preserving makes Sybil defenses more difficult. One of the best choices is mutually authenticating each other with no identity information involved. thus, we propose a fine-grained authentication scheme based on Attribute-Based Signature (ABS) using lattice assumption, where a signer is authorized by an attribute set instead of single identity string. this ABS scheme uses Fiat-Shamir framework and supports flexible threshold signature predicates. Moreover, to anonymously guarantee integrity and availability of health data in MHN, we design an anonymous anti-Sybil attack protocol based on our ABS scheme, so that Sybil attacks are prevented. As there is no linkability between identities and services, the users' identity privacy is protected. Finally, we have analyzed the security and simulated the running time for our proposed ABS scheme.

关键词： personal identity DDX41 gene Antilock Braking systems ABS resins Health Services Privacy Disease diagnosis Runtime Reluctance Servers Health Care Mobile

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共321页 << < 96 97 98 99 100 101 102 103 104 105 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：