检索结果-南通市图书馆

State-Based Opacity Verification of Networked Discrete Event Systems Using Labeled Petri Nets

在线全文

学校读者我要写书评

暂无评论

IEEE/CAA Journal of Automatica Sinica 2024年第5期11卷 1274-1291页

作者： Yifan dong Naiqi Wu Zhiwu li The authors are with the Institute of Systems Engineering Macao University of Science and TechnologyTaipa 999078MacaoChina

The opaque property plays an important role in the operation of a security-critical system,implying that pre-defined secret information of the system is not able to be inferred through partially observing its *** paper addresses the verification of current-state,initial-state,infinite-step,and K-step opacity of networked discrete event systems modeled by labeled Petri nets,where communication losses and delays are *** on the symbolic technique for the representation of states in Petri nets,an observer and an estimator are designed for the verification of current-state and initial-state opacity,***,we propose a structure called an I-observer that is combined with secret states to verify whether a networked discrete event system is infinite-step opaque or K-step *** to the utilization of symbolic approaches for the state-based opacity verification,the computation of the reachability graphs of labeled Petri nets is avoided,which dramatically reduces the computational overheads stemming from networked discrete event systems.

关键词： infinite system symbolic

Comparative transcriptomic evidence of physiological changes and potential relationships in vertebrates under different dormancy states

在线全文

学校读者我要写书评

暂无评论

Zoological Research 2024年第2期45卷 341-354页

作者： Yu-Han Niu li-Hong Guan Cheng Wang Hai-feng Jiang Guo-Gang li lian-dong Yang Shun-Ping He State Key Laboratory of Freshwater Ecology and Biotechnology Institute of HydrobiologyChinese Academy of SciencesWuhanHubei 430072China College of life Sciences Qinghai Normal UniversityXiningQinghai 810008China Academy of Plateau Science and Sustainability Qinghai Normal UniversityXiningQinghai 810016China Key Laboratory of Biodiversity Formation Mechanism and Comprehensive Utilization of the Qinghai-Tibet Plateau in Qinghai Province Qinghai Normal UniversityXiningQinghai 810008China College of life Sciences and Technology Xinxiang Medical UniversityXinxiangHenan 453003China College of Animal Science and Technology Northwest A&F UniversityYanglingShaanxi 712100China

Dormancy represents a fascinating adaptive strategy for organisms to survive in unforgiving *** a period of dormancy,organisms often exhibit exceptional *** period is typically divided into hibernation and aestivation based on seasonal ***,the mechanisms by which organisms adapt to their environments during dormancy,as well as the potential relationships between different states of dormancy,deserve further ***,we selected Perccottus glenii and Protopterus annectens as the primary subjects to study hibernation and aestivation,*** on histological and transcriptomic analysis of multiple organs,we discovered that dormancy involved a coordinated functional response across *** analyses revealed noteworthy disparities between the two dormant species in their responses to extreme ***,similarities in gene expression patterns pertaining to energy metabolism,neural activity,and biosynthesis were noted during hibernation,suggesting a potential correlation between hibernation and *** further explore the relationship between these two phenomena,we analyzed other dormancy-capable species using data from publicly available *** comparative analysis revealed that most orthologous genes involved in metabolism,cell proliferation,and neural function exhibited consistent expression patterns during dormancy,indicating that the observed similarity between hibernation and aestivation may be attributable to convergent *** conclusion,this study enhances our comprehension of the dormancy phenomenon and offers new insights into the molecular mechanisms underpinning vertebrate dormancy.

关键词： Hibernation Aestivation Multi-organs Convergent evolution

Diagnosis and treatment of biliary mucinous cystic neoplasms: A single-center experience

在线全文

学校读者我要写书评

暂无评论

Hepatobiliary & Pancreatic Diseases International 2024年第5期23卷 495-501页

作者： Jun-Jun Jia Ya-Fen Cheng Mei-Bao feng li liu Ming-Qi Shuai Xiao-dong Shen Xiao-feng Tang Shu-Sen Zheng Division of Hepatobiliary and Pancreatic Surgery Department of Surgerythe First Affiliated HospitalZhejiang University School of MedicineHangzhou 310003China Department of International Healthcare Center the First Affiliated HospitalZhejiang University School of MedicineHangzhou 310003China Department of Pathology the First Affiliated HospitalZhejiang University School of MedicineHangzhou 310003China Department of library the First Affiliated HospitalZhejiang University School of MedicineHangzhou 310003China

