检索结果-南通市图书馆

Vulnerability Detection Model for Blockchain Systems Based on Formal Method

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Ruan Jian Xue Bao/Journal of Software 2024年第9期35卷

作者： Chen, Jin-Fu Feng, qiao-wei Cai, Sai-Hua Shi, Deng-Zhou Sosu, Rexford Nii Ayitey School of Computer Science and Communication Engineering Jiangsu University Zhenjiang 212013 China Jiangsu Key Laboratory of Security Technology for Industrial Cyberspace (Jiangsu University) Zhenjiang 212013 China Faculty of Computing and Information Systems Ghana Communication Technology University Accra 23321 Ghana

As blockchain technology is widely employed in all walks of life, the architecture of blockchain systems becomes increasingly more complex, which raises the number of security issues. At present, traditional vulnerability detection methods such as fuzz testing and symbol execution are adopted in blockchain systems, but these techniques cannot detect unknown vulnerabilities effectively. To improve the security of blockchain systems, this study proposes a vulnerability detection model for blockchain systems (VDMBS) based on the formal method. This model integrates multiple security factors including system migration state, security property and trust relationship among nodes, and provides a vulnerability model building method based on business process execution language (BPEL). Finally, the effectiveness of the proposed vulnerability detection model is verified on a blockchain-based e-voting election system by NuSMV, and the experimental results show that compared with five existing formal testing tools, the proposed VDMBS model can detect more blockchain system logic vulnerabilities and smart contract vulnerabilities. © 2024 Chinese Academy of Sciences. All rights reserved.

关键词： Formal verification

ZIF-8 modified by isocyanate as a photocatalytic antibacterial agent

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Rare Metals 2024年第6期43卷 2708-2718页

作者： Yi-Ning Zhang Zhen Pei Zi-Hao Wang Chong-En Wang Fen-Fen Liang Li-qiao wei College of Architecture Taiyuan University of TechnologyTaiyuan 030024China Key Laboratory of Interface Science and Engineering in Advanced Materials of Taiyuan University of Technology Ministry of EducationTaiyuan 030024China Department of Materials Science and Engineering Shanxi Institute of TechnologyYangquan 045000China Shanxi-Zheda Institute of Advanced Materials and Chemical Engineering Taiyuan 030000China

Zeolite imidazole skeleton(ZIF-8)is a promising option for self-cleaning of building exterior walls due to its large specific surface area,high antibacterial activity and low ***,it suffers from low antibacterial efficiency and yield under visible light *** address the issues,we developed the photocatalytic materials T-ZIF-8-TDI(thermally treated-ZIF-8-toluene 2,4-diisocyanate)by modifying ZIF-8 with thermal oxygen sensitization and chemical *** results show that the yield of T-ZIF-8-TDI photocatalytic antibacterial agent is increased to 11.5 times of that of T-ZIF-8,while maintaining the crystal structure of T-ZIF-8 and thermal stability up to 60℃.Furthermore,T-ZIF-8-TDI exhibits extended optical response range to the nearinfrared region,significantly narrowed band gap,improved photogenerated elec tron-hole separation efficiency,reduced recombination rate,and excellent photocatalytic *** the concentration of antibacterial agent is 600 mg·L^(-1),the antibacterial rate of Escherichia coli(***)reaches 99.99%irradiated by visible light for30 min,and when the concentration of antibacterial agent is 200 mg·L^(-1),the antibacterial rate of Staphylococcus aureus(***)reaches 99.99%irradiated by visible light for 25 *** also analyzed the reasons in detail from the aspects of bacterial species and antibacterial mechanism,and proposed the antibacterial mechanism of·O_(2)^(-)and h^(+)as the main active *** findings suggest that T-ZIF-8-TDI photocatalytic antibacterial agent has potential for use in self-cleaning of building exterior walls.

关键词： ZIF-8 Hot oxygen sensitization Modified by isocyanate Antimicrobial performance Photocatalytic antibacterial mechanism

Diagnostic Value of GDF10 for the Tumorigenesis and Immune Infiltration in Lung Squamous Cell Carcinoma

在线全文

学校读者我要写书评

暂无评论

Current Medical Science 2024年第2期44卷 309-327页

