检索结果-南通市图书馆

Event-triggered impulsive synchronization of heterogeneous neural networks

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Science China(Information Sciences) 2024年第2期67卷 331-332页

作者： Zhengxin WANG Chongfang jin Wangli HE Min XIAO Guo-ping JIANG jinde cao College of Science Nanjing University of Posts and Telecommunications Jiangsu Engineering Lab for IOT Intelligent Robots (IOTRobot) Nanjing University of Posts and Telecommunications Key Laboratory of Smart Manufacturing in Energy Chemical Process Ministry of EducationEast China University of Science and Technology School of Automation Nanjing University of Posts and Telecommunications School of Mathematics Southeast University Yonsei Frontier Lab Yonsei University

Synchronization is one of the most important dynamics in neural networks. Several scholars have studied the quasi-synchronization of heterogeneous neural networks [1],wherein external controllers play a significant role. Impulsive control, a kind of energy-saving control, is activated instantaneously only at specific discrete moments.

关键词：

Regulated polarization degree of upconversion luminescence and multiple anti-counterfeit applications

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Rare Metals 2024年第5期43卷 2172-2183页

作者： Dong-ping Wen ping Chen Yi Liang Xiao-Ming Mo cao-Feng Pan Center On Nanoenergy Research Guangxi Key Laboratory for Relativistic AstrophysicsSchool of Physical Science and TechnologyGuangxi UniversityNanning 530004China Key Laboratory of Micronano Energy and Sensor CAS Center for Excellence in NanoscienceBeijing Institute of Nanoenergy and NanosystemsChinese Academy of SciencesBeijing 100140China

Polarization upconversion luminescence(PUCL)of lanthanide ions(Ln^(3+))has been widely used in single particle tracking,microfluidics detection,three-dimensional displays,and so ***,no effective strategy has been developed for modulating *** we report a strategy to regulate PUCL in Ho^(3+)-doped NaYF4single nanorods based on the number of upconversion *** constructing a multiphoton upconversion system for Ho^(3+),we regulate the degree of polarization(DOP)of PUCL from 0.590 for two-photon luminescence to 0.929 for three-photon upconversion luminescence(UCL).Furthermore,our strategy is verified from cross-relaxation between Ho^(3+)and Yb^(3+),excitation wavelength,excitation power density,and local site *** this regulation strategy of PUCL has also been achieved in Tm^(3+),with the DOP ranging from 0.233 for two-photon luminescence to 0.925 for four-photon UCL Besides,multi-dimensional anti-counterfeiting display has been explored with *** work provides an effective strategy for regulating PUCL and also provides more opportunities for the development of polarization display optical encoding,anti-counterfeiting,and integrated optical devices.

关键词： Polarization upconversion luminescence Degree of polarization Population density of excited state Number of upconversion photons Polarization anti-counterfeitingdisplay

Formal Verification of Data Modifications in Cloud Block Storage Based on Separation Logic

在线全文

学校读者我要写书评

暂无评论

Chinese Journal of Electronics 2024年第1期33卷 112-127页

作者： Bowen ZHANG Zhao jin Hanpin WANG Yongzhi cao Key Laboratory of High Confidence Software Technologies (MOE) School of Computer Science Peking University School of Computer and Artificial Intelligence Zhengzhou University School of Computer Science and Cyber Engineering Guangzhou University

Cloud storage is now widely used, but its reliability has always been a major concern. Cloud block storage(CBS) is a famous type of cloud storage. It has the closest architecture to the underlying storage and can provide interfaces for other types. Data modifications in CBS have potential risks such as null reference or data *** verification of these operations can improve the reliability of CBS to some extent. Although separation logic is a mainstream approach to verifying program correctness, the complex architecture of CBS creates some challenges for verifications. This paper develops a proof system based on separation logic for verifying the CBS data modifications. The proof system can represent the CBS architecture, describe the properties of the CBS system state, and specify the behavior of CBS data modifications. Using the interactive verification approach from Coq, the proof system is implemented as a verification tool. With this tool, the paper builds machine-checked proofs for the functional correctness of CBS data modifications. This work can thus analyze the reliability of cloud storage from a formal perspective.

关键词： Cloud computing Behavioral sciences Reliability Formal verification

Investigation on ignition characteristics of charring conductive polymers stimulated by electric energy

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Chinese Journal of Aeronautics 2024年第10期37卷 68-82页

作者： Zhiyuan ZHANG Hanyu DENG Wenhe LIAO Yantao PU ping cao School of Mechanical Engineering Nanjing University of Science and TechnologyNanjing 210094China Anhui Hongxing Electrical Polytron Technologies Inc. Hefei 231135China

