A multi-agent based transport system is modeled by timed automata model extended with clock variables. The correctness properties of safety and liveness of this model are verified by timed automata based UPPAAL. Agent...A multi-agent based transport system is modeled by timed automata model extended with clock variables. The correctness properties of safety and liveness of this model are verified by timed automata based UPPAAL. Agents have a degree of control on their own actions, have their own threads of control, and under some circumstances they are also able to take decisions. Therefore they are autonomous. The multi-agent system is modeled as a network of timed automata based agents supported by clock variables. The representation of agent requirements based on mathematics is helpful in precise and unambiguous specifications, thereby ensuring correctness. This formal representation of requirements provides a way for logical reasoning about the artifacts produced. We can be systematic and precise in assessing correctness by rigorously specifying the functional requirements.展开更多
Extraction of impervious surfaces is one of the necessary processes in urban change detection.This paper derived a unified conceptual model (UCM) from the vegetation-impervious surface-soil (VIS) model to make the ext...Extraction of impervious surfaces is one of the necessary processes in urban change detection.This paper derived a unified conceptual model (UCM) from the vegetation-impervious surface-soil (VIS) model to make the extraction more effective and accurate.UCM uses the decision tree algorithm with indices of spectrum and texture,etc.In this model,we found both dependent and independent indices for multi-source satellite imagery according to their similarity and dissimilarity.The purpose of the indices is to remove the other land-use and land-cover types (e.g.,vegetation and soil) from the imagery,and delineate the impervious surfaces as the result.UCM has the same steps conducted by decision tree algorithm.The Landsat-5 TM image (30 m) and the Satellite Probatoire d’Observation de la Terre (SPOT-4) image (20 m) from Chaoyang District (Beijing) in 2007 were used in this paper.The results show that the overall accuracy in Landsat-5 TM image is 88%,while 86.75% in SPOT-4 image.It is an appropriate method to meet the demand of urban change detection.展开更多
T-S模糊故障树是由一系列具有IF-THEN规则的T-S逻辑门构成的故障树,可以解决复杂系统可靠性分析中故障多态、故障机理不明确、底事件失效率难以精确得知的问题。目前该方法主要分析系统中的功能故障问题。实际中,复杂多态系统内部很多...T-S模糊故障树是由一系列具有IF-THEN规则的T-S逻辑门构成的故障树,可以解决复杂系统可靠性分析中故障多态、故障机理不明确、底事件失效率难以精确得知的问题。目前该方法主要分析系统中的功能故障问题。实际中,复杂多态系统内部很多故障常常会造成性能降级,出现多性能状态,进而系统在不同的故障状态下具有不同的性能可靠性。通过对T-S模糊故障树所表示的系统赋予性能变量及故障多态下的不同性能值,利用统计学中的期望思想,提出一种分析系统故障多态下的性能可靠性方法,以及已知某一底事件或中间事件在故障状态下分析系统性能可靠性的方法。通过对目前大型飞机上常用的航空电子交互式以太网(Avionics full duplex switched ethernet,AFDX)进行分析建树,利用该方法求解系统在多故障状态下的性能可靠性,进行了实例分析。展开更多
文摘A multi-agent based transport system is modeled by timed automata model extended with clock variables. The correctness properties of safety and liveness of this model are verified by timed automata based UPPAAL. Agents have a degree of control on their own actions, have their own threads of control, and under some circumstances they are also able to take decisions. Therefore they are autonomous. The multi-agent system is modeled as a network of timed automata based agents supported by clock variables. The representation of agent requirements based on mathematics is helpful in precise and unambiguous specifications, thereby ensuring correctness. This formal representation of requirements provides a way for logical reasoning about the artifacts produced. We can be systematic and precise in assessing correctness by rigorously specifying the functional requirements.
基金supported by the National Natural Science Foundation of China (Grant No.40671127)the National Hi-Tech Research and Development Program of China ("863" Project) (Grant Nos.2006AA120101,2006AA120102)+1 种基金the National Key Technology Research and Development Program (Grant No.2008BAK49B04)the National China Next General Internet Program (Grant No.CNGI–09–01–07)
文摘Extraction of impervious surfaces is one of the necessary processes in urban change detection.This paper derived a unified conceptual model (UCM) from the vegetation-impervious surface-soil (VIS) model to make the extraction more effective and accurate.UCM uses the decision tree algorithm with indices of spectrum and texture,etc.In this model,we found both dependent and independent indices for multi-source satellite imagery according to their similarity and dissimilarity.The purpose of the indices is to remove the other land-use and land-cover types (e.g.,vegetation and soil) from the imagery,and delineate the impervious surfaces as the result.UCM has the same steps conducted by decision tree algorithm.The Landsat-5 TM image (30 m) and the Satellite Probatoire d’Observation de la Terre (SPOT-4) image (20 m) from Chaoyang District (Beijing) in 2007 were used in this paper.The results show that the overall accuracy in Landsat-5 TM image is 88%,while 86.75% in SPOT-4 image.It is an appropriate method to meet the demand of urban change detection.
文摘T-S模糊故障树是由一系列具有IF-THEN规则的T-S逻辑门构成的故障树,可以解决复杂系统可靠性分析中故障多态、故障机理不明确、底事件失效率难以精确得知的问题。目前该方法主要分析系统中的功能故障问题。实际中,复杂多态系统内部很多故障常常会造成性能降级,出现多性能状态,进而系统在不同的故障状态下具有不同的性能可靠性。通过对T-S模糊故障树所表示的系统赋予性能变量及故障多态下的不同性能值,利用统计学中的期望思想,提出一种分析系统故障多态下的性能可靠性方法,以及已知某一底事件或中间事件在故障状态下分析系统性能可靠性的方法。通过对目前大型飞机上常用的航空电子交互式以太网(Avionics full duplex switched ethernet,AFDX)进行分析建树,利用该方法求解系统在多故障状态下的性能可靠性,进行了实例分析。
