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

Observable liveness of Petri nets with controllable and observable transitions

Science China(Information Sciences) 2017年第11期60卷 256-264页

作者： Guanjun LIU Changjun JIANG Department of Computer Science Tongji University Key Laboratory of Embedded System and Service Computing of Ministry of Education Tongji University E-commerce Transactions and Information Services Collaborative Innovation Center of Shanghai University Knowledge Service Platform Tongji University

Observability and/or controllability are paid much attention to by researchers not only from the control science field[1–3]but also from the computer science field[4–9].Recently,Desel and Kilinc[4]proposed the notion of observable liveness for Petri nets with(un-)observable and(un-)controllable *** purpose of defining observable liveness is to represent that"a user can always enforce the occurrence of any observable transition only by stimulating the net by choosing appropriate enabled controllable transition"[4].An important assumption of

关键词： net cot PN Observable liveness of Petri nets with controllable and observable transitions

来源：评论

学校读者我要写书评

暂无评论

CONSISTENT REPRESENTATION LEARNING ACROSS MODALITIES FOR ZERO-SHOT IMAGE RECOGNITION

CONSISTENT REPRESENTATION LEARNING ACROSS MODALITIES FOR ZER...

引用

2021 IEEE International Conference on Multimedia and Expo, ICME 2021

作者： Wang, Yu Zhao, Sev-Jue Key Laboratory of Embedded System and Service Computing Ministry of Education China HaiBa Technology China

ISBN: (纸本)9781665438643

Zero-shot learning (ZSL) recently has drawn widespread attention due to the demand for scalability of object recognition in real scenes. Existing approaches typically focus on directly learning various mapping functions from the visual space to the semantic space or vice versa. However, these methods fail to explicitly capture consistent representations reflecting the nature of different modalities of the same object, which results in the deterioration of the domain shift problem in the ZSL context during the testing stage. To this end, a consistent representation learning mechanism across visual modalities and the associated semantic modalities based on common subspace learning is proposed in this paper. We further impose an orthogonal constraint on the subspace for informative representations, as well as 21-norm regularization terms on projection matrices for automatic feature selection. Finally, an iterative process based on the ALM algorithm with an alternating direction strategy is displayed to resolve the proposed formulation. Extensive experimental results on four popular datasets demonstrate that our algorithm is promising. © 2021 IEEE

关键词： Zero-shot learning

来源：评论

学校读者我要写书评

暂无评论

Edge-weight-Based link prediction in heterogeneous graph 19

Edge-weight-Based link prediction in heterogeneous graph

引用

19th IEEE International Conference on Networking, Sensing and Control, ICNSC 2022

作者： Zong, Jie Ding, Zhijun The Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai China

ISBN: (纸本)9781665472432

Link prediction is to predict whether there is a link between two nodes in the graph, it is a very important application and plays a great role in various industries. In recent years, with the development of graph neural network technology, many algorithms make effort to study the expression of each node from the original graph data and use them to infer new links. However, most of the existing algorithms have a common problem when facing heterogeneous graphs, which is, they do not consider the weight of edges in graphs. Instead, they put all their energies into computing node features. Although a few algorithms such as RGCN are trying to take the influence of different link types into account while extracting node features, these implicit feature extractions do not start from the global information, but just calculate independently for each node. In other words, in these algorithms, even the same type of links will be abstracted into different features on different nodes. This is obviously inconsistent with reality. On the same map, the feature of the same link should be relatively fixed and should not be changed just because of different positions. In addition, when the current graph neural network algorithm is applied to link prediction, the link type to be predicted must be specified in advance, which makes the algorithm extremely inflexible. In order to solve these problems, we propose an edge weight calculation algorithm that extracts the edge feature from the whole graph. We also propose the edge-weight-based link prediction algorithm. By introducing edge weight into the MLP, there is no need to specify the target link type at the beginning of model training. It improves both the performance and efficiency of the link prediction model. Experiments on two datasets show that this edge-weight-based link prediction algorithm performs better than current algorithms and reaches SOTA. © 2022 IEEE.

