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

2010 2nd International Conference on Education Technology and computer, ICETC 2010

作者： Liew, Jiun-Hau Lee, Shirty Ong, Ivy Lee, Hoon-Jae Lim, Hyotaek Department of Ubiquitous IT Graduate School of Design and IT Dongseo University Busan Korea Republic of Department of Computer Engineering Dongseo University Busan Korea Republic of

ISBN: (纸本)9781424463688

This paper presents an improved scheme over the existing Port-Knocking and Single Packet Authorization by employing One-Time Password to generate the authorization tokens for the server to verify the authenticity of client before allowing the deployment of dynamic firewall rules. This OneTime Knocking framework utilizes mobile networks such as GSM or CDMA network as an out-out-band channel to create a 2-factor authentication. Our improved scheme protects against off-line and on-line dictionary and brute-force password attack. It also provides a strong association between Port-Knocking or Single Packet Authorization and the postauthentication connectivity between the client and server thus stopping adversaries from hijacking the session by Man-InThe-Middle attacks. © 2010 IEEE.

关键词： Authentication

来源：评论

学校读者我要写书评

暂无评论

Photodiode sensor array design for photovoltaic system inter-row spacing optimization: Calculating module performance during in-situ testing/simulated shading

Photodiode sensor array design for photovoltaic system inter...

引用

2010 IEEE Sensors Applications Symposium, SAS 2010

作者： Jansson, Peter Mark Schwabe, Ulrich K. W. Department of Electrical and Computer Engineering Center for Sustainable Design- South Jersey Technology Park Rowan University College of Engineering Glassboro NJ United States

ISBN: (纸本)9781424449897

Data currently published in the literature provides estimates of photovoltaic (PV) module performance under essentially two standard test conditions. However, real design optimization by electrical and PV engineers working to achieve maximum production for systems they are responsible for requires additional knowledge as to how these modules can be expected to perform under all expected field conditions and in the presence of real obstructions;often including necessary inter-row shading. This work provides, for the first time, detailed field calculations of module performance for two types of PV modules illustrating the detrimental production impact of inter-row shading. The research indicates that using photodiode sensors to provide critical solar data from dispersed locations on the modules could aid in the development of an optimization procedure for minimizing the negative aspects of this common phenomenon. Extension of this work to cover the majority of the many module types will enable engineers to adequately address inter-row shading when they attempt to maximize the size of a PV system for a given roof or ground mounted project. It is clear from these research results that the impacts of inter-row shading on module output and energy production performance are more significant than originally anticipated by current PV design software models and must be considered in future design programs. The research provides a PV module shading test protocol, proposed sensor array layout design and results of the analysis of inter-row module shading (up to one cell row) and cell row coverage (20% through 100% in 20% increments) showing how important and worthwhile this sensor system can be to forwarding the design efforts of engineers working with high voltage photovoltaic power modules. © 2009 IEEE.

关键词： Engineers

来源：评论

学校读者我要写书评

暂无评论

An iterative approach to the robust H∞ synthesis problem with a sequence of infeasible controllers

An iterative approach to the robust H∞ synthesis problem wi...

引用

2010 IEEE International Symposium on computer-aided Control System design, CACSD 2010

作者： Kami, Yasushi Nobuyama, Eitaku Department of Electrical and Computer Engineering Akashi National College of Technology Hyogo Japan Department of Systems Design and Informatics Kyushu Institute of Technology Fukuoka Japan

ISBN: (纸本)9781424453542

This paper aims to design a robust H∞control system against time invariant polytopic uncertainties. In general, such robust control problems are described by parameter dependent bilinear matrix inequality (PDBMI) problems which are not tractable numerically and there are few efficient methods for solving them. In this paper, we propose an iterative approach to the robust H∞controller synthesis problems, which constructs a sequence of infeasible controllers. The feature of our approach is to be able to use any controller variables which may not be a robust stabilizing controller as an initial point. The efficiency of our approach is shown by a numerical example. © 2010 IEEE.

关键词： Controllers

来源：评论

学校读者我要写书评

暂无评论

Role and place of interactive learning materials in an undergraduate introductory ECE class for non-majors

Role and place of interactive learning materials in an under...

引用

2010 ASEE Annual Conference and Exposition

作者： Makarov, Sergey Ludwig, Reinhold Bitar, Stephen Department of Electrical and Computer Engineering Center for Electromagnetic Modeling and Design Worcester Polytechnic Institute Worcester MA United States Department of Electrical and Computer Engineering Worcester Polytechnic Institute Worcester MA United States

来源：评论

学校读者我要写书评

暂无评论

