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

Automatic Web service composition based on Horn clauses and Petri nets

Expert systems with Applications 2011年第10期38卷 13024-13031页

作者： Tang, Xianfei Jiang, Changjun Zhou, Mengchu 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 Department of Electrical and Computer Engineering New Jersey Institute of Technology Newark NJ 07102 United States

This paper introduces an automatic Web service composition method based on logical inference of Horn clauses and Petri nets. The Web service composition problem is transformed into the logical inference problem of Horn clauses by exploring the dependency relations among services. An algorithm is presented, to determine whether the composite service exists in time that is linear in the size of the knowledge base. It can also return the rule set necessary for the composition. Petri nets are chosen to model the rule set and its structural analysis techniques are used to obtain the composite service. © 2010 Elsevier Ltd. All rights reserved.

关键词： Automatic reasoning Knowledge base Petri nets service composition Web service

来源：评论

学校读者我要写书评

暂无评论

Robust control reconfiguration of resource allocation systems with Petri nets and integer programming

Robust control reconfiguration of resource allocation system...

引用

作者： Li, Jun Zhou, Mengchu Guo, Tao Gan, Yahui Dai, Xianzhong Key Laboratory of Measurement and Control of Complex Systems of Engineering Ministry of Education China School of Automation Southeast University Nanjing 210096 China Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai 201804 China Department of Electrical and Computer Engineering New Jersey Institute of Technology Newark NJ 07102 United States

Supervisory control reconfiguration can handle the uncertainties including resource failures and task changes in discrete event systems. It was not addressed to exploit the robustness of closed-loop systems to accommodate some uncertainties in the prior studies. Such exploitation can cost-efficiently achieve reconfigurability and flexibility for real systems. This paper presents a robust reconfiguration method based on Petri nets (PNs) and integer programming for supervisory control of resource allocation systems (RASs) subject to varying resource allocation relationships. An allocation relationship is seen as a control specification while the execution processes requiring resources as an uncontrolled plant. First, a robust reconfiguration mechanism is proposed. It includes updating the P-invariant-based supervisor and evolving the state of the closed-loop system. The latter adapts to the control specification changes by the self-regulation of the closed-loop system's state. Next, two novel integer programming models for control reconfiguration are proposed, called a reconfiguration model with acceptability and reconfiguration one with specification correction. Since both models integrate the firability condition of transitions, no additional efforts are required for the state reachability analysis. Finally, a hospital emergency service system is used as an example to illustrate them. © 2014 Elsevier Ltd. All rights reserved.

关键词： Integer programming

来源：评论

学校读者我要写书评

暂无评论

Biped robot walking using central pattern generator and genetic algorithm

Biped robot walking using central pattern generator and gene...

引用

IASTED International Conference on Robotics, Robo 2010

作者： Liu, Chengju Chen, Qijun Wang, Danwei School of Electronics and Information Engineering Tongji University Shanghai 201804 China Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai 201804 China School of Electrical and Electronic Engineering Nanyang Technological University Singapore Singapore

ISBN: (纸本)9780889868595

Central pattern generator (CPG) plays an important role in rhythmic activities of animals and this mechanism is an important inspiration source for the motion control of legged robots. In this paper, by using CPGs and function mapping mechanism, a high-efficiency distributed CPG control network is constructed to realize the locomotion control of biped NAO robot. To realize stable and coordinated locomotion, the parameters of the CPG network are evolved by multi-object genetic algorithm (MOGA). Simulations with Webots validate the feasibility and efficiency of the presented CPG-based control method.

关键词： Genetic algorithms

来源：评论

学校读者我要写书评

暂无评论

A Cloudedge-Combined Data Placement Strategy Based on User Access Regions 6

A Cloudedge-Combined Data Placement Strategy Based on User A...

引用

6th International Conference on Big Data and Information Analytics, BigDIA 2020

作者： Cao, Eryang Wang, Pengwei Yan, Chungang Jiang, Changjun Department of Computer Science and Technology Tongji University Shanghai200092 China Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai200092 China School of Computer Science and Technology Donghua University Shanghai201620 China

