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

International Symposium on Information Assurance and Security (IAS)

作者： Luca Caviglione Alessio Merlo Mauro Migliardi Institute of Intelligent Systems for Automation Italian National Council of Research Genoa Italy Department of Computer Communication and Systems Science (DIST) University of Genova Novedrate Italy Department of Information Engineering (DEI) University of Padova Padova Italy

Green Security is a new research field defining and investigating security solutions under an energy-aware perspective. Green Security aims at: (1) evaluating the actual security mechanisms in order to assess their energy consumption; (2) building new security mechanisms by considering energy costs from the design phase. In this paper, we first provide a definition of Green Security and formalism to model it, then we provide a use case showing how it is possible to model the energy consumption of two Intrusion Detection System (IDS) strategies, finally we leverage this model to assess the energy leakage due to the late discovery of bad packets.

关键词： Security Energy consumption Green products Routing Power demand Analytical models Computational modeling

来源：评论

学校读者我要写书评

暂无评论

Beta-eigenspaces for autonomous mobile robotic trajectory outlier detection

Beta-eigenspaces for autonomous mobile robotic trajectory ou...

引用

IEEE International Conference on Technologies for Practical Robot Applications (TePRA)

作者： Shyba Zaheer Tauseef Gulrez Department of Electrical Engineering College of Engineering and Applied Sciences Al Ghurair University Dubai Academic City UAE Department of Computer Science Center of Intelligent Machines & Robotics Research COMSATS Institute of Information Technology Lahore Pakistan

This paper addresses the problem of robotics trajectory building for efficient navigation and consequently exploration. A concept of beta-eigenvector has been introduced to find an outlier for the existing non-point based trajectory obtained from raw laser data. We have used our paradigm of “free configuration eigenspaces” method, with specific focus on outlier detection. The key idea proposed in this paper is to replace the Gaussian distribution utilized by the probabilistic principal component analysis (PPCA) with the beta-distribution. It is a well known issue that the conventional PCA is sensitive to anomalous observations because the calculation of sample mean and covariance matrix can be significantly influenced by a small number of outliers. Similarly, PPCA is not robust to outliers since the data are assumed to follow a multivariate Gaussian distribution that is easily affected by deviant observations. An outlier detection is done using Beta-Probabilistic Principal Component Analysis (BPPCA), further more an analysis is proposed to identify which variables contribute the most to the occurrence of outliers. The proposed technique is applied on real-time robotics sensor data as well as on the real-time robotics simulation environment.

关键词： Trajectory Principal component analysis Robot sensing systems Lasers Mobile communication Mobile robots

来源：评论

学校读者我要写书评

暂无评论

Reports of the AAAI 2010 spring symposia

Reports of the AAAI 2010 spring symposia

引用

作者： Barkowsky, Thomas Bertel, Sven Broz, Frank Chaudhri, Vinay K. Eagle, Nathan Genesereth, Michael Halpin, Harry Hamner, Emily Hoffmann, Gabe Hölscher, Christoph Horvitz, Eric Lauwers, Tom McGuinness, Deborah L. Michalowski, Marek Mower, Emily Shipley, Thomas F. Stubbs, Kristen Vogl, Roland Williams, Mary-Anne Cognitive Systems Group University of Bremen Research Center SFB/TR 8 Spatial Cognition Germany Human Factors Division Beckman Institute for Advanced Science and Technology University of Illinois Urbana-Champaign IL United States Adaptive Systems Research Group Computer Science Department University of Hertfordshire United Kingdom Artificial Intelligence Center at SRI International United States Txteagle Inc. MIT Media Laboratory United States Computer Science Department Stanford University United States University of Edinburgh United Kingdom Robotics Institute Carnegie Mellon University United States Palo Alto Research Center United States Center for Cognitive Science University of Freiburg Germany CREATE lab Carnegie Mellon Robotics Institute United States Rensselaer Polytechnic Institute United States University of Southern California United States Department of Psychology Temple University Spatial Intelligence and Learning Center United States IRobot Corporation United States Stanford Program in Law Science and Technology Stanford University Law School United States Innovation and Enterprise Research Laboratory University of Technology Sydney Australia

