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

Erratum to: Simultaneous improvement of energy efficiency and product quality in PCB lamination process

International Journal of Precision engineering and Manufacturing-Green Technology 2014年第4期1卷 353-353页

作者： You-Jin Park Rong Pan Connie M. Borror Douglas C. Montgomery Gyu-Bong Lee School of Business Administration College of Business and Economics Chung-Ang University Seoul South Korea School of Computing Informatics Decision Systems Engineering Ira A. Fulton School of Engineering Arizona State University Tempe USA School of Mathematical and Natural Sciences New College of Interdisciplinary Arts and Sciences Arizona State University West Phoenix USA Manufacturing Service Technology Center Korea Institute of Industrial Technology Chungcheongnam-do Korea

来源：评论

学校读者我要写书评

暂无评论

Hyperbolic Harmonic Mapping for Constrained Brain Surface Registration

Hyperbolic Harmonic Mapping for Constrained Brain Surface Re...

引用

IEEE Conference on Computer Vision and Pattern Recognition

作者： Rui Shi Wei Zeng Zhengyu Su Hanna Damasio Zhonglin Lu Yalin Wang Shing-Tung Yau Xianfeng Gu Department of Computer Science Stony Brook University School of Computing & Information Sciences Florida International University Neuroscience University of Southern California Department of Psychology Ohio State University School of Computing Informatics and Decision Systems Engineering Arizona State University Mathematics Department Harvard University

ISBN: (纸本)9781467364102

Automatic computation of surface correspondence via harmonic map is an active research field in computer vision, computer graphics and computational geometry. It may help document and understand physical and biological phenomena and also has broad applications in biometrics, medical imaging and motion capture. Although numerous studies have been devoted to harmonic map research, limited progress has been made to compute a diffeomorphic harmonic map on general topology surfaces with landmark constraints. This work conquer this problem by changing the Riemannian metric on the target surface to a hyperbolic metric, so that the harmonic mapping is guaranteed to be a diffeomorphism under landmark constraints. The computational algorithms are based on the Ricci flow method and the method is general and robust. We apply our algorithm to study constrained human brain surface registration problem. Experimental results demonstrate that, by changing the Riemannian metric, the registrations are always diffeomorphic, and achieve relative high performance when evaluated with some popular cortical surface registration evaluation standards.

关键词： Registration harmonics surface of brain automatic calculation MAPPING(MATHEMATICAL) Biological Phenomena Diffeomorphism motion capture Computational geometry Hyperbolic Metric Metronidazole

来源：评论

学校读者我要写书评

暂无评论

Enabling secure location-based services in mobile cloud computing

Enabling secure location-based services in mobile cloud comp...

引用

2013 2nd ACM SIGCOMM Workshop on Mobile Cloud computing, MCC 2013

作者： Zhu, Yan Ma, Di Huang, Dijiang Hu, Changjun Computer and Communication Engineering University of Science and Technology Beijing 30 Xueyuan Rd. Beijing 100083 China Computer and Information Science University of Michigan-Dearborn 4901 Evergreen Rd Dearborn MI 48128 United States Computing Informatics and Decision Systems Eng. Arizona State University 699 S. Mill Avenue Tempe AZ 85281 United States

ISBN: (纸本)9781450321808

The increasing spread of location-based services (LBSs) has led to a renewed research interest in the security of services. To ensure the credibility and availability of LBSs, there is a pressing requirement for addressing access control, authentication and privacy issues of LBSs in a synergistic way. In this paper, we propose an innovative location-based fine-grained access control mechanism for LBSs, enabling effective finegrained access control, location-based authentication and privacy protection. Our proposed approach is based on the construction of a spatio-temporal predicate-based encryption by means of efficient secure integer comparison. Our experimental results not only validate the effectiveness of our scheme, but also demonstrate that the proposed integer comparison scheme performs better than previous bitwise comparison scheme. © 2013 ACM.

关键词： Location based services

来源：评论

学校读者我要写书评

暂无评论

On Routing and Spectrum Allocation in Spectrum-sliced Optical Networks

On Routing and Spectrum Allocation in Spectrum-sliced Optica...

引用

IEEE INFOCOM Conference

作者： Shahrzad Shirazipourazad Chenyang Zhou Zahra Derakhshandeh Arunabha Sen School of Computing Informatics and Decision System Engineering Arizona State University

