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

arXiv 2023年

作者： Wang, Cheng Tang, Hao Zhu, Hangyu Zheng, Junhan Jiang, Changjun Department of Computer Science and Technology Tongji University Shanghai201804 China Key Laboratory of Embedded System and Service Computing Ministry of Education Shanghai201804 China Shanghai Artificial Intelligence Laboratory Shanghai200232 China

The issues of both system security and safety can be dissected integrally from the perspective of behavioral appropriateness. That is, a system is secure or safe can be judged by whether the behavior of certain agent(s) is appropriate or not. Specifically, a so-called appropriate behavior involves the right agent performing the right actions at the right time under certain conditions. Then, according to different levels of appropriateness and degrees of custodies, behavioral authentication can be graded into three levels, i.e., the authentication of behavioral Identity, Conformity, and Benignity. In a broad sense, for the security and safety issue, behavioral authentication is not only an innovative and promising method due to its inherent advantages but also a critical and fundamental problem due to the ubiquity of behavior generation and the necessity of behavior regulation in any system. By this classification, this review provides a comprehensive examination of the background and preliminaries of behavioral authentication. It further summarizes existing research based on their respective focus areas and characteristics. The challenges confronted by current behavioral authentication methods are analyzed, and potential research directions are discussed to promote the diversified and integrated development of behavioral authentication. Copyright © 2023, The Authors. All rights reserved.

关键词： Anomaly detection

来源：评论

学校读者我要写书评

暂无评论

On the Expressive Power of Behavior Structure

arXiv

引用

arXiv 2023年

作者： Wang, Cheng Zhu, Hangyu Lin, Yuhang Jiang, Changjun Department of Computer Science and Technology Tongji University Shanghai201804 China Key Laboratory of Embedded System and Service Computing Ministry of Education Shanghai201804 China Shanghai Artificial Intelligence Laboratory Shanghai200232 China

Efforts toward a comprehensive description of behavior have indeed facilitated the development of representation-based approaches that utilize deep learning to capture behavioral information. As behavior complexity increases, the expressive power of these models reaches a bottleneck. We coin the term "behavioral molecular structure" and propose a new model called the Behavioral Molecular Structure (BMS). The model characterizes behaviors at the atomic level, analogizes behavioral attributes to atoms, and concretizes interrelations at the granularity of atoms using graphs. Here, we design three different downstream tasks to test the performance of the BMS model on public datasets. Additionally, we provide a preliminary theoretical analysis demonstrating that the BMS can offer effective expressiveness for complex behaviors. Copyright © 2023, The Authors. All rights reserved.

关键词： Atoms

来源：评论

学校读者我要写书评

暂无评论

Upper Bounds on Lifetime of Three Dimensional Extended UWB Sensor Networks*

引用

Chinese Journal of Electronics 2023年第2期19卷 307-312页

作者： Juan Xu Changjun Jiang Aihuang Guo Yongfa Hong Shu Li Cheng Wang School of Electronics and Information Engineering Tongji University Shanghai China Key Laboratory of Embedded System and Service Computing of the Ministry of Education Tongji University Shanghai China College of Information Science and Engineering Shandong University of Science and Technology Qingdao China

The upper bounds on lifetime of three dimensional extended Time hopping impulse radio Ultrawide band (TH-IR UWB) sensor networks are derived using percolation theory arguments. The TH-IR UWB sensor network consists of $n$ sensor nodes distributed in a cube of edge length $n^{1/3}$ according to a Poisson point process of unit intensity. It is shown that for such a static three dimensional extended TH-IR UWB sensor network, the upper bound on the lifetime is of order $O(n^{-1})$ , while in the ideal case, the upper bound on the lifetime is longer than that of a static network by a factor of $n^{2/3}$ . Therefore sensor nodes moving randomly in the deployment area can improve the upper bound on network lifetime. The results also reveal that the upper bounds on network lifetime decrease with the number of nodes $n$ , thus extended TH-IR UWB sensor networks aren't prone to be employed in large-scale network.

关键词： Wireless communication Wireless sensor networks Upper bound Protocols

来源：评论

学校读者我要写书评