Background: Biliary mucinous cystic neoplasms(BMCNs) are rare hepatobiliary cystic tumors, which can be divided into noninvasive and invasive types. This study aimed to investigate the diagnosis, treatment, and prognosis of BMCNs in a large single center. Methods: We analyzed 49 patients with BMCNs confirmed by postoperative pathology at the First Afflliated Hospital, Zhejiang University School of Medicine between January 2007 and December 2021. Results: Among the 49 patients, 37 were female(75.5%), and the average age was 57.04 years. Common symptoms included abdominal discomfort, jaundice and fever, while 22 patients(44.9%) had no symptoms. Serum carbohydrate antigen(CA) 19-9 and CA125 concentrations were elevated in 34.8% and 19.6% of patients, respectively. Forty-eight patients had tumors in the intrahepatic bile ducts and only one had a tumor in the extrahepatic bile duct. Forty-eight patients with noninvasive intrahepatic BMCNs were further analyzed in terms of pathological features: 34(70.8%) had low-grade intraepithelial neoplasms(LGINs), and 14(29.2%) had high-grade intraepithelial neoplasms(HGINs). The potential immunohistochemical markers of BMCNs were cytokeratin(CK) 19, CK7, estrogen receptor and progesterone receptor. Follow-up data for 37 patients with intrahepatic BMCNs were obtained. The median overall survival(OS) of BMCNs was not reached. The longest survival time was 137 *** 5-and 10-year OS rates were 100% and 85.4%, respectively. The 5-and 10-year recurrence-free survival(RFS) rates were 93.9% and 80.2%, respectively. Conclusions: BMCNs are rare cystic neoplasms that commonly occur in middle-aged females. BMCNs can only be diagnosed and classified by postoperative pathology, as there are no specific clinical presentations, serological indicators or imaging modalities for preoperative diagnosis. Complete surgical resection is necessary for BMCNs, and the postoperative prognosis is favorable.

关键词： Biliary mucinous cystic neoplasms Low-grade intraepithelial neoplasms High-grade intraepithelial neoplasms Overall survival Recurrence-free survival

Tumor microenvironment-responsive arsenic-loaded layered double hydroxides film with synergistic anticancer and bactericidal activity

在线全文

学校读者我要写书评

暂无评论

Rare Metals 2024年第3期43卷 1207-1221页

作者： Shun Xing dong-Hui Wang Hai-feng Zhang li-Dan liu Cheng-Ce li Chao Wei Jun-Yu liu Nai-Jian Ge Xuan-Yong liu State Key Laboratory of High Performance Ceramics and Superfine Microstructure Shanghai Institute of CeramicsChinese Academy of SciencesShanghai200050China Center of Materials Science and Optoelectronics Engineering University of Chinese Academy of SciencesBeijing100049China Intervention Center Eastern Hepatobiliary Surgery HospitalThe Third Affiliated Hospital of Naval Medical UniversityShanghai200438China School of Health Sciences and Biomedical Engineering Hebei University of TechnologyTianjin300130China

Malignant obstruction makes gallbladder cancer have a high mortality ***-titanium alloy(nitinol)stents are commonly used as a local intervention to maximize patient survival time,but the stents lack antitumor and antibacterial capacity and are vulnerable to secondary ***-based drugs show good therapeutic promise against gallbladder *** meet clinical *** layered double hydroxides(LDHs)film is constructed on the nitinol,whose arsenite loading amounts rose by 60%after simple heat treatment compared with the conventional anion-exchange *** addition,calcination promotes the dissolution of nickel ions from the LDHs lattice,resulting in a powerful synergistic killing effect on tumor cells together with the released *** importantly,the calcined arsenic-loaded LDHs are sensitive to the acidic microenvironment of tumor tissues,which presents a much lower arsenic and nickel release amount in the normal tissues,guaranteeing its ***,the vertically sharp LDHs nanosheets can synergize with arsenic to achieve effective physical cleavage and chemical killing of adherent and planktonic *** short,we attempt to use arsenic drugs for local interventions and reasonably avoid their toxic side effects,which provides a new design idea for nitinol stents applied in the treatment of gallbladder cancer.

关键词： Nitinol Layered double hydroxides Arsenic Gallbladder cancer

Investigations of methane adsorption characteristics on marine-continental transitional shales and gas storage capacity models considering pore evolution