作者： Xiao-jun WANG Jia-ping CHEN Xin-wei qiao Wang-yang MENG Yang-wei WANG Yun-chong MENG Rong ZHAO wei LIN Yong-de LIAO Han XIAO Pei-yuan MEI Department of Thoracic Surgery Union HospitalTongji Medical CollegeHuazhong University of Science and TechnologyWuhan 430022China Department of Thoracic Surgery Shandong Provincial Hospital Affiliated to Shandong First Medical UniversityJinan 250021China

Objective:Lung squamous cell carcinoma(LUSC)is associated with a low survival *** suggests that bone morphogenetic proteins(BMPs)and their receptors(BMPRs)play crucial roles in tumorigenesis and ***,a comprehensive analysis of their role in LUSC is *** study aimed to explore the relationship between BMPs/BMPRs expression levels and the tumorigenesis and prognosis of ***:The“R/Limma”package was utilized to analyze the differential expression characteristics of BMPs/BMPRs in LUSC,using data from TCGA,GTEx,and GEO ***,the“survminer”packages were employed to investigate their prognostic value and correlation with clinical features in *** core gene associated with LUSC progression was further explored through weighted gene correlation network analysis(WGCNA).LASSO analysis was conducted to construct a prognostic risk model for *** specimens were examined by immunohistochemical analysis to confirm the diagnostic value in ***,based on the tumor immune estimation resource database and tumor-immune system interaction database,the role of the core gene in the tumor microenvironment of LUSC was ***:GDF10 had a significant correlation only with the pathological T stage of LUSC,and the protein expression level of GDF10 decreased with the tumorigenesis of LUSC.A prognostic risk model was constructed with GDF10 as the core gene and 5 hub genes(HRASLS,HIST1H2BH,FLRT3,CHEK2,and ALPL)for ***10 showed a significant positive correlation with immune cell infiltration and immune checkpoint ***:GDF10 might serve as a diagnostic biomarker reflecting the tumorigenesis of LUSC and regulating the tumor immune microenvironment to guide more effective treatment for LUSC.

关键词： lung squamous cell carcinoma tumorigenesis bone morphogenetic protein GDF10 tumor immune microenvironment

Stratigraphic framework and sedimentary evolution during the Cryogenian-Ediacaran transition in northeastern Sichuan Basin,South China

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Petroleum Science 2024年第2期21卷 823-835页

作者： Yi Zhang Hong-wei Kuang Yong-Qing Liu Qiang Shi Dong-Ge Wang Ke-Ning Qi Yu-Chong Wang Da-wei qiao Xiao-Shuai Chen Li-Zhi Wu Meng Tian Long Chen Yi wei Liao-Yuan Song Jian Li Zi-Gang Wu Yun-Qian Liu Xuan-Chun Liu An-Qing Chen Zhi-wei Liao Institute of Geology Chinese Academy of Geological SciencesBeijing100037China State Key Laboratory of Coal Mine Disaster Dynamics and Control School of Resources and Safety EngineeringChongqing UniversityChongqing400044China No.205 Geological Team Chongqing Bureau of Geology and Minerals ExplorationChongqing401121China Chongqing Institute of Geological Survey Chongqing401122China Key Laboratory of Deep-time Geography and Environment Reconstruction and Applications of Ministry of Natural Resources Chengdu University of TechnologyChengdu610059SichuanChina

