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

Theoretical Treatment of Target Coverage in Wireless Sensor Networks

Journal of computer Science & technology 2011年第1期26卷 117-129页

作者：谷雨赵保华计宇生李颉 School of Computer Science University of Science and Technology of China State Key Laboratory of Networking and Switching Technology Information Systems Architecture Science Research Division National Institute of InformaticsTokyoJapan Department of Computer Science University of TsukubaTsukuba Science CityIbarakiJapan

The target coverage is an important yet challenging problem in wireless sensor networks, especially when both coverage and energy constraints should be taken into account. Due to its nonlinear nature, previous studies of this problem have mainly focused on heuristic algorithms; the theoretical bound remains unknown. Moreover, the most popular method used in the previous literature, i.e., discretization of continuous time, has yet to be justified. This paper fills in these gaps with two theoretical results. The first one is a formal justification for the method. We use a simple example to illustrate the procedure of transforming a solution in time domain into a corresponding solution in the pattern domain with the same network lifetime and obtain two key observations. After that, we formally prove these two observations and use them as the basis to justify the method. The second result is an algorithm that can guarantee the network lifetime to be at least （1 - ε） of the optimal network lifetime, where ε can be made arbitrarily small depending on the required precision. The algorithm is based on the column generation （CG） theory, which decomposes the original problem into two sub-problems and iteratively solves them in a way that approaches the optimal solution. Moreover, we developed several constructive approaches to further optimize the algorithm. Numerical results verify the efficiency of our CG-based algorithm.

关键词： target coverage wireless sensor networks time-dependent solution pattern-based solution column generation

来源：评论

学校读者我要写书评

暂无评论

Acceleration and energy consumption optimization in cascading classifiers for face detection on low-cost ARM big. LITTLE asymmetric architectures

Acceleration and energy consumption optimization in cascadin...

引用

作者： Corpas, Alberto Costero, Luis Botella, Guillermo Igual, Francisco D. García, Carlos Rodríguez, Manuel Department of Architecture and Computer Technology ETSIIT University of Granada Granada18071 Spain Department of Computer Architecture and Automation Complutense University of Madrid Madrid28040 Spain

This paper proposes a mechanism to accelerate and optimize the energy consumption of a face detection software based on Haar-like cascading classifiers, taking advantage of the features of low-cost asymmetric multicore processors (AMPs) with limited power budget. A modelling and task scheduling/allocation is proposed in order to efficiently make use of the existing features on big. LITTLE ARM processors, including (1) source-code adaptation for parallel computing, which enables code acceleration by applying the OmpSs programming model, a task-based programming model that handles data-dependencies between tasks in a transparent fashion;(2) different OmpSs task allocation policies which take into account the processor asymmetry and can dynamically set processing resources in a more efficient way based on their particular features. The proposed mechanism can be efficiently applied to take advantage of the processing elements existing on low-cost and low-energy multi-core embedded devices executing object detection algorithms based on cascading classifiers. Although these classifiers yield the best results for detection algorithms in the field of computer vision, their high computational requirements prevent them from being used on these devices under real-time requirements. Finally, we compare the energy efficiency of a heterogeneous architecture based on AMPs with a suitable task scheduling with that of a homogeneous symmetric architecture. © 2018 John Wiley & Sons, Ltd.

关键词： Energy efficiency

来源：评论

学校读者我要写书评

暂无评论

Maneuvering Angle Rigid Formations With Global Convergence Guarantees

引用

IEEE/CAA Journal of Automatica Sinica 2022年第8期9卷 1464-1475页

作者： Liangming Chen Zhiyun Lin Hector Garcia de Marina Zhiyong Sun Mir Feroskhan School of Mechanical and Aerospace Engineering Nanyang Technological UniversitySingapore 639798Singapore Department of Computer Architecture and Technology and also with CITICUniversity of Granada18014 GranadaSpain Department of Electrical Engineering Eindhoven University of Technology5600 MB Eindhoventhe Netherlands

Angle rigid multi-agent formations can simultaneously undergo translational,rotational,and scaling maneuvering,therefore combining the maneuvering capabilities of both distance and bearing rigid ***,maneuvering angle rigid formations in 2D or 3D with global convergence guarantees is shown to be a challenging problem in the existing literature even when relative position measurements are *** by angle-induced linear equations in 2D triangles and 3D tetrahedra,this paper aims to solve this challenging problem in both 2D and3D under a leader-follower *** the 2D case where the leaders have constant velocities,by using local relative position and velocity measurements,a formation maneuvering law is designed for the followers governed by double-integrator *** the leaders have time-varying velocities,a sliding mode formation maneuvering law is proposed by using the same *** the 3D case,to establish an angle-induced linear equation for each tetrahedron,we assume that all the followers'coordinate frames share a common Z ***,a formation maneuvering law is proposed for the followers to globally maneuver Z-weakly angle rigid formations in *** extension to Lagrangian agent dynamics and the construction of the desired rigid formations by using the minimum number of angle constraints are also *** examples are provided to validate the effectiveness of the proposed algorithms.