在线全文

学校读者我要写书评

暂无评论

Petroleum Science 2024年第4期21卷 2273-2286页

作者： Chen-Gang Lu Xian-Ming Xiao Zhen-Qian Xue Zhang-Xin Chen Yin-Tao dong Yue feng Gang li School of Energy Resources China University of Geosciences (Beijing) School of Civil and Environmental Engineering Nanyang Technological University Chemical and Petroleum Engineering University of Calgary Eastern Institute of Technology (tentative) CNOOC Research Institute

Methane adsorption is a critical assessment of the gas storage capacity(GSC) of shales with geological conditions. Although the related research of marine shales has been well-illustrated, the methane adsorption of marine-continental transitional(MCT) shales is still ambiguous. In this study, a method of combining experimental data with analytical models was used to investigate the methane adsorption characteristics and GSC of MCT shales collected from the Qinshui Basin, China. The Ono-Kondo model was used to fit the adsorption data to obtain the adsorption parameters. Subsequently, the geological model of GSC based on pore evolution was constructed using a representative shale sample with a total organic carbon(TOC) content of 1.71%, and the effects of reservoir pressure coefficient and water saturation on GSC were explored. In experimental results, compared to the composition of the MCT shale, the pore structure dominates the methane adsorption, and meanwhile, the maturity mainly governs the pore structure. Besides, maturity in the middle-eastern region of the Qinshui Basin shows a strong positive correlation with burial depth. The two parameters, micropore pore volume and non-micropore surface area, induce a good fit for the adsorption capacity data of the shale. In simulation results, the depth,pressure coefficient, and water saturation of the shale all affect the GSC. It demonstrates a promising shale gas potential of the MCT shale in a deeper block, especially with low water saturation. Specifically,the economic feasibility of shale gas could be a major consideration for the shale with a depth of 60% in the Yushe-Wuxiang area. This study provides a valuable reference for the reservoir evaluation and favorable block search of MCT shale gas.

关键词： High-pressure methane adsorption Marine-continental transitional shale gas Ono-Kondo model Adsorption thermodynamics Gas storage capacity model

Construction of MnS/MoS_(2) heterostructure on two-dimensional MoS_(2) surface to regulate the reaction pathways for high-performance li-O_(2) batteries

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Journal of Energy Chemistry 2024年第6期93卷 443-452,I0012页

作者： Guoliang Zhang Han Yu Xia li Xiuqi Zhang Chuanxin Hou Shuhui Sun Yong Du Zhanhu Guo feng Dang Key Laboratory for liquid-Solid Structure Evolution and.Processing of Materials(Ministry of Education) Shandong UniversityJinan 250061ShandongChina School of Environmental and Material Engineering Yantai UniversityYantai 264005ShandongChina Institute National de la Recherche Scientifique CentreÉnergie Matériaux et TélécommunicationsVarennesQuébec J31S2Canada State Key Laboratory of Powder Metallurgy Central South UniversityChangsha 410083HunanChina Integrated Composites Lab Department of Mechanical and Construction EngineeringNorthumbria UniversityNewcastle Upon TyneNE18STUK

The inherent catalytic anisotropy of two-dimensional(2D) materials has limited the enhancement of liO_(2) batteries(LOBs) performance due to the significantly different adsorption energies on 2D and edge *** the adsorption strength in 2D materials to the reaction intermediates is essential for achieving high-performance ***,a MnS/MoS_(2) heterostructure is designed as a cathode catalyst by adjusting the adsorption behavior at the *** from the toroidal-like discharge products on the MoS_(2) cathode,the MnS/MoS_(2) surface displays an improved adsorption energy to reaction species,thereby promoting the growth of the film-like discharge *** can disturb the layer growth of MoS_(2),in which the stack edge plane features a strong interaction with the intermediates and limits the growth of the discharge *** and theoretical results confirm that the MnS/MoS_(2) heterostructure possesses improved electron transfer kinetics at the interface and plays an important role in the adsorption process for reaction species,which finally affects the morphology of li_2O_(2),In consequence,the MnS/MoS_(2) heterostructure exhibits a high specific capacity of 11696.0 mA h g^(-1) and good cycle stability over 1800 h with a fixed specific capacity of 600 mA h g^(-1) at current density of100 mA g^(-1) This work provides a novel interfacial engineering strategy to enhance the performance of LOBs by tuning the adsorption properties of 2D materials.