The Association for the Advancement of Artificial Intelligence, in cooperation with Stanford University's department of computer science, presented the 2010 Spring Symposium Series Monday through Wednesday, March 22-24, 2010, at Stanford University. The titles of the seven symposia were Artificial Intelligence for Development;Cognitive Shape Processing;Educational robotics and Beyond: Design and Evaluation;Embedded Reasoning: Intelligence in Embedded systems;intelligent Information Privacy Management;It's All in the Timing: Representing and Reasoning about Time in Interactive Behavior;and Linked Data Meets Artificial Intelligence. Copyright © 2010.

关键词： Embedded systems

来源：评论

学校读者我要写书评

暂无评论

Computational image analysis for determination of the oil palm fruit maturity

Computational image analysis for determination of the oil pa...

引用

IASTED International Conference on Computational Photography, CPhoto 2011

作者： Razali, Mohammad Hudzari Ismail, Wan Ishak Wan Harun, Mohammad Haniff B. Ramli, Abdul Rahman Sulaiman, Muhammad Nasir Intelligent System and Robotics Laboratory Institute of Advanced Technology 43400 Universiti Putra Malaysia Serdang Selangor Malaysia Department of Biological and Agriculture Engineering Faculty of Engineering 43400 Universiti Putra Malaysia Serdang Selangor Malaysia Department of Computer Science and Information Technology Faculty of Science Computer and Information Technology 43400 Universiti Putra Malaysia Serdang Selangor Malaysia Biological Research Division Malaysian Palm Oil Board No. 6 Persiaran Institusi Bandar Baru Bangi 43000 Kajang Selangor Malaysia Department of Agriculture Universiti Sultan Zainal Abidin Kampus Kota Kuala Terengganu 20400 Terengganu Malaysia

ISBN: (纸本)9780889868748

The experiment was conducted to determine the Hue optical properties of the three categories of Fresh Fruit Bunches (FFB) namely unripe, underripe and ripe. The Nikon Coolpix 4500 digital camera with tele-converter zooming and the Keyence machine vision were used to capture the FFB images with two different settings of natural environment and direct sunlight. The species of oil palm tree used for the experiments were Elaeis Oleifera and Elaeis Guineensis Jacq. The images from the Nikon digital camera were analysed for optical properties of Red, Green, Blue (RGB) and then convert to Hue value using developed graphical user interface (GUI). The Hue values will then be compared to the value obtained from Keyence machine vision. The images of oil palm FFB in plantation were captured with setting cameras parameter namely shutterspeed which set to 0.125 seconds, image sensor's sensitivity (ISO) was set to Normal and white balance were calibrated using the standard white calibration CR-A74. The lighting intensity under oil palm canopy was simultaneously recorded and monitored using Extech Light Meter Datalogger. Using Analysis of Variance (ANOVA), the ratio of test statistic of F with F critical for experiments under natural environment of oil palm plantation indicated the best differences of the hue optical properties among different maturity level of unripe, ripe and overripe FFB. Using the SAS programming for statistical analysis, the Hue and Red color values were found had significant effect to distinguish the maturity level (fm) of FFB with Pr > F are showed less than 0.01. The Green and Blue color values were not significant effect to differentiate the FFB maturity level which indicated the value of Pr > F showed 0.0243 and 0.9938 respectively. The Hue and Blue color values were not interaction with different lighting condition and the maturity level which indicated Pr > F for ml*fm showed 0.0668 and 0.1667 respectively. From the ANOVA analysis, the Hue is the best c

关键词： computer vision

来源：评论

学校读者我要写书评

暂无评论

An Improved Approach to Fuzzy Model Construction and Servo Control with Constraints based on Error Dynamics

An Improved Approach to Fuzzy Model Construction and Servo C...

引用

2011 American Control Conference (ACC)

作者： Hiroshi Ohtake Kazuo Tanaka Hua O. Wang Department of Mechanical Information Science and Technology Graduate School of Computer Science and Systems Engineering Kyushu Institute of Technology Fukuoka Japan Department of Mechanical Engineering and Intelligent Systems University of Electro-Communications Chofu Tokyo Japan Department of Mechanical Engineering Boston University Boston MA USA