To improve the availability of data in the cloud and avoid vendor lock-in risk, multi-cloud storage is attracting more and more attentions. However, accessing data from the cloud usually has some disadvantages such as higher latency and more bandwidth-consuming. Edge computing, which has become popular in recent years, could effectively solve the above problems while it usually reduces availability. Storage only in the cloud or edge environment is limited by many factors. To this end, we build mathematical model which is abstracted from real access mode of users in consideration of multi-cloud and edge. This paper presents a method combined NSGAII with multi-group method which has better ability of global search to help users determine cloud and edge services to store and access data object. A large number of experiments using real service provider information demonstrate that the proposed algorithm outperforms existing methods and effectiveness of it. © 2020 IEEE.

关键词： Multiobjective optimization

来源：评论

学校读者我要写书评

暂无评论

Information Security Evaluation by Information Flow Analysis Based on Stochastic Petri Nets

Information Security Evaluation by Information Flow Analysis...

引用

2024 IEEE International Conference on systems, Man, and Cybernetics, SMC 2024

作者： Tu, Hanqian Xiang, Dongming Lin, Wang Liu, Guanjun Zhejiang Sci-Tech University Department of Computer Science and Technology Hangzhou310018 China Shanghai Electronic Transactions and Information Service Collaborative Innovation Center Tongji University Key Laboratory of Embedded System and Service Computing Ministry of Education Department of Computer Science Shanghai201804 China

ISBN: (纸本)9781665410205

The Petri-net-based information flow analysis offers an effective approach for detecting information leakage by the concept of non-interference. Although the related studies propose efficient solutions, they lack quantitative evaluation on information leakage. In this paper, we propose a novel method for quantitative evaluation of information security based on stochastic labeled Petri nets (SLPNs) and information flow analysis. Specifically, we introduce four different levels of security metrics, and provide a methodology for evaluating the information security. Furthermore, a case study is presented to show the feasibility of our method. © 2024 IEEE.

关键词： Information leakage

来源：评论

学校读者我要写书评

暂无评论

Object measurement system based on Surveillance video-images 1

引用

6th International Conference on Frontier computing, FC 2017

作者： Duan, Hui-Xian Wang, Jun Song, Lei Liu, Na Cyber Physical System R&D Center The Third Research Institute of Ministry of Public Security Shanghai201204 China The Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai200092 China Shanghai International Technology and Trade United Co. Ltd Shanghai200031 China

ISBN: (数字)9789811073984

ISBN: (纸本)9789811073977

Object measurement based on surveillance video-images is a critical task in the field of intelligent video surveillance. In this paper, we proposed an object measurement system based on surveillance video-images. Firstly, considering the scene of the urban video surveillance, a novel calibration tool is designed for such scene, which is portable, collapsible and operational. Next, based on the portable calibration tool, the intrinsic and extrinsic parameters of the surveillance camera can be estimated. Then, an object measurement system based on surveillance video-images is developed, which include the acquisition module of calibration data, the computation module of camera parameters, the selection module of measurement endpoint and the computation module of object. Finally, in the traffic checkpoint, experiments are carried out to verify the effectiveness of the object measurement system. The results show that as long as the surveillance camera is one-time calibrated based on the portable calibration tool, this system can measure the object on the surveillance video-images captured by the calibrated camera. What’s more, experimental results have shown that the object measurement system can be used to estimate the vehicle speed and measure the body height within the acceptable error range, and then have demonstrated the effectiveness of the object measurement system. © 2018, Springer Nature Singapore Pte Ltd.

关键词： Calibration

来源：评论

学校读者我要写书评

暂无评论

Non-Intrusive Load Disaggregation Using Semi-Supervised Learning Method

Non-Intrusive Load Disaggregation Using Semi-Supervised Lear...

引用

International Conference on Security, Pattern Analysis, and Cybernetics (SPAC)

作者： Nan Miao Shengjie Zhao Qingjiang Shi Rongqing Zhang The Key Laboratory of Embedded System and Service Computing of Ministry of Education Tongji University Shanghai China School of Software Engineering The Key Laboratory of Embedded System and Service Computing of Ministry of Education Tongji University Shanghai China School of Software Engineering Tongji University Shanghai China

