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

An immune approach for detecting the user's behavior of electronic transaction process

Journal of Computational Information systems 2015年第2期11卷 683-692页

作者： Jiang, Shaoping Yan, Chungang Zhao, Peihai Wang, Mimi Department of Computer Science and Technology Tongji University Shanghai China Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai China

In the process of electronic transaction, there are many abnormal conditions such as user's own mistakes, account theft and so on. Inspired by mechanisms of immune homeostasis, immune surveillance and immune update from the biological immune system, an immune approach for detecting the user's behavior of electronic transaction process is proposed to solve these problems and make the user's behaviors credible. By computing age of each log and cleaning up the aging logs, logs which can reflect the user's habit could be gotten and the mechanism of immune homeostasis is realized. With the newly-generated transaction sequence detected to be abnormal or not, the mechanisms of immune surveillance is achieved. Updating related sets is the realization of immune update, and the goal of detecting the user's behavior can be reached. The experimental results show that the true positive rate can reach 92% when the false positive rate is 10.8%. 1553-9105/Copyright © 2015 Binary Information Press

关键词： Physiology

来源：评论

学校读者我要写书评

暂无评论

An algorithm for generating home states of Petri nets

引用

Journal of Computational Information systems 2011年第12期7卷 4225-4232页

作者： Wang, Pengwei Ding, Zhijun Chai, Hua Key Laboratory of Embedded System and Service Computing Ministry of Education Shanghai 200092 China Department of Computer Science and Technology Tongji University Shanghai 201804 China

Home states are ground markings which can be reached from any other reachable markings of a Petri net. The existence of home states is a strong property, and it is not only of important theoretical research meaning, but also of great practical value. This paper presents an algorithm for generating home states. For any bounded Petri net, the algorithm can judge whether it contains home states or not, and obtain the set of all its home states. The correctness of the algorithm is proved, and its complexity is analyzed, the result shows that it is a polynomial-time algorithm, so it is effective. Meanwhile, we implemented the algorithm in the popular Petri net tool PIPE2, which can be used for experimental purposes. Then a number of conclusions about the relationships between home state and deadlock are given, which bring great convenience to judge deadlock and exert control pointedly. Copyright © 2011 Binary Information Press.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

Design and Implementation of DSP Cache 21

Design and Implementation of DSP Cache

引用

21st IEEE International Conference on Communication Technology, ICCT 2021

作者： Liang, Kunkun Wu, Jun Ren, Haoqi Zhang, Zhifeng Tan, Bin Tongji University Electronics and Information Engineering College Key Laboratory of Embedded System and Service Computing Ministry of Education Shanghai201804 China School of Computer Science Fudan University Shanghai200438 China College of Electronics and Information Engineering Jinggangshan University Ji'an343009 China

ISBN: (纸本)9781665432061

The cache can improve the DSP processor's access speed to external memory and solve the 'Storage Wall' problem. Designing an efficient and flexible cache module plays an vital role in improving the memory access efficiency and overall performance of the DSP. Based on the analysis of DSP storage level design requirements, combined with the actual pipeline structure of the DSP processor SWIFT independently developed by our laboratory, in this paper, we design and implement first- level instruction and data cache. For L1 D-Cache, the relevant conflict detection and processing module is designed to support four parallel Load/Store access requests. The size of the cache can be flexibly configured according to actual application requirements to achieve a balance between power consumption and latency. To write back the modified data left in the cache before the cache size is changed, the Cacheclean instruction is designed. Finally, module-level functional verification and logic synthesis are carried out. The results show that the cache function meets expectations, and the critical path after logic synthesis optimization meets the requirement of 1GHz frenuency. © 2021 IEEE.

关键词： Pipelines

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Reduction criteria for probabilistic models with spatial restrictions on states

Reduction criteria for probabilistic models with spatial res...

引用

2nd International Conference on Networks Security, Wireless Communications and Trusted computing, NSWCTC 2010

作者： Jun, Niu Zeng, Guosun Department of Computer Science and Technology Tongji University Shanghai China College of Information Engineering Zhejiang Business Technology Institute Ningbo China Embedded System and Service Computing Key Lab. of Ministry of Education Shanghai China

ISBN: (纸本)9780769540115

Partial order reduction techniques have been used to combat the state explosion problem in model checking procedures for concurrent systems with probabilistic behaviors. There are some results that give criteria on applying partial order reduction for verifying quantitative time properties and reward-based properties on actions. However, there are many situations that reward-based properties are expressed on states rather than on actions because actions are triggered in no time and the quantities can not be obtained easily. This paper presents reduction criteria for a probabilistic temporal logic that allows specification of restrictions on quantitative measures given by spatial resources function for the states of the considered system and provides the proof of the correctness. © 2010 IEEE.

关键词： Markov processes

来源：评论

学校读者我要写书评

暂无评论

Mobile message-aware enhancement using fuzzy lattice reasoning

Mobile message-aware enhancement using fuzzy lattice reasoni...

引用

2012 9th International Conference on Fuzzy systems and Knowledge Discovery, FSKD 2012

作者： Al-Sultany, Ghaidaa Li, Maozhen Ponraj, Mahesh Al-Raweshidy, Hamid School of Engineering and Design Brunel University Uxbridge UB8 3PH United Kingdom Key Laboratory of Embedded Systems and Service Computing Ministry of Education Tongji University China

ISBN: (纸本)9781467300223

