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

International Spring Seminar on Electronics Technology

作者： Dorin Cadar Dorin Petreus Ionut Ciocan Petru Dobra Faculty of Electronics Telecommunications and Information Technology UTCN Cluj-Napoca Romania Faculty of Electronics UTCN Faculty of Electronics Telecommunications and Information Technology UTCN 26-28 G. Baritiu Street 400027 Cluj-Napoca Romania Faculty of Automation and Computer Science UTCN Cluj-Napoca Romania

Batteries are devices that convert chemical energy contained in its active materials into electric energy throughout electrochemical red-ox reactions. Theoretically, the energy provided by a battery depends only on its active substances. Practically, just a part of a battery's capacity can be used, due to the nonreactive substances that add up to the process and which influence the magnitude of the charge-transfer reaction, diffusion rates and energy losses. In this paper five methods for modeling the batteries were presented, and one improved empirical model was implemented. The empirical model was built using Mathcad and was validated through the comparison of the experimental obtained characteristics with the ones given by the producer.

关键词： Batteries Analytical models Stochastic processes Equations Temperature Computational modeling Information technology automation computer science Chemical technology

来源：评论

学校读者我要写书评

暂无评论

Safe Mobile Robot Control in the iSpace Environment

引用

IFAC Proceedings Volumes 2009年第16期42卷 305-310页

作者： Laszlo A. Jeni Peter Korondi Zoltan Istenes Hideki Hashimoto University of Tokyo Institute of Industrial Science Tokyo Japan (Tel: 81+3-5452-6258) Computer and Automation Research Institute of the Hungarian Academy of Sciences Department of Mechatronics Optics and Applied Informatics Budapest University of Technology and Economics Eotvos Lorand University Faculty of Informatics

Abstract Robots and other intelligent systems in human environment need high-level cognitive capabilities to enable the achievement of complex goals in complex environments using limited computational resources. Robotic cognitive capabilities include attention allocation, planning, perception processing, reasoning about the other agents and the environment. This paper presents an approach for safe robot controlling using the Intelligent Space. In the iSpace networked distributed sensors observe and gather information from the space. In this environment mobile robots can be tracked with ultrasonic positioning system, the topological map can be build using laser range finders and other properties of the space can be recognized. The recognized properties of the space and the mobile code technology make it possible to extend the control framework of mobile robots with components in a safe way. The mobile code is a program-component obtained from a remote system, transferred across a network and dynamically downloaded and executed on the robots. This code is created, verified, stored and transmitted to the robot using the Certified Proved-Property-Carrying Code architecture, where properties and their proofs also attached to the code. The receiver can verify the proofs and it can decide whether to use or to refuse the received mobile component.

关键词： Intelligent Space recognition CPPCC mobile code mobile robots requirement verification

来源：评论

学校读者我要写书评

暂无评论

iLOC: A localisation system for visitor tracking & guidance

iLOC: A localisation system for visitor tracking & guidance

引用

IEEE International Conference on Industrial Informatics (INDIN)

作者： Stefan Knauth Christian Jost Alexander Klapproth HFT Stuttgart Faculty of Geomatics Computer Science and Mathematics Stuttgart University of Applied Sciences Stuttgart Germany IHomeLab-the Swiss think tank and Laboratory of intelligent living and building automation Lucerne University of Applied Sciences and Arts Horw Switzerland

ISBN: (纸本)9781424437597

We report on an RF- and ultrasound based indoor localisation system which is used for visitor tracking in the iHomeLab laboratory: Visitors get an electronic name badge. This badge can be localised with an average accuracy of less than 10 cm deviation of its spatial position, by means of reference nodes distributed in the lab rooms. The localisation technology is based on ultrasound ranging.

关键词： Ultrasonic imaging Radio frequency Hardware Microcontrollers Radio transmitters Wire System-on-a-chip Accelerometers Transceivers Power supplies

来源：评论

学校读者我要写书评

暂无评论

Range sensor data fusion and position estimation for the iLoc indoor localisation system

Range sensor data fusion and position estimation for the iLo...

引用