ISBN: (数字)9781728159287

ISBN: (纸本)9781728159294

With the emerging of smart metering around the world, there is a growing demand to analyse the residential energy usage. In this paper, we propose a Deep Neural Network (DNN)-based approach for non-intrusive load monitoring (NILM), which can achieve effective and efficient estimation of individual appliance usage according to a single main meter reading in a non-intrusive manner. Considering practical situations, two training methods are provided. The first training approach is fully supervised learning, which requires a ground truth of label, indicating the state of the appliance (ON/OFF), to build a prediction model. The second training approach is semi-supervised learning, leading to better performance by F-Measure metric while only requiring some more unlabelled training data. Experimental results on the low-sample rate REDD dataset demonstrate the superior performance of our proposed DNN-based method compared with Hidden Markov Model (HMM)based and Graph Signal Processing (GSP)-based approaches.

关键词： Training Hidden Markov models Home appliances Neural networks Convolution Security Pattern analysis

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Low-Rate Non-Intrusive Appliance Load Monitoring Based on Graph Signal Processing

Low-Rate Non-Intrusive Appliance Load Monitoring Based on Gr...

引用

International Conference on Security, Pattern Analysis, and Cybernetics (SPAC)

作者： Bing Zhang Shengjie Zhao Qingjiang Shi Rongqing Zhang The Key Laboratory of Embedded System and Service Computing of Ministry of Education Tongji University Shanghai China School of Software Engineering The Key Laboratory of Embedded System and Service Computing of Ministry of Education Tongji University Shanghai China School of Software Engineering Tongji University Shanghai China

ISBN: (数字)9781728159287

ISBN: (纸本)9781728159294

Thanks to the large-scale smart meters deployments around the world, non-intrusive appliance load monitoring (NILM) is receiving popularity. It aims to disaggregate the total electricity load of a home into individual appliances without resorting to any specific appliance power monitors. NILM is worthy of broad attention owing to its facilitation in energy savings. This paper regards NILM as a classification task and proposes a two-step method based on graph signal processing (GSP). In the first step, a smoothest solution is obtained by minimizing the regularization term. In the second step, gradient projection method, which uses the obtained minimizer as a start point, is adopted to optimize the while objective function, where NILM is regarded as a constrained nonlinear programming problem. The experiment results based on the open-access data set REDD clearly demonstrate that the proposed GSP-based method achieves improved performance compared with other state-of-the-art low-rate NILM approaches.

关键词： domestic appliances gradient methods graph theory nonlinear programming power system measurement signal processing smart meters Smart meters Power system measurements signal processing Nonlinear Programming gradient methods Graph theory Appliances load monitoring

来源：评论

学校读者我要写书评

暂无评论

Adaptive rate-distortion prediction for multiple reference selection and inter-mode decision

Adaptive rate-distortion prediction for multiple reference s...

引用

13th Pacific-Rim Conference on Multimedia, PCM 2012

作者： Zhao, Tiesong Zhang, Yun Kwong, Sam Wang, Hanli Chen, Qian Shenzhen Institute of Advanced Technology Chinese Academy of Sciences Shenzhen China Department of Computer Science City University of Hong Kong Hong Kong Hong Kong Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai China

ISBN: (纸本)9783642347771

To minimize Rate-Distortion (RD) cost in video coding, RD Optimization (RDO) technique is adopted, which also brings increasingly computational complexity in Motion Estimation (ME), multiple reference selection and mode decision. In this paper, a Gaussian model based adaptive RD cost prediction method is developed to jointly speed up multiple reference selection and inter-mode decision. Besides the ability of achieving good coding efficiency with much reduced computational power, our method is also with two major advantages. First, it can achieve robust performance, including computational complexity reduction and almost intact video quality, with a wide range of video sequences resolutions and even for various scene changes;second, it could be either individually used or combined with the other efficient mode decision algorithms, and in both cases, our method could achieve remarkable performance, which is revealed by exhaustive experimental results. © 2012 Springer-Verlag.

关键词： Image coding

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：