This paper presents an improved approach to servo control for nonlinear systems with constraints on inputs and states using the fuzzy model-based control approach. In our previous paper, servo control based on error dynamics using error vector and input difference was proposed. Although the approach can achieve servo control with constraints on both of inputs and states, error dynamics with time-varying extra terms cannot be applied. In this paper, time-varying cancellation input is newly introduced. By using the cancellation input, servo control for error dynamics with time varying extra terms is achieved. We derive servo controller design conditions and constraint conditions on inputs and states in the form of LMI. Design examples illustrate the utility of this approach.

关键词： Servomotors Nonlinear dynamical systems Linear systems Fuzzy control Vectors

来源：评论

学校读者我要写书评

暂无评论

Computational Intelligence for Control of Wind Turbine Generators

Computational Intelligence for Control of Wind Turbine Gener...

引用

IEEE Power and Energy Society General Meeting

作者： Wei Qiao Jiaqi Liang Ganesh K. Venayagamoorthy Ronald Harley Department of Electrical Engineering University of Nebraska-Lincoln School of Electrical and Computer Engineering Georgia Institute of Technology Real-Time Power and Intelligent Systems Laboratory Missouri University of Science and Technology

ISBN: (纸本)9781457710001

This paper summarizes past and ongoing research in the area of the application of computational intelligence (CI) for control of wind turbine generators (WTGs). Several intelligent design approaches and control strategies, including optimal design of WTG controllers using particle swarm optimization (PSO) and mean-variance optimization (MVO) algorithms and adaptive critic design-based coordinated optimal adaptive control for wind plants and shunt FACTS devices, are presented for dynamic performance and fault ride-through enhancement of WTGs and the associated power grid. The effectiveness of these intelligent design approaches and control strategies are demonstrated by nonreal- and real-time simulations in PSCAD/EMTDC and RSCAD/RTDS, respectively.

关键词： Computational intelligence (CI) Doubly fed induction generator (DFIG) Dual heuristic programming (DHP) FACTS device Heuristic dynamic programming (HDP) Particle swarm optimization (PSO) Radial basis function neural network (RBFNN) Wind turbine Wind Generators Artificial Intelligence Computational intelligence Wind Energy Conversion systems Standing Orders intelligent Design design approach dynamic characteristics shunt Optimal design

来源：评论

学校读者我要写书评

暂无评论

No-go theorem for one-way quantum computing on naturally occurring two-level systems

引用

Physical Review A 2011年第5期83卷 050301(R)-050301(R)页

作者： Jianxin Chen Xie Chen Runyao Duan Zhengfeng Ji Bei Zeng Department of Computer Science and Technology Tsinghua National Laboratory for Information Science and Technology Tsinghua University Beijing China Department of Physics Massachusetts Institute of Technology Cambridge Massachusetts USA Centre for Quantum Computation and Intelligent Systems (QCIS) Faculty of Engineering and Information Technology University of Technology Sydney New South Wales Australia Perimeter Institute for Theoretical Physics Waterloo Ontario Canada State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Beijing China Institute for Quantum Computing and Department of Combinatorics and Optimization University of Waterloo Waterloo Ontario Canada

The ground states of some many-body quantum systems can serve as resource states for the one-way quantum computing model, achieving the full power of quantum computation. Such resource states are found, for example, in spin-52 and spin-32 systems. It is, of course, desirable to have a natural resource state in a spin-12, that is, qubit system. Here, we give a negative answer to this question for frustration-free systems with two-body interactions. In fact, it is shown to be impossible for any genuinely entangled qubit state to be a nondegenerate ground state of any two-body frustration-free Hamiltonian. What is more, we also prove that every spin-12 frustration-free Hamiltonian with two-body interaction always has a ground state that is a product of single- or two-qubit states. In other words, there cannot be any interesting entanglement features in the ground state of such a qubit Hamiltonian.

关键词： Ground state

来源：评论

学校读者我要写书评

暂无评论

Decentralized Task Sequencing and Multiple Mission Control for Heterogeneous Robotic Networks

Decentralized Task Sequencing and Multiple Mission Control f...

引用

2011 IEEE International Conference on robotics and Automation(2011年IEEE世界机器人与自动化大会 ICRA 2011)