关键词： Graph neural networks

来源：评论

学校读者我要写书评

暂无评论

Genetic Fuzzy + PI Path Tracking Control of a Nonholonomic Mobile Robot

引用

电子学报(英文版) 2011年第1期20卷 31-34页

作者： CAO Zhengcai ZHAO Yingtao WU Qidi College of Information Science and Technology Beijing University of Chemical Technology Beijing China The Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai China

A mobile robot is one of the well-known nonholonomic systems. The genetic fuzzy + PI path tracking control applied to a mobile robot is presented. The proposed controller composes of two fuzzy + PI controllers which are employed to control the angular velocity together, and one fuzzy + PI controller that is utilized to adjust the speed of mobile robot solely. Moreover, the fuzzy controller is designed to track reference path in approaching phase and PI controller is operated to diminish the tracking error in stable phase. In order to obtain better tracking performance, Genetic algorithm (GA) is used to optimize controller parameters. Finally, computer simulation results are given to illustrate the effectiveness of the proposed control scheme.

关键词：模糊PI控制器移动机器人机器人控制非完整系统路径跟踪遗传算法模糊控制器控制器参数

来源：评论

学校读者我要写书评

暂无评论

C2G2FSnake: automatic tongue image segmentation utilizing prior knowledge

引用

Science China(Information Sciences) 2013年第9期56卷 154-167页

作者： SHI MiaoJing LI GuoZheng LI FuFeng The Key Laboratory of Embedded System and Service Computing Ministry of Education Department of Control Science and Engineering Tongji University Laboratory of Information Access and Synthesis of TCM Four Diagnosis Shanghai University of Traditional Chinese Medicine

Extraction of the tongue body from digital images is essential for automated tongue diagnoses in traditional Chinese medicine. This paper presents a fully automated active contour initial method that utilizes prior knowledge of the tongue shape and its location in tongue images. Then colorspace information is introduced to control curve evolution. Combining the geometrical Snake model with the parameterized GVFSnake model, a novel approach for automatic tongue segmentation: C2G2FSnake (color control-geometric & gradient flow Snake) is proposed. This method increases the curve velocity but decreases the complexity. C2G2FSnake greatly extends practical usage to tongue segmentation, at the same time increasing the precision. Compared with other state-of-the-art works using different images of tongue color, C2G2FSnake realizes automatic tongue segmentation with greatly improved accuracy.

关键词： tongue diagnosis tongue segmentation color space-control Snake parameterized Snake geomet- ric Snake

来源：评论

学校读者我要写书评

暂无评论

Local-directed network coding in vehicular ad-hoc networks

Local-directed network coding in vehicular ad-hoc networks

引用

18th International Symposium on Intelligent Signal Processing and Communication systems, ISPACS 2010

作者： Haojie, Luo Zhang, Dongdong Ye, Chen Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai 200092 China

ISBN: (纸本)9781424473717

In this paper, we proposed a novel network coding method called local-directed network coding to improve the throughput of the vehicular ad-hoc network. Different from other vehicular network coding methods, we consider the direction of packet transmission. In detail, the intermediate node selects one main packet and some sub-packets from forwards and backwards sending queues, and then encodes these packets into one packet to broadcast. Simulation results show that our approach can efficiently improve the throughput of application layer in vehicular networks. © 2010 IEEE.

关键词： Network coding

来源：评论

学校读者我要写书评

暂无评论

Multi-View Metrics Enhanced Heterogeneous Graph Neural Network for Extractive Summarization

Multi-View Metrics Enhanced Heterogeneous Graph Neural Netwo...

引用

2021 China Automation Congress, CAC 2021

作者： Zhang, Chaobo Wang, Junli Qi, Hongda Yan, Chungang Jiang, Changjun Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai201804 China

