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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

302 篇 会议
148 篇 期刊文献
3 册 图书

馆藏范围

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

日期分布

学科分类号

298 篇 工学
- 191 篇 计算机科学与技术...
- 140 篇 软件工程
- 63 篇 信息与通信工程
- 57 篇 控制科学与工程
- 40 篇 电气工程
- 35 篇 电子科学与技术（可...
- 30 篇 机械工程
- 28 篇 生物工程
- 16 篇 化学工程与技术
- 16 篇 交通运输工程
- 12 篇 仪器科学与技术
- 11 篇 生物医学工程（可授...
- 9 篇 动力工程及工程热...
- 7 篇 光学工程
- 6 篇 安全科学与工程
- 6 篇 网络空间安全
166 篇 理学
- 110 篇 数学
- 33 篇 生物学
- 30 篇 系统科学
- 18 篇 物理学
- 18 篇 统计学（可授理学、...
- 13 篇 化学
- 5 篇 大气科学
78 篇 管理学
- 51 篇 管理科学与工程(可...
- 31 篇 图书情报与档案管...
- 20 篇 工商管理
20 篇 法学
- 19 篇 社会学
8 篇 医学
- 7 篇 基础医学(可授医学...
- 7 篇 临床医学
- 7 篇 公共卫生与预防医...
3 篇 经济学
2 篇 农学
1 篇 教育学
1 篇 文学
1 篇 艺术学

主题

19 篇 petri nets
11 篇 educational inst...
11 篇 feature extracti...
10 篇 cameras
10 篇 embedded system
10 篇 accuracy
9 篇 computer archite...
9 篇 databases
8 篇 computer science
8 篇 throughput
8 篇 optimization
8 篇 synchronization
8 篇 training
7 篇 lattices
7 篇 real time system...
7 篇 laboratories
7 篇 costs
7 篇 field programmab...
7 篇 rough set theory
6 篇 conferences

机构

73 篇 department of co...
68 篇 key laboratory o...
44 篇 key laboratory o...
33 篇 the key laborato...
32 篇 shenzhen city ke...
19 篇 department of el...
13 篇 department of el...
11 篇 college of compu...
11 篇 department of co...
10 篇 key laboratory o...
9 篇 department of co...
9 篇 ieee
8 篇 shanghai artific...
8 篇 college of compu...
8 篇 moe key laborato...
7 篇 department of co...
7 篇 department of el...
7 篇 school of comput...
6 篇 the key laborato...
5 篇 tongji universit...

作者

30 篇 zhou mengchu
24 篇 changjun jiang
22 篇 jiang changjun
21 篇 ji zhen
18 篇 mengchu zhou
17 篇 zhen ji
15 篇 cheng wang
14 篇 wang hanli
13 篇 liu xiwei
13 篇 wang cheng
12 篇 xiang-yang li
12 篇 miao duoqian
12 篇 li yan
12 篇 yu hang
11 篇 xiwei liu
10 篇 jiang lai
10 篇 ding zhijun
9 篇 liu guanjun
9 篇 zhao junqiao
8 篇 yan chungang

语言

420 篇 英文
22 篇 中文
13 篇 其他

检索条件"机构=Computer and Embedded System Laboratory"

共 453 条记录，以下是231-240 订阅

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

详细简洁

排序：

New tight upper bounds on the capacity for general deterministic dissemination in wireless ad hoc networks

New tight upper bounds on the capacity for general determini...

引用

IEEE International Conference on Performance, Computing and Communications (IPCCC)

作者： Cheng Wang Jieren Zhou Tianci Liu Lu Shao Huiya Yan Key Laboratory of Embedded System and Service Computing Ministry of Education Shanghai China Department of Computer Science Tongji University Shanghai China School of Software Tsinghua University Beijing China Mathematics Department University of Wisconsin-La Crosse La Crosse WI

In this paper, we study capacity scaling laws of the deterministic dissemination (DD) in random wireless networks under the generalized physical model (GphyM). This is truly not a new topic. Our motivation to readdress this issue is two-fold: Firstly, we aim to propose a more general result to unify the network capacity for general homogeneous random models by investigating the impacts of different parameters of the system on the network capacity. Secondly, we target to close the open gaps between the upper and the lower bounds on the network capacity in the literature. We derive the general upper bounds on the capacity for the arbitrary case of (λ, nd, ns) by introducing the Poisson Boolean model of continuum percolation, where λ, nd, and ns are the general node density, the number of destinations for each session, and the number of sessions, respectively. We prove that the derived upper bounds are tight according to the existing general lower bounds constructed in the literature.

关键词： Roads Mathematics Unicast Signal to noise ratio Interference

来源：评论

学校读者我要写书评

暂无评论

Response Policies to Process Module Failure in Single-Arm Cluster Tools Subject to Wafer Residency Time Constraints

Response Policies to Process Module Failure in Single-Arm Cl...

引用

作者： Qiao, Yan Pan, Chun-Rong Wu, Nai-Qi Zhou, Mengchu Department of Industrial Engineering School of Electro-Mechanical Engineering Guangdong University of Technology Guangzhou510006 China School of Mechatronics and Electrical Engineering Jiangxi University of Science and Technology Ganzhou341000 China Institute of Systems Engineering Macau University of Science and Technology Taipa China Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai201804 China Department of Electrical and Computer Engineering New Jersey Institute of Technology NewarkNJ07102-1982 United States

In semiconductor manufacturing, wafer residency time constraints make the scheduling problem of cluster tools complicated. A process module (PM) in cluster tools is prone to failure. It is crucial to deal with any such failure in a proper and timely manner. If there are feasible periodic schedules in operating a cluster tool before and after a PM failure, it is desired to make it operate continuously when such a failure occurs. However, due to wafer residency time constraints, it is highly challenging to control a tool such that it can be correctly transferred from a feasible schedule before failure to another after it. To solve this problem, a Petri net model is developed to describe the dynamic behavior of a single-arm cluster tool and failure response policies are proposed. The proposed policies are formulated via simple control laws for their easy implementation. Examples are given to show them. © 2015 IEEE.

关键词： Scheduling

来源：评论

学校读者我要写书评

暂无评论

Comparative study of delta-sigma modulators for the fractional-N PLL in WBAN

引用

2012 International Conference on Electrical and Electronics Engineering, ICEE 2012

作者： Zeng, Qiming Yu, Hang Lai, Jiang Li, Yan Ji, Zhen Shenzhen City Key Laboratory of Embedded System Design College of Computer Science and Software Engineering Shenzhen University Shenzhen Guangdong 518060 China

ISBN: (纸本)9781461449805

A delta-sigma modulator (DSM)-based fractional-N frequency synthesizer is the key component of wireless transceiver in wireless body area network (WBAN) system. The noise suppression performance, integration, and power of the DSM are difficult to balance in implementation. In order to choose a proper DSM topology for WBAN applications, a comparative study of single-loop DSM and Multi-stAge noise SHaping (MASH) DSM are presented in this chapter. Simulation and experiment results show that the MASH DSM is more suitable for WBAN applications with higher integration, lower power, and unconditional stability. Implemented in a 90 nm CMOS process, the proposed MASH DSM occupies an area of 40.5 × 45 μm and its power consumption is only 34 μW. © 2014 Springer Science+Business Media New York.

关键词： Modulators

来源：评论

学校读者我要写书评

暂无评论

New reachability trees for unbounded Petri nets

New reachability trees for unbounded Petri nets

引用

IEEE International Conference on Robotics and Automation (ICRA)

作者： ShouGuang Wang MengChu Zhou MengDi Gan Dan You Yue Li School of Information & Electronic Engineering Zhejiang Gongshang University Hangzhou China State Key Laboratory for Manufacturing Systems Engineering Xi'an Jiaotong University Xi'an China MoE Key Laboratory of Embedded System and Service Computing Tongji University Shanghai China Department of Electrical and Computer Engineering New Jersey Institute of Technology Newark NJ USA

ISBN: (纸本)9781479969241

Reachability is an important dynamic property of Petri nets. Its determination given an unbounded net and initial marking has remained an open problem since 1960s. Due to its extreme difficulty, a great deal of research has been focused on some subclasses of unbounded nets. For arbitrary ones, this work intends to propose a new reachability tree (NRT), which consists of only but all reachable markings from its initial marking. Furthermore, an NRT-based method to decide deadlocks of unbounded nets is presented. An example is provided to show the new results.

关键词： system recovery Petri nets Manufacturing systems Solids Gallium nitride embedded systems

来源：评论

学校读者我要写书评

暂无评论

Incorporation of Ordinal Optimization into Learning Automata for High Learning Efficiency

Incorporation of Ordinal Optimization into Learning Automata...

引用

IEEE International Conference on Automation Science and Engineering

作者： JunQi Zhang Cheng Wang Di Zang MengChu Zhou Department of Computer Science and Technology the Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Department of Electrical and Computer Engineering New Jersey Institute of Technology

ISBN: (纸本)9781467381840

Learning automata (LA) represent important leaning mechanisms with applications in automated system design, biological system modeling, computer vision, and transportation. They play the critical roles in modeling a process as well as generating the appropriate signal to control it. They update their action probabilities in accordance with the inputs received from the environment and can improve their own performance during operations. The action probability vector in LA takes charge of two functions: 1) The cost of convergence, i.e., the size of sampling budget;2) The allocation of sampling budget among actions to identify the optimal one. These two intertwined functions lead to a problem: The sampling budget mostly goes to the currently estimated optimal action due to its high action probability regardless whether it can help identify the real optimal action or not. This work proposes a new class of LA that separates the allocation of sampling budget from the action probability vector. It uses the action probability vector to determine the size of sampling budget and then uses Optimal Computing Budget Allocation (OCBA) to accomplish the allocation of sampling budget in a way that maximizes the probability of identifying the true optimal action. Simulation results verify its significant speedup ranging from 10.93% to 65.94% over the best existing LA algorithms.

