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

On deploying relays for connected indoor sensor networks

Journal of Communications and Networks 2014年第3期16卷 335-343页

作者： Zhu, Yanmin Xue, Cuiyao Cai, Haibin Yu, Jiadi Ni, Lei Li, Minglu Li, Bo Shanghai Key Lab. of Scalable Computing and Systems Department of Computer Science and Engineering Shanghai Jiao Tong University China Department of Computer Science and Engineering Shanghai Jiao Tong University China Software Engineering Institute East China Normal University China Shanghai Jiao Tong University Hong Kong University of Science and Technology Hong Kong

This paper considers the crucial problem of deploying wireless relays for achieving a connected wireless sensor network in indoor environments, an important aspect related to the management of the sensor network. Several algorithms have been proposed for ensuring full sensing coverage and network connectivity. These algorithms are not applicable to indoor environments because of the complexity of indoor environments, in which a radio signal can be dramatically degraded by obstacles such as walls. We first prove theoretically that the indoor relay placement problem is NP-hard. We then predict the radio coverage of a given relay deployment in indoor environments. We consider two practical scenarios;wire-connected relays and radio-connected relays. For the network with wire-connected relays, we propose an efficient greedy algorithm to compute the deployment locations of relays for achieving the required coverage percentage. This algorithm is proved to provide a Hn factor approximation to the theoretical optimum, where Hn = 1 +1/2+⋯+1/n= ln(n) +1, and n is the number of all grid points. In the network with radio-connected relays, relays have to be connected in an ad hoc mode. We then propose an algorithm based on the previous algorithm for ensuring the connectivity of relays. Experimental results demonstrate that the proposed algorithms achieve better performance than baseline algorithms. © 2014 KICS.

关键词： Approximation algorithms

来源：评论

学校读者我要写书评

暂无评论

Modeling of substrate integrated waveguide series fed dielectric resonator antenna array with longitudinal slots excitation

Modeling of substrate integrated waveguide series fed dielec...

引用

Antennas and Propagation Society International Symposium

作者： Mona Abdallah Ying Wang Wael M. Abdel-Wahab Safieddin Safavi-Naeini Department of Electrical Computer and Software Engineering University of Ontario Institute of Technology (UOIT) Oshawa Ontario Canada Department of Electronics and Communications Engineering Arab Academy for Science Technology and Maritime Transport Alexandria Egypt Electronic Research Institute (ERI) Cairo Egypt C-COM Satellite Systems Inc. Ottawa Ontario Canada Department of Electrical and Computer Engineering University of Waterloo (UW) Waterloo Ontario Canada

A circuit model is presented for the modeling of mutual coupling for substrate integrated waveguide (SIW)-series fed dielectric resonator antenna (DRA) array excited by longitudinal slots. The antenna element can be modeled using S-parameters or π equivalent circuit. The mutual coupling between antennas is modeled as a two-port network shunt connected between adjacent antennas. A four elements millimeter-wave SIW-DRA array fed by longitudinal slots is simulated to validate this model. The simulation results using the developed model agree well with the full-wave solver results.

关键词： Integrated circuit modeling Arrays Dielectric resonator antennas Computational modeling Mutual coupling Dielectrics Antenna arrays

来源：评论

学校读者我要写书评

暂无评论

Reliable and Anti-cloning PUFs Based on Configurable Ring Oscillators

Reliable and Anti-cloning PUFs Based on Configurable Ring Os...

引用

IEEE International Conference on computer-Aided Design and computer Graphics

作者： Mingze Gao Khai Lai Jiliang Zhang Gang Qu Aijiao Cui Qiang Zhou Department of Electrical and Computer Engineering and Institute for Systems Research University of Maryland College Park USA Availink Inc MD USA Software College Northeastern University Shenyang China School of Electronic and Information Engineering Harbin Institute of Technology Shenzhen Graduate School China Department of Computer Science and Technology Tsinghua University Beijing P.R. China

Ring oscillator Physical Unclonable Function (RO PUF) is a popular silicon PUF due to its ease of implementation on both ASIC and FPGA. However, RO PUFs have severe reliability issues when the operating environment deviates from the nominal condition and security issues as cloning attacks have been reported. In this work, we propose to build configurable RO PUFs based on the notions of configurable RO PUF [6, 16] and highly flexible RO PUF [22] to address these concerns. First, we demonstrate how to build RO PUF from single flexible ROs, which improves both the reliability and hardware efficiency of RO PUFs. Then we propose a novel dual voltage based configurable RO PUF to mitigate the cloning attacks. Our experimental results show that our configurable RO PUFs are more reliable and hardware efficient than the existing RO PUF designs. Using the flexible RO PUF [22] as baseline, we have reduced the bit flip rate by 69% and improve the hardware utilization by 136%. In addition, the anti-cloning approach generates PUF data significantly different from the original PUF secret (average 47.5% Hamming distance) which makes potential cloning attacks very difficult.

