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

IEEE International Conference on computer-Aided Design

作者： Muhammad Ismail Osman Hasan Thomas Ebi Muhammad Shafique Jörg Henkel School of Electrical Engineering and Computer Science National University of Sciences and Technology Islamabad Pakistan Chair for Embedded Systems (CES) Karlsruhe Institute of Technology (KIT) Germany

ISBN: (纸本)9781479910694

Simulation is the state-of-the-art analysis technique for distributed thermal management schemes. Due to the numerous parameters involved and the distributed nature of these schemes, such non-exhaustive verification may fail to catch functional bugs in the algorithm or may report misleading performance characteristics. To overcome these limitations, we propose a methodology to perform formal verification of distributed dynamic thermal management for many-core systems. The proposed methodology is based on the SPIN model checker and the Lamport timestamps algorithm. Our methodology allows specification and verification of both functional and timing properties in a distributed many-core system. In order to illustrate the applicability and benefits of our methodology, we perform a case study on a state-of-the-art agent-based distributed thermal management scheme.

关键词： Timing Model checking System recovery Computational modeling Thermal management Analytical models Automata

来源：评论

学校读者我要写书评

暂无评论

GPU-accelerated Optimization of Fuel Treatments for Mitigating Wildfire Hazard

引用

Procedia computer science 2013年 18卷 966-975页

作者： Bachisio Arca Tiziano Ghisu William Spataro Giuseppe A. Trunfio National Research Council Institute for Biometeorology (CNR-IBMET) Sassari Italy Department of Mathematics and Computer Science University of Calabria Rende Italy Department of Architecture Planning and Design University of Sassari Alghero Italy

Fuel treatment is considered a suitable way to mitigate the hazard related to potential wildfires on a landscape. However, designing an optimal spatial layout of treatment units represents a difficult optimization problem. In fact, budget constraints, the probabilistic nature of fire spread and interactions among the different area units composing the whole treatment, give rise to challenging search spaces on typical landscapes. In this paper we formulate such optimization problem with the objective of minimizing the extension of land characterized by high fire hazard. Then, we propose a computational approach that leads to a spatially-optimized treatment layout exploiting Tabu Search and General-Purpose computing on Graphics Processing Units (GPGPU). Using an application example, we also show that the proposed methodology can provide high-quality design solutions in low computing time.

关键词： Fuel Treatment GPGPU Simulation Optimization Cellular Automata

来源：评论

学校读者我要写书评

暂无评论

Validating Security Design Patterns Application Using Model Testing

Validating Security Design Patterns Application Using Model ...

引用

International Conference on Availability, Reliability and Security, ARES

作者： Takanori Kobashi Nobukazu Yoshioka Takao Okubo Haruhiko Kaiya Hironori Washizaki Yoshiaki Fukazawa Computer Science and Engineer Department Waseda University Tokyo Japan GRACE Center National Institute of informatics Tokyo Japan Information Security Division Institute of Information Security Yokohama Japan Architecture Research Division National Institute of Informatics Tokyo Japan Computer Science and Engineering Waseda University Tokyo Japan

Software developers are not necessarily security specialists, security patterns provide developers with the knowledge of security specialists. Although security patterns are reusable and include security knowledge, it is possible to inappropriately apply a security pattern or that a properly applied pattern does not mitigate threats and vulnerabilities. Herein we propose a method to validate security pattern applications. Our method provides extended security patterns, which include requirement- and design-level patterns as well as a new model testing process using these patterns. Developers specify the threats and vulnerabilities in the target system during an early stage of development, and then our method validates whether the security patterns are properly applied and assesses whether these vulnerabilities are resolved.

关键词： Security Unified modeling language Software Context Testing Educational institutions Systematics

来源：评论

学校读者我要写书评

暂无评论

A framework for TV logos learning using linear inverse diffusion filters for noise removal

A framework for TV logos learning using linear inverse diffu...

引用

International Conference on High Performance Computing & Simulation (HPCS)

作者： Julián R. Cózar Vesna Zeljković José Mª González-Linares Nicolás Guil Claude Tameze Ventzeslav Valev Computer Architecture Department University of Málaga Malaga Spain School of Engineering & Computing Sciences New York Institute of Technology USA Department of Mathematics & Computer Science Lincoln University PA USA Institute of Mathematics and Informatics Bulgarian Academy of Sciences Sofia Bulgaria

