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

作者： Wang, Chen Xia, Weiguo Xie, Guangming National Engineering Research Center for Software Engineering Key Lab. of Intelligent Control and Optimization for Industrial Equipment of Ministry of Education School of Control Science and Engineering Dalian University of Technology Dalian116024 China State Key Laboratory of Turbulence and Complex Systems Intelligent Biomimetic Design Lab College of Engineering Peking University Beijing China

In this article, we study the formation problem for a group of mobile agents in a plane, in which the agents are required to maintain a distribution pattern, as well as to rotate around or remain static relative to a static/moving target. The prescribed distribution pattern is a class of general formations where the distances between neighboring agents or the distances between each agent and the target do not need to be equal. Each agent is modeled as a double integrator and can merely perceive the relative information of the target and its neighbors, and the acceleration of the target. In order to solve the formation problem, a limit-cycle-based controller design is delivered. We divide the overall control objective into two subobjectives, where the first is target circling that each agent keeps its own desired distance to the static/moving target as well as rotating around or remaining static relative to the target as expected, and the second is distribution adjustment that each agent maintains the desired distance to its neighbors. Then, we propose a controller comprised of two parts, where a limit cycle oscillator named a converging part is designed to deal with the first subobjective, while a layout part is introduced to address the second subobjective. One key merit of the controller is that it can be implemented by each agent in its local frame so that only local information is utilized without knowing global information. Theoretical analysis of the convergence to the desired formation, of which the agents are required to be evenly distributed on a circle around the target, is provided for the multiagent system under the proposed controller. Numerical simulations are given to validate the effectiveness of the proposed controller for the cases of general formations, and to show that no collision between agents ever takes place throughout the system's evolution. © 1963-2012 IEEE.

关键词： Multi agent systems

来源：评论

学校读者我要写书评

暂无评论

A scalab.e parallel ray tracing algorithm for satellite imagery

A scalable parallel ray tracing algorithm for satellite imag...

引用

IEEE International Conference on computer Research and Development

作者： Li, Yu-Gang Zhao, Kun Huang, Yu-Qing Qiu, Zhen-Ge Liu, Zhi-Yong Beijing Lab. of Intelligent Information Technology School of Computer Science BIT Beijing 100081 China Key Laboratory of Computer System and Architecture Institute of Computing Technology Chinese Academy of Sciences Beijing 100081 China Institute of Computing Technology Chinese Academy Sciences Beijing China

ISBN: (纸本)9781612848372

Ray-tracing, can produce high-quality images, however, the use of ray-tracing has been limited due to its high demands on computational power and memory bandwidth, especially in the case of satellite imagery. In this paper, we propose a scalab.e parallel ray tracing algorithm of satellite imagery on a cluster of multi-core architecture. The algorithm combines demand-driven and data-driven models in order to reduce communication on the cost of maintaining redundant data. In order to make the most of computer's parallelism and increase computational efficiency, it combines two levels of parallelisms, the TLP parallelism brought by the many core architecture and the inter-node parallelism via MPI and OpenMP. Experiment results show that the algorithm is highly scalab.lity. © 2011 IEEE.

关键词： Satellite imagery

来源：评论

学校读者我要写书评

暂无评论

Manifold-ranking based image retrieval using natural neighbor

International Journal of Database Theory and Application

引用

International Journal of Database Theory and Application 2016年第8期9卷 137-146页

作者： Zhu, Qingsheng Chen, Zhi Zhang, Cheng Chongqing Key Lab. of Software Theory and Technology College of Computer Science Chongqing University Chongqing400044 China

The manifold-ranking based method is widely used in semi-supervised learning, and its performance is closely related to the structure of the constructed graph. In this paper, we propose a novel graph structure named natural neighbor graph and an algorithm to construct it. We apply the new graph structure into the framework of manifold-ranking based image retrieval. The greatest superiority over k-NN based method is that the free parameter k need not to be explicitly specified any more. We have shown that the manifold ranking algorithm based on our proposed graph structure performs better than k-NN graph. Experiments demonstrate that the proposed algorithm outperforms the state-of-the-art algorithms. © 2016 SERSC.

关键词： Image retrieval

来源：评论

学校读者我要写书评

暂无评论

FormalTCGenerator: A tool of automatically generating test cases for infinite states reactive systems