关键词： li-O_(2)batteries Two-dimensional materials MnS/MoS_(2)heterostructure Edge plane Adsorption behavior

Millisecond dynamics of colloidal suspension studied by X-ray photon correlation spectroscopy at the Shanghai Synchrotron Radiation Facility

在线全文

学校读者我要写书评

暂无评论

Nuclear Science and Techniques 2024年第1期35卷 1-9页

作者： Chen-Hui Cui Zi-Mu Zhou lin-feng Wei Song-lin li feng Tian Xiu-Hong li Zhi Guo Yi-Hui Xu Huai-dong Jiang Ren-Zhong Tai Shanghai Synchrotron Radiation Facility Shanghai Advanced Research InstituteChinese Academy of SciencesShanghai 201204China School of Physical Science and Technology ShanghaiTech UniversityShanghai 201210China Shanghai Institute of Applied Physics Chinese Academy of SciencesShanghai 201800China University of Chinese Academy of Sciences Chinese Academy of SciencesBeijing 100049China Center for Transformative Science ShanghaiTech UniversityShanghai 201210China

X-ray photon correlation spectroscopy(XPCS)has emerged as a powerful tool for probing the nanoscale dynamics of soft condensed matter and strongly correlated materials owing to its high spatial resolution and penetration *** technique requires high brilliance and beam coherence,which are not directly available at modern synchrotron beamlines in *** facilitate future XPCS experiments,we modified the optical setup of the newly commissioned BL10U1 USAXS beamline at the Shanghai Synchrotron Radiation Facility(SSRF).Subsequently,we performed XPCS measurements on silica suspensions in glycerol,which were opaque owing to their high *** were collected using a high frame rate area detector.A comprehensive analysis was performed,yielding correlation functions and several key dynamic *** the results were consistent with the theory of Brownian motion and demonstrated the feasibility of XPCS at ***,by carefully optimizing the setup and analyzing the algorithms,we achieved a time resolution of 2 ms,which enabled the characterization of millisecond dynamics in opaque systems.

关键词： XPCS SSRF Silica suspension Glycerol Brownian motion Millisecond dynamics

A UNIFORM CONVERGENT PETROV-GALERKIN METHOD FOR A CLASS OF TURNING POINT PROBLEMS

在线全文

学校读者我要写书评

暂无评论

Journal of Computational Mathematics 2024年第5期42卷 1356-1379页

作者： li feng Zhongyi Huang Department of Mathematical Sciences Tsinghua UniversityBeijing 100084China

In this paper,we propose a numerical method for turning point problems in one dimension based on Petrov-Galerkin finite element method(PGFEM).We first give a priori estimate for the turning point problem with a single boundary turning *** we use PGFEM to solve it,where test functions are the solutions to piecewise approximate dual *** prove that our method has a first-order convergence rate in both L∞h norm and a discrete energy norm when we select the exact solutions to dual problems as test *** results show that our scheme is efficient for turning point problems with different types of singularities,and the convergency coincides with our theoretical results.

关键词： Turning point problem Petrov-Galerkin finite element method Uniform convergency

Dielectric Constant Calculation of Poly(vinylidene fluoride)Based on Finite Field and Density Functional Theory

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Chinese Journal of Polymer Science 2024年第5期42卷 655-662,I0009页

作者： Yong-Zhi lin Lu-Kun feng Ya-dong li Chao-Fan Chang Cai-Zhen Zhu Ming-liang Wang Jian Xu College of Chemistry and Environmental Engineering Shenzhen UniversityShenzhen518055China Chengdu Institute of Organic Chemistry Chinese Academy of SciencesChengdu610041China

In this study,we proposed a novel method that integrates density functional theory(DFT)with the finite field method to accurately estimate the polarizability and dielectric constant of *** approach effectively accounts for the influence of electronic and geometric conformation changed on the dielectric *** validated our method using polyethylene(PE)and polytetrafluoroethylene(PTFE)as benchmark materials,and found that it reliably predicted their dielectric ***,we explored the impact of conformation variations in poly(vinylidene fluoride)(PVDF)on its dielectric constant and *** resulting dielectric constants ofα-andγ-PVDF(3.0)showed excellent agreement with crystalline PVDF in *** findings illuminate the relationship between PVDF’s structural properties and its electrical behavior,offering valuable insights for material design and applications.

关键词： Dielectric constant PVDF Finite field DFT