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

Extended and improved slicing technologies for Petri nets

High Technology Letters 2013年第1期19卷 98-104页

作者： Yu, Wangyang Yan, Chungang Ding, Zhijun Fang, Xianwen Department of Computer Science and Technology Tongji University Shanghai 201804 China Key Lab. of Embedded System and Service Computing Ministry of Education Tongji University Shanghai 201804 China

Petri net is an important tool to model and analyze concurrent systems, but Petri net models are frequently large and complex, and difficult to understand and modify. Slicing is a technique to remove unnecessary parts with respect to a criterion for analyzing programs, and has been widely used in specification level for model reduction, but researches on slicing of Petri nets are still limited. According to the idea of program slicing, this paper extends slicing technologies of Petri nets to four kinds of slices, including backward static slice, backward dynamic slice, forward static slice and forward dynamic slice. Based on the structure properties, the algorithms of obtaining two kinds of static slice are constructed. Then, a new method of slicing backward dynamic slice is proposed based on local reachability graph which can locally reflect the dynamic properties of Petri nets. At last, forward dynamic slice can be obtained through the reachability marking graph under a special marking. The algorithms can be used to reduce the size of Petri net, which can provide the basic technical support for simplifying the complexity of formal verification and analysis. © by HIGH TECHNOLOGY LETTERS PRESS.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

Modeling and monitoring of online shopping business processes based on system behavior patterns

引用

Journal of Computational Information systems 2013年第12期9卷 4691-4698页

作者： Yu, Wangyang Yan, Chungang Ding, Zhijun Zhong, Junzhu Department of Computer Science and Technology Tongji University Shanghai 201804 China Key Lab. of Embedded System and Service Computing Ministry of Education Tongji University Shanghai 201804 China

Online shopping integrating third-party payment platforms (TPPs) has rapidly developed recently. The integration leads to new security problems derived from complex interactions among Application Programming Interfaces (APIs), and the detection of such defects in application-level is costly and difficult. To deal with these security issues at the online stages, this paper presents a framework of modeling and monitoring online shopping business processes from the point of legal behavior patterns. We present Online Shopping Net (OSN) to model the normal business process, and make it as the legal behavior pattern used to monitor system behaviors. Then, a monitor based on OSN is constructed. The system behaviors beyond the legal behavior pattern would be alarmed and blocked. It is a novel attempt to guarantee the security of online shopping from the point of behaviors and online monitoring. Using the active defense tactics, we can effectively prevent the illegal behaviors of the users at application-level instead of constantly fixing bugs of applications. As a case study, we simulate an e-commerce site and a TPP, and the monitor can effectively prevent the malicious behaviors appearing recently. © 2013 by Binary Information Press.

关键词： Application programming interfaces (API)

来源：评论

学校读者我要写书评

暂无评论

Predictive Control for Visual Servo Stabilization of Nonholonomic Mobile Robots

引用

自动化学报 2013年第8期39卷 1238-1245页

作者： CAO Zheng-Cai YIN Long-Jie FU Yi-Li LIU Tian-Long College of Information Science and Technology Beijing University of Chemical TechnologyBeijing 100029China Key Laboratory of Embedded System and Service Computing Ministry of EducationTongji UniversityShanghai 201804China State Key Laboratory of Robotics and Systems Harbin Institute of TechnologyHarbin 150080China

活动机器人获得了的 nonholonomic 的视觉伺服稳定广泛的注意。当前，这个问题的解决方案不管多么不认为可见性限制和致动器是限制，因此设计控制器是困难的在实际申请认识到令人满意的性能。在这份报纸，为一个活动机器人的视觉伺服稳... 详细信息

活动机器人获得了的 nonholonomic 的视觉伺服稳定广泛的注意。当前，这个问题的解决方案不管多么不认为可见性限制和致动器是限制，因此设计控制器是困难的在实际申请认识到令人满意的性能。在这份报纸，为一个活动机器人的视觉伺服稳定的一个预兆的控制器被介绍。第一，利用产生速度的命令的一个运动学的预兆的稳定控制器被介绍。然后，来临以便 asymptotically 做活动机器人的实际速度到需要的，一个动态预兆的控制器被设计。建议预兆的控制器能容易处理限制。最后，几模拟被执行，并且结果说明建议控制计划是有效的解决视觉伺服稳定问题。

