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

4th International Workshop on Feature-Oriented Software Development, FOSD'12

作者： Marinho, Fabiana G. Andrade, Rossana M.C. Costa, Paulo A.S. Maia, Paulo H.M. Vidal, Vania M.P. Werner, Claudia Department of Computer Science Federal University of Ceará Fortaleza Brazil Group of Computer Network Software Engineering and Systems - GREat Federal University of Ceará Fortaleza Brazil Systems Engineering and Computer Science Program Federal University of Rio de Janeiro Rio de Janeiro Brazil

ISBN: (纸本)9781450313094

Software product lines, usually described using feature models, have proven to be a feasible solution to develop mobile and context-aware applications. These applications use con- text information to provide services and data for their users from anywhere and at any time. However, building feature models for mobile and context-aware software product lines demands advanced skills of software engineers, since it comprises system and context information. Moreover, to guarantee a correct application execution, these models must be thoroughly specified, composed and verified to check whether some composition and adaptation rules are violated. Although this is an important task, there is a lack of formalization of such rules, which makes it difficult to use those rules for feature models verification. In this paper, we propose an approach to prevent defects in context-aware feature models and in their product reconfiguration based on formal methods. To validate our work, we developed a prototype to check the correctness of context-aware feature models. Copyright 2012 ACM.

关键词： Formal methods

来源：评论

学校读者我要写书评

暂无评论

Static packet routing in NoC platform using ACO-based algorithms

Static packet routing in NoC platform using ACO-based algori...

引用

13th International Conference on Intelligent Data engineering and Automated Learning, IDEAL 2012

作者： Silva Jr., Luneque Nedjah, Nadia De Macedo Mourelle, Luiza Systems Engineering and Computer Science Program COPPE Federal University of Rio de Janeiro Brazil Department of Electronics Engineering and Telecommunications State University of Rio de Janeiro Brazil Department of Systems Engineering and Computation State University of Rio de Janeiro Brazil

ISBN: (纸本)9783642326387

Networks-on-Chip (NoC) have been used as an interesting option in design of communication infrastructures for embedded systems, providing a scalable structure and balancing the communication between cores. Because several data packets can be transmitted simultaneously through the network, an efficient routing strategy must be used in order to avoid congestion delays. In this paper, ant colony algorithms were used to find and optimize routes in a mesh-based NoC, where several randomly generated applications have been mapped. The routing optimization is driven by the minimization of total latency in packets transmission between tasks. The simulation results show the effectiveness of the ant colony inspired routing by comparing it with general purpose algorithms for deadlock free routing. © 2012 Springer-Verlag.

关键词： Ant colony optimization

来源：评论

学校读者我要写书评

暂无评论

Finding optimal random boolean networks for reservoir computing

Finding optimal random boolean networks for reservoir comput...

引用

13th International Conference on the Simulation and Synthesis of Living systems: Artificial Life 13, ALIFE 2012

作者： Snyder, David Goudarzi, Alireza Teuscher, Christof Department of Computer Science Portland State University Portland OR 97201 United States Systems Science Graduate Program Portland State University Portland OR 97201 United States Department of Electrical and Computer Engineering Portland State University Portland OR 97201 United States

ISBN: (纸本)9780262310505

Reservoir Computing (RC) is a computational model in which a trained readout layer interprets the dynamics of a component called a reservoir that is excited by external input stimuli. The reservoir is often constructed using homogeneous neural networks in which a neuron's in-degree distributions as well as its functions are uniform. RC lends itself to computing with physical and biological systems. However, most such systems are not homogeneous. In this paper, we use Random Boolean Networks (RBN) to build the reservoir. We explore the computational capabilities of such a RC device using the temporal parity task and the temporal density classification. We study the sufficient dynamics of RBNs using kernel quality and generalization rank measures. We verify findings by Lizier et al. (2008) that the critical connectivity of RBNs optimizes the balance between the high memory capacity of RBNs with (K) 2. We show that in a RBN-based RC system, the optimal connectivity for the parity task, a processing intensive task, and the density classification task, a memory intensive task, agree with Lizier et al.'s theoretical results. Our findings may contribute to the development of optimal selfassembled nanoelectronic computer architectures and biologically-inspired computing paradigms. © 2012 Massachusetts Institute of Technology.

关键词： computer architecture

来源：评论

学校读者我要写书评

暂无评论

Identification of Affine Linear Parameter Varying Models for Adaptive Interventions in Fibromyalgia Treatment.

Identification of Affine Linear Parameter Varying Models for...

引用

American Control Conference

作者： P. Lopes Dos Santos Sunil Deshpande Daniel E. Rivera T-P Azevedo-Perdicoúlis J. A. Ramos Jarred Younger Universidade do Porto Faculdade de Engenharia Porto Portugal Sunil Deshpande is a doctoral student in the electrical engineering program at Arizona State University Tempe AZ USA Control Systems Engineering Laboratory (CSEL) School for Engineering of Matter Transport and Energy Arizona State University Tempe AZ USA ISR--Coimbra & Departamento de Matematica UTAD Vila Real Portugal Farquhar College of Arts and Sciences Division of Mathematics Science and Technology Nova Southeastern University Florida USA Adult and Pediatric Pain Laboratory Department of Anesthesia School of Medicine Stanford University Palo Alto CA USA