The northeastern Sichuan area in the northern Yangtze margin has unique Ediacaran geological records,especially the Doushantuo Formation(DST),and become a hot research area in recent ***,the Cryogenian-Ediacaran(C-E)boundary has not been precisely identified,which restricts the in-depth study of geological information during this crucial transitional period and is unfavorable for a systematic and complete understanding of the Yangtze Block and even the global paleogeographic *** study conducted stratigraphy,sedimentology,and chronostratigraphy to establish the stratigraphic framework and sedimentary evolution of the C-E transition strata in northeastern *** results showed that the Ediacaran sediments,without the cap dolomite,unconformably overlaid the Cryogenian sediments in the studied *** Member II of the DST,characterized by 50-160 m of red-green sandstone(approximately equivalent to the original Chengkou“Guanyinya Formation”),directly overlaid the Cryogenian sediments and displayed a 623±2.3 Ma maximum depositional age from the detrital zircon U-Pb *** stratigraphic correlations indicate that the C-E transition strata in northeastern Sichuan had a consistent lithological association and sedimentary sequence characteristics but differed from the Three ***,the upper Nantuo massive glacial diamictites transition to the icebergs rafted lonestone-bearing mudstones at the top,then change upward to DST barrier coast *** proposed DST of the northeastern Sichuan Basin was divided into three lithostratigraphic members without the regional Member I cap dolomite:(i)Member II purple-red,gray-green sandstone strata,(ii)MemberⅢblack mudstone strata,and(iii)Member IV P-Mn bearing *** the C-E transition,the study area experienced(i)the global deglaciation stage in the terminal Marinoan glaciation and(ii)the filling-leveling up stage with clastic rocks in the early ***,the early Ediacaran

关键词： Marinoan glaciation Doushantuo formation Cap dolomite Deglacial and coastal deposits Detrital zircon U-Pb dating

在线全文

学校读者我要写书评

暂无评论

以孔代巷瓦斯抽采工艺技术应用

矿业安全与环保 2024年第3期51卷 92-96,106页

作者：乔伟中煤科工集团重庆研究院有限公司重庆400037 煤矿灾害防控全国重点实验室重庆400037

为解决新源煤矿12214工作面上隅角瓦斯超限问题,考察了该工作面顶板岩性,研究了顶板裂隙带范围及其对采空区瓦斯流动聚积的影响,对瓦斯涌出量来源进行了分析,确定在不同层位施工一组共7个顶板高位定向长钻孔进行瓦斯抽采,并与一段高抽... 详细信息

为解决新源煤矿12214工作面上隅角瓦斯超限问题,考察了该工作面顶板岩性,研究了顶板裂隙带范围及其对采空区瓦斯流动聚积的影响,对瓦斯涌出量来源进行了分析,确定在不同层位施工一组共7个顶板高位定向长钻孔进行瓦斯抽采,并与一段高抽巷瓦斯抽采效果进行对比。结果表明:历经5个月回采,顶板高位定向长钻孔组与高抽巷平均抽采瓦斯浓度分别为17.24%、21.32%,抽采瓦斯纯流量分别为3.71、3.37 m^(3)/min,回采期间上隅角平均瓦斯浓度分别为0.42%、0.49%。研究表明,顶板高位定向长钻孔影响范围比高抽巷大,抽采瓦斯纯流量提高了10.09%,施工成本比高抽巷低,且施工效率更高,极大地缓解了高抽巷掘进速度对采煤工作面投产的制约,证明顶板高位定向长钻孔能够有效替代高抽巷进行矿井瓦斯抽采。

关键词：瓦斯抽采上隅角瓦斯涌出来源顶板高位定向长钻孔高抽巷瓦斯抽采效果

在线全文

学校读者我要写书评

暂无评论

艺术展览:一个亟待重新审视的领域

博物馆管理 2024年第2期 80-82页

作者：乔维中华慈善艺术馆北京100097

近年来,艺术展览呈现出前所未有的繁荣,其间又掺杂了某种“躁动”。一个具有时代面貌和审美意义的展览,策展人会起到至关重要的作用。如果去观察当下的艺术展览,其形式多呈现出模式化的态势,大部分展览都在克隆相似的样板。相同的、程... 详细信息

近年来,艺术展览呈现出前所未有的繁荣,其间又掺杂了某种“躁动”。一个具有时代面貌和审美意义的展览,策展人会起到至关重要的作用。如果去观察当下的艺术展览,其形式多呈现出模式化的态势,大部分展览都在克隆相似的样板。相同的、程序一样的场景下,唯有变化的是走马灯式的人员更换,看似“繁花似锦”,实则使人审美疲劳。有些展览的关注点不在作品艺术上。

关键词：艺术展览人员更换审美疲劳策展人模式化走马灯审美意义关注点

老年手痹症应用桂枝芍药汤治疗的效果及对中医证候积分的影响探讨

在线全文

学校读者我要写书评

暂无评论

中国实用医药 2024年第4期19卷 27-31页

