Estimation of base level changes in geological records is an important topic for petroleum geologists.Taking the Paleocene Upper Lingfeng Member of Lishui Sag as an example,this paper conducted a base level reconstruc...Estimation of base level changes in geological records is an important topic for petroleum geologists.Taking the Paleocene Upper Lingfeng Member of Lishui Sag as an example,this paper conducted a base level reconstruction based on Basin Filling Modelling(BFM).The reconstruction was processed on the ground of a previously interpreted seismic stratigraphic framework with several assumptions and simplification.The BFM is implemented with a nonlinear diffusion equation solver written in R coding that excels in shallow marine stratigraphic simulation.The modeled results fit the original stratigraphy very well.The BFM is a powerful tool for reconstructing the base level,and is an effective way to check the reasonableness of previous interpretations.Although simulation solutions may not be unique,the BFM still provides us a chance to gain some insights into the mechanism and dynamic details of the stratigraphy of sedimentary basins.展开更多
Stiffened structures have great potential for improvingmechanical performance,and the study of their stability is of great interest.In this paper,the optimization of the critical buckling load factor for curved grid s...Stiffened structures have great potential for improvingmechanical performance,and the study of their stability is of great interest.In this paper,the optimization of the critical buckling load factor for curved grid stiffeners is solved by using the level set based density method,where the shape and cross section(including thickness and width)of the stiffeners can be optimized simultaneously.The grid stiffeners are a combination ofmany single stiffenerswhich are projected by the corresponding level set functions.The thickness and width of each stiffener are designed to be independent variables in the projection applied to each level set function.Besides,the path of each single stiffener is described by the zero iso-contour of the level set function.All the single stiffeners are combined together by using the p-norm method to obtain the stiffener grid.The proposed method is validated by several numerical examples to optimize the critical buckling load factor.展开更多
Previous researches had emphasized tectonic impacts on the fluvial system at the tectonically active areas,while the effects of lithology and local base level change have received relatively rare attention.Here we inv...Previous researches had emphasized tectonic impacts on the fluvial system at the tectonically active areas,while the effects of lithology and local base level change have received relatively rare attention.Here we investigated fluvial landforms at different spatial scales,focusing on knickpoints and channel network reorganization from an area affected by the Haiyuan Fault in the northeastern Tibetan Plateau.The geomorphic indices,i.e.,drainage pattern andχanomalies,were calculated and investigated.The results show that two regional radial drainages formed around the Laohu and Hasi Mountains.Within the interior of the radial drainage,tributaries from the southeast side of the Laohu Mountain experienced near 180°direction change.We interpret this as the gradual drainage capture originating from the height difference(~190 m)of the local base level between the two catchments.Some tributaries from the Hasi Mountain show alternating gorges and broad valleys controlled by lithology.Besides,tectonic uplift and the lowering of base level(from the incision of the Yellow River)triggered an autogenic positivefeedback transition from parallel to dendritic drainage patterns.These observations suggest that base level change and lithology play a crucial role in landscape evolution,even in a tectonically active region.展开更多
The base level during the deposition of Jurassic in the Qiangtang Basin shows a complete cycle from rising to falling. The base level change is closely connected with tectonic evolution of the basin,especially connect...The base level during the deposition of Jurassic in the Qiangtang Basin shows a complete cycle from rising to falling. The base level change is closely connected with tectonic evolution of the basin,especially connected with Bangonghu-Nujiang ocean evolution process in the formation and evolution of the basin. It is also affected by climate. The Jurassic strata correspond to a long-term base level cycle sequence. The sequence is in fact a non-complete symmetrical cycle,consisting of rising hemicycle and falling hemicycle. It can be divided into 6 intermediate-term base level cycle sequences,including 2 carbonate sequences,3 mixture sedimentary sequences of carbonate and clastic rocks and one clastic sedimentary sequence. Depositional filling characteristics during base level change show that Bangonghu-Nujiang ocean spreads in Toarcian-Bajocian ages,and is at the height of spreading of Bangonghu-Nujiang ocean in Bathonian-Oxfordian ages. In that process,sea area became smaller because of the dry climate. Eventually,marine depositional filling is ended with the subduction and collision of Bangonghu-Nujiang ocean.展开更多
Knowledge-Based Engineering （KBE） is introduced into the ship structural design in this paper. From the implementation of KBE, the design solutions for both Rules Design Method （RDM） and Interpolation Design Meth...Knowledge-Based Engineering （KBE） is introduced into the ship structural design in this paper. From the implementation of KBE, the design solutions for both Rules Design Method （RDM） and Interpolation Design Method （IDM） are generated. The corresponding Finite Element （FE） models are generated. Topological design of the longitudinal structures is studied where the Gaussian Process （GP） is employed to build the surrogate model for FE analysis. Multi-objective optimization methods inspired by Pareto Front are used to reduce the design tank weight and outer surface area simultaneously. Additionally, an enhanced Level Set Method （LSM） which employs implicit algorithm is applied to the topological design of typical bracket plate which is used extensively in ship structures. Two different sets of boundary conditions are considered. The proposed methods show satisfactory efficiency and accuracy.展开更多
Base-level is a kind of surface which controls sedimentation and erosion. So, it can be concluded that it is base-level change that controls the formation and internal structure of a sequence. A single cycle of base-l...Base-level is a kind of surface which controls sedimentation and erosion. So, it can be concluded that it is base-level change that controls the formation and internal structure of a sequence. A single cycle of base-level change can generate four sets of different stacking patterns. They are two sets of aggradation, one progradation and one retrogradation, which affects the features of the internal structure of a sequence. Lishu fault subsidence of Songliao basin is a typical half-graben lacustrine basin. Comprehensive base-level change analysis indicates that six base-level cycles and their related six sequences can be recognized between T 4 and T 5 seismic reflection surface. The contemporaneous fault is the main controlling factor of the fault lacustrine basin. There are obvious differences exist in the composition of sedimentary systems and all systems tracts between its steep slope (the side that basin control fault existed) and flat slope. Except highstand systems tract is composed of fan delta-lacustrine system, lowstand systems tract, transgressive systems tract and regressive systems tract are all made up of fan delta-underwater fan-lacustrine sedimentary systems in the side of steep slope.展开更多
In this paper, we present a malicious node detection scheme using confidence-level evaluation in a grid-based wireless sensor network. The sensor field is divided into square grids, where sensor nodes in each grid for...In this paper, we present a malicious node detection scheme using confidence-level evaluation in a grid-based wireless sensor network. The sensor field is divided into square grids, where sensor nodes in each grid form a cluster with a cluster head. Each cluster head maintains the confidence levels of its member nodes based on their readings and reflects them in decision-making. Two thresholds are used to distinguish between false alarms due to malicious nodes and events. In addition, the center of an event region is estimated, if necessary, to enhance the event and malicious node detection accuracy. Experimental results show that the scheme can achieve high malicious node detection accuracy without sacrificing normal sensor nodes.展开更多
Four kinds of Au nanorods（NRs）with different aspect ratios are designed to adjust the relationship between resonance energy level of longitudinal（L）and transverse（T）modes.During the femto-second Z-scan experimen...Four kinds of Au nanorods（NRs）with different aspect ratios are designed to adjust the relationship between resonance energy level of longitudinal（L）and transverse（T）modes.During the femto-second Z-scan experiments,huge saturable absorption phenomena are observed while the energy level T is located between one to two times of the energylevel L.This means that the energy may transfer between longitudinal and transverse energylevels in the same and/or different Au NRs.It effectively depresses the production of revised saturated absorption and increases the saturable absorption efficiency.This method is significant for the preparation of high-efficiency saturable absorption devices.展开更多
Building national human rights education and train- ing bases is part of China＇s human rights development,which shows the strong will of the Chinese government for promoting human fights and strengthening hu- man rig...Building national human rights education and train- ing bases is part of China＇s human rights development,which shows the strong will of the Chinese government for promoting human fights and strengthening hu- man rights protection. Such an action is not only a practical measure for implementing international human fights action plans, but also a practice of the Chinese government in re- specting and implementing relevant international obligations set by the United Nations.展开更多
The gravity field and steady-state ocean circulation explorer (GOCE) satellite mission has provided numerous Global Geopotential Models (GGMs) with different processing methodologies and model accuracies. In the curre...The gravity field and steady-state ocean circulation explorer (GOCE) satellite mission has provided numerous Global Geopotential Models (GGMs) with different processing methodologies and model accuracies. In the current contribution, the latest releases of GOCE-based GGMs are evaluated on the regional scale using the available terrestrial GPS/Levelling and gravity data collected over Egypt. To overcome the spectral inconsistency between the GOCE-based GGMs and the ground-based data, the spectral enhancement method (SEM) is applied. Five of GOCE-based GGMs have been used, namely GOSG01S, IGGT_R1, IfE_GOCE05s_ GO_CONS_GCF_2_SPW_R5 (SPW_R5 in the following) and NULP-02. The evaluation process of GOCE-based GGMs with the available ground data over Egypt considering the SEM method shows remarkable improvements obtained from the SPW_R5 model. The model provides lower differences of the standard deviations with respect to the EGM2008 and the other applied geopotential gravity models as well as the applied ground-based gravity and GPS/Levelling data. The findings regarding the ground-based data show obvious reductions of about 15.16% and 32.22% achieved by the GOCE-based model in term of standard deviations differences of gravity anomalies and geoid heights, respectively. Therefore, the SPW_R5 model is recommended to be applied as a reference model for compensating the long-to-short wavelength (up to spherical harmonics degree/order 280) components when modelling the gravimetric geoid over Egypt.展开更多
A novel method which integrates the topological flexibility of the level-set approach and the simplicity of point-sampled surfaces is proposed. The grid structure resulted from the level-set approach not only offers a...A novel method which integrates the topological flexibility of the level-set approach and the simplicity of point-sampled surfaces is proposed. The grid structure resulted from the level-set approach not only offers a wide range of powerful surface editing techniques for the point set surface editing, but also facilitates the topological change with ease. With the aid of point-based resampling, the method updates the surface shape of the point-based geometry quickly without worrying about point connectivity at all. The point set surface can also change its topology properly whenever a collision with other parts of itself is detected. The experiment demonstrates their effectiveness on several scanned objects and scan-converted models. Four examples of surface editing operations： smoothing, tapering, deforming, and Boolean operations, are presented.展开更多
This paper studies the linkage problem between the result of high-level synthesis and back-end technology, presents a method of high-level technology mapping based on knowl edge, and studies deeply all of its importan...This paper studies the linkage problem between the result of high-level synthesis and back-end technology, presents a method of high-level technology mapping based on knowl edge, and studies deeply all of its important links such as knowledge representation, knowledge utility and knowledge acquisition. It includes: (1) present a kind of expanded production about knowledge of circuit structure; (2) present a VHDL-based method to acquire knowledge of tech nology mapping; (3) provide solution control strategy and algorithm of knowledge utility; (4)present a half-automatic maintenance method, which can find redundance and contradiction of knowledge base; (5) present a practical method to embed the algorithm into knowledge system to decrease complexity of knowledge base. A system has been developed and linked with three kinds of technologies, so verified the work of this paper.展开更多
The Global Geopotential Models (GGMs) of GOCE (Gravity Recovery and steady- state Ocean Circulation Explorer) differ globally as well as regionally in their accuracy and resolution based on the maximum degree and orde...The Global Geopotential Models (GGMs) of GOCE (Gravity Recovery and steady- state Ocean Circulation Explorer) differ globally as well as regionally in their accuracy and resolution based on the maximum degree and order (d/o) of the fully normalized spherical harmonic (SH) coefficients, which express each GGM. The main idea of this study is to compare the free-air gravity anomalies and quasi geoid heights determined from several recent GOCE-based GGMs with the corresponding ones from the Earth Gravitational Model 2008 (EGM2008) over Egypt on the one hand and with ground-based measurements on the other hand. The results regarding to the comparison of GOCE-based GGMs with terrestrial gravity and GPS/levelling data provide better improvement with respect to EGM2008. The 4th release GOCE-based GGM developed with the use of space-wise solution strategy (SPW_R4) approximates the gravity field well over the Egyptian region. The SPW_R4 model is accordingly suggested as a reference model for recovering the long wavelength (up to SH d/o 200) components of quasi geoid heights when modelling the gravimetric quasi-geoid over the Egypt. Finally, three types of transformation models: Four-, Five- and Seven-parameter transformations have been applied to reduce the data biases and to provide a better fitting of quasi geoid heights obtained from the studied GOCE-based GGMs to those from GPS/levelling data. These models reveal that the standard deviation of vertical datum over Egypt is at the level of about 32 cm.展开更多
基于模型诊断(MBD)方法在不同的环境中有越来越多的用途,包括软件故障定位、电子表格的调试、Web服务和硬件设计,以及生物系统的分析等.受这些不同用途的启发,近年来MBD算法改进成效显著.然而,对体系庞大、结构复杂的系统,需要对现有方...基于模型诊断(MBD)方法在不同的环境中有越来越多的用途,包括软件故障定位、电子表格的调试、Web服务和硬件设计,以及生物系统的分析等.受这些不同用途的启发,近年来MBD算法改进成效显著.然而,对体系庞大、结构复杂的系统,需要对现有方法进一步改进.由于求解诊断解在计算上具有挑战性,因此相继提出了一些通过压缩模型的MBD算法来提高诊断效率,如基于统治的多观测压缩模型(dominated-based compacted model with multiple observations,D-CMMO)算法.对于给定多个观测值且注入1个以上错误需要大量时间的诊断问题,提出了一个新的诊断模型CCM(cardinality-constrained compacted model)来解决.基于基数约束的压缩模型算法使用2种方法对求解过程进行优化:首先,利用系统观测的故障输出和故障组件数量之间的约束关系来限制目标解的范围;其次,通过对假设集采用单次入队方法,进而有效提升MaxSAT(maximum satisfiability)求解器的性能.此外,在ISCAS85和ITC99基准测试用例上的实验结果表明,与目前最新的MBD求解方法D-CMMO相比,上述2种优化方法有效缩小了MBD问题的求解范围,降低MaxSAT求解器搜索目标解的难度,进而能在更短的时间内返回一个诊断解.在平均状况下,CCM方法相比D-CMMO方法求解效率分别提升64.5%和92.8%.展开更多
基金the Initial Fund for Young Scholars of Qingdao University of Science and Technology and the National Natural Science Foundation of China(No.51804325)。
文摘Estimation of base level changes in geological records is an important topic for petroleum geologists.Taking the Paleocene Upper Lingfeng Member of Lishui Sag as an example,this paper conducted a base level reconstruction based on Basin Filling Modelling(BFM).The reconstruction was processed on the ground of a previously interpreted seismic stratigraphic framework with several assumptions and simplification.The BFM is implemented with a nonlinear diffusion equation solver written in R coding that excels in shallow marine stratigraphic simulation.The modeled results fit the original stratigraphy very well.The BFM is a powerful tool for reconstructing the base level,and is an effective way to check the reasonableness of previous interpretations.Although simulation solutions may not be unique,the BFM still provides us a chance to gain some insights into the mechanism and dynamic details of the stratigraphy of sedimentary basins.
基金supported by the National Natural Science Foundation of China(Grant Nos.51975227 and 12272144).
文摘Stiffened structures have great potential for improvingmechanical performance,and the study of their stability is of great interest.In this paper,the optimization of the critical buckling load factor for curved grid stiffeners is solved by using the level set based density method,where the shape and cross section(including thickness and width)of the stiffeners can be optimized simultaneously.The grid stiffeners are a combination ofmany single stiffenerswhich are projected by the corresponding level set functions.The thickness and width of each stiffener are designed to be independent variables in the projection applied to each level set function.Besides,the path of each single stiffener is described by the zero iso-contour of the level set function.All the single stiffeners are combined together by using the p-norm method to obtain the stiffener grid.The proposed method is validated by several numerical examples to optimize the critical buckling load factor.
基金supported by the National Natural Science Foundation of China(Grant Nos.41971005,41522101)the Second Tibetan Plateau Scientific Expedition Program(Grant No.2019QZKK0205)the National Key Research and Development Program(Grant No.2016YFA0600500)。
文摘Previous researches had emphasized tectonic impacts on the fluvial system at the tectonically active areas,while the effects of lithology and local base level change have received relatively rare attention.Here we investigated fluvial landforms at different spatial scales,focusing on knickpoints and channel network reorganization from an area affected by the Haiyuan Fault in the northeastern Tibetan Plateau.The geomorphic indices,i.e.,drainage pattern andχanomalies,were calculated and investigated.The results show that two regional radial drainages formed around the Laohu and Hasi Mountains.Within the interior of the radial drainage,tributaries from the southeast side of the Laohu Mountain experienced near 180°direction change.We interpret this as the gradual drainage capture originating from the height difference(~190 m)of the local base level between the two catchments.Some tributaries from the Hasi Mountain show alternating gorges and broad valleys controlled by lithology.Besides,tectonic uplift and the lowering of base level(from the incision of the Yellow River)triggered an autogenic positivefeedback transition from parallel to dendritic drainage patterns.These observations suggest that base level change and lithology play a crucial role in landscape evolution,even in a tectonically active region.
基金Supported by the National Natural Science Foundation of China (Grant Nos. 40602013, 40572078)Doctoral Foundation of Ministry of Education of China (Grant No. 20060489002)
文摘The base level during the deposition of Jurassic in the Qiangtang Basin shows a complete cycle from rising to falling. The base level change is closely connected with tectonic evolution of the basin,especially connected with Bangonghu-Nujiang ocean evolution process in the formation and evolution of the basin. It is also affected by climate. The Jurassic strata correspond to a long-term base level cycle sequence. The sequence is in fact a non-complete symmetrical cycle,consisting of rising hemicycle and falling hemicycle. It can be divided into 6 intermediate-term base level cycle sequences,including 2 carbonate sequences,3 mixture sedimentary sequences of carbonate and clastic rocks and one clastic sedimentary sequence. Depositional filling characteristics during base level change show that Bangonghu-Nujiang ocean spreads in Toarcian-Bajocian ages,and is at the height of spreading of Bangonghu-Nujiang ocean in Bathonian-Oxfordian ages. In that process,sea area became smaller because of the dry climate. Eventually,marine depositional filling is ended with the subduction and collision of Bangonghu-Nujiang ocean.
基金financially supported by the Project of Ministry of Education and Finance of China(Grant Nos.200512 and 201335)the Project of the State Key Laboratory of Ocean Engineering,Shanghai Jiao Tong University(Grant No.GKZD010053-10)
文摘Knowledge-Based Engineering （KBE） is introduced into the ship structural design in this paper. From the implementation of KBE, the design solutions for both Rules Design Method （RDM） and Interpolation Design Method （IDM） are generated. The corresponding Finite Element （FE） models are generated. Topological design of the longitudinal structures is studied where the Gaussian Process （GP） is employed to build the surrogate model for FE analysis. Multi-objective optimization methods inspired by Pareto Front are used to reduce the design tank weight and outer surface area simultaneously. Additionally, an enhanced Level Set Method （LSM） which employs implicit algorithm is applied to the topological design of typical bracket plate which is used extensively in ship structures. Two different sets of boundary conditions are considered. The proposed methods show satisfactory efficiency and accuracy.
文摘Base-level is a kind of surface which controls sedimentation and erosion. So, it can be concluded that it is base-level change that controls the formation and internal structure of a sequence. A single cycle of base-level change can generate four sets of different stacking patterns. They are two sets of aggradation, one progradation and one retrogradation, which affects the features of the internal structure of a sequence. Lishu fault subsidence of Songliao basin is a typical half-graben lacustrine basin. Comprehensive base-level change analysis indicates that six base-level cycles and their related six sequences can be recognized between T 4 and T 5 seismic reflection surface. The contemporaneous fault is the main controlling factor of the fault lacustrine basin. There are obvious differences exist in the composition of sedimentary systems and all systems tracts between its steep slope (the side that basin control fault existed) and flat slope. Except highstand systems tract is composed of fan delta-lacustrine system, lowstand systems tract, transgressive systems tract and regressive systems tract are all made up of fan delta-underwater fan-lacustrine sedimentary systems in the side of steep slope.
文摘In this paper, we present a malicious node detection scheme using confidence-level evaluation in a grid-based wireless sensor network. The sensor field is divided into square grids, where sensor nodes in each grid form a cluster with a cluster head. Each cluster head maintains the confidence levels of its member nodes based on their readings and reflects them in decision-making. Two thresholds are used to distinguish between false alarms due to malicious nodes and events. In addition, the center of an event region is estimated, if necessary, to enhance the event and malicious node detection accuracy. Experimental results show that the scheme can achieve high malicious node detection accuracy without sacrificing normal sensor nodes.
基金Supported by the National Natural Science Foundation of China under Grant Nos 11404410 and 11504105the Hunan Provincial Natural Science Foundation under Grant No 2016JJ3140
文摘Four kinds of Au nanorods（NRs）with different aspect ratios are designed to adjust the relationship between resonance energy level of longitudinal（L）and transverse（T）modes.During the femto-second Z-scan experiments,huge saturable absorption phenomena are observed while the energy level T is located between one to two times of the energylevel L.This means that the energy may transfer between longitudinal and transverse energylevels in the same and/or different Au NRs.It effectively depresses the production of revised saturated absorption and increases the saturable absorption efficiency.This method is significant for the preparation of high-efficiency saturable absorption devices.
文摘Building national human rights education and train- ing bases is part of China＇s human rights development,which shows the strong will of the Chinese government for promoting human fights and strengthening hu- man rights protection. Such an action is not only a practical measure for implementing international human fights action plans, but also a practice of the Chinese government in re- specting and implementing relevant international obligations set by the United Nations.
文摘The gravity field and steady-state ocean circulation explorer (GOCE) satellite mission has provided numerous Global Geopotential Models (GGMs) with different processing methodologies and model accuracies. In the current contribution, the latest releases of GOCE-based GGMs are evaluated on the regional scale using the available terrestrial GPS/Levelling and gravity data collected over Egypt. To overcome the spectral inconsistency between the GOCE-based GGMs and the ground-based data, the spectral enhancement method (SEM) is applied. Five of GOCE-based GGMs have been used, namely GOSG01S, IGGT_R1, IfE_GOCE05s_ GO_CONS_GCF_2_SPW_R5 (SPW_R5 in the following) and NULP-02. The evaluation process of GOCE-based GGMs with the available ground data over Egypt considering the SEM method shows remarkable improvements obtained from the SPW_R5 model. The model provides lower differences of the standard deviations with respect to the EGM2008 and the other applied geopotential gravity models as well as the applied ground-based gravity and GPS/Levelling data. The findings regarding the ground-based data show obvious reductions of about 15.16% and 32.22% achieved by the GOCE-based model in term of standard deviations differences of gravity anomalies and geoid heights, respectively. Therefore, the SPW_R5 model is recommended to be applied as a reference model for compensating the long-to-short wavelength (up to spherical harmonics degree/order 280) components when modelling the gravimetric geoid over Egypt.
文摘A novel method which integrates the topological flexibility of the level-set approach and the simplicity of point-sampled surfaces is proposed. The grid structure resulted from the level-set approach not only offers a wide range of powerful surface editing techniques for the point set surface editing, but also facilitates the topological change with ease. With the aid of point-based resampling, the method updates the surface shape of the point-based geometry quickly without worrying about point connectivity at all. The point set surface can also change its topology properly whenever a collision with other parts of itself is detected. The experiment demonstrates their effectiveness on several scanned objects and scan-converted models. Four examples of surface editing operations： smoothing, tapering, deforming, and Boolean operations, are presented.
文摘This paper studies the linkage problem between the result of high-level synthesis and back-end technology, presents a method of high-level technology mapping based on knowl edge, and studies deeply all of its important links such as knowledge representation, knowledge utility and knowledge acquisition. It includes: (1) present a kind of expanded production about knowledge of circuit structure; (2) present a VHDL-based method to acquire knowledge of tech nology mapping; (3) provide solution control strategy and algorithm of knowledge utility; (4)present a half-automatic maintenance method, which can find redundance and contradiction of knowledge base; (5) present a practical method to embed the algorithm into knowledge system to decrease complexity of knowledge base. A system has been developed and linked with three kinds of technologies, so verified the work of this paper.
文摘The Global Geopotential Models (GGMs) of GOCE (Gravity Recovery and steady- state Ocean Circulation Explorer) differ globally as well as regionally in their accuracy and resolution based on the maximum degree and order (d/o) of the fully normalized spherical harmonic (SH) coefficients, which express each GGM. The main idea of this study is to compare the free-air gravity anomalies and quasi geoid heights determined from several recent GOCE-based GGMs with the corresponding ones from the Earth Gravitational Model 2008 (EGM2008) over Egypt on the one hand and with ground-based measurements on the other hand. The results regarding to the comparison of GOCE-based GGMs with terrestrial gravity and GPS/levelling data provide better improvement with respect to EGM2008. The 4th release GOCE-based GGM developed with the use of space-wise solution strategy (SPW_R4) approximates the gravity field well over the Egyptian region. The SPW_R4 model is accordingly suggested as a reference model for recovering the long wavelength (up to SH d/o 200) components of quasi geoid heights when modelling the gravimetric quasi-geoid over the Egypt. Finally, three types of transformation models: Four-, Five- and Seven-parameter transformations have been applied to reduce the data biases and to provide a better fitting of quasi geoid heights obtained from the studied GOCE-based GGMs to those from GPS/levelling data. These models reveal that the standard deviation of vertical datum over Egypt is at the level of about 32 cm.
文摘基于模型诊断(MBD)方法在不同的环境中有越来越多的用途,包括软件故障定位、电子表格的调试、Web服务和硬件设计,以及生物系统的分析等.受这些不同用途的启发,近年来MBD算法改进成效显著.然而,对体系庞大、结构复杂的系统,需要对现有方法进一步改进.由于求解诊断解在计算上具有挑战性,因此相继提出了一些通过压缩模型的MBD算法来提高诊断效率,如基于统治的多观测压缩模型(dominated-based compacted model with multiple observations,D-CMMO)算法.对于给定多个观测值且注入1个以上错误需要大量时间的诊断问题,提出了一个新的诊断模型CCM(cardinality-constrained compacted model)来解决.基于基数约束的压缩模型算法使用2种方法对求解过程进行优化:首先,利用系统观测的故障输出和故障组件数量之间的约束关系来限制目标解的范围;其次,通过对假设集采用单次入队方法,进而有效提升MaxSAT(maximum satisfiability)求解器的性能.此外,在ISCAS85和ITC99基准测试用例上的实验结果表明,与目前最新的MBD求解方法D-CMMO相比,上述2种优化方法有效缩小了MBD问题的求解范围,降低MaxSAT求解器搜索目标解的难度,进而能在更短的时间内返回一个诊断解.在平均状况下,CCM方法相比D-CMMO方法求解效率分别提升64.5%和92.8%.