关键词：非完整移动机器人稳定化控制器预测控制器视觉伺服生成速度运动预测稳定问题控制方案

来源：评论

学校读者我要写书评

暂无评论

Improving Utilization and Parallelism of Hadoop Cluster by Elastic Containers

Improving Utilization and Parallelism of Hadoop Cluster by E...

引用

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

作者： Yinggen Xu Wei Chen Shaoqi Wang Xiaobo Zhou Changjun Jiang The Key Lab of Embedded System and Service Computing Tongji University Shanghai China Department of Computer Science University of Colorado Colorado Springs Colorado USA

ISBN: (纸本)9781538641293

Modern datacenter schedulers apply a static policy to partition resources among different tasks. The amount of allocated resource won't get changed during a task's lifetime. However, we found that resource usage during a task's runtime demonstrates high dynamics and it only reaches full usage at few moments. Therefore, the static allocation policy doesn't exploit the dynamic nature of resource usage, leading to low system resource utilization. To address this hard problem, a recently proposed task-consolidation approach packs as many tasks as possible on the same node based on real-time resource demands. However, this approach may cause resource over-allocation and harm application performance. In this paper, we propose and develop ECS, an elastic container based scheduler that leverages resource usage variation within the task lifetime to exploit the potential utilization and parallelism. The key idea is to proactively select and shift tasks backward so that the inherent paralleled tasks can be identified without over-allocation. We formulate the scheduling scheme as an online optimization problem and solves it using a resource leveling algorithm. We have implemented ECS in Apache Yarn and performed evaluations with various MapReduce benchmarks in a cluster. Experimental results show that ECS can efficiently utilize resource and achieves up to 29% reduction on average job completion time while increasing CPU utilization by 25%, compared to stock Yarn.

关键词： Task analysis Containers Dynamic scheduling Resource management Benchmark testing Parallel processing Runtime

来源：评论

学校读者我要写书评

暂无评论

A polynomial algorithm to performance analysis of concurrent systems via petri nets and ordinary differential equations

A polynomial algorithm to performance analysis of concurrent...

引用

作者： Ding, Zuohua Zhou, Yuan Zhou, Meng Chu Laboratory of Intelligent Computing and Software Engineering Zhejiang Sci-Tech University Hangzhou310018 China Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai200092 China Department of Electrical and Computer Engineering New Jersey Institute of Technology NewarkNJ07102-1982 United States

In this paper, a new method is proposed to evaluate the performance of concurrent systems. A concurrent system consisting of multiple processes that communicate via message passing mechanisms is modeled by a Petri net, which is in turn represented by a set of ordinary differential equations (ODEs) of a restricted type. The equations describe the system state changes, and the solutions, also called state measures, can be used for the performance analysis such as estimating response time, throughput and efficiency. This method can avoid a state explosion problem encountered by the conventional methods based on Continuous-Time Markov Chains. Its application to an IBM business system is given as an example. © 2004-2012 IEEE.

关键词： Ordinary differential equations

来源：评论

学校读者我要写书评

暂无评论

Designing and analysis of a new book-lending system based on logic Petri nets

Designing and analysis of a new book-lending system based on...

引用

2011 International Conference on Electric Information and Control Engineering, ICEICE 2011

作者： Xia, Jiang Luan, Wenjing Department of Computer Laiwu Vocational and Technical College Laiwu 271100 China Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai 200092 China College of Information Science and Engineering Shandong University of Science and Technology Qingdao 266510 China

A new book-lending system is designed and analyzed based on logic Petri nets in this paper. The batch processing function and indeterminacy of readers are included in the system. Its logic Petri net model is establish... 详细信息

ISBN: (纸本)9781424480395

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

Association analysis between symptoms (signs) and syndromes of chronic gastritis based on associated density

Association analysis between symptoms (signs) and syndromes ...

引用

2012 International Conference on system Simulation, ICUSS 2012

作者： Liu, G.P. Li, G.Z. Yan, S.X. Li, F.F. Fu, J.J. Zhen, R.W. Laboratory of Information Access and Synthesis of TCM Four Diagnosis Basic Medical College Shanghai University of Traditional Chinese Medicine Shanghai 201203 China Key Laboratory of Embedded System and Service Computing Department of Control Science and Engineering Tongji University Shanghai 201804 China

ISBN: (纸本)9781849195386