ISBN: (纸本)9781665426473

Currently, many works regarded extractive summarization as a binary classification problem. However, the metric of the summary classification is always too singular and cannot fully utilize sentence features. To address this issue, we propose a multi-view metrics enhanced heterogeneous graph neural network for extractive summarization (MHGS). Firstly, the text is modeled as a heterogeneous graph, which contains two types of nodes, namely, words and sentences. Secondly, in the graph update layer, cross-sentence relationships and long-distance associations are obtained through the indirect connection of words and the direct connection between sentences. Then, we design multi-view metrics including relevance, redundancy, new information, and Rouge to help the model improve the quality of the summary. Finally, to evaluate the effectiveness of the method, some experiments are conducted on the CNN & DailyMail dataset. The experimental results show a generally higher performance of MHGS compared with related methods. © 2021 IEEE

关键词： Graph neural networks

来源：评论

学校读者我要写书评

暂无评论

Traffic flow prediction model based on deep belief network and genetic algorithm

Traffic flow prediction model based on deep belief network a...

引用

作者： Zhang, Yaying Huang, Guan Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai200092 China

Traffic flow prediction plays an indispensable role in the intelligent transportation system. The effectiveness of traffic control and management relies heavily on the prediction accuracy. The authors propose a model based on deep belief networks (DBNs) to predict the traffic flow. Moreover, they use Fletcher-Reeves conjugate gradient algorithm to optimise the fine-tuning of model's parameters. Since the traffic flow has various features at different times such as weekday, weekend, daytime and nighttime, the hyper-parameters of the model should adapt to the time. Therefore, they employ the genetic algorithm to find the optimal hyper-parameters of DBN models for different times. The dataset from Caltrans Performance Measurement system was used to evaluate the performance of their models. The experimental results demonstrate that the proposed model achieved better performance in different times. © The Institution of Engineering and Technology 2018.

关键词： Genetic algorithms

来源：评论

学校读者我要写书评

暂无评论

Vehicle queue length measurement based on a modified local variance and LBP

Vehicle queue length measurement based on a modified local v...

引用

9th International Conference on Intelligent computing, ICIC 2013

作者： Chai, Qin Cheng, Cheng Liu, Chunmei Chen, Hongzhong Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University 201804 Shanghai China

ISBN: (纸本)9783642396779

The real-time traffic parameters are necessary to dynamic traffic light control at intersection due to the serious traffic congestion. In this paper, we describe an approach for the real-time vehicle queue length measurement in a video-based traffic monitoring system. It is built on the property of a modified local variance in video frames, which does not rely on any sort of motion detection. In addition, a shadow removal approach is also presented with a simplified LBP as well as this local variance. Experimental results show that the proposed approach can highly improve the performance of the queue length measurement in real time, and it can be efficiently applied in a variety of traffic scenes. © Springer-Verlag Berlin Heidelberg 2013.

关键词： Local binary pattern

来源：评论

学校读者我要写书评

暂无评论

Analysis for one-place unbounded Petri nets based on modified reachability trees

Analysis for one-place unbounded Petri nets based on modifie...

引用

2012 9th IEEE International Conference on Networking, Sensing and Control, ICNSC 2012

作者： Wang, Yu Ding, ZhiJun Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai 200092 China

ISBN: (纸本)9781467303880

Analysis approaches of reachability decision is fundamental to Petri nets theory;however, the relevant research work in the past cannot always guarantee the correctness of analysis conclusions. This paper firstly reveals the root cause of wrong conclusions, which are drawn in analysis for deadlock of Petri nets based on modified reachability trees (MRT), and then proposes the rectified calculation of the next-state function and some corresponding definitions, which guarantee MRT's usefulness and correctness in analyzing reachability and deadlock of one-place unbounded Petri nets. Finally, a necessary and sufficient condition of MRT's reachability and the theoretical proof are presented. Examples are given to illustrate the method. © 2012 IEEE.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：