维普中文期刊产品整合服务
190篇 您的检索式:作者名="Shaoying"
    题名 作者 年代 出处 被引量
1The crustal structures of the central Longmenshan along and its margins as related to the seismotectonics of the 2008 Wenchuan Earthquake显示文摘In 2010,a 500-km-long wide-angle reflection/refraction seismic profile was completed,running northwest from the central Sichuan Basin.This profile orthogonally crosses the meizoseismal area of great Wenchuan earthquake of 12 May 2008,which occurred in the central part of the Longmenshan.The profile also passes through the northwestern Sichuan Plateau,along which a new deep seismic sounding observation system was set up that was much improved over previous datasets and enabled abundant observations to be recorded.Seismic wave phase records that reflect the structural characteristics of different tectonic blocks,especially the complicated phase features associated with the Wenchuan earthquake,were calculated and analyzed in detail.A 2D crustal P-wave velocity model for the orogenic belt in the central Longmenshan and its margins was determined,and crustal structure differences between the stable Sichuan Basin and the thickened northwestern Sichuan Plateau were characterized.Lithological variations within the upper and lower crust in the interior of the plateau,especially a great velocity decrease and plastic rheological properties associated with strong lithologic weakening in lower crust,were detected.From west to east in the lower crust beneath the orogenic belt lying between the Sichuan Basin and the northwestern Sichuan Plateau,a giant shovel-like upwelling is observed that dips gently in the lower part and at higher angles in the upper part;this is inferred to be related to the fault systems in the central Longmenshan.An upwelling in the upper-middle crust along the eastern margin of the orogenic belt is associated with steeply dipping thrusts that strongly uplift the upper crust and crystalline basement beneath a central fault system in the Longmenshan.The data,combined with an understanding of the regional tectonic stress field and previous geological results,enable a discussion of basin-and-range coupling,orogenic tectonics,the crustal fault system,and the seismogenic tectonic environment of the central Longmenshan along the eastern margin of the Qinghai-Tibet Plateau.JIA ShiXu LIU BaoJin XU ZhaoFan LIU Zhi FENG ShaoYing ZHANG JianShi LIN JieYan TIAN XiaoFeng LIU QiaoXia GUO WenBin 2014Science China Earth Sciences2014,57,4:26
2Variations of pore water sulfate gradients in sediments as indicator for underlying gas hydrate in Shenhu Area, the South China Sea显示文摘Shenhu Area is one of the most promising areas for gas hydrate exploration in the northern South China Sea (SCS). Pore water sulfate gradient, sulfate-methane interface (SMI) depth, and sulfate flux were analyzed at 53 sites in this area. SO42 gradient ranges between 0.33 and 4.43 mmol L-1 m-1 . SMI depths are from 7.7 to 87.9mbsf. Sulfate flux varies between 2.0 and 26.9 mmol m-2 yr-1 , with a mean of 11.7 mmol m-2 yr-1 . Correlation coefficient between SMI depth and methane flux for the 53 sites is 0.80, implying that methane flux regulates the rate of anaerobic methane oxidation (AMO), SMI depth, and sulfate flux. Twelve anomalous fields with high methane flux and steep sulfate gradients were recognized. Bottom simulating reflector (BSR) is distributed mainly in areas where SMI depth is less than 50 mbsf or places with sulfate flux larger than 3.5 mmol m-2 yr-1 . It is suggested that the Baiyun Sag and the Southern Uplift are potential areas for gas hydrate exploration.WU LuShan YANG ShengXiong LIANG JinQiang SU Xin FU ShaoYing SHA ZhiBin YANG Tao 2013Science China Earth Sciences2013,56,4:24
3The Dihedral Angle and Intersection Processes of a Conjugate Strike-Slip Fault System in the Tarim Basin, NW China显示文摘Recent studies, focused on dihedral angles and intersection processes, have increased understandings of conjugate fault mechanisms. We present new 3-D seismic data and microstructural core analysis in a case study of a large conjugate strike-slip fault system from the intracratonic Tarim Basin, NW China. Within our study area, 'X' type NE and NW trending faults occur within CambrianOrdovician carbonates. The dihedral angles of these conjugate faults have narrow ranges, 19° to 62° in the Cambrian and 26° to 51° in the Ordovician, and their modes are 42° and 44° respectively. These data are significantly different from the ~60° predicted by the Coulomb fracture criterion. It is concluded that:(1) The dihedral angles of the conjugate faults were not controlled by confining pressure, which was low and associated with shallow burial;(2) As dihedral angles were not controlled by pressure they can be used to determine the shortening direction during faulting;(3) Sequential slip may have played an important role in forming conjugate fault intersections;(4) The conjugate fault system of the Tarim basin initiated as rhombic joints; these subsequently developed into sequentially active 'X' type conjugate faults; followed by preferential development of the NW-trending faults; then reactivation of the NE trending faults. This intact rhombic conjugate fault system presents new insights into mechanisms of dihedral angle development, with particular relevance to intracratonic basins.WU Guanghui YUAN Yajuan HUANG Shaoying Thomas Matthew Vandyk XIAO Yang CAI Quan LUO Bingxu 2018Acta Geologica Sinica(English Edition)2018,92,1:19
4Diversity and high nitrogenase activity of endophytic diazotrophs isolated from Oryza rufipogon Griff.显示文摘Diversity and nitrogenase activity of endophytic diazotrophs colonized in the wild rice Oryza rufipogon Griff grown in Boluo, Huilai County in Guangdong Province and Lingshui County in Hainan Province were studied. Thirty-seven isolates obtained from Oryza rufipogon were identified as putative endophytic nitrogen-fixing bacteria by ARA (acetylene reduction assay) test and further confirmed by PCR amplification of nifH gene fragments. All obtained strains have ARA activity and the same sized nifH gene fragments. Above the similarity level of 80%, the obtained isolates were assigned as Group Ⅰ to Ⅷ by the clustering of IS-PCR fingerprints. The SDS-PAGE whole-cell protein patterns were similar to those of IS-PCR fingerprints. Components and contents of fatty acid methyl esters (FAMEs) were used to differentiate the representative strains (Ls13, Ls8, BL1, BL12, HL6, Ls4) from Group Ⅰ to Group Ⅵ. The six representative strains showed significant difference in contents and components of cellular fatty acid methyl ester. 16S rDNA sequencing analysis showed that strains of Group Ⅰ to Ⅶ were located in Enterobacteraceae (γ-proteobacteria). Strains of Group Ⅰ and Group II were closely related to Klebsiella sp.; Strain Ls8 of Group Ⅱ was a little far away from the genus of Pantoea (homology level 96% with Pantoea agglomerans), which may represent a new species or genus in Enterobacteraceae; Strains of Groups IV and V belonged to different Enterobacter sp.; Strain Ls4 and Ls 9 representing Group Ⅵ were close to Citrobacter amalonaticus with 98% sequence similarity; Strain Ls15 of Group Ⅶ showed 98% sequence identity with Pantoea sp.; Strains of Group Ⅷ were assigned to the genus Ideonella (β-proteobacteria). Based on the above results, endophytic diazotrophs isolated from O. rufipogon showed great diversity and some diazotrophs showed high nitrogenase activity with 42.52 μmol/mL·h C2H4. Inoculation to rice tests indicated that the isolated endophytic diazotrophs significantly promoted the rice growth.TAN ZhiYuan PENG GuiXiang XU PeiZhi AI ShaoYing TANG ShuanHu ZHANG GuoXia ZENG FengYun 2009Chinese Science Bulletin2009,54,16:14
5Gas Sources of Natural Gas Hydrates in the Shenhu Drilling Area, South China Sea: Geochemical Evidence and Geological Analysis显示文摘The Shenhu gas hydrate drilling area is located in the central Baiyun sag, Zhu Ⅱ depression, Pearl River Mouth basin, northern South China Sea. The gas compositions contained in the hydrate-bearing zones is dominated by methane with content up to 99.89% and 99.91%. The carbon isotope of the methane (δ13C1 ) are 56.7‰ and 60.9‰, and its hydrogen isotope (δD) are 199‰ and 180‰, respectively, indicating the methane from the microbial reduction of CO2 . Based on the data of measured seafloor temperature and geothermal gradient, the gas formed hydrate reservoirs are from depths 24-1699 m below the seafloor, and main gas-generation zone is present at the depth interval of 416-1165 m. Gas-bearing zones include the Hanjiang Formation, Yuehai Formation, Wanshan Formation and Quaternary sediments. We infer that the microbial gas migrated laterally or vertically along faults (especially interlayer faults), slump structures, small-scale diapiric structures, regional sand beds and sedimentary boundaries to the hydrate stability zone, and formed natural gas hydrates in the upper Yuehai Formation and lower Wanshan Formation, probably with contribution of a little thermogenic gas from the deep sedments during this process.ZHU Youhai HUANG Xia FU Shaoying SU Pibo 2013Acta Geologica Sinica(English Edition)2013,87,3:13
6Estimation of Turbulent Fluxes Using the Flux-Variance Method over an Alpine Meadow Surface in the Eastern Tibetan Plateau显示文摘流动变化类似关系和数量的垂直转移在表面的不同类型上展出不同,导致在估计用流动变化方法的狂暴的流动的数量之中的相对运输效率的不同 parameterization 途径。我们调查了在雨季期间在中间的水文学条件下面在夏天在东方西藏的高原在一块开、同类、扁平的草地上使用 eddycovariance 大小的这些问题。处于不稳定的条件,温度,水蒸汽,和 CO2 跟随了流动变化类似关系,但是没出现在精确一样的方法由于不同角色(活跃或被动) 这些数量。温度,水蒸汽和 CO2 的类似常数被发现分别地是 1.12, 1.19 和 1.17。热交通比水蒸汽和 CO2 更有效。基于估计的理智的热流动,到水蒸汽和 CO2 的热的相对运输效率的五个 parameterization 方法被检验估计潜伏的热和 CO2 流动。流动变化类似关系的本地决心的策略为潜伏的热和 CO2 流动的评价被推荐。这条途径对代表平均相对运输效率更好,并且对技术上更容易适用,与另外的更复杂的相比。WANG Shaoying ZHANG Yu LU Shihua LIU Heping SHANG Lunyu 2013Advances in Atmospheric Sciences2013,30,2:11
7Lithospheric structure and faulting characteristics of the Helan Mountains and Yinchuan Basin: Results of deep seismic reflection profiling显示文摘The Helan Mountains and Yinchuan Basin(HM-YB) are located at the northern end of the North-South tectonic belt,and form an intraplate tectonic deformation zone in the western margin of the North China Craton(NCC).The HM-YB has a complicated history of formation and evolution,and is tectonically active at the present day.It has played a dominant role in the complex geological structure and modern earthquake activities of the region.A 135-km-long deep seismic reflection profile across the HM-YB was acquired in early 2014,which provides detailed information of the lithospheric structure and faulting characteristics from near-surface to various depths in the region.The results show that the Moho gradually deepens from east to west in the depth range of 40-48 km along the profile.Significant differences are present in the crustal structure of different tectonic units,including in the distribution of seismic velocities,depths of intra-crustal discontinuities and undulation pattern of the Moho.The deep seismic reflection profile further reveals distinct structural characteristics on the opposite sides of the Helan Mountains.To the east,The Yellow River fault,the eastern piedmont fault of the Helan Mountains,as well as multiple buried faults within the Yinchuan Basin are all normal faults and still active since the Quaternary.These faults have controlled the Cenozoic sedimentation of the basin,and display a 'negative-flower' structure in the profile.To the west,the Bayanhaote fault and the western piedmont fault of the Helan Mountains are east-dipping thrust faults,which caused folding,thrusting,and structural deformation in the Mesozoic stratum of the Helan Mountains uplift zone.A deep-penetrating fault is identified in the western side of the Yinchuan Basin.It has a steep inclination cutting through the middle-lower crust and the Moho,and may be connected to the two groups of faults in the upper crust.This set of deep and shallow fault system consists of both strike-slip,thrust,and normal faults formed over different eras,and provides the key tectonic conditions for the basin-mountains coupling,crustal deformation and crust-mantle interactions in the region.The other important phenomenon revealed from the results of deep seismic reflection profiling is the presence of a strong upper mantle reflection(UMR) at a depth of 82-92 km beneath the HM-YB,indicating the existence of a rapid velocity variation or a velocity discontinuity in that depth range.This is possibly a sign of vertical structural inhomogeneity in the upper mantle of the region.The seismic results presented here provide new clues and observational bases for further study of the deep structure,structural differences among various blocks and the tectonic relationship between deep and shallow processes in the western NCC.LIU BaoJin FENG ShaoYing JI JiFa WANG ShuaiJun ZHANG JianShi YUAN HongKe YANG GuoJun 2017Science China Earth Sciences2017,60,3:11
8Geometry,kinematics and evolution of the Tongbai orogenic belt显示文摘The Tongbai orogenic belt (TOB) is composed of six tectonic units. From south to north these units are: Tongbai gneiss rise (TGR); Hongyihe-Luozhuang eclogite belt (HLE); Ma- opo-Hujiazhai igneous rock belt (MHI); Zhoujiawan flysch belt (ZFB); Yangzhuang greenschist belt (YGB); and Dongjiazhuang marble belt (DMB).The geometry and kinematic images of the TOB in- clude: the antiformal structures caused by a later uplift process, the top-to-north ductile shear struc- ture that related to a process that the ultrahigh pressure rocks are brought to surface, the top-to-south ductile shear thrust and the sinistrial shear structures related to a south-north direction compression, and the east-west direction fold structures in the upper crust. In the view of the multistage subduc- tion-collision orogenic belt, according to the characters of petrology and its distribution, geometry, kinematics and structural chronology in these tectonic units, tectonic evolution of the TOB can be divided into four stages: oceanic crust subduction during 400―300 Ma, continental collision during 270―250 Ma, continental deep subduction and uplift during 250―205 Ma and doming deformation during 200―185 Ma.HUANG Shaoying XU Bei WANG Changqiu ZHAN Sheng DENG Rongjing 2006Science China Earth Sciences2006,49,8:9
9Digitized Outcrop Geomodeling of Ramp Shoals and its Reservoirs: as an Example of Lower Triassic Feixianguan Formation of Eastern Sichuan Basin显示文摘Numerous hydrocarbon accumulations are found in ramp crest shoals worldwide and therefore this depositional setting has a high potential of being the hydrocarbon reservoir.In this paper,we combined digital outcrop geology and traditional geological mapping to build an outcrop-based geocellular model of the ramp-crest shoal complex of the Lower Triassic Feixianguan Formation in the Eastern Sichuan Basin.The outcrop model serves as an analogue for the subsurface reservoir of the Feixianguan Formation and illustrates the complexity of the lithofacies types,stratigraphic architecture,and reservoir heterogeneities at a scale below conventional subsurface data resolution.The studied ramp-crest shoal complex consists of thirteen types of lithofacies that can be grouped into three facies-groups corresponding to subtidal intraclastic shoal,sub-to inter-tidal oolitic shoal,and tidal flat depositional environments respectively.The stratigraphic architecture of the shoal complex shows mostly a strong progradation of the high energy facies associated with an overall decrease of accommodation space associated with relative sea level still stand.Two reservoir facies associations have been recognized.The first one consists of supratidal dolomudstone and upper intertidal partially dolomitized oolitic packstone with anhydrite or nodules.These facies were deposited above the high energy oolitic grainstones and occurs as thin-bedded and laterally continuous layers,characterized by high porosity and low permeability.The second reservoir facies association is composed of intertidal crystalline dolomite and subtidal intraclastic bindstone that occurs stratigraphically below the oolitic grainstones.These deposits consist of massive laterally discontinuously beds,and are characterized by high porosity and high permeability.Both types of reservoir facies tend to be stacked vertically and migrated laterally with the progradation of the shoal complex.The construction of the outcrop-based 3D geological model provide a description and quantification of the facies distribution within a robust stratigraphic framework and the style and amount of reservoir heterogeneities associated with a ramp-crest shoal complex reservoir such as the one found in Lower Triassic Feixianguan Formation and Cambrian Longwangmiao Formation in Sichuan Basin or other ramp-crest reservoir worldwide.QIAO Zhanfeng SHEN Anjiang ZHENG Jianfeng Xavier JANSON CHANG Shaoying WANG Xiaofang CHEN Yana LIAO Yisha 2017Acta Geologica Sinica(English Edition)2017,91,4:8
10High-resolution crustal structure of the Yinchuan basin revealed by deep seismic reflection profiling:implications for deep processes of basin显示文摘The Yinchuan basin, located on the western margin of the Ordos block, has the characteristics of an active continental rift. A NW-striking deep seismic reflection profile across the center of Yinchuan basin precisely revealed the fine structure of the crust. The images showed that the crust in the Yinchuan basin was characterized by vertical stratifications along a detachment located at a two-way travel time(TWT) of 8.0 s.The most outstanding feature of this seismic profile was the almost flat Mohorovicˇic′ discontinuity(Moho) and a high-reflection zone in the lower crust. This sub-horizontal Moho conflicts with the general assumption of an uplifted Moho under sedimentary basins and continental rifts, and may indicate the action of different processes at depth during the evolution of sedimentary basins or rifts.We present a possible interpretation of these deep processes and the sub-horizontal Moho. The high-reflection zone, which consists of sheets of high-density, mantlederived materials, may have compensated for crustal thinning in the Yinchuan basin, leading to the formation of a sub-horizontal Moho. These high-density materials may have been emplaced by underplating with mantlesourced magma.Xing fuHuang Shaoying Feng Rui Gao Wenhui Li 2016Earthquake Science2016,29,2:8
11Magnesium Acetate Used as an Effective Catalyst for Synthesizing Aliphatic Polycarbonates via Melt Transesterification Process显示文摘WANG Ziqing YANG Xiangui LIU Shaoying ZHANG Hua WANG Gongying 2016Chemical Research in Chinese Universities2016,32,3:7
12Physical design of target station and neutron instruments for China Spallation Neutron Source显示文摘The China Spallation Neutron Source(CSNS)is the first accelerator-based multidiscipline user facility to produce pulsed neutrons by tungsten target under collision of a pulsed proton beam with a beam power of 100 kW at a repetition rate of 25 Hz.In this paper,we focus on the physical design of CSNS target station and neutron instruments.Under optimized design,the flat tungsten target and the compact target-moderator-reflector coupling enhance effective cold and thermal neutron output from moderators.Three wing-type moderators supply four different characteristics of neutrons to 19 beamlines primarily for neutron scattering applications.Layout of neutron instruments are conceptually planned for total 20 beamlines,the configuration and specification have been determined for three day-one neutron instruments.All designs are optimized for the Phase I of 100 kW with a upgradable capacity to 500 kW.WANG FangWei LIANG TianJiao YIN Wen YU QuanZhi HE LunHua TAO JuZhou ZHU Tao JIA XueJun ZHANG ShaoYing 2013Science China(Physics,Mechanics & Astronomy)2013,56,12:7
13Elemental sulfur in northern South China Sea sediments and its significance显示文摘Elemental sulfur(ES) is one of the intermediates in the inorganic sulfur cycle and thus plays a key role in the fractionation of stable sulfur isotopes in different reservoirs and the marine environment. In this study, solid ES is discovered in sediments near the Jiulong Methane Reef in the northern South China Sea by scanning electron microscopy and Raman spectroscopy. Combining the morphology and distribution of ES, pyrite concentrations, and sulfur isotopes, we conclude that:(1) solid ES coexists with pyrite microcrystals and sulfide(oxyhydr)oxides as well as clay minerals, and they are mainly distributed on the surface of mineral aggregates;(2) ES mainly occurs within and near the sulfate-methane transition zone(SMTZ) despite little morphological diversity;(3) ES formation might be related to hydrogen sulfide oxidation and is therefore linked with fluctuations in the SMTZ. Within the SMTZ, hydrogen sulfide is produced and pyrite precipitates because of enhanced anaerobic oxidation of methane coupled with dissimilatory sulfate reduction. This enhances the efficiency of the inorganic sulfur cycle and provides favorable conditions for ES formation. The discovery of solid ES in sediments near the Jiulong Methane Reef suggests an important relationship with SMTZ fluctuations that could have implications for the evolution of methane hydrate in the South China Sea.LIN Qi WANG JiaSheng FU ShaoYing LU HongFeng BU QingTao LIN RongXiao SUN Fei 2015Science China Earth Sciences2015,58,12:6
14Parameter estimation of chirp signal under low SNR显示文摘Aiming at solving the problem of great difficulty and low accuracy existing in parameter estimation of chirp signal under low signal-to-noise ratio(SNR) condition, an algorithm of accurate parameter estimation of chirp signal is proposed. First, the algorithm extracts ridge frequency of chirp signal based on Short Time Fourier Transform. Second, the protruding glitch frequencies are eliminated through median filter with proper size and the smoothing frequencies are obtained corresponding to the time. Third, the frequency time frequencymodulated(FM) line is fitted coarsely by the least-square linear fitting method, and some frequency points are removed, which are far away from the FM line. Repeat the process several times until the sample correlation coefficient of the fitted line is in high degree when the optimum chirp line is fitted out, so chirp rate and initial frequency are obtained. Simulation shows that the correct rate of parameter estimation is very high. When SNR is not less than –17 d B, the correct rate is 100%, and when the SNR is –18 d B, the correct rate is still capable of up to 99%. This algorithm has a lower SNR threshold of about –17 d B. When the SNR is greater than threshold,parameter estimation accuracy is close to Cramer Rao low bound(CRLB), higher than parameter estimation based on the phase field method. Measured data experiments show that the algorithm can reasonably fit the chirp line of measured chirp signal, which better characterizes the FM features of chirp signal.WANG JinZhen SU ShaoYing CHEN ZengPing 2015Science China(Information Sciences)2015,58,2:5
15Enhanced Electrocatalytic Activity of Dual Template Based Pt/Cu-zeolite A/Graphene for Methanol Electrooxidation显示文摘新奇 Pt/Cu-zeolite A/graphene 基于 electrocatalyst 被化学减小方法成功地为甲醇 electrooxidation 作好准备。石墨氧化物和 Cu functionalized 沸石 A 被 NaBH 4 同时减少准备被用来扔磅 nanoparticles 的 Cu 沸石 A/graphene 支持。同样准备的 Pt/Cu-zeolite A/graphene composites 的 nanostructure 和作文被 X 光检查衍射计描绘, X 光检查荧光, Fourier 变换红外线的分光计和扫描电子显微镜学。Pt/Cu-zeolite A/graphene 的 electrocatalytic 性质修改了电极因为甲醇氧化被周期的 voltammetry 和 chronoamperometry 在 0.10 mol/L H 2 那么 4+ 0.50 mol/L CH 3 哦答案。与磅 / 沸石 A/graphene 电极和 Pt/graphene 电极相比,基于的电极展出了的 Pt/Cu-zeolite A/graphene 显然为甲醇 electrooxidation 提高了电流和更高的 electrocatalytic 活动。增加的 electrocatalytic 活动被归因于存在沸石 A 和减少的 graphene 氧化物基于双模板,它显著地增加了有效电极表面并且便于 analytes 的散开进 electroactive 催化剂。Shuai Wang Ping He Mingqian He Faqin Dong Huanhuan Liu Hong Lei Xiaojuan Zhang Shaoying He 2018Chinese Journal of Chemistry2018,36,1:5
16Logical and Innovative Construction of Digital Twin City显示文摘This paper first introduces the background and basic concept of digital twin city,then analyzes the relationship between digital twin city and smart city.Next,it introduces the primary supporting technologies for the construction of a digital twin city,and finally summarizes the current application status and development trends regarding digital twin city.The authors argue that digital twin technology will face challenges in regards to data,basic knowledge base,system integration,and talent issues if it is to be more widely applied in the construction of the smart city.Additionally,the authors propose institutional and technical suggestions for solving these problems at the macro and micro levels.Xinchang ZHANG Shaoying LI Qiming ZHOU Ying SUN 2021Journal of Geodesy and Geoinformation Science2021,4,4:5
17Phylogenetic Analyses Reveal a Unique Species of Elaphe(Serpentes,Colubridae)New to Science显示文摘The snakes comprising the monophyletic group referred to as ratsnakes are found throughout Asia,Europe and the New World.Recently,three snake samples likely belonging to the ratsnakes were collected in Zoige County,Sichuan Province,China.Species identity was difficult to delimit morphologically because the specimens were juveniles and partially damaged.Subsequently,a molecular phylogenetic approach was used.Portions of three mitochondrial genes(cyt b,ND4 and 12S rRNA) were sequenced and analyzed.The results showed that they were sister to the genus Elaphe.Very little genetic variation was found among the three samples.The minimum genetic distances between these samples and those within Elaphe were greater than any currently recognized species within the genus.We conclude that this likely represents a new species within the genus Elaphe.Adult specimens and a morphologic description are needed for further study.LING Chen LIU Shaoying HUANG Song Frank T.Burbrink GUO Peng SUN Zhiyu ZHAO Jie 2010Asian Herpetological Research2010,1,2:4
18Test Case Generation from Conjunctions of Predicates with Model Checking显示文摘Automatic test case generation from a prepost style formal specification must deal with the issue of how to generate test cases from a conjunction of atomic predicate expressions, but unfortunately this problem has not been effectively solved due to its intrinsic difficulty. We describe a practical approach to tackling this problem by utilizing the model checking technique. An algorithm that converts test case generation from a conjunction of atomic predicate expressions into model checking is proposed. We discuss how the algorithm deals with atomic predicate expressions involving only variables of numeric types, and extend the discussion to variables of compound types such as set, sequence, and composite types. Case studies are presented to assess the feasibility and effectiveness of our approach.TIAN Cong LIU Shaoying DUAN Zhenhua 2014Chinese Journal of Electronics2014,23,2:4
19Compressed sensing digital receiver and orthogonal reconstructing algorithm for wideband ISAR radar显示文摘This paper proposes a novel design of intermediate frequency(IF) digital receiver for wideband inverse synthetic aperture radar(ISAR) based on compressed sensing(CS). For the convenience in engineering application, we use random sampling in the digital receiver and make it possible to digitize the wideband IF signal using a commercial off-the-shelf analog-to-digital converter with sub-Nyquist sample rate. Besides, a novel basis for the sparse representation of real-valued ISAR radar echoes is built in this paper, and an orthogonal CS reconstructing algorithm is proposed based on this. Using our proposed method, the complex-valued range profile of target can be directly reconstructed from the subsampled real raw echo. The phase information of target range profile, which is very important for the coherent processing in ISAR imaging, is well reserved during the reconstruction. As a result, the down converter and matched filter, which are essential in conventional radar receiver, can be eliminated in our CS digital receiver. A series of simulation validates our design and demonstrates the feasibility of the sub-Nyquist sampling. The simulation results of ISAR imaging verify the validity and superiority of the proposed orthogonal reconstructing method.HOU QingKai LIU Yang FAN LiJie SU ShaoYing 2015Science China(Information Sciences)2015,58,2:4
20GPU-CA model for large-scale land-use change simulation显示文摘Land-use change simulation for large-scale regions(i.e.provincial regions or countries) is very useful for many global studies.Such simulation,however,is affected by computational capability of general computers.This paper proposes a method to implement cellular automata(CA) for land use change simulation based on graphics processing units(GPUs).This method can be applied to large-scale land-use change simulations by combining the latest GPU high-performance computing technology and CA.We carried out the experiments by simulating land-use change processes at a provincial scale.This involves a lot of sophisticated techniques,such as model mapping,and computational procedure of GPU-CA model.This proposed model has been validated by land-use change simulation in Guangdong Province,China.The comparison indicates that the GPU-CA model is faster than traditional CA by 30 times.Such improvement is crucial for land-use change simulations in provincial regions and countries.The outputs of the simulation can be further used to provide information to other global change models.LI Dan LI Xia LIU XiaoPing CHEN YiMin LI ShaoYing LIU Kai QIAO JiGang ZHENG YiZhong ZHANG YiHan LAO ChunHua 2012Chinese Science Bulletin2012,57,19:4
返回顶部 每页显示:
共10页 首页 上一页 第1页 下一页 末页 /10 跳转

网站首页 | 关于我们 | 联系我们 | 产品服务 | 客服中心 | 广告服务 | 版权声明 | 网站联盟 | 友情链接 | 售卡网点

版权所有© 渝B2-20050021-1 渝公网安备 50019002500403号 违法和不良信息举报中心

互联网出版许可证 新出网证(渝)字10号 全国400电话 - 免长途话费