检索结果-内蒙古大学图书馆

Static program analysis for IoT risk mitigation in space-air-ground integrated networks

Security and Safety 2024年第2期3卷 43-57页

作者： Haotian Deng Tao Liu Xiaochen Ma Weijie Wang Chuan Zhang Huishu Wu Liehuang Zhu Beijing Institute of Technology Beijing 100081China China Academy of Information and Communications Technology Beijing 100191China Key Laboratory of Mobile Application Innovation and Governance Technology Beijing 100191China China University of Political Science and Law Beijing 100088China

The space-air-ground integrated networks(SAGINs)are pivotal for modern communication and surveillance,with a growing number of connected *** proliferation of Io T devices within these networks introduces new risks due to potential erroneous synergistic interactions that could compromise system integrity and *** paper addresses the challenges in coordination,synchronization,and security within SAGINs by introducing a novel static program analysis(SPA)technique using zero-knowledge(ZK)*** approach ensures the detection of risky interactions without compromising sensitive source code,thus safeguarding intellectual property and *** proposed method overcomes the incompatibility between SPA and ZK systems by developing an imperative programming language for SAGINs and a specialized abstract domain for interaction *** system translates network control algorithms into arithmetic circuits suitable for ZK analysis,maintaining high accuracy in detecting *** of real-world scenarios demonstrate the system's efficacy in identifying risky interactions with minimal computational *** research presents the first ZK-based SPA scheme for SAGINs,enhancing security and confidentiality in network analysis while adhering to privacy regulations.

关键词： Space-air-ground static program analysis abstract Interpretation zeroknowledge proof

来源：评论

学校读者我要写书评

暂无评论

Distinct Evolution of the SST Anomalies in the Far Eastern Pacific between the 1997/98 and 2015/16 Extreme El Niños

引用

Advances in Atmospheric sciences 2022年第6期39卷 927-942页

作者： Shaolei TANG Jing-Jia LUO Lin CHEN Yongqiang YU Institute for Climate and Application Research(ICAR) Nanjing University of Information Science and TechnologyNanjing 210044China Key Laboratory of Meteorological Disaster Ministry of Education(KLME)/ILCEC/CIC-FEMDNanjing University of Information Science and TechnologyNanjing 210044China State Key Laboratory of Numerical Modeling for Atmospheric Sciences and Geophysical Fluid Dynamics(LASG) Institute of Atmospheric PhysicsChinese Academy of SciencesBeijing 100029China University of Chinese Academy of Sciences Beijing 100049China Center for Ocean Mega-Science Chinese Academy of SciencesQingdao 266071China

The 2015/16 El Niño displayed a distinct feature in the SST anomalies over the far eastern Pacific(FEP)compared to the 1997/98 extreme *** contrast to the strong warm SST anomalies in the FEP in the 1997/98 event,the FEP warm SST anomalies in the 2015/16 El Niño were modest and accompanied by strong southeasterly wind anomalies in the southeastern *** possible underlying causes of this distinct difference in the FEP may improve understanding of the diversity of extreme El Niñ***,we employ observational analyses and numerical model experiments to tackle this ***-layer heat budget analysis suggests that compared to the 1997/98 event,the modest FEP SST warming in the 2015/16 event was closely related to strong vertical upwelling,strong westward current,and enhanced surface evaporation,which were caused by the strong southeasterly wind anomalies in the southeastern *** strong southeasterly wind anomalies were initially triggered by the combined effects of warm SST anomalies in the equatorial central and eastern Pacific(CEP)and cold SST anomalies in the southeastern subtropical Pacific in the antecedent winter,and then sustained by the warm SST anomalies over the northeastern subtropical Pacific and *** contrast,southeasterly wind anomalies in the 1997/98 El Niño were partly restrained by strong anomalously negative sea level pressure and northwesterlies in the northeast flank of the related anomalous cyclone in the subtropical South *** addition,the strong southeasterly wind and modest SST anomalies in the 2015/16 El Niño may also have been partly related to decadal climate variability.

关键词： El Nño-Southern Oscillation extreme El Niño El Niño diversity far eastern Pacific decadal climate variability

