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

Emotion recognition from thermal infrared images using deep Boltzmann machine

Frontiers of computer Science 2014年第4期8卷 609-618页

作者： Shangfei WANG Menghua HE Zhen GAO Shan HE Qiang JI School of Computer Science and Technology University of Science and Technology of China Hefei 230027 China Key Lab of Computing and Communicating Software of Anhui Province Hefei 230027 China Department of Electrical Computer and Systems Engineering Rensselaer Polytechnic Institute Troy NY 12180-3590 USA

Facial expression and emotion recognition from thermal infrared images has attracted more and more attentions in recent years. However, the features adopted in current work are either temperature statistical parameters extracted from the facial regions of interest or several hand-crafted features that are commonly used in visible spectrum. Till now there are no image features specially designed for thermal infrared images. In this paper, we propose using the deep Boltzmann machine to learn thermal features for emotion recognition from thermal infrared facial images. First, the face is located and normalized from the thermal infrared im- ages. Then, a deep Boltzmann machine model composed of two layers is trained. The parameters of the deep Boltzmann machine model are further fine-tuned for emotion recognition after pre-tralning of feature learning. Comparative experimental results on the NVIE database demonstrate that our approach outperforms other approaches using temperature statistic features or hand-crafted features borrowed from visible domain. The learned features from the forehead, eye, and mouth are more effective for discriminating valence dimension of emotion than other facial areas. In addition, our study shows that adding unlabeled data from other database during training can also improve feature learning performance.

关键词： emotion recognition thermal infrared images deep Boltzmann machine

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

A context model development process for smart city operations

A context model development process for smart city operation...

引用

IEEE International Conference on Service Operations and Logistics, and Informatics, SOLI

作者： Adnane Ghannem Mohamed Salah Hamdi Walid Abdelmoez Hany H. Ammar Information Systems Department Ahmed Bin Mohammed Military College Doha Qatar Software Engineering Department Arab Academy for Science Technology and Maritime Transport Alexandria Egypt Lane Department of Computer Sc. and Electrical Engineering West Virginia University Morgantown WV USA

ISBN: (纸本)9781467384810

systems enabling smart city operations are highly adaptive complex systems that pose great challenges in their development and operation. Current user-driven techniques for system domain modeling and requirements engineering are not adequate for supporting the development of such systems. In this paper, we propose a development process and an environment-driven modeling approach for the Requirement engineering Context Awareness methodology to be used for smart city applications. To this end, we propose the use of ontologies to build the environment context model. We show that the environment dimension is the most important dimension of context with the highest impact of changes in a dynamic context. We illustrate our approach by presenting an ontology-based context model of I-Parking. We present dynamic models of typical scenarios of interactions. We propose our approach as an important step in developing highly adaptive context-aware systems for smart city operations where uncertainty and changing conditions in the environment need to be carefully modeled and addressed.

关键词： Context Context modeling Smart cities Adaptation models Requirements engineering Cities and towns Ontologies

来源：评论

学校读者我要写书评

暂无评论

Fusion of visible and thermal images for facial expression recognition

引用

Frontiers of computer Science 2014年第2期8卷 232-242页

作者： Shangfei WANG Shan HE Yue WU Menghua HE Qiang JI School of Computer Science and Technology University of Science and Technology of China Hefei 230027 China Key Lab of Computing and Communicating Software of Anhui Province Hefei 230027 China Department of Electrical Computer and Systems Engineering Rensselaer Polytechnic Institute Troy NY12180-3590 USA

Most present research into facial expression recognition focuses on the visible spectrum, which is sen- sitive to illumination change. In this paper, we focus on in- tegrating thermal infrared data with visible spectrum images for spontaneous facial expression recognition. First, the ac- tive appearance model AAM parameters and three defined head motion features are extracted from visible spectrum im- ages, and several thermal statistical features are extracted from infrared （IR） images. Second, feature selection is per- formed using the F-test statistic. Third, Bayesian networks BNs and support vector machines SVMs are proposed for both decision-level and feature-level fusion. Experiments on the natural visible and infrared facial expression （NVIE） spontaneous database show the effectiveness of the proposed methods, and demonstrate thermal 1R images＇ supplementary role for visible facial expression recognition.

关键词： facial expression recognition feature-level fu-sion decision-level fusion support vector machine Bayesiannetwork thermal infrared images visible spectrum images

来源：评论

学校读者我要写书评

暂无评论

Simulation of aircraft boarding strategies with discrete-event cellular DEVS

Simulation of aircraft boarding strategies with discrete-eve...

引用

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

作者： Jafer, Shafagh Mi, Wei Department of Electrical Computer Software and Systems Engineering Embry-Riddle Aeronautical University Daytona Beach FL United States

ISBN: (纸本)9781632662156

Time is a critical factor in the airlines industry. Among all factors contributing to an aircraft turnaround time, passenger boarding delays is the most challenging one. Airlines do not have control over the behavior of passengers, thus their only key in reducing passenger boarding time is in implementing efficient boarding strategies. In this work we attempt to use discrete-event cellular DEVS to provide a comprehensive evaluation of aircraft boarding strategies. We have developed a simulation benchmark consisting of various boarding strategies including Back-to-Front, Window Middle Aisle, and Reverse Pyramid. Our simulation models are highly precise and adaptive, providing a powerful analysis apparatus for investigating any existing or yet to be discovered boarding strategy. We explain the details of our models and present the results both visually and numerically to evaluate the three implemented boarding strategies. This research is an on-going effort aiming to optimize and reduce passenger boarding delays in commercial aircrafts.

关键词： Air transportation

来源：评论

学校读者我要写书评

暂无评论

Collaborative modeling, simulation, and visualization framework for airport emergency 4

Collaborative modeling, simulation, and visualization framew...

引用

4th International Defense and Homeland Security Simulation Workshop, DHSS 2014

作者： Jafer, Shafagh Department of Electrical Computer Software and Systems Engineering Embry-Riddle Aeronautical University Daytona BeachFL United States

ISBN: (纸本)9788897999355

Airport is a highly dynamic environment, turning emergencies into extensively costly and disruptive events with cascaded effects that will adversely affect the entire aviation system. Airports' management and safety divisions exercise precise and case-based procedures to accommodate any possible emergency scenarios. With this regards, airport emergencies have a number of challenges that require better and more adaptive way of addressing. Challenges such as lack of adaptive and customizable simulation-based decision support tools, infeasibility of conducting frequent physical emergency exercises, and the time-critical nature of emergencies in general raise an immediate need for a technology that collaboratively performs modeling, simulation, and visualization to guide first responders throughout the decision-making process. Here we propose a collaborative emergency modeling, simulation and analysis software system that provides an all-in-one simulation technology for enhancing emergency response at airports. © 2014 DIME UNIVERSITÀ DI GENOVA.

关键词： Airport security

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：