Pub Date : 2011-04-19DOI: 10.1109/ICMSAO.2011.5775497
K. Fattah, D. Mavinic
The recovery of phosphorus from wastewater following struvite precipitation pathway can provide a viable and sustainable source for phosphorus. This pathway is important because current phosphorus ore reserves are expected to be exhausted within the next few decades, or, the recovery from the ores will become more costly. However, the recovery of phosphorus from wastewater is not straightforward due to the complexities arising from the number of variables and chemistry involved with the precipitation of phosphorus as struvite. Modeling the dynamic nature of the crystallization phenomenon appears to be the method of choice to control the process. In this study, a dynamic control model for phosphorus recovery process via struvite crystallization was developed. This model incorporated both chemistry and control software, and was used to increase the efficiency and ease of process operation of a pilot-scale fluidized crystallizer. This process model was the basis of an automatic controller that had the capability to manipulate flows and chemical additions, and thereby control the system at a desired set point. The control model was then used as a prediction tool to determine conditions that influence the supersaturation ratio — the primary control parameter — of the process.
{"title":"Modeling and optimization of struvite precipitation process for phosphorus recovery from wastewater","authors":"K. Fattah, D. Mavinic","doi":"10.1109/ICMSAO.2011.5775497","DOIUrl":"https://doi.org/10.1109/ICMSAO.2011.5775497","url":null,"abstract":"The recovery of phosphorus from wastewater following struvite precipitation pathway can provide a viable and sustainable source for phosphorus. This pathway is important because current phosphorus ore reserves are expected to be exhausted within the next few decades, or, the recovery from the ores will become more costly. However, the recovery of phosphorus from wastewater is not straightforward due to the complexities arising from the number of variables and chemistry involved with the precipitation of phosphorus as struvite. Modeling the dynamic nature of the crystallization phenomenon appears to be the method of choice to control the process. In this study, a dynamic control model for phosphorus recovery process via struvite crystallization was developed. This model incorporated both chemistry and control software, and was used to increase the efficiency and ease of process operation of a pilot-scale fluidized crystallizer. This process model was the basis of an automatic controller that had the capability to manipulate flows and chemical additions, and thereby control the system at a desired set point. The control model was then used as a prediction tool to determine conditions that influence the supersaturation ratio — the primary control parameter — of the process.","PeriodicalId":6383,"journal":{"name":"2011 Fourth International Conference on Modeling, Simulation and Applied Optimization","volume":"1 1","pages":"1-6"},"PeriodicalIF":0.0,"publicationDate":"2011-04-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80451657","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}
Pub Date : 2011-04-19DOI: 10.1109/ICMSAO.2011.5775517
T. Tsukahara, Yuji Ooka, S. Alam, H. Suzuki, K. Fujimoto
We are trying to alter the coded message of RNA transcripts by photochemical RNA editing to treat genetic diseases. A mutation of mtDNA T8993C in Leigh syndrome as a model, we subjected site-directed deamination of C to U by reversible photoligation using hairpin-type oligonucleotides with carboxyvinyldeoxy-uridine at the 5'-terminal. We observed significant objective base substituted fragment with ODN2 as a 72mer ODN as a target. Then, we tried to genetic restoration experiments as patient derived samples as targets. ODN2 could restore 10% of the mutated C to U, when in-vitro-synthesized-full-length RNA was used as a target. Moreover, the site-directed deamination was performed even toward total RNA from the patients's cells as a target.
{"title":"Possibility of genetic restoration for a disease treatment","authors":"T. Tsukahara, Yuji Ooka, S. Alam, H. Suzuki, K. Fujimoto","doi":"10.1109/ICMSAO.2011.5775517","DOIUrl":"https://doi.org/10.1109/ICMSAO.2011.5775517","url":null,"abstract":"We are trying to alter the coded message of RNA transcripts by photochemical RNA editing to treat genetic diseases. A mutation of mtDNA T8993C in Leigh syndrome as a model, we subjected site-directed deamination of C to U by reversible photoligation using hairpin-type oligonucleotides with carboxyvinyldeoxy-uridine at the 5'-terminal. We observed significant objective base substituted fragment with ODN2 as a 72mer ODN as a target. Then, we tried to genetic restoration experiments as patient derived samples as targets. ODN2 could restore 10% of the mutated C to U, when in-vitro-synthesized-full-length RNA was used as a target. Moreover, the site-directed deamination was performed even toward total RNA from the patients's cells as a target.","PeriodicalId":6383,"journal":{"name":"2011 Fourth International Conference on Modeling, Simulation and Applied Optimization","volume":"201 1 1","pages":"1-4"},"PeriodicalIF":0.0,"publicationDate":"2011-04-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"83450528","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}
Pub Date : 2011-04-19DOI: 10.1109/ICMSAO.2011.5775471
H. M. Radzi, Z. Majid, F. Ismail, M. Suleiman
In this paper, a four step implicit block method for solving first order ordinary differential equations (ODEs) is proposed. The method approximates the solutions of initial value problems at four-point mesh simultaneously using variable step size. This four step implicit method is of the multistep type but it is implemented as the Runge-Kutta type. The stability regions of the method are also studied. Numerical results are presented to show the efficiency of the proposed block method.
{"title":"Four step implicit block method of Runge-Kutta type for solving first order ordinary differential equations","authors":"H. M. Radzi, Z. Majid, F. Ismail, M. Suleiman","doi":"10.1109/ICMSAO.2011.5775471","DOIUrl":"https://doi.org/10.1109/ICMSAO.2011.5775471","url":null,"abstract":"In this paper, a four step implicit block method for solving first order ordinary differential equations (ODEs) is proposed. The method approximates the solutions of initial value problems at four-point mesh simultaneously using variable step size. This four step implicit method is of the multistep type but it is implemented as the Runge-Kutta type. The stability regions of the method are also studied. Numerical results are presented to show the efficiency of the proposed block method.","PeriodicalId":6383,"journal":{"name":"2011 Fourth International Conference on Modeling, Simulation and Applied Optimization","volume":"135 1","pages":"1-5"},"PeriodicalIF":0.0,"publicationDate":"2011-04-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76614374","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}
Pub Date : 2011-04-19DOI: 10.1109/ICMSAO.2011.5775498
M. Abdel-Hafez, Ahmad Al Nabulsi, A. Jafari, Farouq Al Zaabi, M. Sleiman, Ahmad AbuHatab
This paper presents a sequential fault detection and identification algorithm to be applied for vehicle's ultrasonic parking sensors. The algorithm detects a bias fault in any of the ultrasonic sensors by computing the probability of having that bias fault given a constructed measurement residual that is only a function of the measurement noise and measurement fault. A set of bias hypotheses are assumed and initially given equal alarm probability. It is assumed that only one sensor will acquire a bias at any given time. Once the probability of a hypothesis approaches 1, that hypothesis is declared as the correct hypothesis and the bias associated with the hypothesis is removed from the sensors' reading. This study is essential to ensure accurate operation of vehicle's ultrasonic parking sensors.
{"title":"A sequential approach for fault detection and identification of vehicles' ultrasonic parking sensors","authors":"M. Abdel-Hafez, Ahmad Al Nabulsi, A. Jafari, Farouq Al Zaabi, M. Sleiman, Ahmad AbuHatab","doi":"10.1109/ICMSAO.2011.5775498","DOIUrl":"https://doi.org/10.1109/ICMSAO.2011.5775498","url":null,"abstract":"This paper presents a sequential fault detection and identification algorithm to be applied for vehicle's ultrasonic parking sensors. The algorithm detects a bias fault in any of the ultrasonic sensors by computing the probability of having that bias fault given a constructed measurement residual that is only a function of the measurement noise and measurement fault. A set of bias hypotheses are assumed and initially given equal alarm probability. It is assumed that only one sensor will acquire a bias at any given time. Once the probability of a hypothesis approaches 1, that hypothesis is declared as the correct hypothesis and the bias associated with the hypothesis is removed from the sensors' reading. This study is essential to ensure accurate operation of vehicle's ultrasonic parking sensors.","PeriodicalId":6383,"journal":{"name":"2011 Fourth International Conference on Modeling, Simulation and Applied Optimization","volume":"24 1","pages":"1-6"},"PeriodicalIF":0.0,"publicationDate":"2011-04-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"72750872","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}
Pub Date : 2011-04-19DOI: 10.1109/ICMSAO.2011.5775483
E. Hernandez, J. Bolivar, Q. Wang
This paper is proposing a practical approach for a Geosynchronous Transfer Orbit design. To design the intermediate orbits between the injection orbit and the Geosynchronous Orbit were used the Hohmann Transfer Orbit, Keppler 3rd Law and the propellant consumption equations. According to design, these intermediate orbits will be followed by a communication satellite during its orbital maneuver sequence ensuring its final orbital position and minimal fuel consumption. Simulation results and comparison with STK software showed that the approach can simply and effectively be used in the Geosynchronous Transfer Orbit Design.
{"title":"Geosynchronous transfer orbit design: A practical approach","authors":"E. Hernandez, J. Bolivar, Q. Wang","doi":"10.1109/ICMSAO.2011.5775483","DOIUrl":"https://doi.org/10.1109/ICMSAO.2011.5775483","url":null,"abstract":"This paper is proposing a practical approach for a Geosynchronous Transfer Orbit design. To design the intermediate orbits between the injection orbit and the Geosynchronous Orbit were used the Hohmann Transfer Orbit, Keppler 3rd Law and the propellant consumption equations. According to design, these intermediate orbits will be followed by a communication satellite during its orbital maneuver sequence ensuring its final orbital position and minimal fuel consumption. Simulation results and comparison with STK software showed that the approach can simply and effectively be used in the Geosynchronous Transfer Orbit Design.","PeriodicalId":6383,"journal":{"name":"2011 Fourth International Conference on Modeling, Simulation and Applied Optimization","volume":"24 1","pages":"1-4"},"PeriodicalIF":0.0,"publicationDate":"2011-04-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"74797553","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}
Pub Date : 2011-04-19DOI: 10.1109/ICMSAO.2011.5775581
R. Harun, J. Hadi, Nur Shukriyah Mhazir, Pang Jyh Chyang, I. Rose, R. Manap, F. Anshar, NorAdina A Tajuddin, Andrea By Li, A Rahman A Jamal
A large variation in prognosis is observed despite the use of clinical prognostic factors in patients with advanced non-small cell lung cancer (NSCLC). It is likely that this variation is due to the different biological properties of the tumour cells. In this work we aimed to identify gene signature that could predict survival in advanced NSCLC. Total RNA was extracted from five 5 μm-thick sections of the FFPE using the High Pure RNA Paraffin Kit (Roche). RNA amplification was performed using WT-Ovation™ FFPE RNA Amplification System V2 (NuGen). The amplified cDNA was then labelled and hybridised onto Illumina HumanRef-8 v3.0 Expression BeadChips. Microarray data analysis was subsequently performed using Genespring GX version 9.0. Out of 75 FFPE samples, only 32 had sufficient RNA quality and quantity for microarray gene expression analysis. Patients were grouped into long and short survival groups based on the time to cancer-related death. After normalization and filtration, 19,002 genes were selected for differential gene expression analysis. A total of 440 genes differed significantly between the long and short survival groups (ANOVA, p < 0.05, with Benjamini and Hochberg False Discovery Rate multiple testing correction). Unsupervised Hierarchial Clustering with Pearson correlation and average linkage identified two broad clusters of patients corresponding to the long and short survival. Thirteen genes were selected based on the TTest, 2-fold expression changes, principal components analysis and univariate Cox regression analysis and risk scores were calculated for each patient. These gene signatures were independent predictors of survival. The model was validated with a published microarray data from 130 patients with NSCLC. Using Gene Set Analysis (GSA), we found certain biological processes including metastasis and chemotherapy resistance were up-regulated in the short survival group while TID pathway and MAPKKK cascade were enriched in the long survival group. As the conclusion, there is several distinct gene expression profiles associated with survival of patients with advanced stage NSCLC. Survival outcomes in advanced NSCLC could be predicted based on a 13-gene signature.
尽管在晚期非小细胞肺癌(NSCLC)患者中使用了临床预后因素，但观察到预后存在很大差异。这种差异很可能是由于肿瘤细胞的不同生物学特性。在这项工作中，我们旨在确定可以预测晚期非小细胞肺癌生存的基因特征。采用高纯度RNA石蜡试剂盒(Roche)从5个5 μm厚的FFPE切片中提取总RNA。采用WT-Ovation™FFPE RNA扩增系统V2 (NuGen)进行RNA扩增。然后将扩增的cDNA标记并杂交到Illumina HumanRef-8 v3.0表达珠芯片上。随后使用genesspring GX version 9.0进行微阵列数据分析。在75个FFPE样本中，只有32个样本具有足够的RNA质量和数量进行微阵列基因表达分析。根据癌症相关死亡的时间，将患者分为长生存组和短生存组。经归一化和过滤后，选择19,002个基因进行差异基因表达分析。长生存组和短生存组共有440个基因差异显著(方差分析，p < 0.05，经Benjamini和Hochberg错误发现率多重检验校正)。无监督分层聚类与Pearson相关和平均连锁确定了两大类患者对应的长生存期和短生存期。根据TTest选择13个基因，进行2倍表达变化、主成分分析和单因素Cox回归分析，计算每位患者的风险评分。这些基因特征是生存的独立预测因子。该模型用来自130例非小细胞肺癌患者的公开微阵列数据进行了验证。通过基因集分析(Gene Set Analysis, GSA)，我们发现短生存组的转移和化疗耐药等生物学过程上调，而长生存组的TID通路和MAPKKK级联富集。综上所述，有几种不同的基因表达谱与晚期NSCLC患者的生存相关。晚期非小细胞肺癌的生存结果可以基于13个基因特征来预测。
{"title":"Gene expression profiles predict survival of patients with advanced non-small cell lung cancers","authors":"R. Harun, J. Hadi, Nur Shukriyah Mhazir, Pang Jyh Chyang, I. Rose, R. Manap, F. Anshar, NorAdina A Tajuddin, Andrea By Li, A Rahman A Jamal","doi":"10.1109/ICMSAO.2011.5775581","DOIUrl":"https://doi.org/10.1109/ICMSAO.2011.5775581","url":null,"abstract":"A large variation in prognosis is observed despite the use of clinical prognostic factors in patients with advanced non-small cell lung cancer (NSCLC). It is likely that this variation is due to the different biological properties of the tumour cells. In this work we aimed to identify gene signature that could predict survival in advanced NSCLC. Total RNA was extracted from five 5 μm-thick sections of the FFPE using the High Pure RNA Paraffin Kit (Roche). RNA amplification was performed using WT-Ovation™ FFPE RNA Amplification System V2 (NuGen). The amplified cDNA was then labelled and hybridised onto Illumina HumanRef-8 v3.0 Expression BeadChips. Microarray data analysis was subsequently performed using Genespring GX version 9.0. Out of 75 FFPE samples, only 32 had sufficient RNA quality and quantity for microarray gene expression analysis. Patients were grouped into long and short survival groups based on the time to cancer-related death. After normalization and filtration, 19,002 genes were selected for differential gene expression analysis. A total of 440 genes differed significantly between the long and short survival groups (ANOVA, p < 0.05, with Benjamini and Hochberg False Discovery Rate multiple testing correction). Unsupervised Hierarchial Clustering with Pearson correlation and average linkage identified two broad clusters of patients corresponding to the long and short survival. Thirteen genes were selected based on the TTest, 2-fold expression changes, principal components analysis and univariate Cox regression analysis and risk scores were calculated for each patient. These gene signatures were independent predictors of survival. The model was validated with a published microarray data from 130 patients with NSCLC. Using Gene Set Analysis (GSA), we found certain biological processes including metastasis and chemotherapy resistance were up-regulated in the short survival group while TID pathway and MAPKKK cascade were enriched in the long survival group. As the conclusion, there is several distinct gene expression profiles associated with survival of patients with advanced stage NSCLC. Survival outcomes in advanced NSCLC could be predicted based on a 13-gene signature.","PeriodicalId":6383,"journal":{"name":"2011 Fourth International Conference on Modeling, Simulation and Applied Optimization","volume":"427 1","pages":"1-4"},"PeriodicalIF":0.0,"publicationDate":"2011-04-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75045922","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}
Pub Date : 2011-04-19DOI: 10.1109/ICMSAO.2011.5775596
M. Noushabadi, U. Bahalke, K. Dolatkhahi, A. Yolmeh
This paper investigates the problem of assembly line balancing problem, in which the products in the production line may undergo to be reworked on the current task. Since the real manufacturing systems deal with the stochastic nature of the items in production lines, this paper considers the simple assembly line balancing problem type 2 (SALBP-II) under the conditions of stochastic processing time of tasks and the element of reworking system. Exposing to the stochastic conditions encouraged us to handle the problem via simulation optimization procedure, which uses the well known genetic algorithm as an optimization tool. Results show the adaptation and effectiveness of GA to considered problem.
{"title":"A simulation optimization approach to un-paced assembly line balancing problem-II with additional reworking issue","authors":"M. Noushabadi, U. Bahalke, K. Dolatkhahi, A. Yolmeh","doi":"10.1109/ICMSAO.2011.5775596","DOIUrl":"https://doi.org/10.1109/ICMSAO.2011.5775596","url":null,"abstract":"This paper investigates the problem of assembly line balancing problem, in which the products in the production line may undergo to be reworked on the current task. Since the real manufacturing systems deal with the stochastic nature of the items in production lines, this paper considers the simple assembly line balancing problem type 2 (SALBP-II) under the conditions of stochastic processing time of tasks and the element of reworking system. Exposing to the stochastic conditions encouraged us to handle the problem via simulation optimization procedure, which uses the well known genetic algorithm as an optimization tool. Results show the adaptation and effectiveness of GA to considered problem.","PeriodicalId":6383,"journal":{"name":"2011 Fourth International Conference on Modeling, Simulation and Applied Optimization","volume":"132 1","pages":"1-6"},"PeriodicalIF":0.0,"publicationDate":"2011-04-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75399257","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}
Pub Date : 2011-04-19DOI: 10.1109/ICMSAO.2011.5775538
S. Atabay, Jamal A. Abdalla, G. Seckin, M. Mortula
Bridge constriction in channels usually causes afflux which results in increase in backwater level well above the normal level and may possibly result in overflow on the flood plain surrounding the channel during flooding period. This paper uses Artificial Neural Network to predict the afflux based on the parameters including coefficient of frictions of main channel (nmc) and of floodplain (nfp), bridge width (b) and flow discharge (Q). A Multi-Layer Perceptron (MLP) ANN is used to predict the afflux using these parameters. The training and testing data are the result of experimental investigation. It is observed that the afflux values predicted by the ANN model are very accurate compared to the experimentally measured values with a Normalized Mean Square Error (NMSE) of 0.002 and a Correlation Coefficient of 0.999. The developed ANN model can be used safely to conduct a parametric study to investigate the influence of the parameters nmc, nfp, b and Q on the afflux of a bridge constriction with piers.
{"title":"Prediction of afflux of bridge constriction with piers using Artificial Neural Network","authors":"S. Atabay, Jamal A. Abdalla, G. Seckin, M. Mortula","doi":"10.1109/ICMSAO.2011.5775538","DOIUrl":"https://doi.org/10.1109/ICMSAO.2011.5775538","url":null,"abstract":"Bridge constriction in channels usually causes afflux which results in increase in backwater level well above the normal level and may possibly result in overflow on the flood plain surrounding the channel during flooding period. This paper uses Artificial Neural Network to predict the afflux based on the parameters including coefficient of frictions of main channel (nmc) and of floodplain (nfp), bridge width (b) and flow discharge (Q). A Multi-Layer Perceptron (MLP) ANN is used to predict the afflux using these parameters. The training and testing data are the result of experimental investigation. It is observed that the afflux values predicted by the ANN model are very accurate compared to the experimentally measured values with a Normalized Mean Square Error (NMSE) of 0.002 and a Correlation Coefficient of 0.999. The developed ANN model can be used safely to conduct a parametric study to investigate the influence of the parameters nmc, nfp, b and Q on the afflux of a bridge constriction with piers.","PeriodicalId":6383,"journal":{"name":"2011 Fourth International Conference on Modeling, Simulation and Applied Optimization","volume":"28 1","pages":"1-4"},"PeriodicalIF":0.0,"publicationDate":"2011-04-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80108846","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}
Pub Date : 2011-04-19DOI: 10.1109/ICMSAO.2011.5775511
Premeela T. Nathan, H. Almurib
The kinematic and dynamic analysis is applied to the task of controlling and maneuvering the quad-rotor. Here, an evaluation and discussion of the PD (Proportional Derivative) controller is used to navigate the vehicle as it performs basic translational and rotational motions. A comparison is made between the advantages and disadvantages of the controller through the evaluation of the effects of nonlinearities such as atmospheric noise, sensor drift and noise, acceptable range of additional payload and inertial values as well as limitations of maximum rotor speed. Lastly, the most discussed means of quad-rotor optimization are evaluated.
{"title":"Optimization of nonlinearities through control techniques of the quadrotor aerial vehicle","authors":"Premeela T. Nathan, H. Almurib","doi":"10.1109/ICMSAO.2011.5775511","DOIUrl":"https://doi.org/10.1109/ICMSAO.2011.5775511","url":null,"abstract":"The kinematic and dynamic analysis is applied to the task of controlling and maneuvering the quad-rotor. Here, an evaluation and discussion of the PD (Proportional Derivative) controller is used to navigate the vehicle as it performs basic translational and rotational motions. A comparison is made between the advantages and disadvantages of the controller through the evaluation of the effects of nonlinearities such as atmospheric noise, sensor drift and noise, acceptable range of additional payload and inertial values as well as limitations of maximum rotor speed. Lastly, the most discussed means of quad-rotor optimization are evaluated.","PeriodicalId":6383,"journal":{"name":"2011 Fourth International Conference on Modeling, Simulation and Applied Optimization","volume":"2 1","pages":"1-6"},"PeriodicalIF":0.0,"publicationDate":"2011-04-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84159232","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}
Pub Date : 2011-04-19DOI: 10.1109/ICMSAO.2011.5775479
H. Krad
Software and hardware systems are growing fast in both functionality and complexity and consequently, the probability of delicate faults existence in these systems is also increasing. Some of these faults may result in disastrous loss in both money and time. One main goal of designing those systems is to construct better and more reliable systems, regardless of the level of their complexity. Formal methods can be used to specify such systems and be automated to verify them. In this paper, we introduce and show how we can use some of those formal methods, Propositional Logic (PL) and First Order Logic (FOL), in specifying and verifying the correctness of related system aspects.
{"title":"Formal methods and automation for system verification","authors":"H. Krad","doi":"10.1109/ICMSAO.2011.5775479","DOIUrl":"https://doi.org/10.1109/ICMSAO.2011.5775479","url":null,"abstract":"Software and hardware systems are growing fast in both functionality and complexity and consequently, the probability of delicate faults existence in these systems is also increasing. Some of these faults may result in disastrous loss in both money and time. One main goal of designing those systems is to construct better and more reliable systems, regardless of the level of their complexity. Formal methods can be used to specify such systems and be automated to verify them. In this paper, we introduce and show how we can use some of those formal methods, Propositional Logic (PL) and First Order Logic (FOL), in specifying and verifying the correctness of related system aspects.","PeriodicalId":6383,"journal":{"name":"2011 Fourth International Conference on Modeling, Simulation and Applied Optimization","volume":"1 1","pages":"1-12"},"PeriodicalIF":0.0,"publicationDate":"2011-04-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87272829","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
扫码关注我们
求助内容：
应助结果提醒方式：