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

arXiv 2023年

作者： Xue, Bai State Key Lab. of Computer Science Institute of Software CAS Beijing China University of Chinese Academy of Sciences Beijing China

Reach-avoid analysis combines the construction of safety and specific progress guarantees, and is able to formalize many important engineering problems. In this paper we study the reach-avoid verification problem of systems modelled by ordinary differential equations using Lyapunov densities. Firstly, the weak reach-avoid verification is considered. Given an initial set, a safe set and a target set, the weak reach-avoid verification is to verify whether the reach-avoid property (i.e., the system will enter the target set eventually while staying inside the safe set before the first target hitting time) holds for almost all states in the initial set. We propose two novel sufficient conditions using Lyapunov densities for the weak reach-avoid verification. These two sufficient conditions are shown to be weaker than existing ones, providing more possibilities of verifying weak reach-avoid properties successfully. Then, we generalize these conditions to the verification of reach-avoid properties for all states in the initial set. Finally, an example demonstrates theoretical developments of proposed conditions. Copyright © 2023, The Authors. All rights reserved.

关键词： Ordinary differential equations

来源：评论

学校读者我要写书评

暂无评论

Safe Exit Controllers Synthesis for Continuous-time Stochastic systems

arXiv

引用

arXiv 2023年

作者： Xue, Bai State Key Lab. of Computer Science Institute of Software CAS Beijing China University of Chinese Academy of Sciences Beijing China

This paper tackles the problem of generating safe exit controllers for continuous-time systems described by stochastic differential equations (SDEs). The primary aim is to develop controllers that maximize the lower bounds of the exit probability that the system escapes from a safe but uncomfortable set within a specified time frame and guide it towards a comfortable set. The paper considers two distinct cases: one in which the boundary of the safe set is a subset of the boundary of the uncomfortable set, and the other where the boundaries of the two sets do not intersect. To begin, we present a sufficient condition for establishing lower bounds on the exit probability in the first case. This condition serves as a guideline for constructing an online linear programming problem. The linear programming problem is designed to implicitly synthesize an optimal exit controller that maximizes the lower bounds of the exit probability. The method employed in the first case is then extended to the second one. Finally, we demonstrate the effectiveness of the proposed approaches on one example. Copyright © 2023, The Authors. All rights reserved.

关键词： Controllers

来源：评论

学校读者我要写书评

暂无评论

Detection of behavioral contextual properties in asynchronous pervasive computing environments

Detection of behavioral contextual properties in asynchronou...

引用

16th IEEE International Conference on Parallel and Distributed systems, ICPADS 2010

作者： Huang, Yu Yu, Jianping Cao, Jiannong Tao, Xianping State Key Laboratory for Novel Software Technology Nanjing University Nanjing 210093 China Department of Computer Science and Technology Nanjing University Nanjing 210093 China Internet and Mobile Computing Lab. Department of Computing Hong Kong Polytechnic University Hong Kong Hong Kong

ISBN: (纸本)9780769543079

Detection of contextual properties is one of the primary approaches to enabling context-awareness. In order to adapt to temporal evolution of the pervasive computing environment, context-aware applications often need to detect behavioral properties specified over the contexts. This problem is challenging mainly due to the intrinsic asynchrony of pervasive computing environments. However, existing schemes implicitly assume the availab.lity of a global clock or synchronous coordination, thus not working in asynchronous environments. We argue that in pervasive computing environments, the concept of time needs to be reexamined. Toward this objective, we propose the Ordering Global Activity (OGA) algorithm, which detects behavioral contextual properties in asynchronous environments. The essence of our approach is to utilize the message causality and its on-the-fly coding as logical vector clocks. The OGA algorithm is implemented and evaluated based on the open-source context-aware middleware MIPA. The evaluation results show the impact of asynchrony on the detection of contextual properties, which justifies the primary motivation of our work. They also show that OGA can achieve accurate detection of contextual properties in dynamic pervasive computing environments. © 2010 IEEE.

关键词： Middleware

来源：评论

学校读者我要写书评

暂无评论

Integrated platform of artificial immune system for anomaly detection