Different logotypes represent significant cues for video annotations. A combination of temporal and spatial segmentation methods can be used for logo extraction from various video contents. To achieve this segmentation, pixels with low variation of intensity over time are detected. Static backgrounds can become spurious parts of these logos. This paper offers a new way to use several segmentations of logos to learn new logo models from which noise has been removed. First, we group segmented logos of similar appearances into different clusters. Then, a model is learned for each cluster that has a minimum number of members. This is done by applying a linear inverse diffusion filter to all logos in each cluster. Our experiments demonstrate that this filter removes most of the noise that was added to the logo during segmentation and it successfully copes with misclassified logos that have been wrongly added to a cluster.

关键词： Noise Maximum likelihood detection Nonlinear filters Image segmentation TV Shape Noise measurement

来源：评论

学校读者我要写书评

暂无评论

Digital Archaeological Landscapes & Replicated Artifacts: Questions of Analytical & Phenomenological Authenticity & Ethical Policies in CyberArchaeology

Digital Archaeological Landscapes & Replicated Artifacts: Qu...

引用

International Congress on Digital Heritage

作者： Ashley M. Richter Vid Petrovic David Vanoni Steven M. Parish Falko Kuester Thomas E. Levy Department of Anthropology Center of Interdisciplinary Science for Art Architecture UCSD branch of the California Institute of Telecommunications and Information Technology Department of Anthropology University of California San Diego Department of Computer Science & Engineering UCSD branch of the California Institute of Telecommunications and Information Technology Departments of Computer Science & Engineering & Structural Engineering UCSD branch of the California Institute of Telecommunications and Information Technology

As cyberarchaeology pushes the boundaries of digital replication of space, objects, and arguably, time itself, it simultaneously adjusts mankind's perception of these things, their connection to the individual and to culture, and our ability to analyze these increasingly solid intangible data sets. When considered as part of the evolving global modernist perspective, and as something valuable as a comparative analytical tool- these are useful developments. However, with every innovation, comes a price. And in creating virtually solid simulacra of cultural heritage, we must consider the implications of the removed authenticities cyberarchaeologists are creating. How might the ability to have a virtual copy affect international conservation policies for archaeological sites and collected artifacts? What does a virtual and potentially 3D printable version of an artifact mean to the economics of looting? How might digital augmentation in museums be balanced so as not to replace the real artifacts themselves? In developing the interdisciplinary and collaborative big-system cyberarchaeological methodologies and systems like those at the Center of Interdisciplinary science for Art, architecture, and Archaeology at the University of California, San Diego, the ethical implications of reactions to digitization and digital analysis are being concurrently evaluated so that some flexible contingencies can be built in as a safety measure to protect the authentic from the misuse of its heterotopic virtual counterparts.

关键词： Component Authenticity Digital artifact Replica Replicated artifact Archaeological landscape Point cloud Mesh 3D printing Technology Holodeck Virtual reality CISA3 UCSD

来源：评论

学校读者我要写书评

暂无评论

Large-scale Gaussian process classification using random decision forests

引用

Pattern Recognition and Image Analysis 2012年第1期22卷 113-120页

作者： Fröhlich, B. Rodner, E. Kemmler, M. Denzler, J. Chair of Computer Vision Institute of Computer Science Friedrich Schiller University of Jena Ernst-Abbe-Platz 2 D-07743 Jena Germany

Gaussian processes are powerful modeling tools in machine learning which offer wide applicability for regression and classification tasks due to their non-parametric and non-linear behavior. However, one of their main drawbacks is the training time complexity which scales cubically with the number of examples. Our work addresses this issue by combining Gaussian processes with random decision forests to enable fast learning. An important advantage of our method is its simplicity and the ability to directly control the tradeoff between classification performance and computational speed. Experiments on an indoor place recognition task and on standard machine learning benchmarks show that our method can handle large training sets of up to three million examples in reasonable time while retaining good classification accuracy. © 2012 Pleiades Publishing, Ltd.

关键词： Gaussian noise (electronic)

来源：评论

学校读者我要写书评

暂无评论

Low cost contour check of loading units using PMD sensors

Low cost contour check of loading units using PMD sensors

引用

International Conference on Sensing Technology, ICST

作者： Christian Prasse Jonas Stenzel Bartholomäus Rudak Frank Weichert Heinrich Müller Michael ten Hompel Fraunhofer Institute for Material Flow and Logistics Dortmund Germany Department of Computer Science VII Technical University Dortmund Germany Chair for Materials Handling and Warehousing Technical University Dortmund Dortmund Germany