关键词： Inverters Delays Reliability Hardware Cloning Silicon Ring oscillators

来源：评论

学校读者我要写书评

暂无评论

What do software design students understand about information hiding? A qualitative case study 14

What do software design students understand about informatio...

引用

14th Koli Calling International Conference on Computing Education Research, Koli Calling 2014

作者： Flores, Pamela Medinilla, Nelson Pamplona, Sonia Computer Languages and Systems and Software Engineering Department Universidad Politécnica de Madrid Spain Computer Science Department Universidad a Distancia de Madrid Spain

ISBN: (纸本)9781450330657

The Information Hiding Principle is a modularization technique aimed at increasing the productivity of software development and maintenance. The Hiding Information concept introduced by Parnas is recognized as one of the key software design principles. However, as the author said, implementing the Principle is harder than it looks. This paper aims to discover what students understand and how they implement, on their designs, the Information Hiding Principle. The research was conducted through a qualitative case study with thirteen Master's students in the domain of software Design. Among the different concepts associated with understanding the Principle we could identify that some students adhere to the idea of dividing in order to hide, while others only care about hiding. Both of them without a successful implementation of the Principle. Few students have some idea about the Principle, however they do not get it all when implementing it. Furthermore, we can conclude that Parnas' statement remains until today. Copyright 2014 ACM.

关键词： software design

来源：评论

学校读者我要写书评

暂无评论

EMF splitter: A structured approach to EMF modularity 3

EMF splitter: A structured approach to EMF modularity

引用

3rd Extreme Modeling Workshop, XM 2014, Co-located with ACM/IEEE 17th International Conference on Model Driven engineering languages and systems, MoDELS 2014

作者： Garmendia, Antonio Guerra, Esther Kolovos, Dimitrios S. De Lara, Juan Modelling and Software Engineering Group Computer Science Department Universidad Autónoma de Madrid Spain Enterprise Systems Group Computer Science Department University of York United Kingdom

Model-Driven engineering aims at reducing the cost of system development by raising the level of abstraction at which developers work. Thus, models become the main assets in this paradigm, guiding the development until code for the final application is obtained. However, even though domain-specific, models may become large and complex, becoming cumbersome to edit and manipulate. In this scenario, mechanisms helping in the agile definition and management of models in the large are crucial. Modularity is one of such mechanisms. In this paper, we describe a novel approach to the construction of EMF models in a structured way. It is based on the annotation of the Ecore meta-models with modularity concepts (like project, package and unit), from which we generate an Eclipse plug-in that enables the editing of models according to that structure (i.e., organized in projects and decomposed into folders and files). The paper presents our supporting tool and discusses benefits and future challenges.

关键词： Agile manufacturing systems

来源：评论

学校读者我要写书评

暂无评论

Colored petri net-based modeling and formal analysis of component-based applications 11

Colored petri net-based modeling and formal analysis of comp...

引用

11th Workshop on Model-Driven engineering, Verification and Validation, MoDeVVa 2014, Co-located with 17th International Conference on Model Driven engineering languages and systems, MODELS 2014

作者： Kumar, Pranav Srinivas Dubey, Abhishek Karsai, Gabor Institute for Software Integrated Systems Department of Electrical Engineering and Computer Science Vanderbilt University NashvilleTN37235 United States

Distributed Real-Time Embedded (DRE) systems that ad-dress safety and mission-critical system requirements are applied in a variety of domains today. Complex, integrated systems like managed satellite clusters expose heterogeneous concerns such as strict timing requirements, complexity in system integration, deployment, and repair;and resilience to faults. Integrating appropriate modeling and analysis techniques into the design of such systems helps ensure predictable, dependable and safe operation upon deployment. This paper describes how we can model and analyze applications for these systems in order to verify system properties such as lack of deadline violations. Our approach is based on (1) formalizing the component operation scheduling using Colored Petri nets (CPN), (2) modeling the abstract temporal behavior of application components, and (3) integrating the business logic and the component operation scheduling models into a concrete CPN, which is then analyzed. This model-driven approach enables a verification-driven workflow wherein the application model can be refined and restructured before actual code development.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

Taming multi-paradigm integration in a software architecture description language 8

Taming multi-paradigm integration in a software architecture...

引用

8th Workshop on Multi-Paradigm Modeling, MPM 2014, Co-located with the 17th International Conference on Model Driven engineering languages and systems, MODELS 2014

作者： Balasubramanian, Daniel Levendovszky, Tihamer Dubey, Abhishek Karsai, Gábor Institute for Software Integrated Systems Department of Electrical Engineering and Computer Science Vanderbilt University NashvilleTN37235 United States