关键词： Convergence Optimization Resource management Learning automata Computational modeling Pursuit algorithms Accuracy

来源：评论

学校读者我要写书评

暂无评论

A framework of video coding for compressing near-duplicate videos

A framework of video coding for compressing near-duplicate v...

引用

20th Anniversary International Conference on MultiMedia Modeling, MMM 2014

作者： Wang, Hanli Ma, Ming Jiang, Yu-Gang Wei, Zhihua Department of Computer Science and Technology Tongji University Shanghai China Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai China School of Computer Science Fudan University Shanghai China

ISBN: (纸本)9783319041131

With the development of multimedia technique and social network, the amount of videos has grown rapidly, which brings about an increasingly substantial percentage of Near-Duplicate Videos (NDVs). It has been a hot research topic to retrieve NDVs for a number of applications such as copyright detection, Internet video ranking, etc. However, there exist a lot of redundancies in NDVs, and to the best of our knowledge it is an untouched research area on how to efficiently compress NDVs in a joint manner. In this work, a novel video coding framework is proposed to effectively compress NDVs by making full use of the relevance among them. Experimental results demonstrate that a significant storage saving can be achieved by the proposed NDV coding framework. © 2014 Springer International Publishing.

关键词： Video signal processing

来源：评论

学校读者我要写书评