The arc ignition based on charring conductive polymers has advantages of simple structure,low ignition power consumption and restart capacity,which bringing it broadly application prospect in hybrid propulsion system of micro/nano *** order to optimize the performance of arc ignition system,it is essential to have a deeper understanding of the ignition processes and ignition characteristics of charring conductive *** this paper,the thermal decomposition,electrical conductivity and thermal conductivity characteristics of charring conductive polymers with different conductive additives and matrix materials were comprehensively *** experimental investigation was conducted to determine the ignition behaviors and characteristics of different charring conductive polymers in a visual ignition *** experiment result showed that the ignition delay and external energy required for ignition are negatively correlated with voltage and initial temperature of the ignition grain,but positively correlated with oxidizer flow *** with charring conductive polymers containing multi-walled carbon nanotube,the ignition delay of charring conductive polymers with carbon black is significantly higher and the pyrolysis time is relatively ***,the ignition and initial flame propagation of charring conductive polymers with carbon black is more violent and more inclined to carbon particle ***,the restart characteristic of different charring conductive polymers was *** ignition delay and external energy required for ignition of different charring conductive polymers all reduced with the increasing of the number of ***,the ignition characteristics would not change a lot after repeated ignition.

关键词： Micro/nano satellite hybrid rocket motors Arc ignition Charring conductive polymer Ignition process Ignition characteristic Restart characteristic

Gas sensor array based on carbon-based thin-film transistor for selective detection of indoor harmful gases

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Rare Metals 2024年第9期43卷 4401-4411页

作者： Can Liu Yu Sun Jia-Yi Guo Xiu-Lei Li Lu Tao jin-Yong Hu Jue-Xian cao ping-Hua Tang Yong Zhang School of Electrical and Information Engineering Hunan Institute of EngineeringXiangtan 411104China Physics and Optoelectronics&Hunan Institute of Advanced Sensing and Information Technology Xiangtan UniversityXiangtan 411105China

The identification of indoor harmful gases is imperative due to their significant threats to human health and *** achieve accurate identification,an effective strategy of constructing a sensor array combined with the pattern recognition algorithm is ***-based thin-film transistors are selected as the sensor array unit,with semiconductor carbon nanotubes(CNTs)within the TFT channels modified with different metals(Au,Cu and Ti)for selective responses to NH_(3),H_(2)S and HCHO,*** accurate gas species identification,an identification mode that combines linear discriminant analysis algorithms and logistic regression classifier is *** test results demonstrate that by preprocessing the sensor array’s sensing data with the LDA algorithm and subsequently employing the LR classifier for identification,a 100%recognition rate can be achieved for three target gases(NH3,H2S and HCHO).This work provides significant guidance for future applications of chip-level gas sensors in the realms of the Internet of Things and Artificial Intelligence.

关键词： Carbon-based thin-film transistors Gas sensor arrays Semiconductor carbon nanotubes Multi-gas detection Linear discriminant analysis

Prediction of chemical short-range order in high-/medium-entropy alloys

在线全文

学校读者我要写书评

暂无评论

Journal of Materials Science & Technology 2024年第2期169卷 115-123页

作者： Pei-Yu cao jing Wang ping Jiang Yun-Jiang Wang Fu-ping Yuan Xiao-Lei Wu State Key Laboratory of Nonlinear Mechanics Institute of MechanicsChinese Academy of ScienceBeijing 100190China School of Engineering Science University of Chinese Academy of SciencesBeijing 100049China

Chemical short-range orders(CSROs),as the built-in sub-nanoscale entities in a high-/medium-entropy alloy(H/MEA),have aroused an ever-increasing *** multi-principal elements in an H/MEA to form a complex concentrated solution,a variety of sub-systems of species exist to induce the metastable ordered compounds as candidates for ultimate *** issues remain pending on the origin of CSROs as to how to judge if CSRO will form in an H/MEA and particularly,what kind of CSROs would be stably produced if there were multiple ***,the first-principles method,along with the proposed local formation energy calculation in allusion to the atomic-scale chemical heterogeneities,is used to predict the CSRO formation based on the mechanical stability,thermodynamic formation energy,and electronic *** simulations are detailed in an equiatomic ternary VCoNi MEA with three kinds of potential compounds,i.e.,L1_(1),L1_(2),and B2,in the face-centered cubic *** turns out that L1_(1)is stable but hard to grow up so as to become the final CSRO.L1_(1)is further predicted as CSROs in CrCoNi,but unable to form in FeCoNi and CrMnFeCoNi *** predictions are consistent with the experimental *** findings shed light on understanding the formation of *** method is applicable to other H/MEAs to design and tailor CSROs by tuning chemical species/contents and thermal processing for high performance.