ISBN: (纸本)9781479901777

There is good evidence that naltrexone, an opioid antagonist, has a strong neuroprotective role and may be a potential drug for the treatment of fibromyalgia. In previous work, some of the authors used experimental clinical data to identify input-output linear time invariant models that were used to extract useful information about the effect of this drug on fibromyalgia symptoms. Additional factors such as anxiety, stress, mood, and headache, were considered as additive disturbances. However, it seems reasonable to think that these factors do not affect the drug actuation, but only the way in which a participant perceives how the drug actuates on herself. Under this hypothesis the linear time invariant models can be replaced by State-Space Affine Linear Parameter Varying models where the disturbances are seen as a scheduling signal signal only acting at the parameters of the output equation. In this paper a new algorithm for identifying such a model is proposed. This algorithm minimizes a quadratic criterion of the output error. Since the output error is a linear function of some parameters, the Affine Linear Parameter Varying system identification is formulated as a separable nonlinear least squares problem. Likewise other identification algorithms using gradient optimization methods several parameter derivatives are dynamical systems that must be simulated. In order to increase time efficiency a canonical parametrization that minimizes the number of systems to be simulated is chosen. The effectiveness of the algorithm is assessed in a case study where an Affine Parameter Varying Model is identified from the experimental data used in the previous study and compared with the time-invariant model.

关键词： outlet error time-invariant Affine In-law Pharmaceutical Preparations Narcotic Antagonists algorithms time efficiency

来源：评论

学校读者我要写书评

暂无评论

Awareness and comprehension in software/systems engineering practice and education: Trends and research directions

Awareness and comprehension in software/systems engineering ...

引用

26th Brazilian Symposium on Software engineering, SBES 2012

作者： Schots, Marcelo Werner, Cláudia Mendonça, Manoel Systems Engineering and Computing Program COPPE/UFRJ Federal University of Rio de Janeiro Rio de Janeiro Brazil Computer Science Department Federal University of Bahia Rio de Janeiro Brazil

ISBN: (纸本)9780769548685

The creation of tools, techniques and methodologies to support the manipulation of large data sets has been receiving special attention of both scientific and industrial communities, in order to discover new ways of dealing with the underlying information, including learning purposes, identification of patterns, decision making support, amongst others. However, making use of computing resources to enhance awareness and understanding of software information and the software itself is still a challenge in software/systems engineering, since it involves the identification of suitable mechanisms, adequate abstractions, and studies on stimulation of the human perceptive and cognitive abilities. This paper presents some of the challenges in this context, based on current trends of software development lifecycle, program comprehension, and software engineering education. At the end, a special focus is given on ongoing research on using and improving current mechanisms for supporting software reuse practices and software comprehension in general. © 2012 IEEE.

关键词： computer software reusability

来源：评论

学校读者我要写书评

暂无评论

Reversible JPEG Data Hiding Based on EMD

引用

通讯和计算机（中英文版） 2012年第10期9卷 1135-1141页

作者： Wen-Chung Kuo Shao-Hung Kuo Department of Computer Science and Information Engineering National Yunlin University of Science & Technology Yunlin 672 Taiwan Graduate School of Engineering Science and Technology Doctoral Program National Yunlin University of Science and Technology Yunlin 640 Taiwan

As the rapid growth of smart phone technology, people have a lot of digital image information such as digital photos or videos. Both data hiding and data compression are very important technologies in image processing field. On the overview, it seems that there is no relationship between data hiding and data compression because data hiding mechanisms focus on information security and data compression mechanisms emphasize the compression ratio. However, the more secret data is embedded, the more capacity the stego image increases. Actually, they are closely related. Until now, there are many literatures to discuss the secret data how to be embedded into the media image and keeps the original capacity as soon as possible. In this paper, a reversible data hiding scheme based on EMD data hiding and JPEG (Joint Picture Experts Group) compression technology will be proposed. According to experimental results, the authors can prove that our proposed scheme maintains high embedding capacity, security and good compression ratio.

关键词：数据隐藏 JPEG EMD 可逆数字图像信息数据嵌入压缩技术数据压缩

来源：评论

学校读者我要写书评

暂无评论

An efficient parallel architecture for ray-tracing

An efficient parallel architecture for ray-tracing

引用

作者： Nery, Alexandre S. Nedjah, Nadia França, Felipe M.G. LAM - Computer Architecture and Microeletronics Laboratory Systems Engineering and Computer Science Program COPPE Universidade Federal Do Rio de Janeiro Rio de Janeiro RJ Brazil Department of Electronics Engineering and Telecommunications Faculty of Engineering Universidade Do Estado Do Rio de Janeiro Rio de Janeiro RJ Brazil