暂无评论

Quasi-synchronization for delayed systems with parameter mismatches via aperiodically intermittent control

Quasi-synchronization for delayed systems with parameter mis...

引用

International Conference on systems and Informatics (ICSAI)

作者： Xiwei Liu Ping Li Yuan Xu Ying Liu Department of Computer Science and Technology Key Laboratory of Embedded System and Service Computing Shanghai China

ISBN: (纸本)9781479954599

Quasi-synchronization is an important type of synchronization because of the parameter mismatches in the real world, so we will investigate it for a delayed network, which is master-slave coupled. By applying the aperiodically and nonlinearly intermittent control on the network, and assuming the time delay is varying, we will present some useful criteria for exponential quasi-synchronization. The main difference of this paper with previous works is that the intermittent mode is aperiodic while that in previous works is periodic. Finally, simulations are also given to show its validity.

关键词： Synchronization Mathematical model Delay effects Numerical models Observers Equations Educational institutions

来源：评论

学校读者我要写书评

暂无评论

Monitor-based Liveness-enforcing Petri Net Supervisors for Flexible Manufacturing systems 33

Monitor-based Liveness-enforcing Petri Net Supervisors for F...

引用

第三十三届中国控制会议

作者： YOU Dan WANG Shouguang ZHOU MengChu WU Wenhui School of Information & Electronic Engineering Zhejiang Gongshang University IEEE State Key Laboratory for Manufacturing Systems Engineering Xi’ an Jiaotong University The Key Laboratory of Embedded System and Service Computing Ministry of EducationTongji University Department of Electrical and Computer Engineering New Jersey Institute of TechnologyNewarkNJ 07102USA