software architecture description languages offer a convenient way of describing the high-level structure of a software system. Such descriptions facilitate rapid prototyping, code generation and automated analysis. One of the big challenges facing the software community is the design of architecture description languages that are general enough to describe a wide-range of systems, yet detailed enough to capture domain-specific properties and provide a high level of tool automation. This paper presents the multi-paradigm challenges we faced and solutions we built when creating a domain-specific modeling language for software architectures of distributed real-time systems.

关键词： software architecture

来源：评论

学校读者我要写书评

暂无评论

Unification or integration? The challenge of semantics in heterogeneous modeling languages 2

Unification or integration? The challenge of semantics in he...

引用

2nd International Workshop on The Globalization of Modeling languages, GEMOC 2014, Co-located with ACM/IEEE 17th International Conference on Model Driven engineering languages and systems, Models 2014

作者： Karsai, Gabor Institute for Software-Integrated Systems Department of Electrical Engineering and Computer Science Vanderbilt University NashvilleTN37235 United States

Model-driven software development and systems engineering rely on modeling languages that provide efficient, domain-specific abstractions for design, analysis, and implementation. Models are essential for communicating ideas across the engineering team, but also key to the analysis of the system. No single model or modeling language can cover all aspects of a system, and even for particular aspects multiple modeling languages are used in the same system. Thus engineers face the dilemma of either defining a unifying semantics for all models, or finding a solution to the model integration problem. The talk will elaborate these problems, and show two, potential solutions: one using a model integration language (for the engineering design domain) and another one using explicit and executable semantics (for the domain of distributed reactive controllers).

关键词： Modeling languages

来源：评论

学校读者我要写书评

暂无评论

Toward model-driven engineering principles and practices for model replicability and experiment reproducibility (Work in progress)

Toward model-driven engineering principles and practices for...

引用

2014 Symposium on Theory of Modeling and Simulation - DEVS Integrative M and S Symposium, DEVS 2014;2014 Spring Simulation Multi-Conference, SpringSim 2014

作者： Ledet, Joseph Teran-Somohano, Alejandro Butcher, Zachary Yilmaz, Levent Smith, Alice E. Oǧuztüzün, Halit Dayibaş, Orçun Görür, Bilge Kaan Department of Computer Science and Software Engineering United States Department of Industrial and Systems Engineering Samuel Ginn College of Engineering Auburn University United States Department of Computer Engineering School of Engineering Middle East Technical University Turkey

ISBN: (纸本)9781632662156

Recent years have seen a proliferation of the use of simulation models in computational science. Most of these models have never been independently replicated by anyone but the original developer. Furthermore, there is a growing credibility gap due to widespread, relaxed attitudes in communication of experiments, models, and validation of simulations used in computational research. We examine various issues and challenges involved in model replication and simulation experiment reproducibility. Model-driven simulation engineering principles and model transformation concepts are adopted as solution strategies to improve replicability of models and reproducibility of experiments. A process model, an architectural framework, and an implementation strategy is introduced to address identified issues in simulation experiment management and model replication.

关键词： Experiment modeling Model replicability Model-driven reproducibility Transformation-driven replication

来源：评论

学校读者我要写书评

暂无评论

A method of recommendation the most used XML tags

A method of recommendation the most used XML tags

引用

5th KKU International engineering Conference 2014, KKU-IENC 2014

作者： Vacharaskunee, Sutheetutt Intakosum, Sarun Software Systems Engineering Laboratory Department of Mathematics and Computer Science King Mongkut's Institute of Technology Ladkrabang Bangkok 10250 Thailand

ISBN: (纸本)9783038350903

Processing of a large data set which is known for today as big data processing is still a problem that has not yet a well-defined solution. The data can be both structured and unstructured. For the structured part, eXtensible Markup language (XML) is a major tool that freely allows document owners to describe and organize their data using their markup tags. One major problem, however, behind this freedom lies in the big data retrieving process. The same or similar information that are described using the different tags or different structures may not be retrieved if the query statements contains different keywords to the one used in the markup tags. The best way to solve this problem is to specify a standard set of the markup tags for each problem domain. The creation of such a standard set if done manually requires a lot of hard work and is a time consuming process. In addition, it may be hard to define terms that are acceptable by all people. This research proposes a model for a new technique, "XML Tag Recommendation" (XTR) that aims to solve this problem. This technique applies the idea of Case Base Reasoning (CBR) by collecting the most used tags in each domain as a case. These tags come from the collection of related words in WordNet. The WordCount that is the web site to find the frequency of words is applied to choose the most used one. The input (problem) to the XTR system is an XML document contains the tags specified by the document owners. The solution is a set of the recommended tags, which is the most used tags, for the problem domain of the document. Document owners have a freedom to change or not change the tags in their documents and can provide feedback to the XTR system. © (2014) Trans Tech Publications, Switzerland.

关键词： XML

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：