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

SIMPLE APPROACH TO REFLECTANCE ANALYSIS OF BIREFRINGENT STRATIFIED FILMS

APPLIED OPTICS 1991年第28期30卷 4017-4018页

作者： KNOESEN, A []The author is with the Department of Electrical Engineering Computer Science Organized Research Program on Polymeric Ultrathin Film Systems University of California Davis Davis California 95616

A simple analysis is presented of reflectance from a stratified uniaxial media with the optic axes parallel or perpendicular to the plane of incidence.

关键词： UNIAXIAL FILMS POLED POLYMERS THIN FILM BIREFRINGENT

来源：评论

学校读者我要写书评

暂无评论

ELECTRICALLY INDUCED TRANSMISSIVITY MODULATION IN POLYMERIC THIN-FILM FABRY-PEROT ETALONS

引用

APPLIED OPTICS 1989年第20期28卷 4442-4445页

作者： ELDERING, CA KOWEL, ST KNOESEN, A []The authors are with University of California Davis Department of Electrical Engineering Computer Science Organized Research Program on Polymeric Ultrathin Film Systems Davis California 95616

We report the observation of electrically induced changes in transmissivity in Fabry-Perot devices consisting of spin-cast azo-dye/polymer films deposited between gold mirrors. In poled samples the observed modulation shows a linear dependence on the applied modulating voltage. The ratio of the transmissivity modulation observed using incident transverse magnetic polarization to that observed using transverse electric polarization is used to demonstrate that the electrooptic effect dominates the modulation. This is, to our knowledge, the first reported use of a polymeric thin film linear electrooptic material in a Fabry-Perot structure and demonstrates the use of etalons to enhance electrooptic effects in very thin films.

关键词： Electrooptical effects Electrooptical modulators Materials processing Refractive index Thin film applications Thin films

来源：评论

学校读者我要写书评

暂无评论

Physician Scheduling using Constraint Satisfaction programming 11

Physician Scheduling using Constraint Satisfaction Programmi...

引用

11th International Japan-Africa Conference on Electronics, Communications, and Computations, JAC-ECC 2023

作者： Bakr, Hend A. Salama, Ahmed M. Fares, Ahmed Zaky, Ahmed B. Cairo University Biomedical Engineering Program Faculty of Engineering Giza Egypt Benha University Computer Systems Engineering Program Faculty of Engineering at Shoubra Banha Egypt Computer science and information technology Programs Alexandria Egypt Benha University On leave from Computer Systems Engineering Program Faculty of Engineering at Shoubra Egypt

ISBN: (纸本)9798350369328

Physician scheduling is a critical task that impacts the quality of patient care, staff satisfaction, and operational efficiency in healthcare institutions. The traditional approach to physician scheduling is manual and time-consuming, which can result in errors, staff burnout, and suboptimal schedules. To address these challenges, researchers have turned to optimization techniques like CSP, which has shown promise in solving physician scheduling problems. This paper reviews the existing literature on CSP for physician scheduling and highlights the benefits and limitations of this approach. CSP's benefits include generating schedules quickly and efficiently, incorporating complex constraints and preferences, and handling changes and disruptions in real time. However, CSP also has some limitations, such as the need for a formalized model and the fact that it may not always generate the most intuitive schedules. Overall, the findings suggest that CSP is a promising approach to physician scheduling that can produce high-quality schedules while minimizing staff burnout and improving operational efficiency. © 2023 IEEE.

关键词： Constraint satisfaction problems

来源：评论

学校读者我要写书评

暂无评论

Using modal logics to express and check global graph properties

Using modal logics to express and check global graph propert...

引用

作者： Benevides, Mario R.F. Schechter, L. Menasché Computer Science Department Systems and Computer Engineering Program Federal University of Rio de Janeiro Rio de Janeiro Brazil Systems and Computer Engineering Program Federal University of Rio de Janeiro Rio de Janeiro Brazil