作者： Donato Di Paola Andrea Gasparri Giovanni Ulivi David Naso Frank L. Lewis Institute of Intelligent Systems for Automation (ISSIA) National Research Council (CNR)70126 BariI Faculty of Engineering Computer Science and Automation DepartmentUniversity "Roma Tre"00146 RomeI Department of Electrical and Electronic Engineering (DEE) Polytechnic of Bari70126 BariItaly the Automation and Robotics Research Institute University of Texas at ArlingtonFort WorthTX 76118-

In this paper a novel decentralized approach for task sequencing within a multiple missions control framework is presented. The main contribution of this work concerns the decentralization of a control framework for multiple mission execution in order to enhance the robustness of the system, and the application of the latter to a heterogeneous robotic network. The proposed approach is based on the Matrixbased Discrete Event Framework (MDEF). This formalism is adapted to networks of heterogeneous robots, i.e., robots with different capabilities, and to the decentralized control of mission execution using a consensus-based approach which guarantees the agreement among robots on executed actions and their consequences.

关键词： Mathematical model Equations Resource management Robot sensing systems Availability Multiagent systems

来源：评论

学校读者我要写书评

暂无评论

Verification of web service protocols by logic of knowledge

引用

Journal of Information and Computational science 2011年第6期8卷 921-932页

作者： Chen, Qingliang Su, Kaile Cao, Ying Liu, Chanjuan School of Electronics Engineering and Computer Science Peking University Beijing 100871 China Department of Computer Science Jinan University Guangzhou 510632 China Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai 200000 China Institute for Integrated and Intelligent Systems Griffith University Brisbane Australia

Web services is a popular distributed systems technology and its effectiveness and efficiency rely badly on the underlying protocols. And web service protocols are designed in XML formats so the message structures within are quite different from the conventional ones. Therefore, the well-established formal verification techniques for conventional protocols, which have gained substantial achievements in practice, cannot be applied directly to them because of the inherently different syntax. In this paper, we propose a justification-oriented and automatic formal approach to verify, in the standard Dolev-Yao model, concerned security properties expressed as epistemic notions, i. e., logic of knowledge, for web service protocols, based on a fault-preserving mapping tool called SuD (SOAP under Dolev-Yao). Our approach is significant because, instead of finding flaws in finite number of protocol sessions, the specifications we are to verify can hold in arbitrary number of sessions. © 2011 Binary Information Press.

关键词： Web services

来源：评论

学校读者我要写书评

暂无评论

A Touch Screen Interface Design with Tactile Feedback

A Touch Screen Interface Design with Tactile Feedback

引用

International Conference on Complex, intelligent and Software Intensive systems, CISIS

作者： Hiroaki Nishino Ryotaro Goto Tsuneo Kagawa Kazuyuki Yoshida Kouichi Utsumiya Junji Hirooka Toshihiko Osada Nobuhiro Nagatomo Eiji Aoki Department of Computer Science and Intelligent Systems Oita University Oita Japan Institute for Hypernetwork Society Oita Japan Kyushu Telecom Promotion Center Fukuoka Japan AVOC Company Limited Miyazaki Japan

Various information displays are becoming available for implementing new kinds of human computer interaction (HCI) methods. Touch screen devices become the most popular choice among many types and models. They have been used in wide range of applications and are proven to be a useful infrastructure for creating intuitive HCI. In spite of their popularity, there are some weak points. The most serious drawback is their hardness for operation especially for the weak in information technology such as elderly and blind users. A tactile feedback function has a potential ability for enabling them to make full use of the devices. We consider the tactile interaction as communication modality for complementing other channels such as visual and auditory senses and improving intuitiveness for various operations. To make the tactile interface a practical communication channel, a design principle for implementing mutually discriminable tactile stimuli is required. The principle should define multiple stimulus patterns giving users distinctive tactile impressions. Our goal is to empirically work out the principle through developing an experiment system for checking varied tactile effects and discovering good solutions. In this paper, we elaborate the system implemented by using a type of touch screen tactile display and some experiments conducted for exploring the principle.

关键词： Vibrations Tactile sensors Haptic interfaces Graphical user interfaces Keyboards Mobile communication Training

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：