引用

WSEAS Transactions on Information science and Applications 2005年第2期2卷 144-149页

作者： Wu, Zejun Liang, Yiwen School of Computer State Key Lab. of Software Engineering Wuhan University Wuhan China School of Information Science Zhongnan University of Economics and Law Wuhan China

Originated from human immune system, artificial immune system has been widely applied in the computational fields, especially for the task of anomaly detection. Although intensively investigated in the literature, most of the artificial immune systems involve the process of model pre-definition according to the specific scenarios to be coped with. The pre-definition, however, could cause the system to be unreliable and inflexible. Instead, we propose in this paper an integrated artificial immune system platform, which can automatically adapt to various types of immune models. For a particular object to be detected, the platform is able to configure the model set dynamically based on the "pressure" produced during the course of training and testing. In addition, a hybrid evaluation of multi-AIS-models is employed in the integrated platform to improve the self-adaptability of the system.

关键词： Artificial intelligence

来源：评论

学校读者我要写书评

暂无评论

Guide background model update with object tracking

引用

Journal of Computational Information systems 2008年第4期4卷 1635-1642页

作者： Yuan, Bo Sun, Zhengxing State Key Lab. for Novel Software Technology Nanjing University Nanjing 210093 China Department of Computer Science and Technology Nanjing University Nanjing 210093 China

Background subtraction has been widely used as the first step in various computer vision applications. It aims at segmentation of current frame in a video sequence into background (the relatively stationary scene) and foreground (hopefully including the objects of interest). Among the most difficult problems for background subtraction methods, we will focus on how to update the background model efficiently and accurately in this paper. A modified codebook based background subtraction method is presented with its model updating guided by an object tracking module. Experiments are carried out to compare the presented method with the classical MoG background model and the original codebook based background model.

关键词： Background model Background subtraction Model update Object tracking

来源：评论

学校读者我要写书评

暂无评论

Sketch understanding for electric-circuit diagramming in e-learning

引用

Journal of Computational Information systems 2006年第1期2卷 145-153页

作者： Feng, Guihuan Sun, Zhengxing Xie, Qiang Zheng, Wentao State Key Lab. for Novel Software Technology Nanjing University Nanjing 210093 China Department of Computer Science and Technology Nanjing University Nanjing 210093 China

Owing to the fluent and lightweight nature, sketch-based user interface is becoming increasingly significant in graphical computing. This paper presents a strategy of sketch understanding for electric circuit diagramming in e-learning. It can be characterized in three aspects. Firstly, the LR grammar modeling technique is adopted to represent drawing contexts and shapes. So that stroke parsing and sketch recognition can be combined. Secondly, error correction based on fuzzy logic reasoning is introduced to deal with errors caused by the ambiguity of recognition. Further provided a guide for stroke parsing based on the context. Significantly, it recognizes drawings recursively without user's explicit mediations. Experiments proved the proposed method is both effective and efficient.

关键词： Learning systems

来源：评论

学校读者我要写书评

暂无评论

Design and integrated application of geological hazard information 3D visualization and analysis system in Three Gorges reservoir area

Design and integrated application of geological hazard infor...

引用

2nd Conference on Environmental science and Information Application Technology, ESIAT 2010

作者： Liu, Gang Wu, Chonglong Tian, Yiping Liu, Junqi Wu, Yong School of Computer Science and Technology China University of Geosciences Wuhan China Three Gorges Research Center for Geohazard Ministry of Education Wuhan China State Key Lab. of Geological Processes and Mineral Resources Wuhan China

ISBN: (纸本)9781424473885

In Three Gorges reservoir area of China, 3D visualization and analysis functions are widely needed in many works of geological hazard survey, inspection, pre-warning and treatment of local landslides and collapses, and decision making for emergency response. However, current 2D or 2.5D GIS system cannot satisfy all these kinds of requirements and a 3D visualization and analysis system of geological hazard is greatly expected. The method that combines aboveground scene with 3D visualization of underground geological bodies based on GIS and 3D modeling technology is applied to integrate multi-source geological hazard data and realize integrative analysis. Based on visualization technology, pseudo-3D geological hazard map is formed to show clearly geomorphic scene and geological environment along the reservoir banks of Yangtze River. The geological true 3D models are used in representing geological body and environment, processing the combined relationship of rock surface and structure surface, revealing feature of geological structures. system test region has 8 new migrational towns and important disaster area. An integrated 3D model will be built up based on ArcGIS, GeoView and Oracle to achieve data and function supports for pre-warning and decision-making system. ©2010 IEEE.