Graphs are among the most frequently used structures in computer science. Some of the properties that must be checked in many applications are connectivity, acyclicity and the Eulerian and Hamiltonian properties. In this work, we analyze how we can express these four properties with modal logics. This involves two issues: whether each of the modal languages under consideration has enough expressive power to describe these properties and how complex (computationally) it is to use these logics to actually test whether a given graph has some desired property. First, we show that these properties are not definable in a basic modal logic or in any bisimulation-invariant extension of it, like the modal μ-calculus. We then show that it is possible to express some of the above properties in a basic hybrid logic. Unfortunately, the Hamiltonian and Eulerian properties still cannot be efficiently checked. In a second attempt, we propose an extension of CTL* with nominals and show that the Hamiltonian property can be more efficiently checked in this logic than in the previous one. In a third attempt, we extend the basic hybrid logic with the ↓ operator and show that we can check the Hamiltonian property with optimal (NP) complexity in this logic. Finally, we tackle the Eulerian property in two different ways. First, we develop a generic method to express edge-related properties in hybrid logics and use it to express the Eulerian property. Second, we express a necessary and sufficient condition for the Eulerian property to hold using a graded modal logic. © The Author 2009. Published by Oxford University Press. All rights reserved.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

Personal Autonomic Desktop Manager with a circulatory computing approach

Personal Autonomic Desktop Manager with a circulatory comput...

引用

5th IEEE International Workshop on engineering of Autonomic and Autonomous systems

作者： Kopiler, Alberto Arkader Dutra, Ines de Castro Franca, Felipe M. G. Systems Automation Department CEPEL Electric Power Research Center Computer Science Department FCUP Porto University Systems Engineering and Computer Science Program COPPE/UFRJ Federal University of Rio de Janeiro

ISBN: (纸本)9780769531403

In this paper we present the architecture for the Personal Autonomic Desktop Manager, a self managing application designed to act on behalf of the user in several aspects: protection, healing, optimization and configuration. The overall goal of this research is to improve the correlation of the autonomic self* properties and doing so also enhance the overall self-management capacity of the desktop (autonomicity). We introduce the Circulatory Computing (CC) model, a self-managing system initiative based on the biological metaphor of the cardiovascular system, and use its concepts in the design and implementation of the architecture.

关键词： Cardiovascular system

来源：评论

学校读者我要写书评

暂无评论

SpMT WaveCache: Exploiting thread-level parallelism in WaveScalar

SpMT WaveCache: Exploiting thread-level parallelism in WaveS...

引用

2009 WRI World Congress on computer science and Information engineering, CSIE 2009

作者： Pei, Songwen Wu, Baifeng Du, Min Chen, Gang Marzulo, Leandro A. J. Franca, Felipe M. G. School of Computer Science Fudan University 200433 Shanghai China Systems Engineering and Computer Science Program COPPE Rio de Janeiro Brazil

ISBN: (纸本)9780769535074

Speculative Multithreading (SpMT) increases the performance by means of executing multiple threads speculatively to exploit thread-level parallelism. By combining software and hardware approaches, we have improved the capabilities of previous WaveScalar ISA on the basis of Transactional Memory system for the WaveCache Architecture. Threads are extracted at the course of static compiling, and speculatively executed as a thread-level transaction that is supported by extra hardware components, such as Thread-Context-Table (TCT) and Thread-Memory-History (TMH). We have evaluated the SpMT WaveCache with 6 real benchmarks from SPEC, Mediabench and Mibench. On the whole, the SpMT WaveCache outperforms superscalar architecture ranging from 2X to 3X, and great performance gains are achieved over original WaveCache and Transactional WaveCache as well. © 2008 IEEE.

关键词： Memory architecture

来源：评论

学校读者我要写书评

暂无评论

ELM vs. WiSARD: A performance comparison 25

ELM vs. WiSARD: A performance comparison

引用

25th European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning, ESANN 2017