FormalTCGenerator: A tool of automatically generating test c...

引用

15th IASTED International Conference on software Engineering and Applications, SEA 2011

作者： Chen, Donghuo Zhao, Shizhong School of Computer Science and Technology Soochow University Suzhou 215006 China Keb Lab. of Novel Software Technology Nanjing University Nanjing 210093 China Shanghai Key Laboratory of Trustworthy Computing East China Normal University Shanghai 200062 China

ISBN: (纸本)9780889869066

It is an attractive research topic to use model checking technique to automatically generate test cases in the research community of formal method and software testing, and recent years has witnessed many work. For infinite states systems with input/output domains defined on unbounded and types, in many contexts, explicit finite state models are not attained easily with the reasonable cost, therefore, testing with traditional model checking is often disenabled. This paper presents the idea of auto-generation of test cases based on symbolic execution and temporal formula rewriting method. The method proceeds with building the symbolic representation of program execution model, such that it can avoid explicitly building the model of infinite states systems with the enumeration of value of input and output or state explosion problem;Then temporal formula (test purposes) rewriting is applied to the symbolic execution model of program to generate complex constraint requirements according to the counterexample patterns related to test purposes and the suitable SMT(Satisfiability Modulo Theory) solver is called for generating test cases. The core tool - FormalTCGenerator is developed and the case study is conducted.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

Joint QoS Prediction for Web Services based on Deep Fusion of Features

引用

IEEE Transactions on Network and Service Management 2023年 1-1页

作者： Ding, Linghang Liu, Jianxun Kang, Guosheng Xiao, Yong Cao, Buqing Hunan Provincial Key Lab. for Services Computing and Novel Software Technology and School of Computer Science and Engineering Hunan University of Science and Technology Xiangtan China

In order to solve the problem of insufficient accuracy of Web service QoS prediction, a joint QoS prediction method for Web services based on the deep fusion of features was proposed by considering the hidden environmental preference information in QoS and the common characteristics of multi-class QoS. QoS data was modeled as user-service bipartite graph at first, then, multi-component graph convolution neural network was used for feature extraction and mapping, and weighted fusion method was used for the same dimensional mapping of multi-class of QoS features. Subsequently, the attention factor decomposition machine was used to extract the first-order features, second-order interactive features and high-order interactive features of the mapped feature vector. Finally, the results of each part were combined to achieve the joint QoS prediction. The experimental results show that the proposed method is superior to the existing QoS prediction methods in terms of root mean square error (RMSE) and average absolute error (MAE). IEEE

关键词： Feature extraction

来源：评论

学校读者我要写书评

暂无评论

Color face recognition based on 2DPCA

Color face recognition based on 2DPCA

引用

作者： Wang, Chengzhang Yin, Baocai Bai, Xiaoming Sun, Yanfeng Multimedia and Intelligent Software Technology Beijing Municipal Key Lab. College of Computer Science and Technology Beijing University of Technology Beijing 100124 China Information College Capital University of Economics and Business Beijing 100070 China

ISBN: (纸本)9781424421756

This paper presents a novel color face recognition approach based on 2DPCA. A matrix-representation model, which encodes the color information directly, is proposed to describe the color face image. The matrix-representation model defines the pixel in color face image as the basic unit, the color information of the pixel as the basic component, and then represents the color face image efficiently in the format of matrix. Based on the representation model, color-Eigenfaces are computed for feature extraction using 2DPCA. Nearest neighborhood classification approach is adopted to identify the color face samples. Experimental results on CVL and CMU PIE color face database show the good performance of the proposed color face recognition approach. © 2008 IEEE.

关键词： Color

来源：评论

学校读者我要写书评

暂无评论

Machine-checked executable semantics of stateflow

arXiv

引用

arXiv 2022年

作者： Yi, Shicheng Wang, Shuling Zhan, Bohua Zhan, Naijun State Key Lab. of Computer Science Institute of Software Chinese Academy of Sciences China University of Chinese Academy of Sciences Beijing China

