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

15th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2015

作者： Zhang, Yaying Zhu, Yinyin Key Laboratory of Embedded System and Service Computing Tongji University Shanghai201804 China

ISBN: (纸本)9783319271217

Hadoop Distributed File system (HDFS) is a reliable and scalable data storage solution. However, it has great weakness in storage of the numerous small files. A merging method of small video files containing traffic incidents is proposed to improve the HDFS storage efficiency of small files. As traffic incident videos can be classified in terms of time and the crossroad where the incident happens, the proposed method merges video files together by time and region (usually adjacent crossroads). Indexing mechanism has been improved in later searching for small video files. The whole HDFS file block related to specific incidents will be read out to local cache. The experimental results show that when accessing for traffic incidents by region in certain period, the average search time and the memory load of HDFS NameNode will be effectively reduced. © Springer International Publishing Switzerland 2015.

关键词： Storage efficiency

来源：评论

学校读者我要写书评

暂无评论

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)

来源：评论

学校读者我要写书评

暂无评论

Constructing prioritized interaction test suite with interaction relationship

Constructing prioritized interaction test suite with interac...

引用

2nd International Workshop on Education Technology and Computer Science, ETCS 2010

作者： Yuan, Jianjun Jiang, Zuowen Key Laboratory of Embedded System and Service Computing Ministry of Education of China Tongji University Shanghai China Department of Computer Science and Technology Key Laboratory of Embedded System and Service Computing Tongji University Shanghai China

ISBN: (纸本)9780769539874

Interaction testing has addressed some issues on how to select a small subset of test cases. In many systems where interaction testing is needed, the entire test suite is not executed because of time or budget constraints. It is important to prioritize the test cases in these situations. On the other hand, there are not always interactions among any factors in real systems. Moreover, some factors may need N-way (N>2) testing since there is a closer relationship among them. We present a model for prioritized interaction testing with interaction relationship and propose a greedy algorithm for generating variable strength covering arrays with bias. © 2010 IEEE.

关键词： Testing

来源：评论

学校读者我要写书评

暂无评论

Cluster Synchronization of Complex Networks With Unbounded Time-varying Delays 35

Cluster Synchronization of Complex Networks With Unbounded T...

引用

第35届中国控制会议

作者： LIU Xiwei CHEN Wenwen Department of Computer Science and Technology Tongji University Key Laboratory of Embedded System and Service Computing Ministry of Education

ISBN: (纸本)9789881563910

In this paper, we investigate the cluster synchronization problem with unbounded time-varying delays for complex networks by adding some external controllers. Previous related works mainly focused on bounded time-varying or constant time delays, which may not be consistent with the real world. Therefore, unbounded time-varying delays is considered in this paper,which can be regarded as the main difference between this paper and previous related works. We discuss the necessary condition for cluster synchronization with external controllers, which can be used to guide the design of external controllers. Then, by using the Lyapunov function method, we prove that cluster synchronization could be achieved under some sufficient ***, the effects of time delays for the convergence of cluster synchronization are also discussed, which are named as theμ-cluster synchronization. Finally, numerical simulations are presented to show the validity of the obtained criteria.

关键词： Cluster Synchronization Complex Networks Unbounded Delay

来源：评论

学校读者我要写书评

暂无评论

Synchronization of nonlinearly coupled complex networks under periodically intermittent pinning control

Synchronization of nonlinearly coupled complex networks unde...

引用

第25届中国控制与决策会议

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

ISBN: (纸本)9781467355339

In this paper, we investigate the synchronization problem for nonlinearly coupled networks under periodically intermittent pinning control, where the coupling matrix denoting network topology is assumed to be symmetric. A sufficient condition to guarantee global synchronization is presented. Moreover, a centralized adaptive intermittent control is designed and its validity is rigorously proved. Finally, some numerical examples are presented to demonstrate the correctness of obtained theoretical results.

关键词： Synchronization, Consensus, Complex networks, Nonlinearly coupled, Periodically, Intermittent pinning, Adaptive control.

来源：评论

学校读者我要写书评

暂无评论

Finite-Time Synchronization of Nonlinearly Coupled systems With Delay 35

Finite-Time Synchronization of Nonlinearly Coupled Systems W...

引用

第35届中国控制会议

作者： LIU Xiwei LI Ping Department of Computer Science and Technology Tongji University Key Laboratory of Embedded System and Service Computing Ministry of Education

ISBN: (纸本)9789881563910

