检索结果-南通市图书馆

Approximate trace and singleton failures equivalences for transition systems

在线全文

学校读者我要写书评

暂无评论

Journal of Systems Engineering and Electronics 2015年第4期26卷 886-896页

作者： chao wang Jinzhao {2. Hongyan Tan School of Computer and information technology Beijing Jiaotong University Guangxi key laboratory of Hybrid Computation and IC Design Analysis Guangxi University for Nationalities Institute of Acoustics Chinese Academy of Sciences

Established system equivalences for transition systems, such as trace equivalence and failures equivalence, require the ob- servations to be exactly identical. However, an accurate measure- ment is impossible when interacting with the physical world, hence exact equivalence is restrictive and not robust. Using Baire met- ric, a generalized framework of transition system approximation is proposed by developing the notions of approximate language equivalence and approximate singleton failures （SF） equivalence. The framework takes the traditional exact equivalence as a special case. The approximate language equivalence is coarser than the approximate Slc equivalence, just like the hierarchy of the exact ones. The main conclusion is that the two approximate equiva- lences satisfy the transitive property, consequently, they can be successively used in transition system approximation.

关键词： approximate equivalence trace singleton failures(SF) transition systems.

The improvement of cross-calibration of IIM data and band selection for FeO inversion

在线全文

学校读者我要写书评

暂无评论

science china(Physics,Mechanics & Astronomy) 2013年第11期56卷 2216-2225页

作者： wang chao {2. YunZhao SHI RunHe GAO Wei key laboratory of Geographical {2. science Ministry of EducationEast China Normal University Branch of Data Application System Center of Space ExplorationMinistry of EducationEast China Normal University School of Geographic and Oceanographic sciences Nanjing University

Chang’E-1(CE-1)Interference Imaging Spectrometer(IIM)dataset suffers from the weak response in the near infrared(NIR)bands,which are the important wavelength for retrieving the minerals and elements of the *** this paper,the cross-calibration was implemented to the IIM hyperspectral data for improving the weak response in NIR *** results show that the cross-calibrated IIM spectra were consistent to the Earth-based telescopic spectra,which suggests that the cross-calibration yields acceptable *** further validating the influence of the cross-calibration on the FeO inversion and searching the optimal bands to retrieve lunar FeO contents,four band selection schemes were designed to retrieve FeO using the original and cross-calibrated IIM *** comparing the distribution patterns and histograms of the IIM derived FeO contents with the Clementine derived FeO,the IIM 891 nm band after cross-calibration showed a higher accuracy in the FeO inversion,hence most useful for lunar FeO inversion.

关键词： IIM cross-calibration band selection FeO Moon

Byzantine Fault-Tolerant Routing for Large-Scale Wireless Sensor Networks Based on Fast ECDSA

在线全文

学校读者我要写书评

暂无评论

Tsinghua science and technology 2015年第6期20卷 627-633页

作者： Jiawei Xu Keda wang chao wang Feng Hu Zhenhua Zhang Shiyi Xu Jie wu Department of Communication and information Engineering Shanghai University china information Security Research Institute Ltd. Huawei Institute of Computer Engineering and science Shanghai University Department of Computer and information sciences Temple University

Wireless sensor networks are a favorite target of Byzantine malicious attackers because of their limited energy, low calculation capability, and dynamic topology, and other important characteristics. The Byzantine Generals Problem is one of the classical problems in the area of fault tolerance, and has wide application, especially in distributed databases and systems. There is a lot of research in agreement and replication techniques that tolerate Byzantine faults. However, most of this work is not suited to large-scale wireless sensor networks, due to its high computational complexity. By introducing Fast ECDSA(Elliptic Curve Digital Signature Algorithm), which can resist timing and energy attacks, and reduce the proportion of verifying signature algorithm to generating signature algorithm to 1.2.times, we propose a new Byzantine fault-tolerant routing algorithm for large-scale wireless sensor networks with double-level hierarchical architecture. In different levels, the algorithm runs different BFT *** and simulation results have proved that this algorithm has high security and the number of communication rounds between clusters is reduced by 1/3, which balances the network load. At the same time, the application of Fast ECDSA improves the security level of the network without burdening it.

关键词： wireless sensor networks Byzantine Generals Proble

Age assignment of the Upper Carboniferous Arbasay Formation in Shichang Region,North Tianshan(NW china)

在线全文

学校读者我要写书评

暂无评论

Journal of Palaeogeography 2018年第3期7卷 272-282页

作者： Jia-Lin wang chao-Dong {2. Xi Jiang Wen Zhu Jun {2. Jun wang Meng-Lin Zheng key laboratory of Orogenic Belts and Crustal Evolution Ministry of Education School of Earth and Space Sciences Peking University Institute of Oil & Gas Peking University Department of Xinjiang Exploration Project Management Smopec Shengli Oilfield Company Research Institute of Exploration and Development Xinjiang Oilfield CompanyPetro China

The North Tianshan Orogenic Belt contains the youngest ophiolites in the Tianshan and provides some information on timing of the last closure of the Junggar-Balkhash Ocean. LA-ICP-MS zircon U-Pb dating was conducted to define the formation age of the Arbasay Formation in the Shichang Region of North Tianshan, which is exposed near the suture zone but its age remains debated. The Arbasay Formation is mainly composed of volcanic and volcaniclastic rocks with tuft interlayers. The zircons from the tufts yield two age populations of 315 ± 3 Ma and 304 ± 2.Ma, constraining the commencement and demise timings of volcanism, respectively. Furthermore, zircon U-Pb age spectra of the tuffaceous sandstones display the youngest peak age at 308 Ma, indicating a 〈 308 Ma age for the depositional age of volcaniclastic rocks. The volcaniclastic rocks therefore were likely to deposit together with the syn-sedimentary volcanism during Late Carboniferous. This means that the Arbasay Formation in Shichang Region should be re-assigned to Late Carboniferous in age. Given that the Arbasay Formation was likely to be formed during the tectonic transition from compression to extension, the Junggar-Balkhash Ocean possibly closed during Late Carboniferous.

关键词： Xinjiang LA-ICP-MS zircon U-Pb dating Stratigraphic age Volcaniclastic rock Junggar-Balkhash Ocean

Mineralogy of northern nearside mare basalts

在线全文

学校读者我要写书评

暂无评论

Research in Astronomy and Astrophysics 2019年第4期19卷 33-40页

作者： Zhen-chao wang Yun-Zhao {2. Xiao-Meng Zhang Yu Lu key laboratory of Surficial Geochemistry Ministry of Education Department of Earth Sciences Nanjing University key laboratory of Planetary {2.s Purple Mountain Observatory Chinese Academy of Sciences CAS Center for Excellence in Comparative Planetology Xuzhou Bureau of Land and Resources School of Geographic and Oceanographic sciences Nanjing University Jiangsu Center for Collaborative Innovation in Geographical information Resource Development and Application

The mineralogy of mare basalts reflects the chemical composition of the magma source, as well as the physical and chemical environment of the rocks' formation. This is significant for understanding the thermal evolution of the Moon. In this study, the spatial distribution of mineralogy on the lunar northern nearside basalts was mapped using the Moon Mineralogy Mapper(M^3) data. The study area, which is an elongated mare, Mare Frigoris and northern Mare Imbrium, was mapped and characterized into 2. units based on multi-source data, including spectrum, terrain and element abundance. We extracted 177 M^3 spectra from fresh craters. Spectral parameters such as absorption center and band area ratio(BAR)were obtained through data processing. The variation of mafic minerals in this region was acquired by analyzing these parameters. The basaltic units in eastern Mare Frigoris, which are older, have been found to be dominated by clinopyroxene with lower CaO compared to the returned lunar samples; this is similar to older basaltic units in Mare Imbrium. The basaltic units of western Mare Frigoris and Sinus Roris which are younger have been found to be rich in olivine. The late-stage basalts in Oceanus Procellarum and Mare Imbrium show the same feature. These widespread olivine-rich basalts suggest uniqueness in the evolution of the Moon. Geographically speaking, Mare Frigoris is an individual mare, but the magma source region has connections with surrounding maria in consideration of mineral differences between western and eastern Frigoris, as well as mineral similarities with maria at the same location.

关键词： Moon evolution imaging spectroscopy data analysis

Evaluation of Slow Light Periodic Signals Considering the Distortion in EDF

在线全文

学校读者我要写书评

暂无评论

Chinese Physics Letters 2014年第3期31卷 82-85页

作者： wang wu Chong-Qing wang Zhi LIU Guo-Dong LIU Lan-Lan SUN Zhen-chao Institute of Optical information and key Lab of Luminescence and Optical information technology Beijing Jiaotong University Beijing 100044

Based on the fundamental harmonic phase delay, a new definition of fundamental harmonic fractional delay （FHFD） is proposed to evaluate slow light with the consideration of signal distortion, to eliminate the dependence on the choice of the reference point. By solving the rate equation of erbium-doped fiber （EDF）, it is shown that the slow light always accompanies the signal distortion when the periodic signal propagates in EDF, and FHFD depends on the signal distortion, as well as the average input power, the modulation depth and the length of EDF. The results of simulations and experiments indicate that the definition of FHFD is reasonable and effective to evaluate the slow light of periodic signals.

关键词： FIBERS RESEARCH SEMICONDUCTOR doping ERBIUM SLOW light PHYSICS research

Pan-omics-based characterization and prediction of highly multidrugadapted strains from an outbreak fungal species complex

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

The Innovation 2024年第5期5卷 101-109,100页

作者： Xin Fan Lei Chen Min Chen Na Zhang Hong Chang Mingjie He Zhenghao Shen Lanyue Zhang Hao Ding Yuyan Xie Yemei Huang Weixin Ke Meng Xiao Xuelei Zang Heping Xu Wenxia Fang Shaojie Li Cunwei Cao Yingchun Xu Shiguang Shan Wenjuan wu Changbin Chen Xinying Xue Linqi wang Department of Infectious Diseases and Clinical Microbiology Beijing Institute of Respiratory Medicine and Beijing Chao-Yang HospitalCapital Medical UniversityBeijing 100020China Beijing Research Center for Respiratory Infectious Diseases Beijing 100020China State key laboratory of Mycology Institute of MicrobiologyChinese Academy of SciencesBeijing 100101China Department of Dermatology Shanghai Key Laboratory of Molecular Medical MycologyChangzheng HospitalShanghai 200003China university of Chinese Academy of sciences Beijing 100049China key laboratory of Intelligent {2. Processing Institute of Computing TechnologyChinese Academy of SciencesBeijing 100190China Department of Respiratory and Critical Care Emergency and Critical Care Medical CenterBeijing Shijitan HospitalCapital Medical UniversityBeijing 100038China Department of laboratory Medicine State Key Laboratory of Complex Severe and Rare DiseasesPeking Union Medical College HospitalChinese Academy of Medical SciencesBeijing 100730China Beijing key laboratory for Mechanisms Research and Precision Diagnosis of Invasive Fungal Diseases Beijing 100730China Department of Clinical laboratory First Affiliated Hospital of Xiamen UniversityXiamen 361003China Institute of Biological science and technology Guangxi Academy of SciencesNanning 530007China Department of Dermatology The First Affiliated Hospital of Guangxi Medical UniversityNanning 530021China Guangxi key laboratory of Mycosis Prevention and Treatment Nanning 530021China Department of laboratory Medicine Shanghai East HospitalTongji University School of MedicineShanghai 200120China The Unit of Pathogenic Fungal Infection&Host Immunity Shanghai Institute of Immunity and InfectionChinese Academy of SciencesShanghai 200031China nanjing Advanced Academy of Life and Health Nanjing 211135China Department of Respiratory and Critical Care Shandong Second Medical UniversityWeifang 261035China

Strains from the Cryptococcus gattii species complex(CGSC)have caused the Pacific Northwest cryptococcosis outbreak,the largest cluster of lifethreatening fungal infections in otherwise healthy human hosts known to *** this study,we utilized a pan-phenome-based method to assess the fitness outcomes of CGSC strains under 31 stress conditions,providing a comprehensive overview of 2.82. phenotype-strain associations within this pathogenic *** clustering analysis revealed a strong correlation between distinct types of stress phenotypes in a subset of CGSC strains,suggesting that shared determinants coordinate their adaptations to various ***,a specific group of strains,including the outbreak isolates,exhibited a remarkable ability to adapt to all three of the most commonly used antifungal drugs for treating cryptococcosis(amphotericin B,5-fluorocytosine,and fluconazole).By integrating pan-genomic and pan-transcriptomic analyses,we identified previously unrecognized genes that play crucial roles in conferring multidrug resistance in an outbreak strain with high multidrug *** these genes,we identified biomarkers that enable the accurate prediction of highly multidrug-adapted CGSC strains,achieving maximum accuracy and area under the curve(AUC)of 0.79 and 0.86,respectively,using machine learning ***,we developed a pan-omic approach to identify cryptococcal multidrug resistance determinants and predict highly multidrug-adapted CGSC strains that may pose significant clinical concern.

关键词： multidrug adapted prediction

Contribution of Winter SSTA in the Tropical Eastern Pacific to Changes of Tropical Cyclone Precipitation over Southeast china

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Journal of Meteorological Research 2022年第2期36卷 282-291页

作者： Xianghua wu Qihao ZHU chao {2. Yue ZHOU Yiqi CHEN Xintong TIAN Yajie HUA School of Mathematics and Statistics Nanjing University of Information Science&TechnologyNanjing 210044 key laboratory of Meteorological {2. of ministry of education/Joint International Research laboratory of Climate and Environment Change/Collaborative Innovation Center on Forecast and Evaluation of Meteorological {2.s and Earth System Modeling Center Nanjing University of Information Science&TechnologyNanjing 210044 Hubei key laboratory for Heavy Rain Monitoring and Warning Research Institute of Heavy RainChina Meteorological AdministrationWuhan 430074

Tropical cyclone precipitation(TCP)accounts for 10%-40%of the boreal summer precipitation that occurs over Southeast china(SEC),causing flood disasters and serious *** the decadal scale,TCP increases significantly in SEC while TC frequency decreases in the western North Pacific(WNP)during ***,variations in TCP and the corresponding physical mechanism are investigated in this ***,an empirical statistical method is introduced to quantify the TCP amount based on accumulated cyclone energy(ACE)and TC frequency with the TCP anomaly decomposed into three items(rainfall frequency,rainfall intensity,and nonlinear item).ACE,as the integration of TC intensity and frequency,is a more effective index than TC frequency for depicting the characteristics of TCP because the contribution of rainfall frequency represented by ACE is higher than that of TC ***,the physical mechanism affecting the WNP TC activities and TCP in SEC are *** sea surface temperature anomaly(SSTA)over the tropical eastern Pacific(TEP)in winter can trigger variations of air-sea interaction over the tropical Pacific,including low-level divergent winds,mid-tropospheric descent flows,high-level convergent winds coupled with negative anomalies of vorticity and humidity over the tropical western Pacific(TWP)in the next *** dynamic conditions provide unfavorable environments for TC activities in the WNP and constrain TCP in ***,more significantly negative SSTA events in the TEP facilitate enhanced ACE along with positive relative vorticity,relative humidity,and upwelling vertical winds anomalies over the coast of SEC after 1998,which is a reasonable explanation for the increasing TCP in SEC.

关键词： tropical cyclone precipitation accumulated cyclone energy sea surface temperature anomaly air–sea interaction

Emerging contaminants:A One Health perspective

在线全文

学校读者我要写书评

暂无评论

The Innovation 2024年第4期5卷 140-170,139页

作者： Fang wang Leilei Xiang Kelvin Sze-Yin Leung Martin Elsner Ying Zhang Yuming Guo Bo Pan Hongwen Sun Taicheng An Guangguo Ying Bryan WBrooks Deyi Hou Damian EHelbling Jianqiang Sun Hao Qiu Timothy MVogel Wei Zhang Yanzheng Gao Myrna JSimpson Yi Luo Scott XChang Guanyong Su Bryan MWong Tzung-May Fu Dong Zhu Karl JJobst Chengjun Ge Frederic Coulon Jean Damascene Harindintwali Xiankui Zeng Haijun wang Yuhao Fu Zhong Wei Rainer Lohmann Changer Chen Yang Song Concepcion Sanchez-Cid Yu wang Ali El-Naggar Yiming Yao Yanran Huang Japhet Cheuk-Fung Law Chenggang Gu Huizhong Shen Yanpeng Gao chao Qin Hao Li Tong Zhang Natàlia Corcoll Min Liu Daniel SAlessi Hui Li Kristian KBrandt Yolanda Pico Cheng Gu Jianhua Guo Jianqiang Su Philippe Corvini Mao Ye Teresa Rocha-Santos Huan He Yi Yang Meiping Tong Weina Zhang Fidèle Suanon Ferdi Brahushi Zhenyu wang Syed AHashsham Marko Virta Qingbin Yuan Gaofei Jiang Louis A.Tremblay Qingwei Bu Jichun wu Willie Peijnenburg Edward Topp Xinde Cao Xin Jiang Minghui Zheng Taolin Zhang Yongming Luo Lizhong Zhu Xiangdong Li DamiàBarceló Jianmin Chen Baoshan Xing wulf Amelung Zongwei Cai Ravi Naidu Qirong Shen Janusz Pawliszyn Yong-guan Zhu Andreas Schaeffer Matthias C.Rillig Fengchang wu Gang Yu James M.Tiedje State key laboratory of Soil and Sustainable Agriculture Institute of Soil ScienceChinese Academy of SciencesNanjing 210008China university of Chinese Academy of sciences Beijing 100049China Department of Chemistry Hong Kong Baptist UniversityHong KongChina HKBU Institute of Research and Continuing education Shenzhen Virtual University ParkShenzhenChina Technical university of Munich TUM School of Natural SciencesInstitute of Hydrochemistry85748 GarchingGermany School of Resources&Environment Northeast Agricultural UniversityHarbin 150030China Climate Air Quality Research UnitSchool of Public Health and Preventive MedicineMonash UniversityMelbourneVICAustralia Faculty of Environmental science&Engineering Kunming University of Science&TechnologyKunming 650500China ministry of education {2. laboratory of Pollution Processes and Environmental Criteria College of Environmental Science and EngineeringNankai UniversityTianjin 300350China Guangdong key laboratory of Environmental Catalysis and Health Risk Control School of Environmental Science and EngineeringInstitute of Environmental Health and Pollution ControlGuangdong University of TechnologyGuangzhou 510006China ministry of education {2. laboratory of Environmental Theoretical Chemistry South China Normal UniversityGuangzhouGuangdong 510006China Department of Environmental science Baylor UniversityWacoTXUSA Center for Reservoir and Aquatic Systems Research(CRASR) Baylor UniversityWacoTXUSA School of Environment Tsinghua UniversityBeijing 100084China School of Civil and Environmental Engineering Cornell UniversityIthacaNY 14853USA key laboratory of Microbial {2. for Industrial Pollution Control of Zhejiang Province Zhejiang University of TechnologyHangzhou 310014China School of Environmental science and Engineering Shanghai Jiao Tong UniversityShanghai 200240China Laboratoire d’Ecologie Microbienne Universite Claude Bernard Lyon 1UMR CNRS 5557UMR INRAE 1418VetAgro Sup69622 VilleurbanneFrance Department of Pla

Environmental pollution is escalating due to rapid global development that often prioritizes human needs over planetary *** global efforts to mitigate legacy pollutants,the continuous introduction of new substances remains a major threat to both people and the *** response,global initiatives are focusing on risk assessment and regulation of emerging contaminants,as demonstrated by the ongoing efforts to establish the UN’s Intergovernmental science-Policy Panel on Chemicals,Waste,and Pollution *** review identifies the sources and impacts of emerging contaminants on planetary health,emphasizing the importance of adopting a One Health *** for monitoring and addressing these pollutants are discussed,underscoring the need for robust and socially equitable environmental policies at both regional and international *** actions are needed to transition toward sustainable pollution management practices to safeguard our planet for future generations.

关键词： pollution planet contaminants