作者： Oliveira, Luiz Fernando R. França, Felipe M.G. Systems Engineering and Computer Science Program COPPE Universidade Federal Do Rio de Janeiro Brazil

ISBN: (纸本)9782875870391

The extreme learning machine (ELM) is known for being a fast learning neural model. This work presents a performance comparison between ELM and the WiSARD weightless neural network model, regarding training and testing times, and classification accuracy as well. The two models were implemented in the same programming language and experiments were carried out on the same hardware environment. By using a group of datasets from the public repositories UCI and Statlog, experimental results shows that the WiSARD presented training times approximately one order of magnitude smaller than ELM, while classification accuracy varied according the number of classes involved. However, while WiSARD's architecture setups were not exhaustively searched, architecture setups for ELM were kept the same as the ones found in the literature as the best for each given dataset. © ESANN 2017 - Proceedings, 25th European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning. All rights reserved.

关键词： Classification (of information)

来源：评论

学校读者我要写书评

暂无评论

Metasurfaces for next-generation wireless communication systems

引用

National science Review 2023年第8期10卷 17-19页

作者： Younes Ra'di Nikita Nefedkin Petar Popovski Andrea Alù Department of Electrical Engineering and Computer Science Syracuse University Photonics Initiative Advanced Science Research Center City University of New York Department of Electronic Systems Aalborg University Physics Program Graduate Center City University of New York

The pace of development in the world of 5G communication systems has proven to be much more demanding than previous generations, with 5G-Advanced seemingly around the corner [1]. Extensive research is already underway to structure the next generation of wireless systems(i.e. 6G), which may potentially enable an unprecedented level of human–machine interaction [2].

关键词：

来源：评论

学校读者我要写书评

暂无评论

Towards a formal model to reason about context-aware exception handling

Towards a formal model to reason about context-aware excepti...

引用

2012 5th International Workshop on Exception Handling, WEH 2012

作者： Rocha, Lincoln S. Andrade, Rossana M. C. Group of Computer Networks Software Engineering and Systems Graduate Program in Computer Science Federal University of Ceará Fortaleza - CE Brazil

ISBN: (纸本)9781467317665

The context-awareness is a central aspect in the design of pervasive systems, characterizing their ability to adapt its structure and behavior. The context-aware exception handling (CAEH) is an existing approach employed to design exception handling in pervasive systems. In this approach, the context is used to define, detect, propagate, and handle exceptions. CAEH is a complex and error prone activity, needing designers' insights and domain expertise to identify and characterize contextual exceptions. However, despite the existence of formal methods to analyze the adaptive behavior of pervasive systems, such methods lack specific support to specify the CAEH behavior. In this paper, we propose a formal model to reason about the CAEH behavior. It comprises an extension of the Kripke Structure to model the context evolution of a pervasive system and a transformation function that derivates the CAEH control flow from that proposed structure. © 2012 IEEE.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

A verification mechanism of feature models for mobile and context-aware software product lines

A verification mechanism of feature models for mobile and co...

引用

5th Brazilian Symposium on Components, Architectures and Reuse, SBCARS 2011

作者： Marinho, Fabiana G. Andrade, Rossana M.C. Werner, Cláudia Graduate Program in Computer Science Federal University of Ceará Fortaleza Brazil Systems Engineering and Computer Science Program Federal University of Rio de Janeiro Rio de Janeiro Brazil

ISBN: (纸本)9780769546261

Software Product Lines (SPLs) have been used to develop mobile and context-aware applications, which provide services and data for their users from anywhere and at any time using context information. In SPLs, commonality and variability of a system family are identified and often documented in a feature model. However, the development of a feature model for mobile and context-aware SPLs is not trivial, since it should comprise system and context information. Furthermore, the consistency check of feature models in the considered domain is also complex and demands advanced skills of software engineers. This paper proposes a mechanism to formalize and verify the correctness and consistency of feature models for mobile and context-aware SPLs based on a profile enriched with OCL specifications. © 2011 IEEE.

关键词： Verification

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：