关键词： Index Terms—Angle rigid formations formation control formation maneuvering global convergence multi-agent systems

来源：评论

学校读者我要写书评

暂无评论

Joint Biomedical Entity and Relation Extraction Based on Multi-Granularity Convolutional Tokens Pairs of Labeling

引用

computers, Materials & Continua 2024年第9期80卷 4325-4340页

作者： Zhaojie Sun Linlin Xing Longbo Zhang Hongzhen Cai Maozu Guo Department of Computer Science and Technology Shandong University of TechnologyZibo255000China Department of Agricultural Engineering and Food Science Shandong University of TechnologyZibo255000China Department of Electrical and Information Engineering Beijing University of Civil Engineering and ArchitectureBeijing100044China

Extracting valuable information frombiomedical texts is one of the current research hotspots of concern to a wide range of *** biomedical corpus contains numerous complex long sentences and overlapping relational triples,making most generalized domain joint modeling methods difficult to apply effectively in this *** a complex semantic environment in biomedical texts,in this paper,we propose a novel perspective to perform joint entity and relation extraction;existing studies divide the relation triples into several steps or ***,the three elements in the relation triples are interdependent and inseparable,so we regard joint extraction as a tripartite classification *** the same time,fromthe perspective of triple classification,we design amulti-granularity 2D convolution to refine the word pair table and better utilize the dependencies between biomedical word ***,we use a biaffine predictor to assist in predicting the labels of word pairs for relation *** model(MCTPL)Multi-granularity Convolutional Tokens Pairs of Labeling better utilizes the elements of triples and improves the ability to extract overlapping triples compared to previous ***,we evaluated our model on two publicly accessible *** experimental results show that our model’s ability to extract relation triples on the CPI dataset improves the F1 score by 2.34%compared to the current optimal *** the DDI dataset,the F1 value improves the F1 value by 1.68%compared to the current optimal *** model achieved state-of-the-art performance compared to other baseline models in biomedical text entity relation extraction.

关键词： Deep learning biomedical joint extraction triple classification multi-granularity 2D convolution

来源：评论

学校读者我要写书评

暂无评论

Reliable Code Generation and Test Environment demonstrated on a PI-Controller Design

引用

IFAC-PapersOnLine 2016年第3期49卷 465-470页

作者： Schwarz, M.H. Sheng, H. Üstoglu, I. Chabaan, W. Börcsök, J. Safety Computer Technology University of Kassel Germany Control and Automation Engineering Department Yildiz Technical University Istanbul Turkey Computer Architecture and System Programming University of Kassel Germany

This paper focuses on the latest version of a tool developed within the department to guide developer through the various steps of requirements, test-procedures and documentations to finally download the derived algorithm on a safety programmable logic controller (PLC). Requirements on how to develop and how to test software are steadily increasing due to international standards, which have to be obeyed in industries in general, and in the process- and automation industries in particular. A simple model is derived to be used to develop a PI controller that has to pass several steps to be qualified for execution on a PLC. The paper explains the different steps and describes the various problems that might occur. © 2016

关键词： Controllers Accident prevention Reliability Software testing Automated code generation Automation industry International standards P i controller designs PI control Programmable Logic Controller (PLC) Simple modeling Test Environment

来源：评论

学校读者我要写书评

暂无评论

A Necessary and Sufficient Condition for the Total Unimodularity of a Matrix in Terms of Graph Theory

引用

Optimization 1989年第6期20卷 901-914页

作者： Hempel, L. Herrmann, U. Hölzer, W. Wetzel, R. Weimar College of Architecture and Civil Engineering Department of Computer Science and Mathematics Germany Leipzig Institute of Technology Department of Mathematics and Computer Science Germany

We present a necessary and sufficient condition for an arbitrary matrix A to be totally unimodular. The matrix A is interpreted as the adjacency matrix of a bipartite graph G(A). The total unimodularity of A corresponds to non-existence of a cycle in G(A) which has an odd columnvaluation and which is equal to the induced subgraph. Some applications of the results are also discussed. © 1989, Taylor & Francis Group, LLC. All rights reserved.

关键词： Bipartite graphs Multicommodity flow Perfect matching Total unimodularity

来源：评论

学校读者我要写书评

暂无评论

A Painting Style System using an Improved CNN Algorithm

引用

IEIE Transactions on Smart Processing and Computing 2022年第5期11卷 332-342页