来源：评论

学校读者我要写书评

暂无评论

Heterogeneous Effects of Eye-close and Eye-open on Electroencephalographic Microstates of Depressed Brain in Resting State

Heterogeneous Effects of Eye-close and Eye-open on Electroen...

引用

2024 IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2024

作者： Cui, Kunbo Zhao, Mingqi Liu, Di He, Minxin Zhao, Qinglin Hu, Bin School of Information Science and Engineering Lanzhou University Lanzhou China Lanzhou University Key Laboratory of Special Functional Materials and Structural Design Ministry of Education Lanzhou China School of Medical Technology Beijing Institute of Technology Beijing China Cas Center for Excellence in Brain Science and Intelligence Technology Shanghai Institutes for Biological Sciences Chinese Academy of Sciences Shanghai China Joint Research Center for Cognitive Neurosensor Technology Lanzhou University Institute of Semiconductors Chinese Academy of Sciences Lanzhou China

ISBN: (纸本)9798350386226

Previous studies have shown that the resting-state electroencephalogram (EEG) of depressed patients exhibits abnormal dynamic activation of large-scale networks in microstate analysis. However, the problem of heterogeneous results in microstate features as physiological markers for depressive disorders has not been addressed. An important factor contributing to this problem is that previous studies have overlooked the effects of eye-opening and eye-closing on resting-state EEG microstates in depression. To address this gap, the present study proposes a new microstate delineation method to accurately identify EEG microstates in both open-eye and closed-eye resting states, and further analyzes the differential performance of the depressed group and the control group in the two states. We validated our method on a dataset containing 64-channel EEG data (55 cases in the depressed group and 55 cases in the control group). The results showed that the classical seven microstate topographies were present in both open-eye and closed-eye conditions, which may explain why other studies have overlooked the impact of eye state on resting-state microstates in depression. In addition, the microstate characteristics of depression were differentially expressed in the open-eye and closed-eye conditions, with the depressed group showing more significant results in the closed-eye condition. Overall, our study demonstrates that eye state affects depression microstates and provides new insights to address the problem of heterogeneity in the results of EEG microstate studies of depression. © 2024 IEEE.

关键词： Electroencephalography

来源：评论

学校读者我要写书评

暂无评论

Object-Enhanced Semantic Segmentation Model for High-Resolution Remote Sensing Images 5

Object-Enhanced Semantic Segmentation Model for High-Resolut...

引用

5th International Conference on Frontiers technology of Information and Computer, ICFTIC 2023

作者： Yuan, Zhengwu Deng, Yang Yang, Aixia Zhang, Fan Chongqing University of Posts and Telecommunication College of Computer Science and Technology Chongqing China Aerospace Information Research Institute Chinese Academy of Sciences State Key Laboratory of Remote Sensing Science Beijing China

ISBN: (纸本)9798350309034

The semantic segmentation of high-resolution remote sensing images is of paramount importance for applications such as land use, land cover, and cartography, and it holds great potential for widespread use. The characteristics of high-resolution remote sensing images are addressed in this study, and an end-to-end semantic segmentation network model is devised. An improved Resnet was employed to extract image features, and an efficient channel attention module was introduced to enhance the weights of important channels, with only a marginal increase in parameters. Due to significant scale variations among objects in high-resolution remote sensing images, a multi-scale algorithm was utilized to extract more comprehensive information. An object-enhancement algorithm was introduced, which, by incorporating object features, enhanced the contextual information of pixels in the high-level feature space. Through an analysis of the ultimate predictive performance, the model proposed in this paper demonstrated a certain advantage over popular semantic segmentation models such as Unet, DAnet, DeeplabV3, in predicting high-resolution remote sensing images. © 2023 IEEE.

关键词： component multi-scale object-enhancement remote sensing semantic segmentation

来源：评论

学校读者我要写书评

暂无评论

Efficient Inverse analysis for Solving a Coupled Conduction,Convection and Radiation Problem Involving Non⁃gray Participating Media

引用

Transactions of Nanjing University of Aeronautics and Astronautics 2024年第5期41卷 621-631页

