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

2012 International Conference on System Simulation, ICUSS 2012

作者： Zhao, Q.C. Liu, J.M. Wang, X. You, M.Y. Li, G.Z. MOE Key Laboratory of Embedded Systems and Service Computing Department of Control Science and Engineering Tongji University Shanghai 201804 China

ISBN: (纸本)9781849195386

The task for the data mining contest organized in conjunction with the ICONIP2011 conference was to learn three predictive models (i.e. a classifier) capable of distinguishing between different classes for three separate tasks. Different combinations of data preprocess, feature selection and classifier learning methods were tried to obtain the best results.

关键词： Intrusion detection

来源：评论

学校读者我要写书评

暂无评论

A type system for SPARDL

A type system for SPARDL

引用

IEEE 6th International Symposium on Theoretical Aspects of Software engineering, TASE 2012

作者： Wang, Zheng Pu, Geguang Li, Jianwen Gu, Bin Shanghai Key Laboratory of Trustworthy Computing East China Normal University Shanghai China Beijing Institute of Control Engineering Beijing China

ISBN: (纸本)9780769547510

SPARDL is a domain-specific modeling language for periodic control systems, which are widely used in embedded systems. Periodic control systems are usually driven by the given period. A periodic control system can be decomposed into different modes or sub-modes, and each mode represents a system state observed from outside. We believe that introducing static checking will extend the power of SPARDL. In this paper, we develop a type system for SPARDL. To make the contributions of this paper convincible and easy to understand, we apply the traditional approaches to construct the type system for SPARDL. An operational semantics is proposed as the basic explanation of SPARDL. And then some type safety theorems are proved under such semantics. We apply the type system to an industrial case from China Academy of Space Technology(CAST) to evaluate the effectiveness of our approach in practice, and then eight type errors are revealed. © 2012 IEEE.

关键词： Embedded systems

来源：评论

学校读者我要写书评

暂无评论

Continuous finite-time stabilization for some classes of fractional order dynamics

Continuous finite-time stabilization for some classes of fra...

引用

2012 12th International Workshop on Variable Structure Systems, VSS 2012

作者： Pisano, Alessandro Rapaić, Milan R. Usai, Elio Jeličić, Zoran D. Department of Electrical and Electronic Engineering University of Cagliari Cagliari Italy Computing and Control Department Faculty of Technical Sciences Novi Sad Serbia

ISBN: (纸本)9781457720666

This paper analyzes some basic issues involving the application of discontinuous control techniques for controlling fractional order systems (FOS). With reference to a simple class of SISO perturbed processes, we compare the performance of two distinct approaches, namely the "fractional sliding manifold" (FSM) approach, and the "fractional dynamic input extension" (FDIE) approach. The latter, which is the main new contribution of this paper, is shown to provide for the finite time convergence property of the systems' state. Remarkably, this approach also attenuates the chattering phenomenon by leading to a continuous, although obviously non-smooth, control action. The performance of the two methodologies under investigation are determined by means of Lyapunov approach. Additionally, we derive two new results involving the application of second-order sliding mode control techniques in the context of SISO FOS, and the application of the unit-vector methodology for controlling uncertain multivariable FOS. The presented analysis is supported by simulation results. © 2012 IEEE.

关键词： Sliding mode control

来源：评论

学校读者我要写书评

暂无评论

Efficient Interpolated Path Planning of Mobile Robots based on Occupancy Grid Maps

引用

IFAC Proceedings Volumes 2012年第22期45卷 349-354页

作者： Marija Đakulović Mijo Čikeš Ivan Petrović University of Zagreb Faculty of Electrical Engineering and Computing Department of Control and Computer

This paper focuses on interpolation-based path planning algorithms for mobile robot that use the occupancy grid map of the environment. Such an algorithm produces the path close to optimal solution in continuous search space, but has computational burden. We discuss on using heuristics to improve efficiency of the E * algorithm, as the interpolation-based path planning algorithm, with a trade-off of generating less optimal paths. We compare obtained paths with the almost optimal solution in continuous search space and also with the path obtained by the D * algorithm, which is a representative of the classical graph search algorithms applied on the occupancy grid map. All used algorithms are verified both by simulation and experimentally on a Pioneer 3DX mobile robot equipped with a laser range finder.

关键词： path planning graph search autonomous mobile robots

来源：评论