暂无评论

On multicast throughput scaling of hybrid wireless networks with general node density

引用

Computer Networks 2011年第15期55卷 3548-3561页

作者： Cheng Wang Changjun Jiang Xiang-Yang Li Yunhao Liu Department of Computer Science and Technology Tongji University Shanghai China Key Laboratory of Embedded System and Service Computing Ministry of Education China Department of Computer Science Illinois Institute of Technology Chicago IL 60616 United States TNLIST School of Software Tsinghua University China

In this paper, we consider hybrid wireless networks with a general node density λ ∈ [1, n ], where n ad hoc nodes are uniformly distributed and m base stations (BSs) are regularly placed in a square region A ( n , A ) = 1 , A × 1 , A with A ∈ [1, n ]. We focus on multicast sessions in which each ad hoc node as a user chooses randomly d ad hoc nodes as its destinations. Specifically, when d = 1 (or d = n − 1), a multicast session is essentially a unicast (or broadcast) session. We study the asymptotic multicast throughput for such a hybrid wireless network according to different cases in terms of m ∈ [1, n ] and d ∈ [1, n ], as n → ∞. To be specific, we design two types of multicast schemes, called hybrid scheme and BS - based scheme , respectively. For the hybrid scheme, there are two alternative routing backbones : sparse backbones and dense backbones . Particularly, according to different regimes of the node density λ = n A , we derive the thresholds in terms of m and d . Depending on these thresholds, we determine which scheme is preferred for the better performance of network throughput.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Reduction Criteria for Probabilistic Models with Spatial Restrictions on States

Reduction Criteria for Probabilistic Models with Spatial Res...

引用

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

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

ISBN: (纸本)9781424465972;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.

关键词： Explosions Computer networks Concurrent computing Embedded computing Educational technology Probabilistic logic Communication system security Computer security Information security Wireless communication

来源：评论

学校读者我要写书评

暂无评论

A three-stage method to find refining schedules of crude oil operations in refinery

A three-stage method to find refining schedules of crude oil...

引用

IEEE International Conference on service Operations and Logistics, and Informatics, SOLI

作者： Naiqi Wu LiPing Bai MengChu Zhou School of Mechatronics Engineering Guangdong University of Technology Guangzhou China MoE Key Laboratory of Embedded System and Service Computing University of Tongji Shanghai China ECE New Jersey Institute of Technology Newark NJ USA

A short-term scheduling problem for crude oil operations is highly challenging. There lack efficient techniques and software tools for its solution. Our prior research shows that it may be solved in a hierarchical way. At the upper level, we find a realizable refining schedule to optimize concerned objectives. At the lower level, a detailed schedule is obtained to realize it. This work attempts to present a three-stage method to solve the the upper level problem from a control perspective. The first stage solves a linear programming problem to determine the maximal production rate. The second one solves a transportation problem to optimally assign crude oil types and volume to the distillers. The last one adjusts and sequences oil parcels. Consequently, the proposed method is computationally efficient. An industrial case study is presented to show the result.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Evaluating feedback systems for residential building energy monitoring

Evaluating feedback systems for residential building energy ...

引用

IEEE International Conference on Automation Science and Engineering (CASE)

作者： Wenqi Wendy Guo Tania Ullah MengChu Zhou National Institute of Standards and Technology Gaithersburg MD USA ECE Dept. New Jersey Institute of Technology Newark NJ USA The Key Laboratory of Embedded System and Service Computing Ministry of Education Shanghai China

Rising global energy demand, increasing electricity prices, and the limitation of natural resources have led to increased interest in energy monitoring of residential buildings. Much research has been done to examine the effect of energy use feedback to building occupants. An important step towards energy awareness is to provide timely and finegrained consumption information of major household energy expenditures through feedback systems, known as residential energy monitoring systems (REMS). To accomplish this, researchers and product designers are intent on improving the residential whole-building energy consumption estimates gained through sensor networks at homes. Additionally, profiling the usage of appliances and devices within a home can be used to determine an occupant's daily activities and to optimize energy consumption. In this work, we take a step toward creating an evaluation procedure for REMS by determining factors that affect their ability to accurately convey energy usage to occupants. Two feedback sensor systems are assessed in a testbed in which electrical loads typical to a home are operated. Preliminary tests show that the accuracy of the REMS measurement is dependent on an electrical load's power factor. Together with other findings, the results will assist researchers in forming a comprehensive test procedure that will characterize feedback systems in the future.