Developing service discovery, information retrieval and context-aware to adapt to user everywhere/anytime and attain the ambient intelligence arise the issue of handling misclassification, imperfect reasoning and estimation with respect to the current context. To deal with this issue, we propose the use of Fuzzy set theory with the purpose of inferring and reasoning that adopt fuzzy lattice classifier for decision making. It is applied on top of SOIM framework to increase the accuracy of the classification process with clearer decisions. © 2012 IEEE.

关键词： Fuzzy set theory

来源：评论

学校读者我要写书评

暂无评论

Multicast capacity scaling for cognitive networks: General extended primary network

Multicast capacity scaling for cognitive networks: General e...

引用

2010 IEEE 7th International Conference on Mobile Adhoc and Sensor systems, MASS 2010

作者： Wang, Cheng Li, Xiang-Yang Tang, Shaojie Jiang, Changjun Department of Computer Science Tongji University Shanghai China Key Laboratory of Embedded System and Service Computing Ministry of Education Shanghai China Tsinghua National Laboratory for Information Science and Technology Tsinghua University Beijing China Department of Computer Science Illinois Institute of Technology Chicago IL 60616 United States

ISBN: (纸本)9781424474882

We study the capacity scaling laws for the cognitive network that consists of the primary hybrid network (PhN) and secondary ad hoc network (SaN). PhN is further comprised of an ad hoc network and a base station based (BS-based) network. SaN and PhN are overlapping in the same deployment region, operate on the same spectrum, but are independent with each other in terms of communication requirements. The primary users (PUs), i.e., the ad hoc nodes in PhN, have the priority to access the spectrum. The secondary users (SUs), i.e., the ad hoc nodes in SaN, are equipped with cognitive radios, and have the functionalities to sense the idle spectrum and obtain the necessary information of primary nodes in PhN. We assume that PhN adopts one out of three classical types of strategies, i.e., pure ad hoc strategy, BS-based strategy, and hybrid strategy. We aim to directly derive multicast capacity for SaN to unify the unicast and broadcast capacity under two basic principles: (1) The throughput for PhN cannot be undermined in order sense due to the presence of SaN. (2) The protocol adopted by PhN does not alter in the interest of SaN, anyway. Depending on which type of strategy is adopted in PhN, we design the optimal-throughput strategy for SaN. We show that there exists a threshold of the density of SUs according to the density of PUs beyond which it can be proven that: (1) when PhN adopts the pure ad hoc strategy or hybrid strategy, SaN can achieve the multicast capacity of the same order as it is stand-alone;(2) when PhN adopts the BS-based strategy, SaN can asymptotically achieve the multicast capacity of the same order as if PhN were absent, if some conditions of the relations among the number of SUs, PUs, the destinations of each multicast sessions in SaN, and the base stations in PhN hold. ©2010 IEEE.

关键词： Base stations

来源：评论

学校读者我要写书评

暂无评论

Towards adaptive semantic segmentation by progressive feature refinement

arXiv

引用

arXiv 2020年

作者： Zhang, Bin Zhao, Shengjie Zhang, Rongqing School of Software Engineering Tongji University Shanghai China Key Laboratory of Embedded System and Service Computing Tongji University Shanghai China

As one of the fundamental tasks in computer vision, semantic segmentation plays an important role in real world applications. Although numerous deep learning models have made notable progress on several mainstream datasets with the rapid development of convolutional networks, they still encounter various challenges in practical scenarios. Unsupervised adaptive semantic segmentation aims to obtain a robust classifier trained with source domain data, which is able to maintain stable performance when deployed to a target domain with different data distribution. In this paper, we propose an innovative progressive feature refinement framework, along with domain adversarial learning to boost the transferability of segmentation networks. Specifically, we firstly align the multi-stage intermediate feature maps of source and target domain images, and then a domain classifier is adopted to discriminate the segmentation output. As a result, the segmentation models trained with source domain images can be transferred to a target domain without significant performance degradation. Experimental results verify the efficiency of our proposed method compared with state-of-the-art methods. Copyright © 2020, The Authors. All rights reserved.

关键词： Semantic Segmentation

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Social incentive policies to engage commercial building occupants in demand response

Social incentive policies to engage commercial building occu...

引用

2014 IEEE International Conference on Automation Science and Engineering, CASE 2014

作者： Li, Sisi Deng, Kun Zhou, Meng Chu Department of Electrical and Computer Engineering New Jersey Institute of Technology NewarkNJ07012 United States Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai201804 China Coordinated Science Laboratory University of Illinois at Urbana-Champaign UrbanaIL61801 United States

Occupants' comfort is the primary target in a building operation. However their efforts are often neglected and ruled out from traditional control strategies of energy-efficient building management systems. Occupant-engaged control strategies have recently attracted many research attentions and demonstrated great potentials for energy saving. With them, occupants' behavior is incorporated into the closed-loop control methods in which their initiatives actively contribute to building services and energy utility by explicitly expressing their preferences. This work proposes an occupant-engaged demand response (DR) strategy for building automation in which occupants are actively engaged to adapt their energy consumption in response to incentive opportunities designed by facility managers. A model-based study and a Nash-Equilibrium-based solution are provided to assist facility managers with the design of social incentive policies to promote occupant participation, along with the guarantee of lucrativeness for a DR event. © 2014 IEEE.

关键词： Energy efficiency

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：