ISBN: (纸本)9781467359443

The orthogonal frequency division multiplexing (OFDM) technology provides an opportunity for efficient resource utilization in optical networks. It allows allocation of multiple sub-carriers to meet traffic demands of varying size. Utilizing OFDM technology, a spectrum efficient and scalable optical transport network called SLICE was proposed recently. The SLICE architecture enables sub-wavelength, super-wavelength resource allocation and multiple rate data traffic that results in efficient use of spectrum. However, the benefit is accompanied by additional complexities in resource allocation. In SLICE architecture, in order to minimize the utilized spectrum, one has to solve the routing and spectrum allocation problem (RSA). In this paper, we focus our attention to RSA and (i) prove that RSA is NP-complete even when the optical network topology is as simple as a chain or a ring, (ii) provide approximation algorithms for RSA when the network topology is a binary tree or a ring, (iii) provide a heuristic for the network with arbitrary topology and measure the effectiveness of the heuristic with extensive simulation. Simulation results demonstrate that our heuristic significantly outperforms several other heuristics proposed recently for RSA.

关键词： Resource management Optical fiber networks Network topology Routing Approximation algorithms Approximation methods Topology

来源：评论

学校读者我要写书评

暂无评论

Adaptive Fault Detection for Testing Tenant Applications in Multi-tenancy SaaS systems

Adaptive Fault Detection for Testing Tenant Applications in ...

引用

IEEE International Conference on Cloud engineering (IC2E)

作者： W.T. Tsai Qingyang Li Charles J. Colbourn Xiaoying Bai School of Computing Informatics and Decision Systems Engineering Arizona State University Tempe AZ USA State Key Laboratory of Software Development Environment Beihang University Beijing China Department of Computer Science and Technology Tsinghua University Beijing China

SaaS (Software-as-a-Service) often uses multi-tenancy architecture (MTA) where tenant developers compose their applications online using the components stored in the SaaS database. Tenant applications need to be tested, and combinatorial testing can be used. While numerous combinatorial testing techniques are available, most of them produce static sequences of test configurations and their goal is often to provide sufficient coverage such as 2-way interaction coverage. But the goal of SaaS testing is to identify those compositions that are faulty for tenant applications. This paper proposes an adaptive test configuration generation algorithm AR (Adaptive Reasoning) that can rapidly identify those faulty combinations so that those faulty combinations cannot be selected by tenant developers for composition. The AR algorithm has been evaluated by both simulation and real experimentation using a MTA SaaS sample running on GAE (Google App Engine). Both the simulation and experiment showed show that the AR algorithm can identify those faulty combinations rapidly. Whenever a new component is submitted to the SaaS database, the AR algorithm can be applied so that any faulty interactions with new components can be identified to continue to support future tenant applications.

关键词： Testing Software as a service Color Databases Image color analysis Fault location

来源：评论

学校读者我要写书评

暂无评论

The Effects of Extended Locational Marginal Pricing in Wholesale Electricity Markets

The Effects of Extended Locational Marginal Pricing in Whole...

引用

North American Power Symposium

作者： Gregory Thompson Chao Li Muhong Zhang Kory W. Hedman School of Computing Informatics and Decision Systems Engineering Arizona State University School of Electrical Computer and Energy Engineering Arizona State University

ISBN: (纸本)9781479912537

In this paper, two pricing mechanisms in electricity markets are studied, the locational marginal price (LMP) and the extended locational marginal price (ELMP). The effects of these two pricing mechanisms are compared with regards to the allocation of the market surplus between generators and loads. The two pricing mechanisms are also analyzed with regards to the required uplift payments. The results confirm that uplift payments are reduced under the ELMP pricing mechanism. However, ELMP does not appropriately represent the marginal market clearing price for the market dispatch solution.

关键词： Extended locational marginal price Locational marginal price Non-convex markets Pricing mechanisms Uplifts

来源：评论

学校读者我要写书评

暂无评论

Sampling Schedule Optimization of Embedded Wireless Sensors for Degradation Monitoring

Sampling Schedule Optimization of Embedded Wireless Sensors ...

引用

IEEE Conference on Prognostics and Health Managment