作者： HE Zheng CAO Zhenkun CHENG Xiang CUI Miao LIU Kun School of Mechanics and Aerospace Engineering State Key Laboratory of Structural AnalysisOptimization and CAE Software for Industrial EquipmentDalian University of TechnologyDalian 116024P.R.China Science and Technology on Space Physics Laboratory CALTBeijing 100076P.R.China

The presence of non-gray radiative properties in a reheating furnace’s medium that absorbs,emits,and involves non-gray creates more complex radiative heat transfer ***,it adds difficulty to solving the coupled conduction,convection,and radiation problem,leading to suboptimal efficiency that fails to meet real-time control *** overcome this difficulty,comparable gray radiative properties of non-gray media are proposed and estimated by solving an inverse ***,the required iteration numbers by using a least-squares method are too many and resulted in a very low inverse *** is necessary to present an efficient method for the *** Levenberg-Marquardt algorithm is utilized to solve the inverse problem of coupled heat transfer,and the gray-equivalent radiative characteristics are successfully *** is our intention that the issue of low inverse efficiency,which has been observed when the least-squares method is employed,will be *** enhance the performance of the Levenberg-Marquardt algorithm,a modification is implemented for determining the damping *** investigations are also conducted to evaluate its accuracy,stability of convergence,efficiency,and robustness of the ***,a comparison is made between the results achieved using each method.

关键词： inverse problem coupled heat transfer problem Levenberg-Marquardt algorithm

来源：评论

学校读者我要写书评

暂无评论

HtrA3 paves the way for MSC migration and promotes osteogenesis

引用

Bioactive Materials 2024年第8期38卷 399-410页

作者： Yaru Guo Siqin Ma Dandan Wang Feng Mei Yusi Guo Boon Chin Heng Shihan Zhang Ying Huang Yan Wei Ying He Wenwen Liu Mingming Xu Xuehui Zhang Lili Chen Xuliang Deng Department of Geriatric Dentistry Peking University School and Hospital of StomatologyBeijing100081China Department of Stomatology PLA General HospitalFirst Affiliated Hospital(304 Hospital)Beijing100081China Department of Pediatric Dentistry Peking University School and Hospital of StomatologyBeijing100081China Department of Stomatology Union HospitalTongji Medical CollegeHuazhong University of Science and TechnologyWuhan430022China School of Stomatology Tongji Medical CollegeHuazhong University of Science and TechnologyWuhan430022China Central Laboratory Peking University School and Hospital of StomatologyBeijing100081China NMPA Key Laboratory for Dental Materials Department of Dental Materials&Dental Medical Devices Testing CenterPeking University School and Hospital of StomatologyBeijing100081China National Engineering Research Center of Oral Biomaterials and Digital Medical Devices Beijing Laboratory of Biomedical MaterialsPeking University School and Hospital of StomatologyBeijing100081China

Mesenchymal stem cell(MSC)migration determines the healing capacity of bone and is crucial in promoting bone *** of MSCs is highly dependent on degradation of extracellular matrix by proteolytic ***,the underlying mechanisms of how enzymolysis paves the way for MSCs to migrate from their niche to the defect area is still not fully ***,this study shows that high-temperature requirement A3(HtrA3)overcomes the physical barrier and provides anchor points through collagen IV degradation,paving the way for MSC ***3 is upregulated in MSCs at the leading edge of bone defect during the early stage of ***3 degrades the surrounding collagen IV,which increases the collagen network porosity and increases integrinβ1 ***,integrinβ1 enhances the mechanotransduction of MSCs,thus remodeling the cytoskeleton,increasing cellular stiffness and nuclear translocation of YAP,eventually promoting the migration and subsequent osteogenic differentiation of *** administration of recombinant HtrA3 in rat cranial bone defects significantly increases new bone formation and further validates the enhancement of MSC *** study helps to reveal the novel roles of HtrA3,explore potential targets for regenerative medicine,and offer new insights for the development of bioactive materials.

关键词： Mesenchymal stem cell Migration High-temperature requirement A3 Osteogenesis Mechanotransduction

来源：评论

学校读者我要写书评

