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

Retraction notice to ‘‘Specification and Verification of Dynamic Evolution of Software Architectures” [SYSARC 56 (10) (2010) 523–533]

引用

Journal of systems Architecture 2012年第8期58卷 338-338页

作者： Xu Hongzhen Zeng Guosun Department of Computer Science and Technology Tongji University Shanghai 201804 China Department of Computer Science and Technology East China Institute of Technology Fuzhou Jiangxi Province 344000 China Application of Nuclear Technology Engineering Center of Ministry of Education Nanchang Jiangxi Province 330013 China Embedded System and Service Computing Key Lab of Ministry of Education Shanghai 201804 China

来源：评论

学校读者我要写书评

暂无评论

Trust reasoning and optimization based on associate petri net

引用

ICIC Express Letters 2011年第3期5卷 791-796页

作者： Fang, Xianwen Yan, Chungang Fan, Xiaoqin Yin, Zhixiang Department of Information and Computing Science Anhui University of Science and Technology No. 168 Shungengzhong Road Huainan 232001 China Key Lab of Embedded System and Service Computing Ministry of Education Tongji University No. 1239 Siping Road Shanghai 201804 China

Trust issue is an important problem both in social field and information field. At present, there are few methods considering the interaction behavior relativity between models which can judge the interaction influence, so the obtained trust value is imprecise and unreliable. In the paper, behavior-aware trust computation and reasoning methods based on Associate Petri net (APN) are presented, which use the APN reasoning and take the interaction relativity into account. Using Genetic Algorithm (GA) combined with the properties of APN, a trust optimization method is obtained. Theoretical analysis and experimental results indicate that the method owns both lower computation cost and lower error rate. © 2011 ISSN 1881-803X.

关键词： Genetic algorithms

来源：评论

学校读者我要写书评

暂无评论

Closed-form solution for cycle time of revisiting processes in single-arm cluster tool scheduling with atomic layer deposition

Closed-form solution for cycle time of revisiting processes ...

引用

IEEE International Conference on Networking, Sensing and Control

作者： YuXi Sun NaiQi Wu MengChu Zhou School of Mechatronics Engineering Guangdong University of Technology Guangzhou China Key Laboratory of MoE for Embedded System and Service Computing University of Tongji Shanghai China ECE Department New Jersey Institute of Technology Newark NJ USA

Atomic layer deposition (ALD) is a typical process with wafer revisiting that should be performed by cluster tools. This paper discusses the scheduling problem of single-arm cluster tools for the ALD process. In scheduling such system, the most difficult part is to schedule the revisiting process and obtain its optimal cycle time. This paper studies the revisiting process of ALD with revisiting times k = 3, 4, and 5. Analytical expressions are obtained to calculate the cycle time for the k possible schedules with k = 3, 4, and 5, respectively, so as to obtain the optimal one. In this way, the scheduling problem of such a revisiting process becomes simple and this is a significant improvement in scheduling cluster tools with wafer revisiting.

关键词： Schedules Semiconductor device modeling Robots Load modeling system recovery Color Integrated circuit modeling

来源：评论

学校读者我要写书评

暂无评论

Knowledge Granulation in Interval-Valued Information systems

Knowledge Granulation in Interval-Valued Information Systems

引用

International Workshop on Intelligent systems and Applications, ISA

作者： Nan Zhang Duoqian Miao Can Gao Department of Computer Science and Technology University of Tongji Shanghai China Department of Electrical and Computer Engineering University of Alberta Edmonton AB Canada Key Laboratory of Embedded System and Service Computing of Ministry of Education University of Tongji Shanghai China

Rough set theory, proposed by Pawlak, has been proved to be a mathematical tool to deal with vagueness and uncertainty in intelligent information processing. In this paper, we propose the concept of knowledge granulation in interval-valued information systems, and discuss some important properties. From these properties, it can be shown that the proposed knowledge granulation provides important approaches to measuring the discernibility of different knowledge. It may be helpful for rule evaluation and knowledge discovery in interval-valued information systems.

关键词： Information systems Approximation methods Uncertainty Rough sets Computers Entropy

来源：评论

学校读者我要写书评

暂无评论

Extracting all minimal siphons from maximal unmarked siphons in manufacturing-oriented Petri nets

Extracting all minimal siphons from maximal unmarked siphons...

引用

IEEE International Conference on Automation Science and Engineering (CASE)

作者： ShouGuang Wang MengChu Zhou ChengYing Wang College of Information & Electronic Engineering Zhejiang Gongshang University Hangzhou China Department of Electrical and Computer Engineering New Jersey Institute of Technology Newark NJ USA MoE Key Laboratory of Embedded System and Service Computing Tongji University Shanghai China

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.

关键词： system recovery Algorithm design and analysis Petri nets Educational institutions Manufacturing systems Software algorithms Image edge detection

来源：评论

学校读者我要写书评

暂无评论

Adaptive output feedback control for uncertain nonholonomic chained systems

引用

Journal of Central South University 2010年第3期17卷 572-579页

作者：袁占平王祝萍陈启军 Department of Electronics and Information Engineering Tongji University Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University

An adaptive output feedback control was proposed to deal with a class of nonholonomic systems in chained form with strong nonlinear disturbances and drift terms. The objective was to design adaptive nonlinear output feedback laws such that the closed-loop systems were globally asymptotically stable, while the estimated parameters remained bounded. The proposed systematic strategy combined input-state-scaling with backstepping technique. The adaptive output feedback controller was designed for a general case of uncertain chained system. Furthermore, one special case was considered. Simulation results demonstrate the effectiveness of the proposed controllers.

关键词： adaptive output feedback input-state scaling backstepping nonholonomic system