作者： Petek Yontay Rong Pan O. Arda Vanli School of Computing Informatics and Decision Systems Engineering Arizona State University Department of Industrial and Manufacturing Engineering Florida State University

ISBN: (纸本)9781467357210

Inexpensive wireless sensors can be embedded in structural materials to detect defects. These sensors provide in-situ diagnosis of the system's health, thus invaluable information to decision makers for system maintenance and repair. For example, Iamb wave sensors that are embedded in carbon fiber composites can monitor the material integrity by detecting and quantifying fiber delaminations and breakages. Although they are relatively easy to be deployed, their lifetimes are limited due to power consumption and they cannot be replaced without interrupting the operation of system. In this paper, we discuss a sampling method that is based on the material's degradation model for activating sensors and collecting health information. We are interested in predicting the time of failure with a few numbers of signals and with statistical efficiency. Our method is good for the in-situ health monitoring, where the system's failure time is of concern and the sensor's power conservation is required.

关键词： Condition monitoring Degradation models Wiener process Bayesian estimation

来源：评论

学校读者我要写书评

暂无评论

Empowering independent living for people with autism: Designing supportive, low-cost, interactive e-health environments

Empowering independent living for people with autism: Design...

引用

7th International Conference on Persuasive Technology, PERSUASIVE 2012

作者： Burleson, Winslow Newman, Naomi Brotman, Ryan School of Computing Informatics and Decision Systems Engineering Arizona State University United States

ISBN: (纸本)9783642310362

An investigation of the Caregiver Autism Residential E-health (CARE) system, a low-cost, end-user deployable smart home technology, has been evaluated for its potential as an empowering assistive technology for adults living with autism. It allows adults living with autism and their caregivers to create personalized smart home interventions that provide motivational support for activities of daily living, social relationships, and safer behaviors. This is achieved through the use of a ubiquitous computing system composed of off-the-shelf consumer electronic technologies. The Environmental Rating Scale (ERS), designed to assess residential interventions for people living with autism, guided the development and evaluation of CARE/ERS heuristics and interaction scenarios. The contributions of this investigation, advanced through an iterative design process involving expert reviewers, caregivers, and end-users in a patient centered approach for the design of actualizing e-health interventions, can be readily applied to a broad range of residential circumstances that improve quality of life. © 2012 Springer-Verlag.

关键词： Automation

来源：评论

学校读者我要写书评

暂无评论

Querying parametric temporal logic properties on embedded systems

Querying parametric temporal logic properties on embedded sy...

引用

24th IFIP WG 6.1 International Conference on Testing Software and systems, ICTSS 2012

作者： Yang, Hengyi Hoxha, Bardh Fainekos, Georgios School of Computing Informatics and Decision Systems Engineering Arizona State University United States

ISBN: (纸本)9783642346903

In Model Based Development (MBD) of embedded systems, it is often desirable to not only verify/falsify certain formal system specifications, but also to automatically explore the properties that the system satisfies. Namely, given a parametric specification, we would like to automatically infer the ranges of parameters for which the property holds/does not hold on the system. In this paper, we consider parametric specifications in Metric Temporal Logic (MTL). Using robust semantics for MTL, the parameter estimation problem can be converted into an optimization problem which can be solved by utilizing stochastic optimization methods. The framework is demonstrated on some examples from the literature. © 2012 IFIP International Federation for Information Processing.

关键词： Specifications

来源：评论

学校读者我要写书评

暂无评论

Two new definitions of stable models of logic programs with generalized quantifiers 5

Two new definitions of stable models of logic programs with ...

引用

5th Workshop on Answer Set Programming and Other computing Paradigms, ASPOCP 2012, co-located with the 28th International Conference on Logic Programming, ICLP 2012

作者： Lee, Joohyung Meng, Yunsong School of Computing Informatics and Decision Systems Engineering Arizona State University Tempe United States

We present alternative definitions of the first-order stable model semantics and its extension to incorporate generalized quantifiers by referring to the familiar notion of a reduct instead of referring to the SM operator in the original definitions. Also, we extend the FLP stable model semantics to allow generalized quantifiers by referring to an operator that is similar to the SM operator. For a reasonable syntactic class of logic programs, we show that the two stable model semantics of generalized quantifiers are interchangeable. © 2012 ***. All rights reserved.

关键词： Computer circuits

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：