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

2011 7th IEEE International Conference on Automation Science and Engineering, CASE 2011

作者： Wang, ShouGuang Zhou, MengChu Wang, ChengYing College of Information and Electronic Engineering Zhejiang Gongshang University Hangzhou 310018 China Department of Electrical and Computer Engineering New Jersey Institute of Technology Newark NJ 07102-1982 United States MoE Key Laboratory of Embedded System and Service Computing Tongji University Shanghai 200092 China

ISBN: (纸本)9781457717307

Deadlock control is an important research issue in automated manufacturing systems that have a high degree of resource sharing and concurrency. Since minimal siphons are closely tied with deadlocks in Petri net models, their efficient extraction is fundamentally important. The existing methods can rapidly extract one minimal siphon given a maximal unmarked siphon that is obtained by using a mixed integer programming approach. This paper for the first time presents an extraction algorithm that can efficiently extract all minimal ones. The idea is based on the generation and use of a subnet tree structure given the places in a maximal unmarked siphon. Several Petri net models of automated manufacturing systems are used to illustrate the proposed concepts and methods. © 2011 IEEE.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

Evolutionary behavior verification to the trustworthy banking software

Evolutionary behavior verification to the trustworthy bankin...

引用

International Conference on Computer Engineering and Technology

作者： Jiang, Zuo-Wen Tang, Xian-Fei Ding, Zhi-Jun Jiang, Chang-Jun Electronics and Information Engineering School Tongji University 201804 China Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University 200092 China College of Science and Technology NingBo University 315211 China

ISBN: (纸本)9781424463503

Oriented to the goal of high-quality banking softwares, trustworthiness is emerging to be important property. This paper studies how to apply formal methods into the trustworthy property preservation of evolutionary components, focusing on the safety property of the concurrent software behavior, this paper presents a new approach to curb the state explosion problem in the model checking based trustworthiness verification. By adopting the environment reduction paradigm, our method is able to reduce the global states of the system by hiding the internal actions of the environment that does not join in the interleaving composition. The method presented is proved and testified with a bank software case study. Experiment data shows that our method is able to improve the verification efficiency. © copy;2010 IEEE.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

Trust-drive minimize cost within deadline algorithm for instance-intensive workflows in cloud computing environment

引用

Journal of Convergence Information Technology 2012年第13期7卷 412-419页

作者： Daoguo, Li Mukuai, Wang Rong, Zhao Hangzhou Dianzi University China Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University China

Cloud computing is an emerging paradigm and it has been accepted and researched widely both in industry and academic fields. Instance-intensive workflows are workflows with a great number of concurrent instances;they are typical applications in cloud computing environment. However, cloud resources consist of unreliable servers;it becomes increasingly important to provide reliable scheduling strategy. Considering unreliable cloud resources and QoS requirements of instanceintensive workflows, we propose Trust-drive Minimize Cost Within Deadline (TD-MCWD) scheduling algorithm. On the one hand, the TD-MCWD algorithm staggers deadlines of the large number of concurrent instances of the same nature, expecting to get cheaper and more intensively competitive resources. On the other hand, considering the risk factors on the basis of resource reliability was estimated by trust model, the TD-MCWD algorithm tends to assign the task to the high reliable resource. Simulation experiment shows TD-MCWD algorithm can reduce the rate of delayed instance completion and the average execution cost of successful instance completion. Besides, TD-MCWD has a better load balancing and shows a better performance.

关键词： Quality of service

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Personalized web retrieval based on rough-fuzzy method

引用

Journal of Computational Information systems 2007年第3期3卷 1067-1074页

作者： Duan, Qiguo Miao, Duoqian Zhang, Hongyun Zheng, Ji Key Laboratory of 'Embedded System and Service Computing' Department of Computer Science and Technology Tongji University Shanghai 201804 China

A novel approach of rough-fuzzy hybridization is proposed for efficient personalized Web retrieval. Variable precision rough set model is used to discover user preference. Fuzzy sets are incorporated to take care of the real-valued weights in each document vector. Discerning keywords are identified to refine a query for more focused representation. To further filter out irrelevant documents for the user, retrieved results are re-ranked according to rough similarity measures. Experiments compared with traditional search engine are presented and experimental results indicate the performance of document retrieval is greatly improved.

关键词： Search engines

来源：评论

学校读者我要写书评

暂无评论

Synchronization of delayed complex-valued networks via aperiodically intermittent pinning control

Synchronization of delayed complex-valued networks via aperi...

引用

International Conference on Information and Automation (ICIA)

作者： Xiwei Liu Department of Computer Science and Technology The Key Laboratory of Embedded System and Service Computing Shanghai China

ISBN: (纸本)9781467391054

In this paper, the synchronization problem for linearly coupled complex networks is investigated, which is denoted by ordinary differential equations with complex-values. The coupling topology can be asymmetric, and the time delay also exists in the network model. By pinning some external aperiodically intermittent control on the network nodes, we will prove that under some conditions, the complete synchronization will be finally realized exponentially. Moreover, applying the adaptive technique on the coupling strength, we will also present an adaptive rule, whose validity is rigorously proved. Finally, some numerical simulations will be given to illustrate the correctness of these obtained results.