In this paper, we consider a general and practical complex network model, in which there exist couplings with and without time delays, and the coupled functions among nodes are also nonlinear. For this network model, we investigate its finite-time synchronization by designing some general static and adaptive controllers respectively. Using the finite-time stability theory, some useful finite-time synchronization criteria are derived. Finally, numerical simulations are given to demonstrate the correctness of our theoretical results.

关键词： Synchronization Finite-time Nonlinear Coupling Time Delay

来源：评论

学校读者我要写书评

暂无评论

Macro liveness graph and liveness of ω-independent unbounded nets

引用

Science China(Information Sciences) 2015年第3期58卷 132-141页

作者： WANG ShouGuang GAN MengDi ZHOU MengChu School of Information and Electronic Engineering Zhejiang Gongshang University Key Laboratory of Embedded System and Service Computing Ministry of EducationTongji University Department of Electrical and Computer Engineering New Jersey Institute of Technology

Liveness is a basic property of a system and the liveness issue of unbounded Petri nets remains one of the most difficult problems in this *** work proposes a novel method to decide the liveness of a class of unbounded generalized Petri nets calledω-independent unbounded nets,breaking the existing limits to one-place-unbounded *** algorithm to construct a macro liveness graph(MLG)is developed and a critical condition based on MLG deciding the liveness ofω-independent unbounded nets is *** are provided to demonstrate its effectiveness.

关键词： discrete event system(DES) Petri nets complex systems liveness property analysis

来源：评论

学校读者我要写书评

暂无评论

Cluster synchronization of nonlinearly coupled networks via periodically intermittent pinning control

Cluster synchronization of nonlinearly coupled networks via ...

引用

第三十二届中国控制会议

作者： LIU Xiwei CHENG Jiujun Department of Computer Science and Technology Tongji Universityand the Key Laboratory of Embedded System and Service ComputingMinistry of Education

ISBN: (纸本)9781479900305

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

关键词： Cluster synchronization Adaptive Nonlinearly coupled Periodically Intermittent pinning.

来源：评论

学校读者我要写书评

暂无评论

A transactional-behavior-based hierarchical gated network for credit card fraud detection

引用

IEEE/CAA Journal of Automatica Sinica 2025年

作者： Xie, Yu Zhou, MengChu Liu, Guanjun Wei, Lifei Zhu, Honghao De Meo, Pasquale College of Information Engineering Shanghai Maritime University Shanghai201306 China School of Information and Electronic Engineering Zhejiang Gongshang University Hangzhou310018 China Helen and John C. Hartmann Department of Electrical and Computer Engineering New Jersey Institute of Technology NewarkNJ07102 United States Key Laboratory of Embedded System and Service Computing Ministry of Education Department of Computer Science Tongji University Shanghai201804 China College of Computer Science and Information Engineering Bengbu University Bengbu233030 China Department of Ancient and Modern Civilizations University of Messina Messina98166 Italy

The task of detecting fraud in credit card transactions is crucial to ensure the security and stability of a financial system, as well as to enforce customer confidence in digital payment systems. Historically, credit card companies have used rule-based approaches to detect fraudulent transactions, but these have proven inadequate due to the complexity of fraud strategies and have been replaced by much more powerful solutions based on machine learning or deep learning algorithms. Despite significant progress, the current approaches to fraud detection suffer from a number of limitations: for example, it is unclear whether some transaction features are more effective than others in discriminating fraudulent transactions, and they often neglect possible correlations among transactions, even though they could reveal illicit behaviour. In this paper, we propose a novel credit card fraud detection (CCFD) method based on a transaction behaviour-based hierarchical gated network. First, we introduce a feature-oriented extraction module capable of identifying key features from original transactions, and such analysis is effective in revealing the behavioural characteristics of fraudsters. Second, we design a transaction-oriented extraction module capable of capturing the correlation between users' historical and current transactional behaviour. Such information is crucial for revealing users' sequential behaviour patterns. Our approach, called transactional-behaviour-based hierarchical gated network model (TbHGN), extracts two types of new transactional features, which are then combined in a feature interaction module to learn the final transactional representations used for CCFD. We have conducted extensive experiments on a real-world credit card transaction dataset with an increase in average F1 between 1.42% and 6.53% and an improvement in average AUC between 0.63% and 2.78% over the state of the art. © 2025 Institute of Electrical and Electronics Engineers Inc.. All right

关键词： Deep learning

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：