ISBN: (纸本)9781479947249

Deadlocks are a rather undesirable phenomenon in flexible manufacturing systems(FMSs).This work,by adding monitors,develops a deadlock prevention policy for FMSs that can be modeled by a class of Petri nets called-S3 PR ***,an algorithm is given to reduce an S3 PR via *** on it,-resources in-S3 PRs are classified into A--resources and ***,for an-S3 PR with only B--resources,it is proved that a maximally permissive liveness-enforcing supervisor can be designed by M-controlling all the emptied strict minimal siphons(SMSs).For an-S3 PR containing A--resources,a liveness-enforcing supervisor can be designed by iteratively reducing the net via A--resources and adding the corresponding ***,a comprehensive deadlock prevention algorithm for-S3 PRs is *** FMS example is used to illustrate its application.

关键词： Flexible manufacturing system(FMS),Petri nets,deadlock prevention policy,supervisory control

来源：评论

学校读者我要写书评

暂无评论

Social incentive policies to engage commercial building occupants in demand response

Social incentive policies to engage commercial building occu...

引用

2014 IEEE International Conference on Automation Science and Engineering, CASE 2014

作者： Li, Sisi Deng, Kun Zhou, Meng Chu Department of Electrical and Computer Engineering New Jersey Institute of Technology NewarkNJ07012 United States Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai201804 China Coordinated Science Laboratory University of Illinois at Urbana-Champaign UrbanaIL61801 United States

Occupants' comfort is the primary target in a building operation. However their efforts are often neglected and ruled out from traditional control strategies of energy-efficient building management systems. Occupant-engaged control strategies have recently attracted many research attentions and demonstrated great potentials for energy saving. With them, occupants' behavior is incorporated into the closed-loop control methods in which their initiatives actively contribute to building services and energy utility by explicitly expressing their preferences. This work proposes an occupant-engaged demand response (DR) strategy for building automation in which occupants are actively engaged to adapt their energy consumption in response to incentive opportunities designed by facility managers. A model-based study and a Nash-Equilibrium-based solution are provided to assist facility managers with the design of social incentive policies to promote occupant participation, along with the guarantee of lucrativeness for a DR event. © 2014 IEEE.

关键词： Energy efficiency

来源：评论

学校读者我要写书评

暂无评论

A Petri Nets Based Approach for Detecting the Data Races and Deadlocks in OpenMP Program

A Petri Nets Based Approach for Detecting the Data Races and...

引用

2012 Third International Conference on Theoretical and Mathematical Foundations of computer Science(ICTMF 2012)

作者： Yulong Xian Zhijun Ding Department of Computer Science and Technology Tongji University The Key Laboratory of Embedded System and Service Computing Ministry of EducationTongji University

Because of OpenMP programs shielding the underlying parallel execution and scheduling details,data races and deadlocks are tend to occur during program ***,this paper puts forward the modeling method of OpenMP programs based on Petri *** flow of programs are modeled according to the semantics of program control statements and directives of OpenMP programs;Data flow of programs are modeled by abstracting read and write operations related to shared *** two detection algorithms of data race and deadlock for OpenMP program are given based on the coverability tree of Petri ***,corresponding software tool is designed and implemented,and an OpenMP program example of the dining philosophers problem is analyzed to indicate the effectiveness of this method and tools.

关键词： OpenMP, Data races, Deadlock, Static detection, Petri nets

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共46页 << < 20 21 22 23 24 25 26 27 28 29 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：