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

Ontology-based design pattern recognition

12th International Conference on Knowledge-Based Intelligent Information and engineering Systems

作者： Kirasic, Damir Basch, Danko Information Support Center University of Zagreb Faculty of Electrical Engineering and Computing Department of Control and Computer Engineering in Automation University of Zagreb Faculty of Electrical Engineering and Computing

ISBN: (纸本)9783540855620

This paper presents ontlology-based architecture for pattern recognition in the context of static source code analysis. The proposed system has three subsystems: parser, OWL ontologies and analyser. The parser subsystem translates the input coded to AST that is constructed as an XML tree. The OWL ontologies define code patterns and general programming concepts. The analyser subsystem constructs instances of the input code as ontology individuals and asks the reasoner to classify them. The experience gained in the implementation of the proposed system and some practical issues are discussed. The recognition system successfully integrates the knowledge representation field and static code analysis. resulting in greater flexibility of the recognition system.

关键词： knowledge-based system ontology-based system static code analysis description logics OWL application formal pattern definition

来源：评论

学校读者我要写书评

暂无评论

Modelling time dependent swelling potential of mudrock using laboratory tests and artificial neural network

引用

Transactions of the Institutions of Mining and Metallurgy, Section A: Mining Technology 2008年第1期117卷 32-41页

作者： Doostmohammadi, R. Moosavi, M. Araabi, B.N. Mining Engineering Department Zanjan University 5 km Tabriz road Zanjan Iran School of Mining Engineering University of Tehran Iran Control and Intelligent Processing Center of Excellence School of Electrical and Computer Engineering University of Tehran Iran

The focus of this research work is modelling time dependent swelling strain and pressure simultaneously in weak rock. Various swelling potential under different boundary conditions is considered. Free and semiconfined swelling strain and swelling pressure under oedometric condition are the most proposed tests for determination of the swelling potential of weak rock. In this paper, a modified swelling strain and pressure test is introduced using springs to provide deformable axial stiffness. The swelling strain and pressure of mudrock are modelled by artificial neural network for various swellable clay, carbonate, initial water content and different boundary stiffness, by using a combination of the proposed modified test along with the existing tests. This method correlates the results of laboratory tests with an acceptable accuracy. The proper operation of the developed model for predicting the time dependent swelling strain and pressure of mudrock under deformable and rigid axial boundaries is confirmed. © 2008 Institute of Materials, Minerals and Mining.

关键词： Neural networks

来源：评论

学校读者我要写书评

暂无评论

Upper bounds for the secure key rate of the decoy-state quantum key distribution

引用

Physical Review A 2009年第3期79卷 032335-032335页

作者： Marcos Curty Tobias Moroder Xiongfeng Ma Hoi-Kwong Lo Norbert Lütkenhaus Department of Signal Theory and Communications ETSI Telecomunicación University of Vigo Campus Universitario E-36310 Vigo (Pontevedra) Spain Institute for Quantum Computing University of Waterloo Waterloo Ontario Canada N2L 3G1 Quantum Information Theory Group Institut für Theoretische Physik I and Max-Planck Research Group Institute of Optics Information and Photonics University of Erlangen–Nürnberg 91058 Erlangen Germany Department of Electrical and Computer Engineering and Department of Physics Center for Quantum Information and Quantum Control (CQIQC) University of Toronto Toronto Ontario Canada M5S 3G4

The use of decoy states in quantum key distribution (QKD) has provided a method for substantially increasing the secret key rate and distance that can be covered by QKD protocols with practical signals. The security analysis of these schemes, however, leaves open the possibility that the development of better proof techniques or better classical postprocessing methods might further improve their performance in realistic scenarios. In this paper, we derive upper bounds on the secure key rate for decoy-state QKD. These bounds are based basically only on the classical correlations established by the legitimate users during the quantum communication phase of the protocol. The only assumption about the possible postprocessing methods is that double click events are randomly assigned to single click events. Further, we consider only secure key rates based on the uncalibrated device scenario which assigns imperfections such as detection inefficiency to the eavesdropper. Our analysis relies on two preconditions for secure two-way and one-way QKD. The legitimate users need to prove that there exists no separable state (in the case of two-way QKD) or that there exists no quantum state having a symmetric extension (one-way QKD) that is compatible with the available measurements results. Both criteria have been previously applied to evaluate single-photon implementations of QKD. Here we use them to investigate a realistic source of weak coherent pulses. The resulting upper bounds can be formulated as a convex optimization problem known as a semidefinite program which can be efficiently solved. For the standard four-state QKD protocol, they are quite close to known lower bounds, thus showing that there are clear limits to the further improvement of classical postprocessing techniques in decoy-state QKD.