暂无评论

The design and investigation of hydrogel-based metamaterials with ultra large negative hygroscopic expansion ratio

引用

International Journal of Smart and Nano Materials 2022年第1期13卷 114-129,I0007页

作者： Lian-Hua Ma Su-Dong Wang Jia Liu Hong Gao Wei Zhou Non-destructive Testing Laboratory School of Quality and Technical SupervisionHebei UniversityBaodingHebei071002China National&local Joint Engineering Research Center of Metrology Instrument and System Hebei UniversityBaodingHebei071002China Hebei Key Laboratory of Energy Metering and Safety Testing Technology Hebei UniversityBaodingHebei071002China Material Reliability Center China academy of space technologyBeijing100029China

A design strategy for a mechanical metamaterial with large negative hygroscopic expansion(NHE)was proposed in this *** from the reported structures,the present metamaterial is designed by constructing repeated lattice microstructure consisting of curved ligaments incorporating hydrogel active layers and polymer support layers and straight polymer *** immersed in the solution environment,the swelling of hydrogel layer of such composite structure induces the reversed bending of the ligament,leading to the overall ultra-large shrink(negative expansion)deformation of the *** the new structural design,large NHE effects can be *** theoretical investigation and finite element analysis(FEA)were conducted to demonstrate the large negative expansion effects of such *** results showed that the effective NHE ratio of the metamaterial is dependent of the curvature of the curved ligament and the size of both the ligament and the connecting *** ultra-large NHE ratios about−80%for the 2D structure and−90%for the 3D version can be obtained by adopting the structural *** newly designed metamaterials have potential applications in medical and other fields.

关键词： Hydrogel-based metamaterial structural design negative hygroscopic expansion active deformation

来源：评论

学校读者我要写书评

暂无评论

On the topology and unsteady behavior of ventilated cavitating flow over a bluff body

引用

Acta Mechanica Sinica 2024年第10期40卷 1-12页

作者： Zhiying Wang Tietao Lao Guojun Yan Jingzhu Wang Zhan Wang Wenbin Tian Guoyu Wang Yiwei Wang Key Laboratory for Mechanics in Fluid Solid Coupling Systems Institute of MechanicsChinese Academy of SciencesBeijing 100190China School of Engineering Science University of Chinese Academy of SciencesBeijing 100049China Beijing Institute of Astronautical Systems Engineering Beijing 100076China College of Engineering China Agricultural UniversityBeijing 100083China School of Mechanical and Vehicular Engineering Beijing Institute of TechnologyBeijing 100081China School of Future Technology University of Chinese Academy of SciencesBeijing 100049China

The cavity topology and unsteady behavior of ventilated cavitating flow over a bluff body are investigated experimentally using high-speed imaging and particle image velocimetry *** is observed that the cavity topology shows a distinct variation at different Reynold numbers(Re)for a given gas flow rate *** gas flow rate Q=4.16 litres per minute(LPM),the cavity topology is substantially the same at different Re,and the separated shear layer forms the basis for the cavity breakup and shedding ***,for Q=16.67 LPM,the cavity length decreases,and the cavity topology changes from supercavity to large-scale shedding with the increasing of *** to the observations,the balance of gas injection and the gas leakage capacity of shedding vortices,which can be estimated by the cavitation vortex size and the vortex shedding frequency,determines the cavity *** addition,the proper orthogonal decomposition analysis indicates that the existence of natural cavitation in the ventilated cavitating flow mainly affects the temporal variation of shedding and makes the periodic change of vortex dynamic more complicated.

关键词： Ventilated cavitating flow Vortex shedding POD

来源：评论

学校读者我要写书评

暂无评论

Evaluation of the interannual variability in the East Asian summer monsoon in AMIP and historical experiments of CAS FGOALS-f3-L

引用

Atmospheric and Oceanic science Letters 2023年第1期16卷 14-21页