In this paper, a novel approach for the detection of parcel loading positions on a pallet is presented. This approach realizes a substantial change in comparison to traditional system design of contour detection in de-palletizing processes. Complex 3D-vision systems, costly laser scanners or throughput decreasing local sensor solutions integrated in grippers are substituted by a low-cost Photonic Mixing Device (PMD) camera. By combining PMD technology and a predetermined model of loading situations, stored during the assembly of the pallet, this approach can compensate for the drawbacks of each respective system. An essential part of the approach are computer-graphics methods specific to the given problem to both detect the deviation between the nominal and the actual loading position and if necessary an automated correction of the packaging scheme. From an economic point of view this approach can decrease the costs of mandatory contour checking in automated de-palletizing processes.

关键词： Load modeling Robot kinematics Robot sensing systems Cameras Loading

来源：评论

学校读者我要写书评

暂无评论

Smart phone localization method using dual-carrier acoustic waves

Smart phone localization method using dual-carrier acoustic ...

引用

International Conference on Indoor Positioning and Indoor Navigation (IPIN)

作者： Takayuki Akiyama Masanari Nakamura Masanori Sugimoto Hiromich Hashizume Department of Informatics The Graduate University for Advanced Studies Tokyo Japan Department of Computer Science Hokkaido University Sapporo Japan Information Systems Architecture National Institute of Informatics Tokyo Japan

We describe an indoor localization technique for smart phones. Our new method, called the Frequency Division Multiplexing Phase Accordance Method (FDM-PAM), uses a beat called a sync pattern composed of a pair of sinusoidal waves with slightly different frequencies, which is similar to our original ultrasound ranging technique called the Phase Accordance Method (PAM). By generating multiple sync patterns with different central frequencies and transmitting them from different speakers, FDM-PAM conducts time-difference-of-arrival (TDOA) multilateration for localizing smart phones. In the current implementation of FDM-PAM, the 2D indoor position of a smart phone can be estimated. Three sync patterns are generated by using two out of six sinusoidal waves with frequencies ranging from 14.75 kHz to 17.25 kHz. The transmission of the sync pattern from the speakers lasts 4 ms. Through experiments, we have confirmed that FDM-PAM achieves accuracy of around 10 cm using only a short burst transmission, which indicates that the localization technique is sufficiently rapid and accurate.

关键词： Synchronization Smart phones Ultrasonic imaging Receivers OFDM Distance measurement Acoustics

来源：评论

学校读者我要写书评

暂无评论

Verification of Sleep-Inducing Effect by Excitation Apparatus Simulating Mother's Embrace and Rocking Motion

Verification of Sleep-Inducing Effect by Excitation Apparatu...

引用

Workshop on Robot Motion and Control

作者： Yoshifumi Morita Kohei Yamaguchi Keishi Ashida Ryojun Ikeura Kiyoko Yokoyama Department of Computer Science and Engineering Nagoya Institute of Technology (NIT) Department of Mechanical Engineering Mie University (MieU)/RTC RIKEN Department of Design and Architecture Nagoya City University (NCU)

ISBN: (纸本)9781467355094

Recently, the number of people who suffer from a high level of stress has increased. Too much stress may cause various physical and/or mental disorders. Moreover, sleep disorders are increasing in modern society. The aim of our project is to develop a relaxation machine for reducing stress and inducing sleep by using a rocking vibration simulating a mother's embrace and rocking motion of her baby. First, we analyzed a mother's embrace and rocking motion using a 3D motion capture system, and we evaluated the sleep-inducing effect on adults by using an excitation apparatus simulating the mother's motions. We found from the experimental analysis that there are two types of motions, both consisting of linear motion and rotational motion. The effectiveness of the rocking motion for inducing sleep was verified from brain signal analysis.

关键词： swaying motion Mother stress level shimmy Verification simulating

来源：评论

学校读者我要写书评

暂无评论

Adaptive fine pollutant discharge control for motor vehicles tunnels under traffic state transition

引用

IET Intelligent Transport Systems 2014年第5期8卷 507-507页

作者： Yingjie Xia Zhen Tan Guomin Zhou Hangzhou Institute of Service Engineering Hangzhou Normal University 310012 Hangzhou People's Republic of China College of Civil Engineering and Architecture Zhejiang University 310027 Hangzhou People's Republic of China Department of Computer Science Zhejiang Police College 310053 Hangzhou People's Republic of China

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：