关键词： Synchronization Delay effects Couplings Adaptation models Mathematical model Complex networks Delays

来源：评论

学校读者我要写书评

暂无评论

Estimating the direction of motion based on active RFID

Estimating the direction of motion based on active RFID

引用

5th International Conference on New Trends in Information Science and service Science, NISS 2011

作者： Yujian Yangwei Zhang, Yaing School of Electronics and Information Tongji University Shanghai China School of Economics and Management Shanghai Ocean University Shanghai China Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai China

ISBN: (纸本)9788988678626

RFID is one of the crucial technology of the IOT (Internet of things), and it has been applying to the fields of manufacturing, logistics management, public security, etc. Active RFID, as one important component of RFID, has striking features of low power consumption, stable signals, long-range read and strong anti-jamming ability. Active RFID is thus widely used in the areas of long-range identification of people and vehicles and Real Time Location system. In the various applications of active RFID, estimating the direction of motion is a vital technical issue. This paper puts forward a new method to estimate. In other words, using several directional antennae, it forms several reading zones, extracts events of tag-entering or tag-leaving and then realizes the estimation by the order of events. In this way, it is feasible to estimate not only the direction of motion of tags accurately, but also other complicated logic, e.g. tag return midway. © 2011 AICIT.

关键词： Radio frequency identification (RFID)

来源：评论

学校读者我要写书评

暂无评论

Cluster synchronization of nonlinearly coupled networks via periodically intermittent pinning control

Cluster synchronization of nonlinearly coupled networks via ...

引用

Chinese Control Conference (CCC)

作者： Xiwei Liu Jiujun Cheng Department of Computer Science and Technology the Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai China Department of Computer Science and Technology the Key Laboratory of Embedded System Service Computing Shanghai China

In this paper, the cluster synchronization problem for nonlinearly coupled networks under periodically intermittent pinning control is studied. At first, a sufficient condition to guarantee cluster synchronization is presented. Next, an adaptive intermittent control algorithm is designed to the control strength and its validity is rigorously proved. Finally, some numerical examples are presented to demonstrate the correctness of obtained theoretical results.

关键词： Synchronization Couplings Symmetric matrices Adaptive systems Educational institutions Equations Neural networks

来源：评论

学校读者我要写书评

暂无评论

Probabilistic Convergent Hough Transform

Probabilistic Convergent Hough Transform

引用

International Conference on Information and Automation (ICIA)

作者： Lei Zhu Zhaoqi Chen The Key Laboratory of Embedded System and Service Computing Ministry of Education University of Tongji Shanghai China

To reduce the computational complexity, a novel method of standard Hough transform (SHT), named probabilistic convergent Hough transform (PCHT), is proposed in this paper. PCHT avoids unnecessary cost of SHT in computation by intermittently detecting several points of a line through fast convergence and in memory by using a one-dimensional accumulator. Considering the inevitable error initiated by PCHT, Sensitivity of detection method is introduced to limit the error rate of detecting a fake line within the tolerable range. Experiment is done in various circumstances. Results and comparison between several line detections and PCHT are shown next, and further discussion is given in the final.

关键词： Transforms Noise Convergence Sensitivity Artificial neural networks Probabilistic logic Shape

来源：评论

学校读者我要写书评

暂无评论

Full-Duplex Millimeter-Wave Communication

arXiv

引用

arXiv 2017年

作者： Xiao, Zhenyu Xia, Pengfei Xia, Xiang-Gen Beihang University Key Laboratory of Embedded System and Service Computing Tongji University University of Delaware

The potential of doubling the spectrum efficiency of full-duplex (FD) transmission motivates us to investigate FD millimeter-wave (FD-mmWave) communication. To realize FD transmission in the mmWave band, we first introduce possible antenna configurations for FD-mmWave transmission. It is shown that, different from the cases in micro-wave band FD communications, the configuration with separate Tx/Rx antenna arrays appears more flexible in self-interference (SI) suppression while it may increase some cost and area versus that with the same array. We then model the mmWave SI channel with separate Tx/Rx arrays, where a near-field propagation model is adopted for the line-of-sight (LOS) path, and it is found that the established LOS-SI channel with separate Tx/Rx arrays also shows spatial sparsity. Based on the SI channel, we further explore approaches to mitigate SI by signal processing, and we focus on a new cancellation approach in FD-mmWave communication, i.e., beamforming cancellation. Centered on the constant-amplitude (CA) constraint of the beamforming vectors, we propose several candidate solutions. Lastly, we consider an FD-mmWave multi-user scenario, and show that even if there are no FD users in an FD-mmWave cellular system, the FD benefit can still be exploited in the FD base station. Candidate solutions are also discussed to mitigate both SI and multi-user interference (MUI) simultaneously. Copyright © 2017, The Authors. All rights reserved.

关键词： Beamforming

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：