International Conference on Emerging Technologies and Factory automation (ETFA)

作者： S. Knauth C. Jost A. Klapproth HFT Stuttgart Faculty for Geomatics Computer Science and Mathematics Stuttgart University of Applied Sciences Stuttgart Germany IHomeLab-The Swiss Think Tank and Laboratory for Intelligent Living and Building Automation Lucerne University of Applied Sciences and Arts Horw Switzerland

An ultrasound indoor localisation system typically comprises an infrastructure formed by a plurality of fixed nodes, so called beacons. By ultrasound time of flight measurements, the range between a mobile node and some of the fixed beacons at known positions is detected. Given a minimum of 3 such range measurements, the position of the mobile node can be determined by trilateration. To achieve good accuracy and coverage, even under difficult or disturbed conditions, it is common practice to include more than 3 measurements to calculate a position estimation. The calculation result will somehow average over the reported values. Inclusion of inaccurate measurements will degrade the result. We present an algorithm for selection of the three ¿most believed¿ range measurements out of the obtained ranges. The algorithm is employed in the iLoc indoor localisation system.

关键词： Sensor fusion Sensor systems Ultrasonic imaging Ultrasonic variables measurement Synchronization Position measurement computer science Mathematics Intelligent structures automation

来源：评论

学校读者我要写书评

暂无评论

Robust Feedback Linearization Applied to a Separation Column for 13C

引用

AIP Conference Proceedings 2009年第1期1107卷 33-36页

作者： Eva‐Henrietta Dulf Cristina‐Ioana Pop Clement Festila Francisc Dulf aTechnical University of Cluj‐Napoca Faculty of Automation and Computer Science 25 Gh. Baritiu Str. 400027 Cluj‐Napoca Romania bUniversity of Agricultural Sciences and Veterinary Medicine Food Quality Control Department 3‐5 Mănăştur Str. Cluj‐Napoca Romania

In the present developing plan to apply the cryogenic technology for the production of the 13C, an efficient and safe operation is a strong reason to conceive and to apply a modern computer based control strategy. The authors are concerned with the problem of developing effective and readily implemental techniques for modelling and control of the isotope separation plant. These columns are characterized by complex nonlinearities, with large time‐delays. Furthermore, are subject to external disturbances, which are difficult to model. The present paper presents two models of the plant: a nonlinear model and a linear system obtained by robust feedback linearization.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Segmentation of abdominal aortic aneurysms in CT images using a radial model approach

引用

10th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2009

作者： MacÍa, Iván Legarreta, Jon Haitz Paloc, Céline Graña, Manuel Maiora, Josu García, Guillermo De Blas, Mariano Biomedical Applications Department Vicomtech Donostia-San Sebastián Spain Computational Intelligence Group Computer Science Faculty University of the Basque Country Donostia-SanSebastián Spain Electronics and Telecommunications Department Technical University School University of the Basque Country Donostia-San Sebastián Spain Engineering Systems and Automation Engineering Department Technical University School University of the Basque Country Donostia-San Sebastián Spain Interventional Radiology Service Donostia Hospital Donostia-SanSebastián Spain

ISBN: (纸本)3642043933

Abdominal Aortic Aneurysm (AAA) is a dangerous condition where the weakening of the aortic wall leads to its deformation and the generation of a thrombus. To prevent a possible rupture of the aortic wall, AAAs can be treated non-invasively by means of the Endovascular Aneurysm Repair technique (EVAR), which consists of placing a stent-graft inside the aorta in order to exclude the bulge from the blood circulation and usually leads to its contraction. Nevertheless, the bulge may continue to grow without any apparent leak. In order to effectively assess the changes experienced after surgery, it is necessary to segment the aneurysm, which is a very time-consuming task. Here we describe the initial results of a novel model-based approach for the semi-automatic segmentation of both the lumen and the thrombus of AAAs, using radial functions constrained by a priori knowledge and spatial coherency. © 2009 Springer Berlin Heidelberg.

关键词： Repair

来源：评论

学校读者我要写书评

暂无评论