学校读者我要写书评

暂无评论

Making Nodes Cooperative: A Secure Incentive Mechanism for Message Forwarding in DTNs

Making Nodes Cooperative: A Secure Incentive Mechanism for M...

引用

International Conference on Computer Communications and Networks

作者： Honglong Chen Wei Lou College of Information and Control Engineering China University of Petroleum Qingdao P. R. China Department of Computing The Hong Kong Polytechnic University Kowloon Hong Kong

ISBN: (纸本)9781467357739

In traditional Delay Tolerant Networks (DTNs), the nodes can take advantage of intermittent contact opportunities to forward messages. However, in noncooperative DTNs, the nodes may be selfish and reluctant to cooperate with each other in message forwarding. Therefore, it is necessary to motivate the nodes to cooperate with each other in such DTNs. The previously proposed incentive mechanisms have obvious limitations such as the security vulnerability. To resolve such kind of drawbacks, in this paper we propose two credit-based rewarding schemes, called earliest path singular rewarding scheme and earliest path cumulative rewarding scheme respectively, to ensure the nodes truthfully forward the messages. The proposed rewarding schemes are incentive compatible. They also ensure that the payment for each delivered message is upper bounded. Furthermore, the proposed rewarding schemes can prevent selfish nodes from having malicious behaviors. Simulations based on the real trace are conducted to illustrate the effectiveness of the proposed rewarding schemes.

关键词： DTNs illustrate effectiveness

来源：评论

学校读者我要写书评

暂无评论

Laboratory analyses of nutrient release processes from Haihe River sediment

引用

International Journal of Sediment Research 2012年第1期27卷 61-72页

作者： Min WU Xue-ming SUN Sui-liang HUANG Xian-qiang TANG Miklas SCHOLZ Key Laboratory of Pollution Processes and Environmental Criteria of Ministry of Education Nankai University Numerical Simulation Group for Water Environment Tianjin Key Laboratory of Environmental Remediation and Pollution ControlCollege of Environmental Science and EngineeringNankai University Civil Engineering Research Centre School of ComputingScience and EngineeringThe University of Salford

Sediment samples were collected from the heavily contaminated Haihe River to conduct static nutrient release experiments with tap water,and to evaluate the effect of dredging depths,salinity and light on the corresponding release *** study is significant because it helps decision-makers to assess the likely impact of dredging(***) on contaminated freshwater and brackish *** concentrations of total nitrogen and inorganic phosphorus were approximately 950 mg/kg and 760 mg/kg,*** typical organic matter concentration was 8.6%.Data obtained from the nutrient leaching experiments indicated that 5cm-dredging of sediment reduced the water column total phosphorus,total dissolved phosphorus and ammonia-nitrogen concentrations *** contrast,dredging 10cm surface sediment could improve the water *** salinity values benefited the release of nitrogen and phosphorus from *** contrast to indoor experiments, concentrations of total phosphorus,total dissolved phosphorus and ammonia-nitrogen were higher for the outdoor experiments.

关键词： Aquatic sediment and water interaction Water quality management Nitrogen Phosphorus Salinity Dredging Water depth Light Haihe River China

来源：评论

学校读者我要写书评

暂无评论

Simple control system for power converter connecting electrochemical dual-layer capacitors to DC link

Simple control system for power converter connecting electro...

引用

35th International Convention on Information and Communication Technology, Electronics and Microelectronics, MIPRO 2012

作者： Čihak, Tihomir Jakopović, Željko KONČAR - Electrical Engineering Institute Power Electronics and Control Department Zagreb Croatia Faculty of Electrical Engineering and Computing Department of Electric Machines Drives and Automation Zagreb Croatia

ISBN: (纸本)9789532330724

Electrochemical dual layer capacitors, also known by their market names Supercapacitors and Ultracapacitors are perspective technology for many uses, for instance in power saving circuits for electric propulsion systems, short-term energy storage systems, systems for extending battery lifetime and other similar uses. Although they can be used connected directly to a power converter DC link, in most cases they are connected to the DC link through a separate power converter. In use, such an EDLC and power converter assembly, due to EDLC specifics, must reliably operate in numerous operating points, unlike a typical power electronic converter. Such a power converter operation entails many control issues. Some of them are considered in this paper. © 2012 MIPRO.

关键词： Power converters

来源：评论

学校读者我要写书评