Intramuscular EMG signal decomposition

引用

Critical Reviews in Biomedical engineering 2010年第5期38卷 435-465页

作者： Parsaei, Hossein Stashuk, Daniel W. Rasheed, Sarbast Farkas, Charles Hamilton-Wright, Andrew Department of Systems Design Engineering University of Waterloo 200 University Avenue West Waterloo ON N2L 3G1 Canada Department of Mathematics and Computer Science Mount Allison University New Brunswick Canada

Information regarding motor unit potentials (MUPs) and motor unit firing patterns during muscle contractions is useful for physiological investigation and clinical examinations either for the understanding of motor control or for the diagnosis of neuromuscular disorders. In order to obtain such information, composite electromyographic (EMG) signals are decomposed (i.e., resolved into their constituent motor unit potential trains [MUPTs]). The goals of automatic decomposition techniques are to create a MUPT for each motor unit that contributed significant MUPs to the original composite signal. Diagnosis can then be facilitated by decomposing a needle-detected EMG signal, extracting features of MUPTs, and finally analyzing the extracted features (i.e., quantitative electromyography). Herein, the concepts of EMG signals and EMG signal decomposition techniques are explained. The steps involved with the decomposition of an EMG signal and the methods developed for each step, along with their strengths and limitations, are discussed and compared. Finally, methods developed to evaluate decomposition algorithms and assess the validity of the obtained MUPTs are reviewed and evaluated. © 2010 by Begell House, Inc.

关键词： Electromyography

来源：评论

学校读者我要写书评

暂无评论

A review of clinical quantitative electromyography

引用

Critical Reviews in Biomedical engineering 2010年第5期38卷 467-485页

作者： Farkas, Charles Stashuk, Daniel W. Hamilton-Wright, Andrew Parsaei, Hossein Department of Systems Design Engineering University of Waterloo 200 University Avenue West Waterloo ON N2L 3G1 Canada Department of Math and Computer Science Mount Allison University New Brunswick Canada

Information regarding the morphology of motor unit potentials (MUPs) and motor unit firing patterns can be used to help diagnose, treat, and manage neuromuscular disorders. In a conventional electromyographic (EMG) examination, a clinician manually assesses the characteristics of needle-detected EMG signals across a number of distinct needle positions and forms an overall impression of the condition of the muscle. Such a subjective assessment is highly dependent on the skills and level of experience of the clinician, and is prone to a high error rate and operator bias. Quantitative methods have been developed to characterize MUP waveforms using statistical and probabilistic techniques that allow for greater objectivity and reproducibility in supporting the diagnostic process. In this review, quantitive EMG (QEMG) techniques ranging from simple reporting of numeric MUP values to interpreted muscle characterizations are presented and reviewed in terms of their clinical potential to improve status quo methods. QEMG techniques are also evaluated in terms of their suitability for use in a clinical decision support system based on previously established criteria. Aspects of prototype clinical decision support systems are then presented to illustrate some of the concepts of QEMG-based decision making. © 2010 by Begell House, Inc.

关键词： Muscle

来源：评论

学校读者我要写书评

暂无评论

Unsupervised speaker clustering using SVM training missclassification rate for meeting short-duration speech signals

Unsupervised speaker clustering using SVM training missclass...

引用

International Conference on Genetic and Evolutionary Computing

作者： Lin, Po-Chuan Jui, Yeh-Yi Ying, Tsai-Sung Chen, Yeong-Chin Wu, Menq-Jion Dept. of Electronics Engineering and Computer Science Tung-Fang Design University Kaohsiung County Taiwan Department of Mechatronics Engineering National Changhua University of Education Taiwan Department of Computer Science and Information Engineering Asia University Taiwan

ISBN: (纸本)9780769542812

This paper proposes an unsupervised speaker clustering system for duration of speech signals below 4 seconds. For determining whether two collected speech sections uttered from the same speaker or not, our previous SVM training miss-classification rate (STMR) is adopted to evaluate the data separability between two different speakers. This paper also proposes a hierarchical extract and merge (HEM) clustering method to reduce agglomeration time and enhance the clustering purity. Experiment results show the average speaker purity (ASP) and average cluster purity (ACP) are both better than the CE manner with the GMM training miss-classification rates (GTMR) for 2 to 4 seconds short speech sections. © 2010 IEEE.

关键词： Support vector machines

来源：评论

学校读者我要写书评

暂无评论

DTMC-based Modeling and Analysis of Obstacle Ad hoc Networks

引用

China Communications 2010年第5期7卷 83-92页

