C. E. Rose-Gómez, G. Lares-Nunez, R. Navarro-Hernandez
Knowledge transfer is an important point in the interoperability of collaborative systems. This paper presents an ontology used to maintain the interoperability of a multi-agent collaborative system for machining parts process planning
{"title":"An Ontological Model in a Collaborative Process Planning System","authors":"C. E. Rose-Gómez, G. Lares-Nunez, R. Navarro-Hernandez","doi":"10.1109/CERMA.2006.15","DOIUrl":"https://doi.org/10.1109/CERMA.2006.15","url":null,"abstract":"Knowledge transfer is an important point in the interoperability of collaborative systems. This paper presents an ontology used to maintain the interoperability of a multi-agent collaborative system for machining parts process planning","PeriodicalId":179210,"journal":{"name":"Electronics, Robotics and Automotive Mechanics Conference (CERMA'06)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-09-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115679528","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
This paper proposes techniques for deriving programs from their abstract specifications, more specifically proposes refinement techniques for the schema calculus of Z specification language. These techniques are based on a theory for specification refinement and program development
{"title":"Deriving Programs from Their Z specifications","authors":"R. Cruz","doi":"10.1109/CERMA.2006.110","DOIUrl":"https://doi.org/10.1109/CERMA.2006.110","url":null,"abstract":"This paper proposes techniques for deriving programs from their abstract specifications, more specifically proposes refinement techniques for the schema calculus of Z specification language. These techniques are based on a theory for specification refinement and program development","PeriodicalId":179210,"journal":{"name":"Electronics, Robotics and Automotive Mechanics Conference (CERMA'06)","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-09-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114640660","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Nicolás Navarro-Guerrero, C. Muñoz, W. Freund, V. T. Arredondo
This paper describes the use of soft computing techniques for acquiring adaptive behaviors to be used in mobile robot exploration. Action-based environment modeling (AEM) based navigation is used within unknown environments and unsupervised adaptive learning is used for obtaining of the dynamic behaviors. In this investigation it is shown that this unsupervised adaptive method is capable of training a simple low cost robot towards developing highly fit behaviors within a diverse set of complex environments. The experiments that endorse these affirmations were made in Khepera robot simulator. The robot makes use of a neural network to interpret the measurements from the robot sensors in order to determine its next behavior. The training of this network was made using a genetic algorithm (GA), where each individual robot is constituted by a neural network. Fitness evaluation provides the quality of robot behavior with respect to his exploration capability within his environment
{"title":"Acquiring Adaptive Behaviors of Mobile Robots Using Genetic Algorithms and Artificial Neural Networks","authors":"Nicolás Navarro-Guerrero, C. Muñoz, W. Freund, V. T. Arredondo","doi":"10.1109/CERMA.2006.11","DOIUrl":"https://doi.org/10.1109/CERMA.2006.11","url":null,"abstract":"This paper describes the use of soft computing techniques for acquiring adaptive behaviors to be used in mobile robot exploration. Action-based environment modeling (AEM) based navigation is used within unknown environments and unsupervised adaptive learning is used for obtaining of the dynamic behaviors. In this investigation it is shown that this unsupervised adaptive method is capable of training a simple low cost robot towards developing highly fit behaviors within a diverse set of complex environments. The experiments that endorse these affirmations were made in Khepera robot simulator. The robot makes use of a neural network to interpret the measurements from the robot sensors in order to determine its next behavior. The training of this network was made using a genetic algorithm (GA), where each individual robot is constituted by a neural network. Fitness evaluation provides the quality of robot behavior with respect to his exploration capability within his environment","PeriodicalId":179210,"journal":{"name":"Electronics, Robotics and Automotive Mechanics Conference (CERMA'06)","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-09-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126432670","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
In this work the main consideration of the design of truncated biphasic exponential external defibrillator appear. The equipment is directed to the treatment of cardiac arrest by ventricular fibrillation. The structure of the defibrillator account with two main processes: the charge stage and the discharge stage. For the charge stage is used a flyback topology controlled to constant frequency with a current sensor in primary and a voltage sensor in secondary of the flyback transformer. The energy is stored in a bank of capacitors in a time from 6 to 15 sec., according to the defibrillators charge standards. For the discharge stage a H bridge is proposed to handle to high voltages with commercial devices. H Bridge allows to generate the biphasic exponential truncated waveform and to modulate the energy. The results of the proposed approach in a prototype of small signal appear
{"title":"Energy Generation and Discharge for a Semiautomatic Defibrillator EBT","authors":"J. Melgoza, H. S. Aparicio, Richard A. Ortiz","doi":"10.1109/CERMA.2006.49","DOIUrl":"https://doi.org/10.1109/CERMA.2006.49","url":null,"abstract":"In this work the main consideration of the design of truncated biphasic exponential external defibrillator appear. The equipment is directed to the treatment of cardiac arrest by ventricular fibrillation. The structure of the defibrillator account with two main processes: the charge stage and the discharge stage. For the charge stage is used a flyback topology controlled to constant frequency with a current sensor in primary and a voltage sensor in secondary of the flyback transformer. The energy is stored in a bank of capacitors in a time from 6 to 15 sec., according to the defibrillators charge standards. For the discharge stage a H bridge is proposed to handle to high voltages with commercial devices. H Bridge allows to generate the biphasic exponential truncated waveform and to modulate the energy. The results of the proposed approach in a prototype of small signal appear","PeriodicalId":179210,"journal":{"name":"Electronics, Robotics and Automotive Mechanics Conference (CERMA'06)","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-09-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124345293","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
In this work the control problem in a single stage absorption heat pump is shown, in particular case for the water - Carroltrade absorption pair, and the operating conditions of the system are determined. The dimensionless tendencies of inlet powers are shown as a function of the final temperature of revaluation from waste energy. The used software is described for the temperature sensors calibration, as well as the software for in-line calculations of powers and mass flows into the thermodynamic cycle. Finally, a proposal correlation for working fluid control into the absorption heat pump is shown
{"title":"Preliminary Instrumentation and Object Oriented Design for Working Fluid Control in an Absorption Heat Pump Using Water / Carrol","authors":"R. J. Romero, A.B. Medoza, E. C. Gonzalez","doi":"10.1109/CERMA.2006.119","DOIUrl":"https://doi.org/10.1109/CERMA.2006.119","url":null,"abstract":"In this work the control problem in a single stage absorption heat pump is shown, in particular case for the water - Carroltrade absorption pair, and the operating conditions of the system are determined. The dimensionless tendencies of inlet powers are shown as a function of the final temperature of revaluation from waste energy. The used software is described for the temperature sensors calibration, as well as the software for in-line calculations of powers and mass flows into the thermodynamic cycle. Finally, a proposal correlation for working fluid control into the absorption heat pump is shown","PeriodicalId":179210,"journal":{"name":"Electronics, Robotics and Automotive Mechanics Conference (CERMA'06)","volume":"82 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-09-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126473394","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
The control of a robot's movement in the self path planning problem requires the balance between time response and task requirements. In the case of robotic arms, both conditions are essential to turn a task efficient enough to be included into a productive environment. The robot's movement has been researched several times trying to give them the capability of establishing a proper response under specific conditions without human interference. To achieve this goal, several strategies have been used, including spatial maps, area sweeping, iterative models and, as in this case, a neural genetic algorithm, in which the genetic algorithm builds the path based in a set of spatial positions, and the neural network learns from each of these paths to associate them with future positions and tasks. The target, is to adjust the robot's performance to a level in which it is able to self define if a new path requires a searching process, if a previous sequence can be used, or if the points that conform the movement structure need to be adjusted in accordance to the accuracy needed
{"title":"Obstacles Avoidance in a Self Path Plannning of a Polar Robot","authors":"J. Fonseca, E. G. Hurtado, J. P. Meneses","doi":"10.1109/CERMA.2006.69","DOIUrl":"https://doi.org/10.1109/CERMA.2006.69","url":null,"abstract":"The control of a robot's movement in the self path planning problem requires the balance between time response and task requirements. In the case of robotic arms, both conditions are essential to turn a task efficient enough to be included into a productive environment. The robot's movement has been researched several times trying to give them the capability of establishing a proper response under specific conditions without human interference. To achieve this goal, several strategies have been used, including spatial maps, area sweeping, iterative models and, as in this case, a neural genetic algorithm, in which the genetic algorithm builds the path based in a set of spatial positions, and the neural network learns from each of these paths to associate them with future positions and tasks. The target, is to adjust the robot's performance to a level in which it is able to self define if a new path requires a searching process, if a previous sequence can be used, or if the points that conform the movement structure need to be adjusted in accordance to the accuracy needed","PeriodicalId":179210,"journal":{"name":"Electronics, Robotics and Automotive Mechanics Conference (CERMA'06)","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-09-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122305436","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
The search for a suitable micromobility protocol which will interwork with mobile IP in 3G mobile networks has been the subject of intense research. Several proposals have been analyzed and comparisons carried out. Cellular IP is a strong contender to take the seat as the chosen micromobility protocol, and its performance has been characterized mainly with Columbia IP Micromobility Software (CIPMS) under diverse scenarios. Previous analysis have considered generic TCP and UDP traffic. In the work presented here, a Cellular IP based 3G network model is developed, and services (voice, and Web) are represented after probabilistic behaviours to conform, respectively, to a GSM coder, and Web content comprised of packets, objects, and pages. In this way a more accurate knowledge of Cellular IP performance can be obtained
{"title":"Performance Analysis of the Cellular IP Mobility Protocol","authors":"H.I. Vicente, M.E.E. Quiroz","doi":"10.1109/CERMA.2006.74","DOIUrl":"https://doi.org/10.1109/CERMA.2006.74","url":null,"abstract":"The search for a suitable micromobility protocol which will interwork with mobile IP in 3G mobile networks has been the subject of intense research. Several proposals have been analyzed and comparisons carried out. Cellular IP is a strong contender to take the seat as the chosen micromobility protocol, and its performance has been characterized mainly with Columbia IP Micromobility Software (CIPMS) under diverse scenarios. Previous analysis have considered generic TCP and UDP traffic. In the work presented here, a Cellular IP based 3G network model is developed, and services (voice, and Web) are represented after probabilistic behaviours to conform, respectively, to a GSM coder, and Web content comprised of packets, objects, and pages. In this way a more accurate knowledge of Cellular IP performance can be obtained","PeriodicalId":179210,"journal":{"name":"Electronics, Robotics and Automotive Mechanics Conference (CERMA'06)","volume":"26 1-3","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-09-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132031287","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
We introduce a modular methodology for evaluating the perceived quality of video streams in simulated packet networks through the use of artificial neural networks. One particular implementation of the test bed is presented and the results obtained with it under simple network configurations are discussed. Our tool was able to accurately predict the MOS scores of human viewers. Other applications of the test bed are also presented. For data analysis, we found that the usual parameters that can be controlled in an MPEG-4 codec do not have such a strong influence on the perceived video quality as a good network design that protects the video flows may do
{"title":"A Neural Network Based Test Bed for Evaluating the Quality of Video Streams in IP Networks","authors":"Pablo Frank, Jose Incera","doi":"10.1109/CERMA.2006.7","DOIUrl":"https://doi.org/10.1109/CERMA.2006.7","url":null,"abstract":"We introduce a modular methodology for evaluating the perceived quality of video streams in simulated packet networks through the use of artificial neural networks. One particular implementation of the test bed is presented and the results obtained with it under simple network configurations are discussed. Our tool was able to accurately predict the MOS scores of human viewers. Other applications of the test bed are also presented. For data analysis, we found that the usual parameters that can be controlled in an MPEG-4 codec do not have such a strong influence on the perceived video quality as a good network design that protects the video flows may do","PeriodicalId":179210,"journal":{"name":"Electronics, Robotics and Automotive Mechanics Conference (CERMA'06)","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-09-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116322028","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
This paper focuses on the simulation and analysis of the numerical results of a network model that implements traffic shaping strategies, using as reference the new IEEE Std. 802.17 protocol, also known as Resilient Packet Ring, as a mechanism that ensures the quality of the services in the MAN network
{"title":"Traffic Shaping in a RPR-MAN Node","authors":"E. de la Cruz Gamez, F.A. Paliza","doi":"10.1109/CERMA.2006.93","DOIUrl":"https://doi.org/10.1109/CERMA.2006.93","url":null,"abstract":"This paper focuses on the simulation and analysis of the numerical results of a network model that implements traffic shaping strategies, using as reference the new IEEE Std. 802.17 protocol, also known as Resilient Packet Ring, as a mechanism that ensures the quality of the services in the MAN network","PeriodicalId":179210,"journal":{"name":"Electronics, Robotics and Automotive Mechanics Conference (CERMA'06)","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-09-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133710461","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
E. Campero-Littlewood, G. Espinosa-Pérez, R. Escarela-Perez
A state-space representation of a synchronous generator is established and used to analyze the transient behavior of a synchronous generator. The machine is a 2 pole, 150 MVA, 120 MW, 13.8 kV, 50 Hz generator connected to an infinite bus through a transformer and a transmission line. The state-space representation is based on a two-axis equivalent-circuit model of the generator and includes the swing equation and the voltage regulator. The two-axis representation of the infinite bus voltage is chosen as reference. A three phase short circuit is simulated at the transformer terminals. Graphic results are analyzed and compared with actual measurements and with those obtained from a finite element model of the generator. The results give insight into the electromagnetic phenomena and the state-space representation provides a platform for the analysis of control schemes to improve the stability of the generator
{"title":"Transient Analysis of a Synchronous Generator Using a High-Order State Space Representation","authors":"E. Campero-Littlewood, G. Espinosa-Pérez, R. Escarela-Perez","doi":"10.1109/CERMA.2006.124","DOIUrl":"https://doi.org/10.1109/CERMA.2006.124","url":null,"abstract":"A state-space representation of a synchronous generator is established and used to analyze the transient behavior of a synchronous generator. The machine is a 2 pole, 150 MVA, 120 MW, 13.8 kV, 50 Hz generator connected to an infinite bus through a transformer and a transmission line. The state-space representation is based on a two-axis equivalent-circuit model of the generator and includes the swing equation and the voltage regulator. The two-axis representation of the infinite bus voltage is chosen as reference. A three phase short circuit is simulated at the transformer terminals. Graphic results are analyzed and compared with actual measurements and with those obtained from a finite element model of the generator. The results give insight into the electromagnetic phenomena and the state-space representation provides a platform for the analysis of control schemes to improve the stability of the generator","PeriodicalId":179210,"journal":{"name":"Electronics, Robotics and Automotive Mechanics Conference (CERMA'06)","volume":"47 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-09-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126964322","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：