来源：评论

学校读者我要写书评

暂无评论

SelectCast: Scalable data aggregation scheme in wireless sensor networks

SelectCast: Scalable data aggregation scheme in wireless sen...

引用

IEEE Annual Joint Conference: INFOCOM, IEEE Computer and Communications Societies

作者： Cheng Wang Shaojie Tang Xiang-Yang Li Changjun Jiang Key Laboratory of Embedded System and Service Computing Ministry of Education Shanghai China Department of Computer Science University of Tongji Shanghai China Department of Computer Science Illinois Institute of Technology Chicago IL USA TNLIST School of Software Tsinghua University China

In this work, for a wireless sensor network (WSN) of n randomly placed sensors with node density λ ∈ [1, n], we study the tradeoffs between the aggregation throughput and gathering efficiency. The gathering efficiency refers to the ratio of the number of the sensors whose data have been gathered to the total number of sensors. Specifically, we design two efficient aggregation schemes, called single-hop-length (SLH) scheme and multiple-hop-length (MLH) scheme. By novelly integrating these two schemes, we theoretically prove that our protocol achieves the optimal tradeoffs, and derive the optimal aggregation throughput depending on a given threshold value (lower bound) on gathering efficiency. Particularly, we show that under the MLH scheme, for a practically important set of symmetric functions called perfectly compressible functions, including the mean, max, or various kinds of indicator functions, etc., the data from Θ(n) sensors can be aggregated to the sink at the throughput of a constant order Θ(1), implying that our MLH scheme is indeed scalable.

关键词： TV Wireless sensor networks Power capacitors Blogs Lattices

来源：评论

学校读者我要写书评

暂无评论

Construction-and-extraction based index for images retrieval

IEEJ Transactions on Electronics, Information and Systems

引用

IEEJ Transactions on Electronics, Information and systems 2011年第7期131卷 1377-1383页

作者： Zhang, Junqi Ni, Lina Tian, Chunqi Gao, Shangce Tang, Zheng Department of Computer Science and Technology Key Laboratory of Embedded System and Service Computing Tongji University Shanghai 200092 China College of Info Sci and Engi Shandong University of Science and Technology Qingdao 266510 China Department of Intellectual Information Systems Engineering University of Toyama Toyama-shi 930-8555 Japan

The past recent years have witnessed more and more applications on image retrieval. As searching a large image database is often costly, to improve the efficiency, high dimensional indexes may help. This paper proposes an adaptive hybrid index (AHI) supported by a construction-and-extraction technique to support image retrieval. First, the image clusters are further partitioned into sub-clusters to reduce the overlap between clusters and indexed into an iDistance index. Then, the query sampling statistically extracts some sub-cluster from the iDistance index into a sequential file. Finally, the users' queries are accurately returned by searching both the iDistance index and the sequential file. It's proved that the proposed AHI never performs worse than the sequential scan. Particularly, the experimental results demonstrate that the proposed index AHI is beneficial and achieves better performance than some exiting methods. It is about 2 times faster than iDistance, almost three times than Omni-sequential, more than four times faster than sequential file and more than 10 times faster than M-tree on the benchmark images set. The effect of the proposed AHI is also investigated by our implemented content based images retrieval system. © 2011 The Institute of Electrical Engineers of Japan.

关键词： Extraction

来源：评论

学校读者我要写书评

暂无评论

Neurological rehabilitation of stroke patients via motor imaginary-based brain-computer interface technology

引用

Neural Regeneration Research 2011年第28期6卷 2198-2202页

作者： Hongyu Sun Yang Xiang Mingdao Yang Department of Computer Science and Technology Tongji University Shanghai 201804 China College of Information and Electrical Engineering Shandong University of Science and Technology China Key Laboratory of Embedded System and Service Computing Ministry of Education of the People＇s Republic of China Tongji University Shanghai 201804 China Qingdao Economic ＆ Technical Development Area First People＇s Hospital Qingdao 266555 Shangdong Province China

The present study utilized motor imaginary-based brain-computer interface technology combined with rehabilitation training in 20 stroke patients. Results from the Berg Balance Scale and the Holden Walking Classification were significantly greater at 4 weeks after treatment （P 〈 0.01）, which suggested that motor imaginary-based brain-computer interface technology improved balance and walking in stroke patients.

关键词： brain-computer interface motor cortex neuronal plasticity rehabilitation stroke neural regeneration

来源：评论

学校读者我要写书评

暂无评论

Verification of web service protocols by logic of knowledge

引用

Journal of Information and Computational Science 2011年第6期8卷 921-932页

作者： Chen, Qingliang Su, Kaile Cao, Ying Liu, Chanjuan School of Electronics Engineering and Computer Science Peking University Beijing 100871 China Department of Computer Science Jinan University Guangzhou 510632 China Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai 200000 China Institute for Integrated and Intelligent Systems Griffith University Brisbane Australia

Web services is a popular distributed systems technology and its effectiveness and efficiency rely badly on the underlying protocols. And web service protocols are designed in XML formats so the message structures within are quite different from the conventional ones. Therefore, the well-established formal verification techniques for conventional protocols, which have gained substantial achievements in practice, cannot be applied directly to them because of the inherently different syntax. In this paper, we propose a justification-oriented and automatic formal approach to verify, in the standard Dolev-Yao model, concerned security properties expressed as epistemic notions, i. e., logic of knowledge, for web service protocols, based on a fault-preserving mapping tool called SuD (SOAP under Dolev-Yao). Our approach is significant because, instead of finding flaws in finite number of protocol sessions, the specifications we are to verify can hold in arbitrary number of sessions. © 2011 Binary Information Press.

关键词： Web services

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：