作者：乔伟山东省泰安市妇幼保健院 271000

目的分析桂枝芍药汤治疗老年手痹症患者的效果及对中医证候积分的影响。方法30例老年手痹症患者,随机分为实验组和对照组,各15例。对照组患者接受双氯芬酸钠缓释片治疗,实验组患者在对照组基础上接受桂枝芍药汤治疗。比较两组患者中医... 详细信息

目的分析桂枝芍药汤治疗老年手痹症患者的效果及对中医证候积分的影响。方法30例老年手痹症患者,随机分为实验组和对照组,各15例。对照组患者接受双氯芬酸钠缓释片治疗,实验组患者在对照组基础上接受桂枝芍药汤治疗。比较两组患者中医证候积分、不良事件发生率、治疗效果及对治疗效果满意度。结果实验组患者手指关节屈伸不利、肿胀变形及疼痛程度积分分别为(1.02±0.09)、(0.98±0.07)、(1.08±0.10)分,均低于对照组的(3.21±0.21)、(2.91±0.17)、(2.89±0.16)分,数据差异有统计学意义(P<0.05)。实验组不良事件发生率13%低于对照组的47%,数据差异有统计学意义(P<0.05)。实验组治疗总有效率93%高于对照组的60%,数据差异有统计学意义(P<0.05)。实验组对治疗效果的总满意度87%明显高于对照组的53%,数据差异有统计学意义(P<0.05)。结论老年手痹症应用桂枝芍药汤治疗的效果突出,对中医证候积分的影响十分明显。

关键词：手痹症桂枝芍药汤双氯芬酸钠缓释片中医证候积分

在线全文

学校读者我要写书评

暂无评论

中医治疗寒湿痹证的研究分析

中国社区医师 2024年第5期40卷 8-10页

作者：乔伟山东省泰安市妇幼保健院山东泰安271000

风寒湿痹为中医病证名称,是行(风)痹、痛(寒)痹、着(湿)痹的统称。中医学中,寒湿痹证通常是因风、寒、湿三气侵袭经络,导致气血闭阻不畅而引起的疾病,病位常在人体骨骼、关节、肌肉、周围软组织、肌腱以及筋膜和滑囊。寒和湿为机体产生... 详细信息

风寒湿痹为中医病证名称,是行(风)痹、痛(寒)痹、着(湿)痹的统称。中医学中,寒湿痹证通常是因风、寒、湿三气侵袭经络,导致气血闭阻不畅而引起的疾病,病位常在人体骨骼、关节、肌肉、周围软组织、肌腱以及筋膜和滑囊。寒和湿为机体产生寒湿痹证的主要外部因素,是疾病的标;导致寒湿痹证的内在要素为人体正气不足,是疾病的本。中医治疗寒湿痹证,主要应用辨证论治、专方治疗以及综合治疗等措施,可获得良好的疗效。该文对寒湿痹证的病因与病机、临床症状表现、西医及中医治疗进行阐述,并对中医治疗效果进行分析,旨在为寒湿痹证的临床诊疗提供参考依据。

关键词：中医寒湿痹证关节炎

在线全文

学校读者我要写书评

暂无评论

深汕铁路场站工程给排水系统设计

城市道桥与防洪 2024年第4期 158-161,I0011页

作者：乔巍中铁十二局集团有限公司山西太原030000

对新建深圳至深汕合作区铁路站前工程SSSG-1标一工区场站工程的总体概况、涉及的给水排水系统分类及系统设计参数的选择进行了说明,对场站高大空间建筑采用满管压力流屋面雨水系统或半有压流屋面雨水系统的进行适用性计算分析,并结合雨... 详细信息

对新建深圳至深汕合作区铁路站前工程SSSG-1标一工区场站工程的总体概况、涉及的给水排水系统分类及系统设计参数的选择进行了说明,对场站高大空间建筑采用满管压力流屋面雨水系统或半有压流屋面雨水系统的进行适用性计算分析,并结合雨水排水沟流量主要控制参数对比结果,更合理地选择室外排水沟的断面形状和断面参数,达到更优化的排水效果.

关键词：铁路场站给水系统排水系统屋面雨水系统区域雨水系统