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

Annual International Conference of the IEEE Engineering in Medicine and Biology Society

作者： Ali K. Thabet Emanuele Trucco Joaquim Salvi Weijie Wang Rami J. Abboud Institute of Motion Analysis and Research University of Dundee School of Computing University of Dundee Department of Computer Architecture and Technology University of Girona

ISBN: (纸本)9781424441211

Foot problems are varied and range from simple disorders through to complex diseases and joint deformities. Wherever possible, the use of insoles, or orthoses, is preferred over surgery. Current insole design techniques are based on static measurements of the foot, despite the fact that orthoses are prevalently used in dynamic conditions while walking or running. This paper presents the design and implementation of a structured-light prototype system providing dense three dimensional (3D) measurements of the foot in motion, and its use to show that foot measurements in dynamic conditions differ significantly from their static counterparts. The input to the system is a video sequence of a foot during a single step;the output is a 3D reconstruction of the plantar surface of the foot for each frame of the input. Engineering and clinical tests were carried out for the validation of the system. The accuracy of the system was found to be 0.34 mm with planar test objects. In tests with real feet, the system proved repeatable, with reconstruction differences between trials one week apart averaging 2.44 mm (static case) and 2.81 mm (dynamic case). Furthermore, a study was performed to compare the effective length of the foot between static and dynamic reconstructions using the 4D system. Results showed an average increase of 9 mm for the dynamic case. This increase is substantial for orthotics design, cannot be captured by a static system, and its subject-specific measurement is crucial for the design of effective foot orthoses.

关键词： Foot Foot Foot British Orthotic Devices Plantar Region Video sequences foot reconstruction three-dimensional displays orthotics static system INSOLE Clinical Trial

来源：评论

学校读者我要写书评

暂无评论

An Extreme-Point Global Optimization Technique for Convex Hull Pricing

An Extreme-Point Global Optimization Technique for Convex Hu...

引用

IEEE Power and Energy Society General Meeting

作者： Gui Wang Uday V. Shanbhag Tongxin Zheng Eugene Litvinov Sean Meyn Department of Electrical and Computer Engineering University of Illinois at Urbana-Champaign Department of Industrial and Enterprise Systems Engineering at the same university Business Architecture and Technology

ISBN: (纸本)9781457710001

Prices in electricity markets are given by the dual variables associated with the supply-demand constraint in the dispatch problem. However, in unit-commitment-based day-ahead markets, these variables are less easy to obtain. A common approach relies on resolving the dispatch problem with the commitment decisions fixed and utilizing the associated dual variables. Yet, this avenue leads to inadequate revenues to generators and necessitates an uplift payment to be made by the market operator. Recently, a convex hull pricing scheme has been proposed to reduce the impact of such payments and requires the global maximization of the associated Lagrangian dual problem, which is, in general, a piecewise-affine concave function. In this paper, we present an extreme-point-based finite-termination procedure for obtaining such a global maximizer. Unlike standard subgradient schemes where an arbitrary subgradient is used, we present a novel technique where the steepest ascent direction is constructed by solving a continuous quadratic program. The scheme initiates a move along this direction with an a priori constant steplength, with the intent of reaching the boundary of the face. A backtracking scheme allows for mitigating the impact of excessively large steps. Termination of the scheme occurs when the set of subgradients contains the zero vector. Preliminary numerical tests are seen to be promising and display the finite-termination property. Furthermore, the scheme is seen to significantly outperform standard subgradient methods.

关键词： Convex hull price Electricity markets Uplift payments Nondifferentiable optimization Lagrangian relaxation power markets convex hull Scheme Pricing steepest ascent Demand Restraint Gradient

来源：评论

学校读者我要写书评

暂无评论

Transforming SOS specifications to linear processes

引用

16th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2011

作者： Stappers, Frank P. M. Reniers, Michel A. Weber, Sven Department of Computer Science Eindhoven University of Technology P.O. Box 513 EindhovenNL-5600 MB Netherlands Department of Mechanical Engineering Eindhoven University of Technology P.O. Box 513 EindhovenNL-5600 MB Netherlands Department for Architecture and Platform ASML P.O. Box 324 VeldhovenNL-5500 AH Netherlands

ISBN: (纸本)9783642244308

This paper describes an approach to transform Structural Operational Semantics, given as a set of deduction rules, to a Linear Process Specification. The transformation is provided for deduction rules in De Simone format, including predicates. The Linear Process Specifications are specified in the syntax of the mCRL2 language, that, with help of the underlying (higher-order) re-writer/tool-set, can be used for simulation, labeled transition system generation and verification of behavioral properties. We illustrate the technique by showing the effect of the transformation from the Structural Operational Semantics specification of a simple process algebra to a Linear Process Specification. © 2011, Springer-Verlag Berlin Heidelberg.

