首页 > 最新文献

2012 Third Global Congress on Intelligent Systems最新文献

英文 中文
Selecting Materialized Views Based on Top-k Query Algorithm for Lineage Tracing 基于Top-k查询算法的物化视图选择
Pub Date : 2012-11-06 DOI: 10.1109/GCIS.2012.28
Jiyun Li, Xin Li, Juntao Lv
Lineage tracing queries help to locate updated views quickly in data warehouse. Materialized views can improve the efficiency of the data lineage tracing and view maintenance. This paper, a method to select materialized views using Top-k query algorithm is presented. The selection is based on the query frequency, the view storage space and maintenance cost. Experimental results show that Top-k query algorithm has a better query performance than the Heuristic algorithm for lineage tracing query.
沿袭跟踪查询有助于在数据仓库中快速定位更新的视图。物化视图可以提高数据沿袭跟踪和视图维护的效率。提出了一种利用Top-k查询算法选择物化视图的方法。根据查询频率、视图存储空间和维护成本进行选择。实验结果表明,Top-k查询算法比启发式查询算法具有更好的查询性能。
{"title":"Selecting Materialized Views Based on Top-k Query Algorithm for Lineage Tracing","authors":"Jiyun Li, Xin Li, Juntao Lv","doi":"10.1109/GCIS.2012.28","DOIUrl":"https://doi.org/10.1109/GCIS.2012.28","url":null,"abstract":"Lineage tracing queries help to locate updated views quickly in data warehouse. Materialized views can improve the efficiency of the data lineage tracing and view maintenance. This paper, a method to select materialized views using Top-k query algorithm is presented. The selection is based on the query frequency, the view storage space and maintenance cost. Experimental results show that Top-k query algorithm has a better query performance than the Heuristic algorithm for lineage tracing query.","PeriodicalId":337629,"journal":{"name":"2012 Third Global Congress on Intelligent Systems","volume":"90 3-4","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120909172","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}
引用次数: 5
Dynamic Path Planning Algorithm Based on Time-Dependent Road Network 基于时变路网的动态路径规划算法
Pub Date : 2012-11-06 DOI: 10.1109/GCIS.2012.9
Xuren Wang, C. Ran
In order to solve the shortest path planning problem in the time-dependent road network, we proposed a landmark-oriented heuristic algorithm based on the dynamic shortest tree (DALT). Experimental results show that the DALT algorithm in dynamic scenarios, not only to ensure the robustness and accuracy of the query, but also get better query time. In addition, by comparison with the classical static shortest path algorithm, the DALT algorithm in the preprocessing time and query efficiency achieved better performance.
为了解决时变路网中的最短路径规划问题,提出了一种基于动态最短树(DALT)的面向地标的启发式算法。实验结果表明,DALT算法在动态场景下,不仅保证了查询的鲁棒性和准确性,而且获得了更好的查询时间。此外,与经典静态最短路径算法相比,DALT算法在预处理时间和查询效率上都取得了更好的性能。
{"title":"Dynamic Path Planning Algorithm Based on Time-Dependent Road Network","authors":"Xuren Wang, C. Ran","doi":"10.1109/GCIS.2012.9","DOIUrl":"https://doi.org/10.1109/GCIS.2012.9","url":null,"abstract":"In order to solve the shortest path planning problem in the time-dependent road network, we proposed a landmark-oriented heuristic algorithm based on the dynamic shortest tree (DALT). Experimental results show that the DALT algorithm in dynamic scenarios, not only to ensure the robustness and accuracy of the query, but also get better query time. In addition, by comparison with the classical static shortest path algorithm, the DALT algorithm in the preprocessing time and query efficiency achieved better performance.","PeriodicalId":337629,"journal":{"name":"2012 Third Global Congress on Intelligent Systems","volume":"94 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121189842","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
Battery Component Control System Design for PHEV Based on ECE Cycle 基于ECE循环的插电式混合动力汽车电池组件控制系统设计
Pub Date : 2012-11-06 DOI: 10.1109/GCIS.2012.56
Lin Cheng, Zhou Fengjun, C. Wan-ke, Wang Gang, Zhang Xiaohua
As the key technology of electric vehicles(EV) ", "control systems is always the research hotspot of EV field. When the battery component of HEV operates at charge sustaining (CS) mode, the most important problem is how to split the whole vehicle's required power between engine and battery component reasonably and effectively so as to make the good economy and driving performance. Taking battery component of Plug-in Hybrid Electric Bus as the research object", "this paper established the model of feedback control system for battery component. Then the feedback control systems gains are optimized with the objective function of equivalent fuel consumption and accumulated power requirement error", "which is based on BUSRTE driving cycle. The obtained gains are testified and verified by NEWYORK and CBDBUS driving cycle respectively. The results indicate that the optimized control system for batteries has good fuel economy and driving performance.
作为电动汽车的关键技术、控制系统一直是电动汽车领域的研究热点。混合动力汽车电池组件在充电持续模式下工作时,如何合理有效地将整车所需功率在发动机和电池组件之间进行分配,使整车具有良好的经济性和行驶性能,是混合动力汽车的关键问题。本文以插电式混合动力客车电池组件为研究对象,建立了电池组件反馈控制系统模型。然后以基于BUSRTE工况的等效油耗和累计功率需求误差为目标函数,对反馈控制系统增益进行优化。所获得的增益分别通过纽约和CBDBUS驱动循环进行验证。结果表明,优化后的蓄电池控制系统具有良好的燃油经济性和行驶性能。
{"title":"Battery Component Control System Design for PHEV Based on ECE Cycle","authors":"Lin Cheng, Zhou Fengjun, C. Wan-ke, Wang Gang, Zhang Xiaohua","doi":"10.1109/GCIS.2012.56","DOIUrl":"https://doi.org/10.1109/GCIS.2012.56","url":null,"abstract":"As the key technology of electric vehicles(EV) \", \"control systems is always the research hotspot of EV field. When the battery component of HEV operates at charge sustaining (CS) mode, the most important problem is how to split the whole vehicle's required power between engine and battery component reasonably and effectively so as to make the good economy and driving performance. Taking battery component of Plug-in Hybrid Electric Bus as the research object\", \"this paper established the model of feedback control system for battery component. Then the feedback control systems gains are optimized with the objective function of equivalent fuel consumption and accumulated power requirement error\", \"which is based on BUSRTE driving cycle. The obtained gains are testified and verified by NEWYORK and CBDBUS driving cycle respectively. The results indicate that the optimized control system for batteries has good fuel economy and driving performance.","PeriodicalId":337629,"journal":{"name":"2012 Third Global Congress on Intelligent Systems","volume":"51 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130657328","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
An Efficient Algorithm for Updating Association Rules with Incremental Transactions and Minimum Support Changes Simultaneously 一种同时具有增量事务和最小支持度变化的关联规则更新算法
Pub Date : 2012-11-06 DOI: 10.1109/GCIS.2012.42
Li Sun, Yu-Chen Cai, Jiyun Li, Juntao Lv
This paper proposes a new algorithm FIM_AIUA, which updates association rules with incremental transactions and minimum support changes simultaneously. The algorithm expands FIM algorithm and AIUA algorithm, improves the efficiency and corrects the mistakes of My_IUA algorithm. Moreover, it modifies FIM algorithm with a new argument and presents a new function fim_aiua_gen() that rewrites the function aiua_gen() of AIUA algorithm. Experiments with real transaction data of a supermarket show that our proposed algorithm FIM_AIUA is efficient and outperforms both My_IUA algorithm and Apriori algorithm.
本文提出了一种新的算法FIM_AIUA,该算法同时更新增量事务和最小支持度变化的关联规则。该算法对FIM算法和AIUA算法进行了扩展,提高了效率,纠正了My_IUA算法的错误。并对AIUA算法进行了新的参数修改,提出了一个新的函数fim_aiua_gen(),该函数重写了AIUA算法的函数aiua_gen()。超市的真实交易数据实验表明,本文提出的算法是高效的,优于My_IUA算法和Apriori算法。
{"title":"An Efficient Algorithm for Updating Association Rules with Incremental Transactions and Minimum Support Changes Simultaneously","authors":"Li Sun, Yu-Chen Cai, Jiyun Li, Juntao Lv","doi":"10.1109/GCIS.2012.42","DOIUrl":"https://doi.org/10.1109/GCIS.2012.42","url":null,"abstract":"This paper proposes a new algorithm FIM_AIUA, which updates association rules with incremental transactions and minimum support changes simultaneously. The algorithm expands FIM algorithm and AIUA algorithm, improves the efficiency and corrects the mistakes of My_IUA algorithm. Moreover, it modifies FIM algorithm with a new argument and presents a new function fim_aiua_gen() that rewrites the function aiua_gen() of AIUA algorithm. Experiments with real transaction data of a supermarket show that our proposed algorithm FIM_AIUA is efficient and outperforms both My_IUA algorithm and Apriori algorithm.","PeriodicalId":337629,"journal":{"name":"2012 Third Global Congress on Intelligent Systems","volume":"41 6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115912589","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
The Control Strategy of Swarm Tracked Robots for Intelligent Transportation Based on Parallel Formation 基于并行编队的智能交通群履带机器人控制策略
Pub Date : 2012-11-06 DOI: 10.1109/GCIS.2012.66
Jianhua Wu, Zhao Liu
The research of this paper is about the control strategy of tracked robots for intelligent transportation based on parallel formation. Firstly, the sliding turning model of tracked mobile robot is introduced and the kinematics analysis of this model based on the pose information is also researched. Then, the problem of tracked robots formation could be reduced to the tracking approach by the theory of virtual-structure, and the control strategy of tracked robots is achieved by the relative algorithm. At last, the feasibility and stability of tracked robots' formation for intelligent transportation is simulated by the software of Matlab.
本文研究的是基于并行编队的履带式智能交通机器人控制策略。首先,介绍了履带式移动机器人的滑动转弯模型,并基于位姿信息对该模型进行了运动学分析。然后,利用虚拟结构理论将履带机器人编队问题简化为跟踪方法,并通过相关算法实现履带机器人的控制策略。最后,利用Matlab软件对智能交通中履带机器人编队的可行性和稳定性进行了仿真。
{"title":"The Control Strategy of Swarm Tracked Robots for Intelligent Transportation Based on Parallel Formation","authors":"Jianhua Wu, Zhao Liu","doi":"10.1109/GCIS.2012.66","DOIUrl":"https://doi.org/10.1109/GCIS.2012.66","url":null,"abstract":"The research of this paper is about the control strategy of tracked robots for intelligent transportation based on parallel formation. Firstly, the sliding turning model of tracked mobile robot is introduced and the kinematics analysis of this model based on the pose information is also researched. Then, the problem of tracked robots formation could be reduced to the tracking approach by the theory of virtual-structure, and the control strategy of tracked robots is achieved by the relative algorithm. At last, the feasibility and stability of tracked robots' formation for intelligent transportation is simulated by the software of Matlab.","PeriodicalId":337629,"journal":{"name":"2012 Third Global Congress on Intelligent Systems","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115391545","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
Building of an Architecture for the Fish Disease Diagnosis Expert System Based on Multi-agent 基于多智能体的鱼病诊断专家系统体系结构的构建
Pub Date : 2012-11-06 DOI: 10.1109/GCIS.2012.21
Dongping Ma, Ming Chen
The paper presents the architecture of the MAS-based distributed fish disease diagnosis expert system on the basis of the analysis and summary on the characteristics of the existing distributed fish disease diagnosis expert system. That gives full play to the MAS-based distributed computing and to build flexibly. For heterogeneous knowledge sources of the distributed expert system, use the distributed computing agent to achieve the distributed diagnosis and management of fish diseases, and reduce the burden of the centralized processing. Meanwhile, it uses the modified contract net model, and designs a task allocation model of the collaborative diagnosis based on MAS for the distributed fish diseases, which describes the task allocation process concretely. Experiments proved that the system not only overcomes the limitations of single expert in the field, can also be cross-regional collaborative diagnosis. It improves the efficiency of the distribution of tasks and increases the accuracy of the results of fish disease diagnosis.
在分析和总结现有分布式鱼病诊断专家系统特点的基础上,提出了基于mas的分布式鱼病诊断专家系统的体系结构。这就充分发挥了基于mas的分布式计算的优势,并且可以灵活地构建。针对分布式专家系统的异构知识来源,采用分布式计算代理实现鱼病的分布式诊断和管理,减轻了集中处理的负担。同时,采用改进的契约网模型,设计了基于MAS的分布式鱼病协同诊断任务分配模型,并对任务分配过程进行了具体描述。实验证明,该系统不仅克服了单个专家在该领域的局限性,还可以进行跨区域的协同诊断。提高了任务分配的效率,提高了鱼病诊断结果的准确性。
{"title":"Building of an Architecture for the Fish Disease Diagnosis Expert System Based on Multi-agent","authors":"Dongping Ma, Ming Chen","doi":"10.1109/GCIS.2012.21","DOIUrl":"https://doi.org/10.1109/GCIS.2012.21","url":null,"abstract":"The paper presents the architecture of the MAS-based distributed fish disease diagnosis expert system on the basis of the analysis and summary on the characteristics of the existing distributed fish disease diagnosis expert system. That gives full play to the MAS-based distributed computing and to build flexibly. For heterogeneous knowledge sources of the distributed expert system, use the distributed computing agent to achieve the distributed diagnosis and management of fish diseases, and reduce the burden of the centralized processing. Meanwhile, it uses the modified contract net model, and designs a task allocation model of the collaborative diagnosis based on MAS for the distributed fish diseases, which describes the task allocation process concretely. Experiments proved that the system not only overcomes the limitations of single expert in the field, can also be cross-regional collaborative diagnosis. It improves the efficiency of the distribution of tasks and increases the accuracy of the results of fish disease diagnosis.","PeriodicalId":337629,"journal":{"name":"2012 Third Global Congress on Intelligent Systems","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127461845","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}
引用次数: 3
Image Representation of Acoustic Features for the Automatic Recognition of Underwater Noise Targets 水下噪声目标自动识别中声学特征的图像表示
Pub Date : 2012-11-06 DOI: 10.1109/GCIS.2012.49
Zeng Xiangyang, He Jiaruo, Ma Lixiang
Feature extraction is one of the most important technologies for underwater targets recognition. In the past few decades, a number of methods for feature extraction have been developed, and under certain conditions they can achieve high recognition rate. However, for complex environments, it is still difficult to improve the robustness of the recognition system, and new robust feature extraction methods are expectant. This paper presents a novel method of feature extraction based on the spectrogram of acoustic signals. The image moment features and image texture features are extracted and the algorithms of LDA, PCA and their combinations are used to select the effective features respectively. The experimental results show that, these selected image features can achieve high recognition rate.
特征提取是水下目标识别的重要技术之一。在过去的几十年里,人们发展了许多特征提取的方法,在一定的条件下,它们可以达到很高的识别率。然而,对于复杂的环境,仍然难以提高识别系统的鲁棒性,需要新的鲁棒性特征提取方法。提出了一种基于声信号谱图的特征提取方法。提取图像矩特征和图像纹理特征,分别采用LDA、PCA及其组合算法选择有效特征。实验结果表明,所选择的图像特征可以达到较高的识别率。
{"title":"Image Representation of Acoustic Features for the Automatic Recognition of Underwater Noise Targets","authors":"Zeng Xiangyang, He Jiaruo, Ma Lixiang","doi":"10.1109/GCIS.2012.49","DOIUrl":"https://doi.org/10.1109/GCIS.2012.49","url":null,"abstract":"Feature extraction is one of the most important technologies for underwater targets recognition. In the past few decades, a number of methods for feature extraction have been developed, and under certain conditions they can achieve high recognition rate. However, for complex environments, it is still difficult to improve the robustness of the recognition system, and new robust feature extraction methods are expectant. This paper presents a novel method of feature extraction based on the spectrogram of acoustic signals. The image moment features and image texture features are extracted and the algorithms of LDA, PCA and their combinations are used to select the effective features respectively. The experimental results show that, these selected image features can achieve high recognition rate.","PeriodicalId":337629,"journal":{"name":"2012 Third Global Congress on Intelligent Systems","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131342571","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
Pulmonary Nodules 3D Detection on Serial CT Scans 连续CT扫描肺结节的三维检测
Pub Date : 2012-11-06 DOI: 10.1109/GCIS.2012.46
Suiyuan Wu, Junfeng Wang
This paper describes a Computer-Aided Diagnosis (CAD) system for automatic pulmonary nodules detection on serial CT scans based on shape features. The system recognizes nodules by 3D geometric information through the process of interpolation, segmentation, suspicious area searching and recognition. Firstly, the serial CT images are interpolated to equal scales in X, Y and Z dimensions, in order to recover the original 3D shape of nodules. Secondly, pretreatment is implemented to segment the lung parenchyma region. Thirdly, detect objects called regions of interest (ROIs) as potential nodules by threshold of gray level and region growing. Finally, distinguish ROIs to find real nodules using moment invariants. The experimental results from CT scans data sets demonstrate that the proposed method yields a good performance of nodule detection. The system recognizes all the nodules of the data sets with a reasonable false positive (FP) 1/serial scans.
本文介绍了一种基于形状特征的连续CT扫描肺结节自动检测计算机辅助诊断(CAD)系统。该系统通过插值、分割、可疑区域搜索和识别等过程,利用三维几何信息对结节进行识别。首先,对连续CT图像在X、Y、Z维度上进行等比插值,恢复结节的原始三维形状;其次,对肺实质区域进行预处理;第三,通过灰度阈值和区域增长,将感兴趣区域(roi)作为潜在结节进行检测。最后,利用矩不变量区分roi以找到真实结节。CT扫描数据集的实验结果表明,该方法具有良好的结节检测性能。系统以合理的假阳性(FP) 1/串行扫描识别数据集的所有结节。
{"title":"Pulmonary Nodules 3D Detection on Serial CT Scans","authors":"Suiyuan Wu, Junfeng Wang","doi":"10.1109/GCIS.2012.46","DOIUrl":"https://doi.org/10.1109/GCIS.2012.46","url":null,"abstract":"This paper describes a Computer-Aided Diagnosis (CAD) system for automatic pulmonary nodules detection on serial CT scans based on shape features. The system recognizes nodules by 3D geometric information through the process of interpolation, segmentation, suspicious area searching and recognition. Firstly, the serial CT images are interpolated to equal scales in X, Y and Z dimensions, in order to recover the original 3D shape of nodules. Secondly, pretreatment is implemented to segment the lung parenchyma region. Thirdly, detect objects called regions of interest (ROIs) as potential nodules by threshold of gray level and region growing. Finally, distinguish ROIs to find real nodules using moment invariants. The experimental results from CT scans data sets demonstrate that the proposed method yields a good performance of nodule detection. The system recognizes all the nodules of the data sets with a reasonable false positive (FP) 1/serial scans.","PeriodicalId":337629,"journal":{"name":"2012 Third Global Congress on Intelligent Systems","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134207349","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}
引用次数: 19
Supervisory Control of PDESs Based on Bisimulation Relations 基于双仿真关系的pdp监控
Pub Date : 2012-11-06 DOI: 10.1109/GCIS.2012.53
Hongyan Xing, Kaisheng Huang, Chungui Zhang, Yuqing Tu
In this paper, we study supervisory control of a nondeterministic systems -- probabilistic discrete event systems. As language equivalence is not an adequate notion of behavioral equivalence for some nondeterministic systems, here we use the finest known notion of equivalence: bisimulation equivalence. The design of a supervisor such that the controlled system is bisimilar to the specification is studied and a model theorem obtained, in which it shows that a supervisor exists if and only if it exists over a certain finite state space. Also, notions about state-controllability are introduced as part of a necessary and sufficient condition for the existence of the supervisor.
本文研究了一类不确定性系统——概率离散事件系统的监督控制问题。对于一些不确定的系统,语言等价并不是行为等价的适当概念,因此我们在这里使用已知的最好的等价概念:双模拟等价。研究了被控系统与规范双相似的监督器的设计,得到了一个模型定理,证明了监督器存在当且仅当存在于某一有限状态空间上。同时,引入了状态可控性的概念,作为监管者存在的充分必要条件。
{"title":"Supervisory Control of PDESs Based on Bisimulation Relations","authors":"Hongyan Xing, Kaisheng Huang, Chungui Zhang, Yuqing Tu","doi":"10.1109/GCIS.2012.53","DOIUrl":"https://doi.org/10.1109/GCIS.2012.53","url":null,"abstract":"In this paper, we study supervisory control of a nondeterministic systems -- probabilistic discrete event systems. As language equivalence is not an adequate notion of behavioral equivalence for some nondeterministic systems, here we use the finest known notion of equivalence: bisimulation equivalence. The design of a supervisor such that the controlled system is bisimilar to the specification is studied and a model theorem obtained, in which it shows that a supervisor exists if and only if it exists over a certain finite state space. Also, notions about state-controllability are introduced as part of a necessary and sufficient condition for the existence of the supervisor.","PeriodicalId":337629,"journal":{"name":"2012 Third Global Congress on Intelligent Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132954753","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
Temperature Prediction Based on Different Meteorological Series 基于不同气象序列的温度预测
Pub Date : 2012-11-06 DOI: 10.1109/GCIS.2012.103
J. L. Vásquez, C. Travieso, T. S. Perez, J. B. Alonso, J. Briceño
In this work, a temperature predictor has been designed and implemented based on different series of meteorological data. The prediction is built by an artificial neural network multilayer perceptron, using 5 samples as window size of meteorological data. Besides, the floating point algorithm was evaluated, reaching a mean square error of 0.35, meaning a variation of 0.28 Celsius degrees versus the real temperature. Different approaches will be applied in order to show our best proposal.
本文设计并实现了一个基于不同系列气象数据的温度预报系统。利用人工神经网络多层感知器,以5个样本作为气象数据的窗口大小进行预测。此外,对浮点算法进行了评估,其均方误差为0.35,与实际温度相差0.28摄氏度。为了展示我们的最佳方案,我们将采用不同的方法。
{"title":"Temperature Prediction Based on Different Meteorological Series","authors":"J. L. Vásquez, C. Travieso, T. S. Perez, J. B. Alonso, J. Briceño","doi":"10.1109/GCIS.2012.103","DOIUrl":"https://doi.org/10.1109/GCIS.2012.103","url":null,"abstract":"In this work, a temperature predictor has been designed and implemented based on different series of meteorological data. The prediction is built by an artificial neural network multilayer perceptron, using 5 samples as window size of meteorological data. Besides, the floating point algorithm was evaluated, reaching a mean square error of 0.35, meaning a variation of 0.28 Celsius degrees versus the real temperature. Different approaches will be applied in order to show our best proposal.","PeriodicalId":337629,"journal":{"name":"2012 Third Global Congress on Intelligent Systems","volume":"23 5","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"113975717","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
期刊
2012 Third Global Congress on Intelligent Systems
全部 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