关键词： Quantum cryptography

来源：评论

学校读者我要写书评

暂无评论

Mean square stability analysis of sampled-data supervisory control systems

Mean square stability analysis of sampled-data supervisory c...

引用

17th IEEE International Conference on control Applications, CCA

作者： Tejada, Arturo Herencia-Zapana, Heber González, Oscar R. Steven Gray, W. Delft Center for Systems and Control TU Delft Netherlands Department of Electrical and Computer Engineering Old Dominion University Norfolk VA 23529-0246 United States

ISBN: (纸本)9781424422234

Testable second moment stability conditions for discrete-time supervisory control systems were recently developed using the Hybrid Jump Linear Systems (HJLS's) framework. These tests are extended here to sampled-data supervisory control systems using the new sampled-data HJLS (SD-HJLS) framework. It is shown first that the p-moment stability of SD-HJLS's equipped with ideal sample and hold operators is equivalent to that of their associated HJLS's. Then, the second moment stability analysis tools developed for HJLS 's are extended to SD-HJLS's. Finally, the results are illustrated through a Monte Carlo simulation of a simple example. © 2008 IEEE.

关键词： Monte Carlo methods

来源：评论

学校读者我要写书评

暂无评论

Motion Estimation of a Mobile Robot using different types of 3D Sensors

Motion Estimation of a Mobile Robot using different types of...

引用

4th International Conference on Autonomic and Autonomous Systems

作者： Netramai, Chayakorn Oleksandr, Melnychuk Joochim, Chanin Roth, Hubert Center for Sensor Systems (ZESS) University of Siegen D-57076 Paul-Bonatz-Strasse 9-11 Germany Institute of Automatic Control Engineering Department of Electrical Engineering and Computer Science University of Siegen D-57068 Hoelderlinstrasse 3 Germany

ISBN: (纸本)9781424442355

Motion estimation is one of the most important tasks for autonomous mobile robots. Modern mobile robots are equipped with different types of visual sensors that can provide wide ranges of outputs which can be used as reliable inputs for the computing of the robots displacement. One of the widely used visual sensors on mobile robots is the stereo camera due to its simplicity and availability. However, the recently invented Photonic Mixer Device (PMD) that uses the time of flight principle, also becomes more and more popular because of its robustness against ambient light and weak textured surfaces. This paper introduces the compared results of the motion estimation using two different types of 3D sensors (stereo and PMD) and also suggests a new approach to fuse their data in order to improve the calculation accuracy. An experiment was conducted using a mobile robot where the motion of the robot was evaluated using a least square technique. The results from each sensor were obtained and compared to prove their capability toward the motion estimation task.

关键词： Mobile robots

来源：评论

学校读者我要写书评

暂无评论

A Notion of Stochastic Input-to-State Stability and Its Application to Stability of Cascaded Stochastic Nonlinear Systems

引用

Acta Mathematicae Applicatae Sinica 2008年第1期24卷 141-156页

作者： Shu-jun Liu Ji-feng Zhang Zhong-ping Jiang Department of Mathematics Southeast University Nanjing 210096 China Key Laboratory of Systems and Control Institute of Systems Science Academy of Mathematics and Systems Science Chinese Academy of Sciences Beijing 100080 China Department of Electrical and Computer Engineering Polytechnic University 5 Metrotech Center Brooklyfl N.Y. 11201 USA

In this paper, the property of practical input-to-state stability and its application to stability of cascaded nonlinear systems are investigated in the stochastic framework. Firstly, the notion of （practical） stochastic input-to-state stability with respect to a stochastic input is introduced, and then by the method of changing supply functions, （a） an （practical） SISS-Lyapunov function for the overall system is obtained from the corresponding Lyapunov functions for cascaded （practical） SISS subsystems.

关键词： Stochastic nonlinear systems Stochastic input-to-state stability （SISS） SISS-Lyapunov function

来源：评论

学校读者我要写书评

暂无评论

Towards net-centric system of systems robotics in air, sea and land

2008 IEEE International Conference on System of Systems Engi...

引用

2008 IEEE International Conference on System of Systems engineering, SoSE 2008 2008年

作者： Shaneyfelt, Ted Erdogan, Sevki Maredia, Azim Vemuri, Gnanadeep Pachala, Bhargavaram Yue, Dong Karovalia, Sohel Lu, Ming-Zhu Yang, Shi-Zhong Gao, Chenyu Autonomous Control Engineering Center Electrical and Computer Engineering Department University of Texas San Antonio TX United States

ISBN: (纸本)9781424421732

This paper investigates how we can work towards building net-centric swarms of land, sea and air robots working together to accomplish a common goal. The goal is to bring together swarms of robots from all three sectors to safely benefit mankind without increasing dangers in the process. Several platforms are explored for simulation to investigate swarm robotics within heterogeneous environments. © 2008 IEEE.

关键词： System of systems

来源：评论

学校读者我要写书评

暂无评论

Resource-Constrained Sensor Routing for Parameter Estimation of Distributed Systems

引用

IFAC Proceedings Volumes 2008年第2期41卷 7772-7777页

作者： Maciej Patan Christophe Tricaud YangQuan Chen Institute of Control and Computation Engineering University of Zielona Góra 65-246 Zielona Góra Poland Department of Electrical and Computer Engineering Utah State University Logan Utah 84322 USA

We consider a setting where mobile nodes with sensing capacity form a network whose mission is to collect measurements for parameter estimation of a distributed parameter system (DPS). Two techniques to optimize node motions are presented which constitute a trade-off between the achievable accuracy of parameter estimates and limited motion resources of sensor network nodes. The framework is based on the use of the D-optimality criterion defined on the Fisher information matrix associated with the estimated parameters as a measure of the information content in the measurements. Restrictions on maximal distances traveled by sensor nodes are imposed so as to guarantee realizable solutions. The approach is to convert the problem to a canonical optimal control one in Mayer form, in which both the control forces of the sensors and the initial sensor positions are optimized. Numerical solutions are then obtained using the M atlab PDE toolbox and the RIOTS_95 optimal control toolbox which handles various constraints imposed on the node motions. Illustrative numerical experiments with the proposed techniques are presented.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Robust hybrid source-seeking algorithms based on directional derivatives and their approximations

Robust hybrid source-seeking algorithms based on directional...

引用

IEEE Conference on Decision and control

作者： Christopher G. Mayhew Ricardo G. Sanfelice Andrew R. Teel Center for Control Engineering and Computation Electrical and Computer Engineering Department University of California Santa Barbara CA USA Laboratory for Information and Decision Systems Massachusetts Institute of Technology MA USA

ISBN: (纸本)9781424431236

A family of hybrid control algorithms is developed that steer a nonholonomic autonomous vehicle to the source of a scalar signal present in the environment. In an idealized setting, we develop a general hybrid control scheme that globally asymptotically stabilizes the vehicle position about the source. Pursuing a practical implementation, a series of perturbations to the family of controllers is introduced, resulting in a semi-global practical stability of the vehicle position about the source. An example of a recently developed conjugate direction-based controller fitting into this family is developed and demonstrated by simulation and experiment.

关键词： Robustness Remotely operated vehicles Mobile robots Robust control Stability Position measurement Noise measurement Working environment noise Chemical sensors Current measurement

来源：评论

学校读者我要写书评

暂无评论

Storage optimization through code size reduction for digital signal processors

Storage optimization through code size reduction for digital...

引用

Embedded Systems for Real-Time Multimedia (ESTIMedia)

作者： Hassan Salamy J. Ramanujam Department of Electrical and Computer Engineering and Center for Computation and Technology Louisiana State University Baton Rouge LA USA

Most modern digital signal processors (DSPs) provide multiple address registers and a dedicated address generation unit (AGU) which performs address generation in parallel to instruction execution. There is no address computation overhead if the next address is within the auto-modify range. A careful placement of variables in memory is utilized to decrease the number of address arithmetic instructions and thus to generate compact and efficient code. The simple offset assignment (SOA) problem concerns the layout of variables for machines with one address register and the general offset assignment (GOA) deals with multiple address registers. Both these problems assume that each variable needs to be allocated for the entire duration of a program. Both SOA and GOA are NP-complete. In this paper, we present an effective heuristic for the general offset assignment problem with variable coalescing (CGOA) where two or more non-interfering variables can be mapped into the same memory location. Results on several benchmarks show the significant improvement of our solution compared to other heuristics. Results were further improved using a simulated annealing (SA).

关键词： Digital signal processors Registers Semiconductor optical amplifiers Digital signal processing Arithmetic computer aided instruction Signal generators Simulated annealing computer architecture Concurrent computing

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：