关键词： Specifications

来源：评论

学校读者我要写书评

暂无评论

Human action recognition using multiple views: A comparative perspective on recent developments

Human action recognition using multiple views: A comparative...

引用

2011 ACM Multimedia Conference, MM'11 and Co-Located Workshops - 2011 Joint ACM Workshop on Human Gesture and Behavior Understanding, J-HGBU'11

作者： Holte, Michael B. Moeslund, Thomas B. Tran, Cuong Trivedi, Mohan M. Department of Architecture Design and Media Technology Aalborg Universtity Denmark Niels Jernes Vej 14 9220 Aalborg Denmark Computer Vision and Robotic Research Laboratory University of California San Diego 9500 Gilman Drive San Diego CA 92093-0434 United States

ISBN: (纸本)9781450309981

This paper presents a review and comparative study of recent multi-view 2D and 3D approaches for human action recognition. The approaches are reviewed and categorized due to their nature. We report a comparison of the most promising methods using two publicly available datasets: the INRIA Xmas Motion Acquisition Sequences (IXMAS) and the i3DPost Multi-View Human Action and Interaction Dataset. Additionally, we discuss some of the shortcomings of multi-view camera setups and outline our thoughts on future directions of 3D human action recognition. Copyright 2011 ACM.

关键词： Cameras

来源：评论

学校读者我要写书评

暂无评论

Design of WSN node for the mountain torrent disaster warning system

Design of WSN node for the mountain torrent disaster warning...

引用

2011 International Conference on Internet technology and Applications, iTAP 2011

作者： Gu, Aihua Yan, Xijun Wai, Xia Wang, Huibin Li, Xiaofang Wei, Xiaodong School of Computer and Information Hefei University of Technology Hefei China College of Computer and Information Engineering Hohai University Nanjing China College of Electronic and Information Engineering Anhui University of Architecture Hefei China Department of Computer Science Anhui Zhong-Ao Institute of Technology Hefei China

ISBN: (纸本)9781424472550

In the mountain torrent disaster warning system, how to use high-performance embedded microcontroller controller and low consumption technology are the key problem. This paper designs a wireless sensor network (WSN) to adapt the request of mountain torrent disaster early-warning system. The sensor node collects the information such as soil water content, permeability coefficient, displacement and rainfall, etc. To realize real-time data storage and process, the gathering node receives the real-time data and sent it to information center through GPRS networks. The system replaces the cable transmission mode with the wireless transmission way, which can reduce the costs of installation and maintenance, and improve the system reliability and expansibility. This system must have a wide application prospects. © 2011 IEEE.

关键词： Disasters

来源：评论

学校读者我要写书评

暂无评论

Symbolic representation of the EEG for sleep stage classification

Symbolic representation of the EEG for sleep stage classific...

引用

International Conference on Intelligent Systems Design and Applications (ISDA)

作者： L. J. Herrera A. M. Mora C. Fernandes D. Migotina A. Guillén A. C. Rosa Department of Computer Architecture and Technology University of Granada Granada Spain I.S.R. Technical University of Lisbon Lisboa Portugal

Manual visualization-based sleep stage classification is a time-consuming task prone to errors. Since the correct identification of sleep stages is vital for the correct identification of sleep disorders and for the research in this field in general, there is a growing demand for efficient automatic classification methods. However, there is still no symbolic representation of the biomedical signals that leads to a reliable and accurate automatic sleep classification system. This work presents the application of a novel method for symbolic representation of the EEG and evaluates its potential as information source for a sleep stage classifier, in this case a SVM classifier. The data is first analyzed using Self-Organizing Maps (SOM) and a mutual information (MI)-based variable selection algorithm. Preliminary results of sleep data classification provide success rates around 70%. These results are promising since only EEG is used, and there is still room for improvement in this new symbolic representation of the signal.

关键词： Sleep Electroencephalography Support vector machines Input variables Accuracy Training Finite impulse response filter

来源：评论

学校读者我要写书评

暂无评论

An ultra-fast hybrid simulation framework for ASIP

An ultra-fast hybrid simulation framework for ASIP

引用

IEEE International Conference on Electronics, Circuits and Systems (ICECS)

作者： Ji Qiu Xiang Gao Yifei Jiang Xu Xiao Key Laboratory of Computer System and Architecture Institute of Computing Technology Chinese Academy of Sciences (CAS) Beijing China Department of Electrical and Computer Engineering University of Illinois at Urbana-Champaign Urbana IL USA