关键词： Hazards

来源：评论

学校读者我要写书评

暂无评论

A novel clustering algorithm based on multi-sampling max-min distance and dynamic tunneling method

引用

Journal of Information and Computational science 2009年第2期6卷 637-642页

作者： Lv, Jia Chongqing Key Lab. of Operations Research and System Engineering College of Mathematics and Computer Science Chongqing Normal University Chongqing 400047 China

In view of the limitations that k-means clustering algorithm is sensitive to the initial points and liable to fall into local minimum point, a clustering algorithm based on multi-sampling max-min distance and dynamic tunneling method is proposed. In this algorithm, max-min distance approach combined with multi-sampling technology is used to choose the starting cluster centers optimally, and dynamic tunneling method, whose feature is its ability to search global optimum solution, is applied to skip through local minima of objective function via drilling tunnel. It is proved validity and feasibility by experiment. Copyright ©2009 Binary Information Press.

关键词： Global optimization

来源：评论

学校读者我要写书评

暂无评论

Research and implementation of distributed simulation and parallel rendering system based on grid

Research and implementation of distributed simulation and pa...

引用

International Conference on Networking and Distributed Computing

作者： Zhang, Yaping Peng, Haoyu Wang, Zonghui Shi, Jiaoying Faculty of Computer Science and Information Technology Yunnan Normal University Kunming China College of Computer Science and Information Engineering Zhejiang Gongshang University Hangzhou China College of Computer Science and Technology Zhejiang University Hangzhou China State Key Lab. of CAD and CG Zhejiang University Hangzhou China

ISBN: (纸本)9780769542072

With the development of Grid technology and the extension of Grid application areas, it needs to provide core infrastructure platform and the necessary functional components for large-scale resources sharing and collab.ration. Based on the previous implementation of interactive Grid visualization system, this paper extends its runtime environment layer to provide Grid supports for the existing distributed simulation support platform and parallel graphics rendering system based on PC cluster, consequently realizes dynamic resource allocation and scheduling. Additionally, we present and implement a Grid-based distributed simulation and parallel rendering system which provides large-scale distributed simulation service and parallel rendering as well as high-resolution multi-screen tiled display service of massive complex scene to end users through an extended Grid portal. © 2010 IEEE.

关键词： Grid computing

来源：评论

学校读者我要写书评

暂无评论

On the resistance of Boolean functions against fast algebraic attacks

On the resistance of Boolean functions against fast algebrai...

引用

14th International Conference on Information Security and Cryptology, ICISC 2011

作者： Du, Yusong Zhang, Fangguo Liu, Meicheng School of Information Science and Technology Sun Yat-sen University Guangzhou 510006 China Key Lab. of Network Security and Cryptology Fujian Normal University Fuzhou 350007 China State Key Laboratory of Information Security Institute of Software Chinese Academy of Sciences Beijing 100190 China

ISBN: (纸本)9783642319112

Boolean functions with large algebraic immunity resist algebraic attacks to a certain degree, but they may not resist fast algebraic attacks (FAA's). It is necessary to study the resistance of Boolean functions against FAA's. In this paper, we localize the optimal resistance of Boolean functions against FAA's and introduce the concept of e-fast algebraic immunity (e-FAI) for n-variable Boolean functions against FAA's, where e is a positive integer and . We give the sufficient and necessary condition of e-FAI. With e-FAI the problem of deciding the resistance of an n-variable Boolean function against FAA's can be converted into the problem of observing the properties of one given matrix. An algorithm for deciding e-FAI and the optimal resistance against FAA's is also described. © 2012 Springer-Verlag.

关键词： Boolean functions

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：