Intertrasm a depth first search algorithm for mining intertransaction association rules

Intertrasm a depth first search algorithm for mining intertr...

引用

3rd International Conference on Software and Data Technologies, ICSOFT 2008

作者： Ungureanu, Dan Boicea, Alexandru Faculty of Automation and Computer Science Politehnica University of Bucharest Romania

ISBN: (纸本)9789898111531

In this paper we propose an efficient method for mining frequent intertransaction itemsets. Our approach consists in mining maximal frequent itemsets (MFI) by extending the SmartMiner algorithm for the intertransaction case. We have called the new algorithm InterTraSM (Inter Transaction Smart Miner). Because it uses depth first search the memory needed by the algorithm is reduced;a strategy for passing tail information for a node combined with a dynamic reordering heuristic lead to improved speed. Experiments comparing InterTraSM to other existing algorithms for mining frequent intertransaction itemsets have revealed a significant gain in performance. Further development ideas are also discussed.

关键词： Association rules

来源：评论

学校读者我要写书评

暂无评论

Synthesizing Service Composition Models on the Basis of Temporal Business Rules

引用

Journal of computer science & Technology 2008年第6期23卷 885-894页

作者：喻坚韩燕波韩军金岩 Paolo Falcarin Maurizio Morisio Department of Automation and Information Politecnico di Torino School of Computer Science The University of Adelaide Grid and Service Computing Research Center Institute of Computing TechnologyChinese Academy of Sciences Faculty of ICT Swinburne University of Technology

Transformational approaches to generating design and implementation models from requirements can bring effectiveness and quality to software development. In this paper we present a framework and associated techniques to generate the process model of a service composition from a set of temporal business rules. Dedicated techniques including path- finding, branching structure identification and parallel structure identification are used for semi-automatically synthesizing the process model from the semantics-equivalent Finite State Automata of the rules. These process models naturally satisfy the prescribed behavioral constraints of the rules. With the domain knowledge encoded in the temporal business rules, an executable service composition program, e.g., a BPEL program, can be further generated from the process models. A running example in the e-business domain is used for illustrating our approach throughout this paper.

关键词： service composition composition synthesis behavioral model temporal patterns

来源：评论

学校读者我要写书评

暂无评论

A DHT-based infrastructure for ad-hoc integration and querying of semantic data 08

A DHT-based infrastructure for ad-hoc integration and queryi...

引用

International Database Engineering and Applications Symposium, IDEAS'08

作者： Karnstedt, Marcel Sattler, Kai-Uwe Hauswirth, Manfred Sapkota, Brahmananda Schmidt, Roman Faculty of Computer Science and Automation TU Ilmenau Germany NUIG Galway Ireland School for Computer and Communication Sciences EPFL Lausanne Switzerland

ISBN: (纸本)9781605581880

A crucial prerequisite for the deployment and success of Peer-to-Peer data management applications is the availability of metadata in a way that makes it easy to access and combine data from different sources and domains. In this paper, we argue for a unified and distributed infrastructure providing a repository for semantic data by offering location transparency and advanced query services. After discussing the challenges of such an approach, we present our solution which applies extended SPARQL-like query features for dealing with large and possibly heterogeneous data sets. We focus on the integration into efficient distributed query processing and evaluate our approach in a series of experiments. Copyright 2008 ACM.

关键词： Query processing

来源：评论

学校读者我要写书评

暂无评论

Some Convergence Results in Rigid‐Body Dynamics

引用

AIP Conference Proceedings 2009年第1期1168卷

作者： Bogdan Gavrea Technical University of Cluj‐Napoca Department of Mathematics Faculty of Automation and Computer Science Str. G. Baritiu nr. 26‐28 400027 Cluj‐Napoca Romania

This work presents a brief overview of some convergence results, [1], in rigid body dynamics. The convergence analysis is done in a measure differential inclusion sense for a class of semi‐implicit time‐stepping schemes that contains the semi‐implicit Euler method as well as trapezoidal‐like methods. By using the concept of a reduced friction cone, we can obtain convergence results for the case when the rigid body system includes joints.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：