暂无评论

controllability and stability of discrete-time antilinear systems

Controllability and stability of discrete-time antilinear sy...

引用

Australian control Conference (AUCC)

作者： Ai-Guo Wu Guang-Ren Duan Wanquan Liu Victor Sreeram Harbin Institute of Technology Shenzhen Graduate School The University of Western Australia Shenzhen P. R. China Center for Control Theory and Guidance Technology Harbin Institute of Technology Harbin P. R. China Department of Computing Curtin University Perth Australia School of Electrical Electronic and Computer Engineering The University of West Australia Perth Australia

In this paper, the discrete-time antilinear systems are investigated. Firstly, a closed-form expression for the state response of discrete-time antilinear systems is established. Secondly, the concepts of reachability and controllability are proposed for discrete-time antilinear systems. With the closed-form expression of the state reponse as tools, anti-Gram criteria for reachability are given. In addition, a matrix rank criteria for reachability and controllability is given for time-invariant antilinear systems. In addition, an anti-Lyapnov equation approach is given to check the stability of the time-invariant antilinear systems.

关键词： Linear systems controllability Australia Educational institutions Equations Vectors

来源：评论

学校读者我要写书评

暂无评论

Active Speaker Localization with Circular Likelihoods and Bootstrap Filtering

Active Speaker Localization with Circular Likelihoods and Bo...

引用

IEEE/RSJ International Conference on Intelligent Robots and Systems

作者： Ivan Markovic Alban Portello Patrick Danes Ivan Petrovic Sylvain Argentieri University of Zagreb Faculty of Electrical Engineering and Computing Department of Control and Computer Engineering HR-10000 Zagreb Croatia CNRS LAAS 7 avenue du colonel Roche F-31400 Toulouse France Univ de Toulouse UPS LAAS F-31400 Toulouse France UPMC Univ. Paris 06 4 place Jussieu F-75005 Paris France and ISIR - CNRS UMR 7222 F-75005 Paris France

ISBN: (纸本)9781467363563

This paper deals with speaker localization in two dimensions from a mobile binaural head. A bootstrap particle filtering scheme is used to perform active localization, i.e. to infer source location by fusing the binaural perception with the sensor motor commands. It relies on an original pseudo-likelihood of the source azimuth which captures both the inter-aural level and phase differences. Since the pseudo-likelihood is discrete, it is fitted with a mixture of circular distributions in order to enhance its resolution. For the fitting task two mixtures are compared and evaluated, namely the mixture of von Mises and wrapped Cauchy distributions. Furthermore, a solution is presented for calculating the von Mises curvefitting with low uncertainty, since the direct implementation can quickly surpass double precision floating number representation. The performance of the filter is compared using both the raw and fitted pseudo-likelihoods on experiments recorded in an acoustically prepared room with ground-truth obtained from a motion capture system. The results show that the proposed algorithm successfully localizes the speaker with an advantage in the direction of the fitted von Mises mixture likelihood.

关键词： Active Speaker Localization Circular Likelihoods Bootstrap Filtering

来源：评论

学校读者我要写书评

暂无评论

Stochastic search strategies in 2D using agents with limited perception

Stochastic search strategies in 2D using agents with limited...

引用

10th IFAC Symposium on Robot control, SYROCO 2012

作者： Puljiz, David Varga, Maja Bogdan, Stjepan Department of Control and Computer Engineering Faculty of Electrical Engineering and Computing University of Zagreb Zagreb Croatia Laboratory of Intelligent Systems Ecole Polytechnique Federale de Lausanne 1015 Lausanne Switzerland

ISBN: (纸本)9783902823113

Animals use stochastic search strategies to find a potential nest or to localize the food source. Animals do not rely much on the environmental cues or their sensory inputs. Since their cognitive capabilities are rather limited, search strategies are usually simplistic and stochastic. And yet such simple search strategies result in high efficiency in finding potential targets in limited time intervals. Similar problems with perception of the environment and limited computational power and sensory inputs are observed on the mobile robots used in search scenarios. In spite of their limitations, such robotic systems usually perform deterministic search strategies which heavily depend on environmental cues and sensory input. The research question we are addressing in this paper is which stochastic search strategy has the best performance in terms of area coverage and can stochastic search strategies outperform deterministic search strategies. © 2012 IFAC.

关键词： Sensory perception

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：