作者： Zhong, Yuan Huang, Xinyan Department of Architecture Sichuan College of Architectural Technology Chengdu615000 China School of Computer Science and Technology Shandong University of Finance and Economics Ji’nan250014 China

The rapid development of deep learning technology allows ordinary people to create artwork that imitates the style of paintings by famous masters through an algorithm. To create such works with artistic style, this research proposes an artificial neural network algorithm based on an improved convolutional neural network (CNN). First, a fast style-rendering model based on the improved CNN is constructed, and then, a server front end is built with the Bootstrap framework. The server-side back end of the system is built by combining a Python algorithm and a web framework, and finally, a complete model of the front-end and back-end network of the style rendering system is constructed. The model proposed in this paper is compared with two other models to verify its performance. The results show that information entropy of the model constructed is the highest at 5.58, which is higher than information entropy of the other two models. The average gradient value and the peak signal-to-noise ratio under the constructed model are 22.54 and 27.81, respectively, which are also higher than the other two models. Mutual information and the structural similarity index between rendered images and sample images under all three models were compared. Mutual information and structural similarity index of the model constructed by this research are 1.19 and 0.56, respectively, with much larger data sizes than the two comparison models. © 2022 Institute of Electronics and Information Engineers. All rights reserved.

关键词： Convolutional neural networks

来源：评论

学校读者我要写书评

暂无评论

Dynamically configurable platform for service integration

Dynamically configurable platform for service integration

引用

2008 1st International Conference on Information technology, IT 2008

作者： Budnik, LUkasz Dziubich, Krystyna Dziubich, Tomasz Nasiadka, Slawomir Gdansk University of Technology Faculty of Electronics Telecommunications and Informatics Computer Architecture Department

ISBN: (纸本)9781424422456

This paper describes an architecture of dynamically configurable framework for service oriented applications, especially using web services. This framework, based on OSGi specification, provides an interface thanks to which the logic of the application can be changed without need of restarting. There are presented essential problems that must be resolved during a developing process of such systems and we propose their solution. There is depicted how services should work within implemented platform. We show also a communication mechanism between services. This mechanism assures of appropriate level of system dynamics. © IEEE.

关键词： Web services

来源：评论

学校读者我要写书评

暂无评论

The design and implementation of the TRIPS prototype chip 17

The design and implementation of the TRIPS prototype chip

引用

17th IEEE Hot Chips Symposium, HCS 2005

作者： McDonald, Robert Burger, Doug Keckler, Steve Computer Architecture and Technology Laboratory Department of Computer Sciences E University of Texas at Austin United States

ISBN: (纸本)9781467388641

This article consists of a collection of slides from the authors' conference presentation. They conclude that: distributed microarchitecture acknowledges and tolerates wire delay and scalable protocols tailored for distributed components. Tiled microarchitecture simplifies scalability and improves design productivity. The next step for instruction-level parallelism is EDGE ISA enables increased ILP while also exploiting coarser types of parallelism. © 2005 IEEE.

关键词：

来源：评论

学校读者我要写书评

暂无评论

An integrated knowledge-based and procedural system for the design of energy conscious buildings

引用

Automation in Construction 1992年第2期1卷 123-141页

作者： Shaviv, Edna Kalay, Yehuda E. Peleg, Uriel J. Faculty of Architecture and Town Planning Technion-Israel Institute of Technology Haifa Israel Department of Architecture School of Architecture and Planning State University of New York at Buffalo BuffaloNY United States ACA-Architecture and Computer Aids Ltd. Ramat Gan Israel

The paper describes a methodology for supporting computationally all phases of an energy-conscious design and evaluation process, by combining procedural simulation and knowledge-based heuristic methods in one integrated system. The methodology is based on partitioning the design process into discrete phases and identifying the energy-conscious informational characteristics of each phase. These informational characteristics are expressed in the form of design variables (parameters) and the relationships between them. The methodology allows for testing the applicability of heuristics rules in non-standard cases, using context-sensitive application of default values and judicious selection of rules of thumb, thereby improving the overall predictive powers of the evaluation. The methodology is demonstrated through developing a KB-CAAD system for the schematic-conceptual design phase of solar and low energy buildings. The system is based on the integration of a knowledge-based model and a simulation model with a commercially available CAAD system for building representation. The knowledge base contains heuristic rules for the design of passive solar buildings. Whenever possible, the knowledge-base guides the designer through the decision making process. However, if the rules of thumb are not acceptable for the particular design problem, the system guides the architect by means of the procedural simulation model. A case study demonstrates how the system leads to the design of better energy conscious buildings, while taking less time and effort to introduce the geometrical data that is needed for the representation of a regular, non-solar building. © 1992

关键词： Conceptual design

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：