关键词： Reactive power Monitoring Buildings Power measurement Home appliances Energy consumption Measurement errors

来源：评论

学校读者我要写书评

暂无评论

Team of Bayesian optimization algorithms to solve task assignment problems in heterogeneous computing systems

Team of Bayesian optimization algorithms to solve task assig...

引用

IEEE International Conference on systems, Man and Cybernetics

作者： Jie Li JunQi Zhang Qi Kang ChangJun Jiang Ministry of Education China Key Laboratory of Embedded System and Service Computing Department of Computer Science and Technology Tongji University Shanghai Department of Control Science and Engineering Tongji University Shanghai China

ISBN: (纸本)9781479938414

A Bayesian optimization algorithm (BOA) belongs to estimation of distribution algorithms (EDAs). It is characterized by combining a Bayesian network and evolutionary algorithms to solve nearly decomposable optimization problems. BOA is less popularly applied to solve high dimensionality complex optimization problems. A key reason is that the cost of training all dimensions by BOA becomes expensive with the increase of problem dimensionality. Since data are relatively sparse in a high dimensional space, even though BOA can train all dimensions simultaneously, the interdependent relations between different dimensions are difficult to learn. Its search ability is thus significantly reduced. In this paper, we propose a team of Bayesian optimization algorithms (TBOA) to search and learn dimensionality. TBOA consists of multiple BOAs, in which each BOA corresponds to a dimension of the solution domain and it is responsible for the search of this dimension's value region. The proposed TBOA is used to solve the real problem of task assignment in heterogeneous computing systems. Extensive experiments demonstrate that the computational cost of the overall training in TBOA is decreased very significantly while keeping high solution accuracy.

关键词： Bayes methods Sociology Statistics Optimization Computational efficiency Joints Probability distribution

来源：评论

学校读者我要写书评

暂无评论

A Generalized Model with Spatial Resources Labels

A Generalized Model with Spatial Resources Labels

引用

International Conference on Biomedical Engineering and Computer Science (ICBECS)

This paper proposes a generalized model by extending Markov chain with spatial resources labels, which can describe the functional and performance properties and some basic characteristics such as nondeterminacy and randomicity. The syntax and semantics of the new model are shown based on the existing temporal logics such as CSRL and pathCSRL. The model checking procedure is discussed and thus the practicability of the new model is intuitive. Based on the existing models, the proposed model includes spatial resources labels only by adding the spatial information to the existing labels of states, so the treatment of the state explosion problem is similar to that in the existing models.

关键词： Educational technology Paper technology Logic Labeling Educational institutions Embedded system Embedded computing Computer science education systems engineering education Computer science

来源：评论

学校读者我要写书评

暂无评论

A Privacy Preserving Algorithm Based on R-constrained Dummy Trajectory in Mobile Social Network

引用

Procedia Computer Science 2018年 129卷 420-425页

作者： Lina Ni Yanfeng Yuan Xiao Wang Jiguo Yu Jinquan Zhang College of Computer Science and Engineering Shandong University of Science and Technology Qingdao China The Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai China School of Information Science and Engineering Qufu Normal University Shandong China

Recently the research of location privacy preserving has become a hot spot. Location privacy preserving involves not only a single location privacy but also the trajectory privacy where the mobile users in different locations publish the consecutive query requests. In this paper, we consider the problem of trajectory privacy preserving in MSN. Particularly, we propose privacy preserving algorithms based on R-constraint dummy trajectory (RcDT). By constraining the generating range R of the dummy positions, the generated dummy positions are within a certain range near the real locations. Furthermore, the dummy trajectories which have higher similarity to the real trajectories are generated via constraining both the single location exposure risk and the trajectory exposure risk.

关键词： Privacy preserving mobile social network trajectory privacy location-based service R-constrained dummy trajectory

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：