首页 > 最新文献

2011 9th World Congress on Intelligent Control and Automation最新文献

英文 中文
Stable force/position control of a robotic endoscope holder for constrained tasks in nasal surgery 用于鼻外科受限任务的机器人内窥镜支架的稳定力/位置控制
Pub Date : 2011-06-21 DOI: 10.1109/WCICA.2011.5970705
D. Navarro-Alarcon, Yunhui Liu, Peng Li
In this paper we employ passivity-based control techniques to guarantee the stable manipulation of a constrained robotic endoscope holder. The system's modelling and the control synthesis are realised under the port-Hamiltonian formulation. Where a desired form of the closed-loop energy is enforced such that its local equilibrium implies the application of the desired force to the environment (patient's nostril), while regulating the endoscope unconstrained position and orientation inside the nasal cavity. This allows to set a specific energetic relation between the controlled robot and the environment, which in turn means a safer interaction with the tissue. Simulation and experimental results are presented to validate the theoretical concepts.
在本文中,我们采用基于被动的控制技术来保证受限机器人内窥镜支架的稳定操作。在端口-哈密顿公式下实现了系统的建模和控制综合。当闭环能量的期望形式被强制执行时,其局部平衡意味着将期望的力应用于环境(患者的鼻孔),同时调节内窥镜在鼻腔内的不受约束的位置和方向。这允许在被控制的机器人和环境之间建立一个特定的能量关系,这反过来意味着与组织的更安全的互动。仿真和实验结果验证了理论概念。
{"title":"Stable force/position control of a robotic endoscope holder for constrained tasks in nasal surgery","authors":"D. Navarro-Alarcon, Yunhui Liu, Peng Li","doi":"10.1109/WCICA.2011.5970705","DOIUrl":"https://doi.org/10.1109/WCICA.2011.5970705","url":null,"abstract":"In this paper we employ passivity-based control techniques to guarantee the stable manipulation of a constrained robotic endoscope holder. The system's modelling and the control synthesis are realised under the port-Hamiltonian formulation. Where a desired form of the closed-loop energy is enforced such that its local equilibrium implies the application of the desired force to the environment (patient's nostril), while regulating the endoscope unconstrained position and orientation inside the nasal cavity. This allows to set a specific energetic relation between the controlled robot and the environment, which in turn means a safer interaction with the tissue. Simulation and experimental results are presented to validate the theoretical concepts.","PeriodicalId":211049,"journal":{"name":"2011 9th World Congress on Intelligent Control and Automation","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2011-06-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127718373","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}
引用次数: 8
Automatic illumination compensation of color photos 彩色照片自动照度补偿
Pub Date : 2011-06-21 DOI: 10.1109/WCICA.2011.5970553
Jzau-Sheng Lin, P. Liu, Yu-Yi Liao, S. Tai
We present the novel method for automatic illumination compensation of color photos. Firstly, we suppose the photo has its own reference luminance level to get the characteristic luminance of each pixel by subtracting reference luminance level from original luminance. Next, the calibrated luminance is obtained by adjusting the characteristic luminance according to expected target luminance. The straight lines or oblique lines in photo are causing the HALO artifact. Therefore, the proposed method also reduces the HALO artifact using applying alpha blending original luminance and reference luminance level. Finally, we also provide the different resulted photos that are based on human perception by applying various proportions of alpha blending original image and fix layer.
提出了一种彩色照片照度自动补偿的新方法。首先,我们假设照片有自己的参考亮度水平,用原始亮度减去参考亮度水平得到每个像素点的特征亮度。然后,根据期望目标亮度调整特征亮度,得到标定亮度。照片中的直线或斜线引起光晕伪影。因此,本文提出的方法还通过对原始亮度和参考亮度进行alpha混合来减小HALO伪影。最后,我们还通过应用不同比例的alpha混合原始图像和固定层,提供了基于人类感知的不同结果照片。
{"title":"Automatic illumination compensation of color photos","authors":"Jzau-Sheng Lin, P. Liu, Yu-Yi Liao, S. Tai","doi":"10.1109/WCICA.2011.5970553","DOIUrl":"https://doi.org/10.1109/WCICA.2011.5970553","url":null,"abstract":"We present the novel method for automatic illumination compensation of color photos. Firstly, we suppose the photo has its own reference luminance level to get the characteristic luminance of each pixel by subtracting reference luminance level from original luminance. Next, the calibrated luminance is obtained by adjusting the characteristic luminance according to expected target luminance. The straight lines or oblique lines in photo are causing the HALO artifact. Therefore, the proposed method also reduces the HALO artifact using applying alpha blending original luminance and reference luminance level. Finally, we also provide the different resulted photos that are based on human perception by applying various proportions of alpha blending original image and fix layer.","PeriodicalId":211049,"journal":{"name":"2011 9th World Congress on Intelligent Control and Automation","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2011-06-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132787453","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}
引用次数: 0
Learning acceleration by policy sharing 通过策略共享加速学习
Pub Date : 2011-06-21 DOI: 10.1109/WCICA.2011.5970609
Kao-Shing Hwang, Yu-Jen Chen, Wei-Cheng Jiang
Reinforcement learning is one of the more prominent machine learning technologies due to its unsupervised learning structure and ability to continually learn, even in a dynamic operating environment. Applying this learning to cooperative multi-agent systems not only allows each individual agent to learn from its own experience, but also offers the opportunity for the individual agents to learn from the other agents in the system to increase the speed of learning can be accelerated. In the proposed learning algorithm, an agent store its experience in terms of state aggregation implemented with a decision tree, such that policy sharing between multi-agent is eventually accomplished by merging different decision trees between peers. Unlike lookup tables which have homogeneous structure for state aggregations, decision trees carried in agents are with heterogeneous structure. This work executes policy sharing between cooperative agents by means of forming a hyper structure from their trees instead of merging whole trees violently. The proposed scheme initially translates the whole decision tree from an agent to others. Based on the evidence, only partial leaf nodes hold helpful experience for policy sharing. The proposed method inducts a hyper decision tree by a great mount of samples which are sampled from the shared nodes. Results from simulations in multi-agent cooperative domain illustrate that the proposed algorithms perform better than the one without sharing.
强化学习是一种比较突出的机器学习技术,因为它具有无监督学习结构和持续学习的能力,即使在动态操作环境中也是如此。将这种学习应用于合作多智能体系统中,不仅可以让每个个体智能体从自己的经验中学习,还可以为个体智能体提供向系统中其他智能体学习的机会,从而提高学习速度。在本文提出的学习算法中,智能体以决策树的状态聚合方式存储其经验,从而通过合并对等体之间不同的决策树来实现多智能体之间的策略共享。与用于状态聚合的同构查找表不同,智能体中携带的决策树具有异构结构。该工作通过将合作代理的树形成一个超结构来实现策略共享,而不是将整个树猛烈合并。该方案首先将整个决策树从一个代理转换为其他代理。从证据来看,只有部分叶节点具有政策共享的有益经验。该方法通过从共享节点中抽取大量的样本来生成超决策树。多智能体协作领域的仿真结果表明,所提算法的性能优于无共享算法。
{"title":"Learning acceleration by policy sharing","authors":"Kao-Shing Hwang, Yu-Jen Chen, Wei-Cheng Jiang","doi":"10.1109/WCICA.2011.5970609","DOIUrl":"https://doi.org/10.1109/WCICA.2011.5970609","url":null,"abstract":"Reinforcement learning is one of the more prominent machine learning technologies due to its unsupervised learning structure and ability to continually learn, even in a dynamic operating environment. Applying this learning to cooperative multi-agent systems not only allows each individual agent to learn from its own experience, but also offers the opportunity for the individual agents to learn from the other agents in the system to increase the speed of learning can be accelerated. In the proposed learning algorithm, an agent store its experience in terms of state aggregation implemented with a decision tree, such that policy sharing between multi-agent is eventually accomplished by merging different decision trees between peers. Unlike lookup tables which have homogeneous structure for state aggregations, decision trees carried in agents are with heterogeneous structure. This work executes policy sharing between cooperative agents by means of forming a hyper structure from their trees instead of merging whole trees violently. The proposed scheme initially translates the whole decision tree from an agent to others. Based on the evidence, only partial leaf nodes hold helpful experience for policy sharing. The proposed method inducts a hyper decision tree by a great mount of samples which are sampled from the shared nodes. Results from simulations in multi-agent cooperative domain illustrate that the proposed algorithms perform better than the one without sharing.","PeriodicalId":211049,"journal":{"name":"2011 9th World Congress on Intelligent Control and Automation","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2011-06-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131919177","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}
引用次数: 1
Kinematic modeling of a six-wheeled robotic rover with a passive/active suspension 被动/主动悬架六轮机器人漫游车运动学建模
Pub Date : 2011-06-21 DOI: 10.1109/WCICA.2011.5970646
Jianguo Tao, Fei Yang, Z. Deng, Haitao Fang
A six-wheeled robotic rover with passive/active suspensions was designed considering the uneven terrain. The rover suspension consists of two 3-DOF articulated frames, and each joint of the suspensions can rotate passively or be driven by a motor. So the rover is capable of locomotion in a passive mode or an active mode according to terrain. Based on the rover mechanical characteristics, reference frames for describing the rover locomotion are set up and a closed chain coordinate transformation graph is given. A kinematics modeling method of the rover for passive locomotion mode and active locomotion mode is presented. Kinematics models of the rover in passive locomotion mode and wheel-walking locomotion mode on rough terrain are constructed considering some key factors such as terrain characteristics, joint movement of suspensions, wheel slippage and so on. Some calculation results show validity of the kinematics models of the rover.
针对不平坦地形,设计了一种主动/被动悬架的六轮机器人漫游车。漫游车悬架由两个3自由度铰接框架组成,每个悬架的关节可以被动旋转或由电机驱动。因此,探测车可以根据地形选择被动或主动运动模式。根据漫游车的力学特性,建立了描述漫游车运动的参考系,并给出了封闭链坐标变换图。提出了机器人被动运动和主动运动两种运动模式的运动学建模方法。考虑地形特征、悬架关节运动、车轮滑移等关键因素,建立了漫游车在崎岖地形上被动运动模式和轮式步行运动模式的运动学模型。计算结果表明了该机器人运动学模型的有效性。
{"title":"Kinematic modeling of a six-wheeled robotic rover with a passive/active suspension","authors":"Jianguo Tao, Fei Yang, Z. Deng, Haitao Fang","doi":"10.1109/WCICA.2011.5970646","DOIUrl":"https://doi.org/10.1109/WCICA.2011.5970646","url":null,"abstract":"A six-wheeled robotic rover with passive/active suspensions was designed considering the uneven terrain. The rover suspension consists of two 3-DOF articulated frames, and each joint of the suspensions can rotate passively or be driven by a motor. So the rover is capable of locomotion in a passive mode or an active mode according to terrain. Based on the rover mechanical characteristics, reference frames for describing the rover locomotion are set up and a closed chain coordinate transformation graph is given. A kinematics modeling method of the rover for passive locomotion mode and active locomotion mode is presented. Kinematics models of the rover in passive locomotion mode and wheel-walking locomotion mode on rough terrain are constructed considering some key factors such as terrain characteristics, joint movement of suspensions, wheel slippage and so on. Some calculation results show validity of the kinematics models of the rover.","PeriodicalId":211049,"journal":{"name":"2011 9th World Congress on Intelligent Control and Automation","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2011-06-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115617754","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}
引用次数: 6
Point stabilization control for two-wheel robot with online parameters settings 在线参数设置的两轮机器人点稳定控制
Pub Date : 2011-06-21 DOI: 10.1109/WCICA.2011.5970723
Qi Zhang, Niu Wang, Zushu Li
For the model time varying during point stabilization control of two-wheel robot with nonholonomic constraint, velocity, and acceleration limit, this paper proposes a multi-mode proportion control approach based on neural network. The point stabilization intelligence control is achieved by optimizing the multi-mode human simulated intelligence control(HSIC) controller with BP neural network online learning. With the performance variation of robot motion execution system, the simulation results compare the approach we proposed with the proportion controller and proportion cosine controller. The validity of the approach is confirmed in the simulation.
针对具有非完整约束、速度和加速度限制的两轮机器人在点稳定控制过程中的模型时变问题,提出了一种基于神经网络的多模态比例控制方法。采用BP神经网络在线学习方法,对多模人模拟智能控制控制器进行优化,实现了点稳定智能控制。随着机器人运动执行系统性能的变化,仿真结果与比例控制器和比例余弦控制器进行了比较。仿真结果验证了该方法的有效性。
{"title":"Point stabilization control for two-wheel robot with online parameters settings","authors":"Qi Zhang, Niu Wang, Zushu Li","doi":"10.1109/WCICA.2011.5970723","DOIUrl":"https://doi.org/10.1109/WCICA.2011.5970723","url":null,"abstract":"For the model time varying during point stabilization control of two-wheel robot with nonholonomic constraint, velocity, and acceleration limit, this paper proposes a multi-mode proportion control approach based on neural network. The point stabilization intelligence control is achieved by optimizing the multi-mode human simulated intelligence control(HSIC) controller with BP neural network online learning. With the performance variation of robot motion execution system, the simulation results compare the approach we proposed with the proportion controller and proportion cosine controller. The validity of the approach is confirmed in the simulation.","PeriodicalId":211049,"journal":{"name":"2011 9th World Congress on Intelligent Control and Automation","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2011-06-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115969881","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}
引用次数: 2
Polymer properties on-line estimation for gas-phase polyethylene based on particle filtering joint estimation 基于粒子滤波联合估计的气相聚乙烯聚合物性能在线估计
Pub Date : 2011-06-21 DOI: 10.1109/WCICA.2011.5970565
Zhong Zhao, Min Cui
Due to the lack of suitable on-line polymer property measurements, the control of multi-grade product quality in industrial polymerization reactors is difficult. In this article, a predictive model of polymer properties is deduced for industrial polyethylene process by combining the first principle model and the feature modeling scheme. Combining the extended Kalman filtering, a method of design the particle filtering joint estimation is proposed to update the estimation of polymer properties based on the off-line lab analysis data in this article. The application results of the proposed method to an industrial gas-phase polyethylene plant have verified its effectiveness and feasibility. With the proposed method, multi-grade polymer properties of industrial gas-phase polyethylene process can be online estimated and make it possible for achieving the advanced on-line multi-grade product quality control.
由于缺乏合适的在线聚合物性能测量方法,使得工业聚合反应器中多级产物质量的控制变得困难。本文将第一性原理模型与特征建模方案相结合,推导出工业聚乙烯过程中聚合物性能的预测模型。结合扩展卡尔曼滤波,提出了一种设计粒子滤波联合估计的方法,以更新基于离线实验室分析数据的聚合物性能估计。在某工业气相聚乙烯装置上的应用结果验证了该方法的有效性和可行性。利用该方法,可以在线估计工业气相聚乙烯多等级聚合物的性能,为实现先进的在线多等级产品质量控制提供了可能。
{"title":"Polymer properties on-line estimation for gas-phase polyethylene based on particle filtering joint estimation","authors":"Zhong Zhao, Min Cui","doi":"10.1109/WCICA.2011.5970565","DOIUrl":"https://doi.org/10.1109/WCICA.2011.5970565","url":null,"abstract":"Due to the lack of suitable on-line polymer property measurements, the control of multi-grade product quality in industrial polymerization reactors is difficult. In this article, a predictive model of polymer properties is deduced for industrial polyethylene process by combining the first principle model and the feature modeling scheme. Combining the extended Kalman filtering, a method of design the particle filtering joint estimation is proposed to update the estimation of polymer properties based on the off-line lab analysis data in this article. The application results of the proposed method to an industrial gas-phase polyethylene plant have verified its effectiveness and feasibility. With the proposed method, multi-grade polymer properties of industrial gas-phase polyethylene process can be online estimated and make it possible for achieving the advanced on-line multi-grade product quality control.","PeriodicalId":211049,"journal":{"name":"2011 9th World Congress on Intelligent Control and Automation","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2011-06-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115067307","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}
引用次数: 2
An improved Hough Transform and its realization on FPGA 一种改进的霍夫变换及其FPGA实现
Pub Date : 2011-06-21 DOI: 10.1109/WCICA.2011.5970530
Wenhao He, Kui Yuan
Hough Transform is a powerful and robust global image processing tool for line detection in picture. However, the traditional Hough Transform is complex because of the calculation of trigonometric functions and multiplication. To overcome this disadvantage, a novel algorithm using simple shift and addition will be discussed in this thesis to replace the complex trigonometric functions and multiplication. Meanwhile, a deep pipelined and parallel realization of this new algorithm on FPGA is also designed. In addition, a new threshold method based on the peak extraction is proposed to eliminate the fake lines produced by the traditional Hough Transform. Experiment results are also presented to prove the efficiency of the proposed method.
霍夫变换是一种功能强大、鲁棒性强的图像全局检测工具。然而,传统的霍夫变换由于需要计算三角函数和乘法,因而比较复杂。为了克服这一缺点,本文将讨论一种使用简单移位和加法的新算法来取代复杂的三角函数和乘法。同时,设计了该算法在FPGA上的深度流水线并行实现。此外,提出了一种新的基于峰值提取的阈值方法来消除传统霍夫变换产生的假线。实验结果证明了该方法的有效性。
{"title":"An improved Hough Transform and its realization on FPGA","authors":"Wenhao He, Kui Yuan","doi":"10.1109/WCICA.2011.5970530","DOIUrl":"https://doi.org/10.1109/WCICA.2011.5970530","url":null,"abstract":"Hough Transform is a powerful and robust global image processing tool for line detection in picture. However, the traditional Hough Transform is complex because of the calculation of trigonometric functions and multiplication. To overcome this disadvantage, a novel algorithm using simple shift and addition will be discussed in this thesis to replace the complex trigonometric functions and multiplication. Meanwhile, a deep pipelined and parallel realization of this new algorithm on FPGA is also designed. In addition, a new threshold method based on the peak extraction is proposed to eliminate the fake lines produced by the traditional Hough Transform. Experiment results are also presented to prove the efficiency of the proposed method.","PeriodicalId":211049,"journal":{"name":"2011 9th World Congress on Intelligent Control and Automation","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2011-06-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124698221","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}
引用次数: 2
The test of train control system based on Colored Petri Net 基于彩色Petri网的列车控制系统测试
Pub Date : 2011-06-21 DOI: 10.1109/WCICA.2011.5970750
Yan Zhang, T. Tang, Qing Huang, Wei Zheng, Tianhua Xu
Train control systems are important to ensure the high efficiency and safety of train, and the test of it is the key factor which determines whether the system is successful or not. The model checkers of Cad SMV, NuSMV, NuBMC and SPIN have been used to generate test sequence, but the high abstracted model of these tools can not keep all the detail informations to construct the test sequence. Colored Petri Net (CPN) models can reserve all the key details used to generate the test sequence directly. To the best of our knowledge, CPN have not been used in this area, one main reason is that the latest version of the CPN model checking tool can only determine the correctness of temporal logic formulas, and not counterexample is available. In this study, how to generate test sequence for train control system using CPN Tools is introduced. The environment models were used to close the model by the means of reading its script file and getting the input messages set of System Under Test (SUT). Radio Block Center (RBC) is chosen as the SUT and the scenario of Start of Mission is chosen as the example scenario. The result shows that the state space size is related with the environment script files when the SUT CPN model is fixed.
列车控制系统是保证列车高效、安全运行的重要手段,而列车控制系统的测试是决定系统成败的关键因素。Cad SMV、NuSMV、NuBMC和SPIN等模型检查器已被用于生成测试序列,但这些工具的高度抽象模型不能保留构建测试序列所需的全部细节信息。彩色Petri网(CPN)模型可以保留所有用于直接生成测试序列的关键细节。据我们所知,CPN尚未在这一领域得到应用,一个主要原因是最新版本的CPN模型检查工具只能确定时间逻辑公式的正确性,而没有反例可用。本文介绍了如何利用CPN工具生成列车控制系统的测试序列。使用环境模型通过读取其脚本文件和获取System Under Test (SUT)的输入消息集来关闭模型。选择无线电块中心(RBC)作为SUT,选择任务开始场景作为示例场景。结果表明,当SUT CPN模型固定时,状态空间大小与环境脚本文件有关。
{"title":"The test of train control system based on Colored Petri Net","authors":"Yan Zhang, T. Tang, Qing Huang, Wei Zheng, Tianhua Xu","doi":"10.1109/WCICA.2011.5970750","DOIUrl":"https://doi.org/10.1109/WCICA.2011.5970750","url":null,"abstract":"Train control systems are important to ensure the high efficiency and safety of train, and the test of it is the key factor which determines whether the system is successful or not. The model checkers of Cad SMV, NuSMV, NuBMC and SPIN have been used to generate test sequence, but the high abstracted model of these tools can not keep all the detail informations to construct the test sequence. Colored Petri Net (CPN) models can reserve all the key details used to generate the test sequence directly. To the best of our knowledge, CPN have not been used in this area, one main reason is that the latest version of the CPN model checking tool can only determine the correctness of temporal logic formulas, and not counterexample is available. In this study, how to generate test sequence for train control system using CPN Tools is introduced. The environment models were used to close the model by the means of reading its script file and getting the input messages set of System Under Test (SUT). Radio Block Center (RBC) is chosen as the SUT and the scenario of Start of Mission is chosen as the example scenario. The result shows that the state space size is related with the environment script files when the SUT CPN model is fixed.","PeriodicalId":211049,"journal":{"name":"2011 9th World Congress on Intelligent Control and Automation","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2011-06-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124765404","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}
引用次数: 0
Analysis on dynamic response of truss structure for deployable truss antenna 可展开桁架天线桁架结构动力响应分析
Pub Date : 2011-06-21 DOI: 10.1109/WCICA.2011.5970703
D. Tian, Z. Deng, Rongqiang Liu, Hongwei Guo
Analysis on dynamic response is one of the important parts of structure analysis for space deployable antenna. To study the dynamic response characteristics of truss structure for deployable truss antenna, according to the structure characteristics of truss structure, the finite element model is built by using ANSYS software. And the harmonic response analysis and transient dynamic analysis are carried out by full method and reduced method respectively, then many response curves of observation nodes are obtained. The results show that the amplitude becomes larger when the frequency of external load is close to or up to the natural frequency of structure, and when the structure hasn't other external damping the amplitude attenuation is relatively slow under impact load. So the damping can be improved by choosing the proper materials and designing the reasonable structure. The results can provide the important reference data to the vibration research of truss structure and theoretical basis of structural optimization design.
动态响应分析是空间可展开天线结构分析的重要内容之一。为研究可展开桁架天线桁架结构的动力响应特性,根据桁架结构的结构特点,利用ANSYS软件建立了桁架结构的有限元模型。分别采用全法和约简法进行了谐波响应分析和暂态动力分析,得到了多个观测节点的响应曲线。结果表明:当外载荷频率接近或接近结构固有频率时,冲击载荷作用下的幅值衰减较大;当结构没有其他外阻尼时,冲击载荷作用下的幅值衰减相对缓慢;因此,通过选择合适的材料和设计合理的结构,可以提高阻尼性能。研究结果可为桁架结构的振动研究和结构优化设计提供重要的参考数据。
{"title":"Analysis on dynamic response of truss structure for deployable truss antenna","authors":"D. Tian, Z. Deng, Rongqiang Liu, Hongwei Guo","doi":"10.1109/WCICA.2011.5970703","DOIUrl":"https://doi.org/10.1109/WCICA.2011.5970703","url":null,"abstract":"Analysis on dynamic response is one of the important parts of structure analysis for space deployable antenna. To study the dynamic response characteristics of truss structure for deployable truss antenna, according to the structure characteristics of truss structure, the finite element model is built by using ANSYS software. And the harmonic response analysis and transient dynamic analysis are carried out by full method and reduced method respectively, then many response curves of observation nodes are obtained. The results show that the amplitude becomes larger when the frequency of external load is close to or up to the natural frequency of structure, and when the structure hasn't other external damping the amplitude attenuation is relatively slow under impact load. So the damping can be improved by choosing the proper materials and designing the reasonable structure. The results can provide the important reference data to the vibration research of truss structure and theoretical basis of structural optimization design.","PeriodicalId":211049,"journal":{"name":"2011 9th World Congress on Intelligent Control and Automation","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2011-06-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124829347","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}
引用次数: 6
A method for 3D-Point Reconstruction in multi-vision based on Perpendicular Foot 一种基于垂直足的多视觉三维点重建方法
Pub Date : 2011-06-21 DOI: 10.1109/WCICA.2011.5970717
Qing He, W. Liu, Ningfeng Wei, Yang Yang, Chao Hu, M. Meng
With increasing use of multi-vision system which has more than two cameras, 3D-Point Reconstruction in multi-vision become a basic issue in computer vision. This paper proposes a method for solving this problem. It takes the Perpendicular Foot of two Back-Projection Lines as the estimation of a 3D-Point, and then it sets the weights by analyzing error to find a better estimation. This method has a clear physical meaning and is relatively easy to be implemented in multi-vision systems, the simulation show, when the optical axes of cameras are roughly parallel, the accuracy and computational cost of this approach is better than traditional optimization algorithms.
随着双摄像头以上的多视觉系统的应用越来越广泛,多视觉中的三维点重建成为计算机视觉中的一个基本问题。本文提出了一种解决这一问题的方法。它以两条反投影线的垂直脚作为三维点的估计,然后通过误差分析来设置权值,从而得到更好的估计。该方法具有明确的物理意义,在多视觉系统中相对容易实现,仿真结果表明,当相机光轴大致平行时,该方法的精度和计算成本都优于传统的优化算法。
{"title":"A method for 3D-Point Reconstruction in multi-vision based on Perpendicular Foot","authors":"Qing He, W. Liu, Ningfeng Wei, Yang Yang, Chao Hu, M. Meng","doi":"10.1109/WCICA.2011.5970717","DOIUrl":"https://doi.org/10.1109/WCICA.2011.5970717","url":null,"abstract":"With increasing use of multi-vision system which has more than two cameras, 3D-Point Reconstruction in multi-vision become a basic issue in computer vision. This paper proposes a method for solving this problem. It takes the Perpendicular Foot of two Back-Projection Lines as the estimation of a 3D-Point, and then it sets the weights by analyzing error to find a better estimation. This method has a clear physical meaning and is relatively easy to be implemented in multi-vision systems, the simulation show, when the optical axes of cameras are roughly parallel, the accuracy and computational cost of this approach is better than traditional optimization algorithms.","PeriodicalId":211049,"journal":{"name":"2011 9th World Congress on Intelligent Control and Automation","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2011-06-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124902636","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}
引用次数: 0
期刊
2011 9th World Congress on Intelligent Control and Automation
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1