ISS (Instruction Set Simulator) plays an important role in pre-silicon software development for ASIP. However, the speed of traditional simulation is too slow to effectively support full-scale software development. In this paper, we propose a hybrid simulation framework which further improves the previous simulation methods by aggressively utilizing the host machine resources. The utilization is achieved by categorizing instructions of ASIP application into two types, namely custom and basic instructions, via binary instrumentation. Then in a way of hybrid simulation, only custom instructions are simulated on the ISS and basic instructions are executed fast and natively on the host machine. We implement this framework for an industrial ASIP to validate our approach. Experimental results show that when the implemented ISS, namely GS-Sim, is applied to practical multimedia decoders, an average simulation speed up to 1058.5MIPS can be achieved, which is 34.7 times of the state-of-art dynamic binary translation simulator and is the fastest to the best of our knowledge.

关键词： Instruments Context Programming Decoding Switches Prototypes Context modeling

来源：评论

学校读者我要写书评

暂无评论

RESTful web service composition: Extracting a process model from Linear Logic theorem proving

RESTful web service composition: Extracting a process model ...

引用

2011 7th International Conference on Next Generation Web Services Practices, NWeSP 2011

作者： Zhao, Xia Liu, Enjie Clapworthy, Gordon J. Ye, Na Lu, Yueming Department of Computer Science and Technology University of Bedfordshire Luton United Kingdom School of Information and Control Engineering Xi'An University of Architecture and Technology Xi'an China School of Electronic and Information Engineering Xi'An Jiao Tong University Xi'an China Key Laboratory of Trustworthy Distributed Computing and Service Beijing University of Posts and Telecommunications Ministry of Education Beijing China

ISBN: (纸本)9781457711268

This paper introduces a two-stage Linear Logic based program synthesis approach to automatic RESTful web service composition. The Linear Logic theorem proof is applied at both resource and service invocation method levels, which greatly improves the searching efficiency and guarantees the correctness and completeness of the service composition. Furthermore, the process calculus is used as formalism for the composition process, which enables the approach to be executable at the business management level. The process calculus is attached to the Linear Logic inference rules in the style of type theory, so the process model is extracted directly from the complete proof. An example is given to show the extraction of a process model from a Linear Logic proof search. © 2011 IEEE.

关键词： computer circuits

来源：评论

学校读者我要写书评

暂无评论

On the nonlinearity of some T-functions

引用

Journal of Information and Computational Science 2011年第11期8卷 2231-2237页

作者： Wang, Yan Hu, Yupu Li, Shunbo Key Laboratory of Computer Networks and Information Security Ministry of Education Xidian University Xi'an 710071 China Department of Mathematics Xi'an University of Architecture and Technology Xi'an 710055 China

Single cycle T-functions are newly proposed components in stream cipher. In order to verify if such function is suitable for cipher design, the cryptographic properties of single cycle T-function are discussed. Nonlinearity of the kth coordinate function of single cycle T-functions are studied according to the properties of single cycle T-function and the Walsh transform. Lower bounds and upper bounds are given at different situations. The results show that a single cycle T-function itself have 0 nonlinearity, but the most significant coordinate function can get high nonlinearity. © 2011 Binary Information Press.

关键词： Walsh transforms

来源：评论

学校读者我要写书评

暂无评论

IMAGE MATCHING ALGORITHMS IN STEREO VISION USING ADDRESS-EVENT-REPRESENTATION: A Theoretical Study and Evaluation of the Different Algorithms

IMAGE MATCHING ALGORITHMS IN STEREO VISION USING ADDRESS-EVE...

引用

International Conference on Signal Processing and Multimedia Applications

作者： M. Dominguez-Morales E. Cerezuela-Escudero A. Jimenez-Fernandez R. Paz-Vicente J. L. Font-Calvo P. Inigo-Blasco A. Linares-Barranco G. Jimenez-Moreno Department of Architecture and Computer Technology University of Seville

ISBN: (纸本)9789898425720

Image processing in digital computer systems usually considers the visual information as a sequence of frames. These frames are from cameras that capture reality for a short period of time. They are renewed and transmitted at a rate of 25-30 fps (typical real-time scenario). Digital video processing has to process each frame in order to obtain a filter result or detect a feature on the input. In stereo vision, existing algorithms use frames from two digital cameras and process them pixel by pixel until it is found a pattern match in a section of both stereo frames. Spike-based processing is a relatively new approach that implements the processing by manipulating spikes one by one at the time they are transmitted, like a human brain. The mammal nervous system is able to solve much more complex problems, such as visual recognition by manipulating neuron's spikes. The spike-based philosophy for visual information processing based on the neuro-inspired Address-Event-Representation (AER) is achieving nowadays very high performances. In this work we study the existing digital stereo matching algorithms and how do they work. After that, we propose an AER stereo matching algorithm using some of the principles shown in digital stereo methods.

关键词： Stereo vision Epipolar restriction Image matching Address-event-representation Spike Retina Area-based method Features-based method

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：