作者： Tong Ning Wu Di Wang Xiukun Department of Computer Science and Engineering Dalian University of Technology Dalian 116024 P. R. China Shenyang Aircraft Design ＆ Research Institute China Aviation Industry Corporation I Shenyang 110035 P. R. China

One of the main characteristics of Ad hoc networks is node mobility, which results in constantly changing in network topologies. Consequently, the ability to forecast the future status of mobility nodes plays a key role in QOS routing. We propose a random mobility model based on discretetime Markov chain, called ODM. ODM provides a mathematical framework for calculating some parameters to show the future status of mobility nodes, for instance, the state transition probability matrix of nodes, the probability that an edge is valid, the average number of valid-edges and the probability of a request packet found a valid route. Furthermore, ODM can account for obstacle environment. The state transition probability matrix of nodes can quantify the impact of obstacles. Several theorems are given and proved by using the ODM. Simulation results show that the calculated value can forecast the future status of mobility nodes.

关键词： Ad hoc network discrete time markov chain mobility model obstacle

来源：评论

学校读者我要写书评

暂无评论

Solving hard instances in QF-BV combining Boolean reasoning with computer algebra

Solving hard instances in QF-BV combining Boolean reasoning ...

引用

Algorithms and Applications for Next Generation SAT Solvers 2009

作者： Wedler, Markus Pavlenko, Evgeny Dreyer, Alexander Seelisch, Frank Stoffel, Dominik Kunz, Wolfgang Greuel, Gert-Martin Electronic Design Automation Group Department of Electrical- and Computer-Engineering University of Kaierslautern Germany Computer Algebra Group Department of Mathematics University of Kaierslautern Germany Fraunhofer-Platz 1 Kaiserslautern Germany

This paper describes our new satisfyability (SAT) modulo theory (SMT) solver STABLE for the quantifier-free logic over fixed-sized bit vectors. Our main application domain is formal verification of system-on-chip (SoC) modules designed for complex computational tasks, for example, in signal processing applications. Ensuring proper functional behavior for such modules, including arithmetic correctness of the data paths, is considered a very difficult problem. We show how methods from computer algebra can be integrated into an SMT solver such that instances can be handled where the arithmetic problem parts are specified mixing various levels of abstraction from the plain gate level for small highly optimized components up to the pure word level used in high-level specifications. If the arithmetic problem parts include multiplications such mixed problem descriptions quickly drive current SMT solvers towards their capacity limits. High performance data paths are often designed at a level of abstraction that we call the arithmetic bit level (ABL). We show how ABL information, if available in an SMT instance, can be used to transform the decision problem into an equivalent set of variety subset problems. These problems can be solved efficiently with techniques from computer algebra based on Gröbner basis theory over finite rings Z/h2ni. Sometimes, instances contain problem parts at a level below the ABL using gate-level operations. These problem parts, e.g., originate from custom-designed arithmetic components that are highly optimized using the gate-level constructs of a hardware description language (HDL). For such cases we integrate a local ABL extraction technique based on local Reed-Muller forms. © 2010 Dagstuhl Seminar Proceedings. All rights reserved.

关键词： System-on-chip

来源：评论

学校读者我要写书评

暂无评论

Spectral variation constrained power spectral density estimation for wideband spectrum sensing

Spectral variation constrained power spectral density estima...

引用

2010 3rd International Symposium on Applied Sciences in Biomedical and Communication Technologies, ISABEL 2010

作者： Wang, Xiao Yu Wong, Alexander Lien, Shao-Yu Department of Electrical and Computer Engineering University of Waterloo Waterloo Canada Department of Systems Design Engineering University of Waterloo Waterloo Canada Graduate Institute of Communication Engineering National Taiwan University Taipei Taiwan

ISBN: (纸本)9781424481323

In this paper, a novel power spectrum density (PSD) estimation approach is proposed for accurate and efficient wideband spectrum sensing in Cognitive Radio (CR) systems. Based on the observed signal from a wideband receiver, the goal of determining the fluctuation-free signal PSD is formulated as a constrained Bayesian estimation problem, subject to spectral variation constraints between neighboring spectral frequencies. The extracted signal PSD obtained using the proposed approach can then used in the energy detection process to make informed decisions with regards to the identification of free spectrum resources for opportunistic access by the CR. Experimental results using Monte Carlo simulations and real terrestrial digital TV (DTV) signal acquisitions show that the proposed approach allows for accurate PSD computation using wideband receivers under unknown noise and fluctuation conditions. Therefore, there is great potential for integrating the proposed method into existing energy detection methods for more accurate and efficient wideband spectrum sensing in CR systems under unknown noise and channel conditions. ©2010 IEEE.

关键词： Cognitive radio

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：