作者： Xiaoqi Zhang Bian He Qing Bao Yimin Liu Guoxiong Wu School of Atmospheric Sciences Nanjing University of Information Science and TechnologyNanjingChina State Key Laboratory of Numerical Modeling for Atmospheric Sciences and Geophysical Fluid Dynamics(LASG) Institute of Atmospheric PhysicsChinese Academy of SciencesBeijingChina College of Earth and Planetary Sciences University of Chinese Academy of SciencesBeijingChina

对东亚夏季季风(EASM)模拟的评估可以提高我们对亚洲季风动力和气候模拟的理解.在这项研究中,通过使用中国科学院(CAS)全球海洋-大气-陆地系统(FGOALS-f3-L)模式参加的第六次耦合模式相互比较计划(CMIP6)中的大气模式相互比较计划(AMIP... 详细信息

对东亚夏季季风(EASM)模拟的评估可以提高我们对亚洲季风动力和气候模拟的理解.在这项研究中,通过使用中国科学院(CAS)全球海洋-大气-陆地系统(FGOALS-f3-L)模式参加的第六次耦合模式相互比较计划(CMIP6)中的大气模式相互比较计划(AMIP)和历史(historical)试验,明确了EASM的年际变率的模拟能力.通过多变量经验正交函数(MV-EOF)分析发现,观测的EASM的主导模态为西太平洋上的太平洋-日本模态,并伴有局部反气旋异常.主导模态的方差贡献率为24.6%.历史(historical)试验可以基本再现这种空间模态,其方差贡献率较AMIP试验更接近于观测.与AMIP试验相比,历史(historical)试验还能更好地模拟EASM变率的时间频率.然而,由于历史(historical)模拟没有在积分开始时应用初始化过程,而AMIP试验受到海表面温度(SST)的约束,因此主成分(PC1)的位相在历史(historical)试验中没有得到较好地再现.进一步分析发现,印度洋和西太平洋热带地区的海气相互作用对EASM的模拟非常重要,而EASM气候变率的模拟可能与厄尔尼诺-南方涛动(ENSO)的模拟能力有关,这值得进一步分析.

关键词：东亚夏季季风年际变化 CMIP6 模式评估 FGOALS-f3-L

来源：评论

学校读者我要写书评

暂无评论

testing the Limits: Unusual Text Inputs Generation for Mobile App Crash Detection with Large Language Model 24

Testing the Limits: Unusual Text Inputs Generation for Mobil...

引用

44th ACM/IEEE International Conference on Software Engineering, ICSE 2024

作者： Liu, Zhe Chen, Chunyang Wang, Junjie Chen, Mengzhuo Wu, Boyu Tian, Zhilin Huang, Yuekai Hu, Jun Wang, Qing State Key Laboratory of Intelligent Game Beijing China Institute of Software Chinese Academy of Sciences Beijing China University of Chinese Academy of Sciences Beijing China Technical University of Munich Munich Germany DiDi Global Inc The Pennsylvania State University Work Done during the Internship at Iscas United States Science & Technology on Integrated Information System Laboratory China

ISBN: (纸本)9798400702174

Mobile applications have become a ubiquitous part of our daily life, providing users with access to various services and utilities. Text input, as an important interaction channel between users and applications, plays an important role in core functionality such as search queries, authentication, messaging, etc. However, certain special text (e.g., -18 for Font Size) can cause the app to crash, and generating diversified unusual inputs for fully testing the app is highly demanded. Nevertheless, this is also challenging due to the combination of explosion dilemma, high context sensitivity, and complex constraint relations. This paper proposes InputBlaster which leverages the LLM to automatically generate unusual text inputs for mobile app crash detection. It formulates the unusual inputs generation problem as a task of producing a set of test generators, each of which can yield a batch of unusual text inputs under the same mutation rule. In detail, InputBlaster leverages LLM to produce the test generators together with the mutation rules serving as the reasoning chain, and utilizes the in-context learning schema to demonstrate the LLM with examples for boosting the performance. InputBlaster is evaluated on 36 text input widgets with cash bugs involving 31 popular Android apps, and results show that it achieves 78% bug detection rate, with 136% higher than the best baseline. Besides, we integrate it with the automated GUI testing tool and detect 37 unseen crashes in real-world apps. © 2024 ACM.

关键词： Android (operating system)

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：