关键词： Short-range order High-entropy alloy Microstructure First-principles calculation Gibbs free energy Local electronic density of states

Peeling of Magneto-responsive Beams with Large Deformation Mediated by the Parallel Magnetic Field

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Acta Mechanica Solida Sinica 2024年第3期37卷 457-467页

作者： Gongqi cao Zhangna Xue Shiyang Liu Yuchen jin Jianlin Liu College of Pipeline and Civil Engineering China University of Petroleum(East China)Qingdao266580China

Elasto-capillarity phenomena are prevalent in various industrial fields such as mechanical engineering,material science,aerospace,soft robotics,and *** this study,two typical peeling processes of slender beams driven by the parallel magnetic field are investigated based on experimental and theoretical *** first is the adhesion of two parallel beams,and the second is the self-folding of a long *** these two cases,the energy variation method on the elastica is used,and then,the governing equations and transversality boundary conditions are *** is shown that the analytical solutions are in excellent agreement with the experimental *** effects of magnetic induction intensity,distance,and surface tension on the deflection curve and peeling length of the elastica are fully *** results are instrumental in accurately regulating elasto-capillarity in structures and provide insights for the engineering design of programmable microstructures on surfaces,microsensors,and bionic robots.

关键词： Magneto-responsive beam Adhesion and peeling Self-folding Elastica Transversality condition

Research on the Relationship Between Environmental and Economic Coupling Systems in Bohai Bay Area Based on a Vector Autoregression(VAR)Model

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Journal of Ocean University of China 2024年第2期23卷 557-566页

作者： cao Huimin WANG ping ZHANG Surong XU Dongpo TIAN Weijun Key Laboratory of Marine Environment and Ecology Ministry of EducationOcean University of ChinaQingdao 266100China Business School Qingdao UniversityQingdao 266100China

This study analyzed the impact of land-based contaminants and tertiary industrial structure on economic development in the selected Bohai Bay area,*** on panel data spanning 2011-2020,a vector autoregressive(VAR)model is used to analyze and forecast the short-run and long-run relationships between three industrial structures,pollutant discharge,and economic *** results showed that the environmental index had a long-term cointegration relationship with the industrial structure economic *** capital chemical oxygen demand(PCOD)and per capita ammonia nitrogen(PNH_(3)N)had a positive impact on delta per capita GDP(dPGDP),while per capita solid waste(PSW),the secondary industry rate(SIR)and delta tertiary industry(dTIR)had a negative impact on *** VAR model under this coupling system had stability and *** impulse response results showed that the short-term effect of the coupling system on dPGDP was basically consistent with the Granger causality test *** addition,variance decomposition was used in this study to predict the long-term impact of the coupling system in the next ten periods(i.e.,ten years).It was found that dTIR had a great impact on dPGDP,with a contribution rate as high as 74.35%in the tenth period,followed by the contribution rate of PCOD up to 3.94%,while the long-term contribution rates of PSW,SIR and PNH3N were all less than 1%.The results show that the government should support the development of the tertiary industry to maintain the vitality of economic development and prevent environmental deterioration.

关键词： Bohai Bay area environmental pollution industrial structure cointegration theory VAR model impulse response

Pancreatic giant malignancy simulating a gastrointestinal stromal tumor

在线全文

学校读者我要写书评

暂无评论

Hepatobiliary & Pancreatic Diseases International 2024年第4期23卷 431-433页

作者： Ben-Jie Liu Chen-Hui jin Yan-Lun Guo Zhi-Gang Ke Jun-Jun Huang Lin-ping cao Department of Hepatobiliary Surgery Department of General SurgeryPujiang Branch of the First Affiliated HospitalZhejiang University School of MedicineJinhua 322200China Department of Pathology Pujiang Branch of the First Affiliated HospitalZhejiang University School of MedicineJinhua 322200China Department of Hepatobiliary and Pancreatic Surgery the First Affiliated HospitalZhejiang University School of MedicineHangzhou 310003China

Pancreatic acinar cell carcinoma(PACC)is a rare malignant tumor of pancreatic epithelial cells,which produces pancreatic exocrine *** originates from acinar cells and terminal branches of the pancreatic ducts in the exocrine tissue of the *** accounts for 1%−2%of pancreatic exocrine tumors[1].Herein,we present an elderly woman with PACC who recovered after effective laparoscopic *** tumor was located on the left side of the abdomen;imaging suggested that it was a gastrointestinal stromal tumor of the gastric wall origin,infiltrating the tail of the pancreas and omentum,while postoperative pathology suggested PACC.

关键词： Pancreatic gastrointestinal pancreas