Real time rendering of three-dimensional scenes in high photorealistic details is a hard task, such as in the ray tracing rendering algorithm. In general, the performance achieved by a sequential software-based implementation of ray tracing is far from satisfactory. However, parallel implementations of ray tracing have been enabling reasonable real time performance, as the algorithm is embarrassingly parallel. Thus, a custom parallel design in hardware is likely to achieve an even higher performance. In this paper, we propose a hardware parallel architecture capable of dealing with the main desirable features of ray tracing, such as shadows and reflection effects, imposing low area cost and a promising rendering performance. Such architecture, called GridRT, is based on the Uniform Grid acceleration structure and is intended to deliver massive parallelism through parallel ray-triangle intersection tests as well as parallel processing of many rays. A hardware implementation of the proposed architecture is presented, together with some performance results and resources requirements. The rendering is reduced by 80% using a grid configuration of eight processing elements. © Springer science+Business Media, LLC 2011.

关键词： Field programmable gate arrays (FPGA)

来源：评论

学校读者我要写书评

暂无评论

Modeling the breakage-fusion-bridge mechanism: Combinatorics and cancer genomics

引用

16th Annual International Conference on Research in Computational Molecular Biology, RECOMB 2012

作者： Kinsella, Marcus Bafna, Vineet Bioinformatics and Systems Biology Program University of California San Diego San Diego CA 92093 United States Department of Computer Science and Engineering University of California San Diego San Diego CA 92093 United States

ISBN: (纸本)9783642296260

The breakage-fusion-bridge (BFB) mechanism was proposed over seven decades ago and is a source of genomic variability and gene amplification in cancer. Here we formally model and analyze the BFB mechanism, to our knowledge this first time this has been undertaken. We show that BFB can be modeled as successive inverted prefix duplications of a string. Using this model, we show that BFB can achieve a surprisingly broad range of amplification patterns. We find that a sequence of BFB operations can be found that nearly fits most patterns of copy number increases along a chromosome. We conclude that this limits the usefulness of methods like array CGH for detecting BFB and discuss other implications for understanding mechanisms of genomic instability. © 2012 Springer-Verlag Berlin Heidelberg.

关键词： Pattern matching

来源：评论

学校读者我要写书评

暂无评论

Low-frequency noise in "graphene-like" exfoliated thin films of topological insulators

Low-frequency noise in "graphene-like" exfoliated thin films...

引用

2011 MRS Spring Meeting

作者： Hossain, M.Z. Rumyantsev, S.L. Shahil, K.M.F. Teweldebrhan, D. Shur, M. Balandin, A.A. Nano-Device Laboratory Department of Electrical Engineering and Materials Science and Engineering Program University of California Riverside CA 92521 United States Department of Electrical Computer and Systems Engineering Center for Integrated Electronics Rensselaer Polytechnic Institute Troy NY 12180 United States Ioffe Institute Russian Academy of Sciences St. Petersburg 194021 Russia

ISBN: (纸本)9781605113210

We report results of the study of the low-frequency noise in thin films of bismuth selenide topological insulators, which were mechanically exfoliated from bulk crystals via "graphene-like" procedures. From the resistance dependence on the film thickness, it was established that the surface conduction contributions to electron transport were dominant. It was found that the current fluctuations have the noise spectral density S1 ∞ l/f (where f is the frequency) for the frequency range up to 10 kHz. The obtained noise data are important for transport experiments with topological insulators and for any proposed device applications of these materials. © 2011 Materials Research Society.

关键词： Thin films

来源：评论

学校读者我要写书评

暂无评论

Accelerating the artificial bee colony algorithm by hardware parallel implementations

Accelerating the artificial bee colony algorithm by hardware...

引用

2012 IEEE 3rd Latin American Symposium on Circuits and systems, LASCAS 2012

作者： Muñoz, Daniel M. Llanos, Carlos H. Coelho, Leandro Dos S. Ayala-Rincón, Mauricio Department of Mechanical Engineering Automation and Control Group/GRACO University of Brasilia Brasilia D.F. Brazil Industrial and Systems Engineering Graduate Program LAS/PPGEPS Pontifical Catholic University of Parana Curitiba Parana Brazil Department of Computer Science and Mathematics University of Brasilia Brasilia D.F. Brazil

ISBN: (纸本)9781467312080

Artificial bee colony (ABC) is an optimization algorithm inspired on the intelligent behavior of honey bee swarms. It is suitable to be applied when mathematical techniques are impractical or provide suboptimal solutions. As a population-based algorithm, the ABC suffers on large execution times specifically for embedded optimization problems with computational limitations. For that we propose a hardware parallel architecture of the opposition-based ABC algorithm (HPOABC) that facilitates the implementation in Field programmable Gate Arrays (FPGAs). Numerical simulations using four well-known benchmark problems demonstrate that the opposition-based approach allows the algorithm to improve its functionality, preserving the swarm diversity. Additionally, synthesis results point outs that the HPOABC architecture is effectively mapped in hardware and is suitable for embedded applications. © 2012 IEEE.

关键词： Global optimization

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：