Purpose: The analysis of syndrome distribution and the association between symptom((signs))-syndrome in chronic gastritis (CG) patients can provide references for research about Traditional Chinese Medicine (TCM) diagnosis and treatment of CG. Method: This paper applies the investigation method of clinical epidemiology, adopts probability statistics method and comes up with the concept of associated density to conduct association analysis of symptom-syndrome. Result: In the distribution of syndromes patients who have a single syndrome occupy 64.7% of the whole sample;some symptoms have been selected out, of which the associated density is more than 0.6. Conclusion: Through this comparison of the values, we found the obvious one-way relationship of the symptoms (signs) and syndromes, and the results are in line with traditional Chinese medicine theory. This method effectively complements and supports traditional Chinese medicine point of view and hypothesis.

关键词： Diagnosis

来源：评论

学校读者我要写书评

暂无评论

引用

9th International Conference on Intelligent computing, ICIC 2013

作者： Wang, Bing Ji, Zhiwei Advanced Research Institute of Intelligent Sensing Network Tongji University Shanghai 201804 China Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai 201804 China School of Electronics and Information Engineering Tongji University Shanghai 201804 China

ISBN: (纸本)9783642394812

The development of novel high-throughput experimental techniques makes it possible to comprehensively analyze biological data in health and disease. However, a large amount of data generated results in dramatic data-analytic challenges in discovery of 'signature' molecules, which are specific to different biological conditions (e.g. normal vs. disease, treated vs. untreated). Current statistical methods are effective only in the case their hypothesis can be matched. In this paper, we apply an ensemble statistical method to infer significant molecules. In our approach, four well-done and well-understanding statistical techniques had been used for the analysis to the experimental data, and then the results will be collected into an ensemble framework to find the high confident "significant" molecules which can distinguish the different experimental conditions. We evaluate the performance of our approach on a test dataset which deposited on GEO database with an access number of GSE45114. © 2013 Springer-Verlag.

关键词： Molecules

来源：评论

学校读者我要写书评

暂无评论

A relational taxonomy of services for large scale service repositories

A relational taxonomy of services for large scale service re...

引用

2012 IEEE 19th International Conference on Web services, ICWS 2012

作者： Wu, Yan Yan, Chungang Ding, Zhijun Wang, Pengwei Jiang, Changjun Zhou, Mengchu Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai China Department of Electrical and Computer Engineering New Jersey Institute of Technology Newark NJ 07102 United States School of Electronics and Information Engineering Tongji University Shanghai China

ISBN: (纸本)9780769547527

With the rapid development of service-oriented computing (SOC) and service-oriented architecture (SOA), the number of services is rapidly increasing. How to organize and manage services effectively in repositories to improve the efficiency of service discovery and composition is important. This paper proposes three categorization rules to classify services for a large scale repository to form a relational taxonomy. The service retrieve scope can be drastically narrowed by this taxonomy. Therefore, the efficiency of service discovery and service composition can be greatly improved. We evaluate and compare the performance of the proposed method and other related ones via a publicly available test set, ICEBE05. The experimental results validate the effectiveness and high efficiency of the proposed one. © 2012 IEEE.

关键词： Web services

来源：评论

学校读者我要写书评

暂无评论

Logical difference analysis based on variable precision lower approximation operator and graded upper approximation operator

Logical difference analysis based on variable precision lowe...

引用

2012 International Conference on Computer Science and Information Processing, CSIP 2012

作者： Zhang, Xianyong Miao, Duoqian Department of Computer Science and Technology Tongji University Shanghai 201804 China Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai 201804 China College of Mathematics and Software Science Sichuan Normal University Chengdu Sichuan 610068 China

ISBN: (纸本)9781467314114

This paper aims to construct and analyze an original logical difference based on the quantitative approximation operators. According to the variable precision lower approximation operator and graded upper approximation operator, we first put forward the specific logical difference;the new concept makes the specific logical combination on precision and grade, and has the practical multiple quantitative meaning. Then, both the fundamental structure and properties are investigated and obtained for the logical difference. Furthermore, two algorithms, the regular and structural algorithms, are proposed and analyzed, and the structural algorithm has more advantages. Finally, an example is provided. The proposed concept partially extends the graded and classical approximation operators;thus, some properties are achieved correspondingly for these previous approximation operators. © 2012 IEEE.

关键词： Rough set theory

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：