Simulink is a widely used model-based development environment for embedded systems. stateflow is a component of Simulink for modeling event-driven control via hierarchical state machines and flow charts. However, stateflow lacks an official formal semantics, making it difficult to formally prove properties of its models in safety-critical applications. In this paper, we define a formal semantics for a large subset of stateflow, covering complex features such as hierarchical states and transitions, event broadcasts, early return, temporal operators, and so on. The semantics is formalized in Isabelle/HOL and proved to be deterministic. We implement a tactic for automatic execution of the semantics in Isabelle, as well as a translator in Python transforming stateflow models to the syntax in Isabelle. Using these tools, we validate the semantics against a collection of examples illustrating the features we cover. © 2022, CC BY.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Data transmission rate control in computer networks using neural predictive networks

Lecture Notes in Computer Science (including subseries Lectu...

引用

Lecture Notes in computer science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2004年 3358卷 875-887页

作者： He, Yanxiang Xiong, Naixue Yang, Yan State Key Lab. of Software Engineering Computer School of Wuhan University Wuhan 430072 China Department of Computer Science Central China Normal University Hubei Wuhan 430079 China

The main difficulty arising in designing an efficient congestion control scheme lies in the large propagation delay in data transfer which usually leads to a mismatch between the network resources and the amount of admitted traffic. To attack this problem, this paper describes a novel congestion control scheme that is based on a Back Propagation (BP) neural network technique. We consider a general computer communication model with multiple sources and one destination node. The dynamic buffer occupancy of the bottleneck node is predicted and controlled by using a BP neural network. The controlled best-effort traffic of the sources uses the bandwidth, which is left over by the guaranteed traffic. This control mechanism is shown to be able to avoid network congestion efficiently and to optimize the transfer performance both by the theoretic analyzing procedures and by the simulation studies. © Springer-Verlag Berlin Heidelberg 2004.

关键词： Data transfer

来源：评论

学校读者我要写书评

暂无评论

Real-time constrained task scheduling in 3D chip multiprocessor to reduce peak temperature

Real-time constrained task scheduling in 3D chip multiproces...

引用

International Workshop on Wireless Network Algorithm and Theory

作者： Li, Jiayin Qiu, Meikang Niu, Jianwei Zhu, Yongxin Chen, Tianzhou Dept. of Electrical and Computer Engineering University of Kentucky Lexington KY 40506 United States State Key Lab. of Software Develop. Environment Beihang University Beijing 100191 China School of Microelectronics Shanghai Jiaotong University Shanghai 200240 China College of Computer Science Zhejiang University Hangzhou 310027 China

ISBN: (纸本)9780769543222

Chip multiprocessor technique has been implemented in embedded systems due to the tremendous computation requirements. Three dimension chip multiprocessor architecture has been studied recently for integrating more functionalities and providing higher performance. The high temperature on chip is a critical issue for the 3D architecture. In this paper, we propose an online thermal prediction model for 3D chip. Using this model, we present a task scheduling algorithm based on rotation scheduling to reduce the peak temperature on chip. We consider the data dependencies, especially the inter-iteration dependencies which are not well considered in most of the current thermal-aware task scheduling algorithms. Our simulation result shows that our algorithm can efficiently reduce the peak temperature up to 10 °C. © 2010 IEEE.

关键词： Embedded systems

来源：评论

学校读者我要写书评

暂无评论

Context-based requirement modeling for self-adaptive service software

引用

Journal of Computational Information systems 2012年第24期8卷 10131-10140页

作者： Liu, Wei Feng, Zaiwen School of Computer Science and Engineering Hubei Key Laboratory of Intelligence Robot Wuhan Institute of Technology Wuhan 430073 China State Key Lab. of Software Engineering Wuhan University Wuhan 430072 China

Service-oriented self-adaptation software (SoSAS) utilizes services as fundamental elements for developing applications that have the capability to autonomously modify their behavior at run-time in response to changes in their environment. While a few techniques have been developed to support the modeling and analysis of requirements for self-adaptive systems, limited attention has been paid to the description of service requirements and uncertainty in requirements of SoSAS. In this paper, we propose a context-based requirement representing and modeling framework as a fundamental of self-adaptation evolution. We introduce a context snapshot model to represent uncertainty in requirement with domain knowledge;goal-oriented context requirement to model user requirements and process-oriented context requirement to model service requirements;and finally, propose means-c-end analysis to relate user and service requirement with context condition. We illustrate and evaluate our approach through three scenarios of city intelligent traffic domain in the support tool ConUSER. © 2011 by Binary Information Press.

关键词： Uncertainty analysis

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：