检索结果-南通市图书馆

UNCONDITIONAL CONVERGENCE AND ERROR ESTIMATES OF A FULLY DISCRETE FINITE ELEMENT METHOD FOR THE MICROPOLAR NAVIER-STOKES EQUATIONS

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Journal of Computational Mathematics 2024年第1期42卷 71-110页

作者： Shipeng mao Jiaao Sun Wendong xue NCMIS LSECInstitute of Computational Mathematics and Scientific/Enginnering ComputingAcademy of Mathematics and Systems ScienceChinese Academy of SciencesBeijing 100190China School of Mathematical Sciences University of Chinese Academy of SciencesBeijing 100049China

In this paper,we consider the initial-boundary value problem(IBVP)for the micropolar Naviers-Stokes equations(MNSE)and analyze a first order fully discrete mixed finite element *** first establish some regularity results for the solution of MNSE,which seem to be not available in the ***,we study a semi-implicit time-discrete scheme for the MNSE and prove L2-H1 error estimates for the time discrete ***,certain regularity results for the time discrete solution are establishes *** on these regularity results,we prove the unconditional L2-H1 error estimates for the finite element solution of ***,some numerical examples are carried out to demonstrate both accuracy and efficiency of the fully discrete finite element scheme.

关键词： Micropolar fluids Regularity estimates Euler semi-implicit scheme Mixed finite element methods Unconditional convergence

ContextAug:model-domain failing test augmentation with contextual information

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Frontiers of Computer Science 2024年第2期18卷 43-60页

作者： Zhuo ZHANG Jianxin xue Deheng YANG Xiaoguang mao School of Information Technology and Engineering Guangzhou College of CommerceGuangzhou 511363China School of Computer and Information Engineering Institute for Artificial IntelligenceShanghai Polytechnic UniversityShanghai 201209China College of Computer National University of Defense TechnologyChangsha 410073China

In the process of software development,the ability to localize faults is crucial for improving the efficiency of *** speaking,detecting and repairing errant behavior at an early stage of the development cycle considerably reduces costs and development *** have tried to utilize various methods to locate the faulty ***,failing test cases usually account for a small portion of the test suite,which inevitably leads to the class-imbalance phenomenon and hampers the effectiveness of fault ***,in this work,we propose a new fault localization approach named *** obtaining dynamic execution through test cases,ContextAug traces these executions to build an information model;subsequently,it constructs a failure context with propagation dependencies to intersect with new model-domain failing test samples synthesized by the minimum variability of the minority feature *** contrast to traditional test generation directly from the input domain,ContextAug seeks a new perspective to synthesize failing test samples from the model domain,which is much easier to augment test *** conducting empirical research on real large-sized programs with 13 state-of-the-art fault localization approaches,ContextAug could significantly improve fault localization effectiveness with up to 54.53%.Thus,ContextAug is verified as able to improve fault localization effectiveness.

关键词： context fault localization test cases

Chemotactic nanomotor for multimodal combined therapy of glioblastoma

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Science China Chemistry 2024年第4期67卷 1277-1288页

作者： ting Li Lin Chen Yunxin xue Xiangyu Xiao Wenjun Dai Kaiyuan Tan Tiantian Chen Yingfang Tao Chun mao Jian Shen Mimi Wan National and Local Joint Engineering Research Center of Biomedical Functional Materials School of Chemistry and Materials ScienceNanjing Normal UniversityNanjing 210023China

Glioblastoma(GBM) is the most aggressive malignant brain tumor. Due to the infiltration and heterogeneity of GBM, the obstruction of the blood-brain barrier(BBB) and the unique immunosuppressive mechanism, it is hard to achieve significant effects of GBM treatment. Here, a kind of chemotactic nanomotor that loaded with glucose oxidase(GOx) and carboxylated cisplatin(Pt(IV)) prodrug on the L-arginine-derived polymer is proposed. The nanomotors are driven by catalysis of glucose decomposition and the positive chemotaxis towards the GBM microenvironment where inducible nitric oxide synthase and reactive oxygen species are highly expressed. This facilitates the BBB crossing and GBM targeting of the nanomotors. In addition, the released nitric oxide(NO) during propulsion as well as the loaded GOx and Pt(IV) can exert combined NO/starvation/chemotherapy. Meanwhile, it is able to induce and enhance the immune response through multiple pathways, thus better coping with the complexities of GBM treatment.

关键词： chemotaxis combined therapy glioblastoma nanomotors

Fault Analysis on AES:A Property-Based Verification Perspective

在线全文

学校读者我要写书评

暂无评论

Tsinghua Science and Technology 2024年第2期29卷 576-588页

作者： Xiaojie Dai Xingxin Wang xue Qu Baolei mao Wei Hu School of Cybersecurity Northwestern Polytechnical UniversityXi’an 710072China School of Cyber Science and Engineering Zhengzhou UniversityZhengzhou 450001China

Fault analysis is a frequently used side-channel attack for ***,existing fault attack methods usually involve complex fault fusion analysis or computation-intensive statistical analysis of massive fault *** this work,we take a property-based formal verification approach to fault *** derive fine-grained formal models for automatic fault propagation and fusion,which establish a mathematical foundation for precise measurement and formal reasoning of fault *** extract the correlations in fault effects in order to create properties for fault *** further propose a method for key recovery,by formally checking when the extracted properties can be satisfied with partial keys as the search *** results using both unprotected and masked advanced encryption standard(AES)implementations show that our method has a key search complexity of 216,which only requires two correct and faulty ciphertext pairs to determine the secret key,and does not assume knowledge about fault location or pattern.

关键词： side-channel attack fault analysis fault propagation model property extraction fault verification

Improving fault localization with pre-training

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Frontiers of Computer Science 2024年第1期18卷 247-249页

作者： Zhuo ZHANG Ya LI Jianxin xue Xiaoguang mao School of Information Technology and Engineering Guangzhou College of CommerceGuangzhou 511363China Ningbo Artificial Intelligence Institute Shanghai Jiao Tong UniversityNingbo 315000China Institute for Artificial Intelligence Shanghai Polytechnic UniversityShanghai 210209China College of Computer National University of Defense TechnologyChangsha 410073China

1 Introduction For developers,fault localization is the most tedious and time-consuming *** order to reduce the burden of developers,researchers have developed various techniques to help reduce the cost of locating faults based on possibility of containing a fault in program statements[1].Among them,coverage-based fault localization is one of the most studied automated fault localization ***-based fault localization methods utilize a type of preliminary information to localize the faults in programs,which is a matrix of statements’coverage *** value of each element is 1 or 0,in which 1 means a statement is executed and 0 denotes a statement is not executed[1].

关键词： fault statement utilize

A new fabrication method for enhancing the yield of linear micromirror arrays assisted by temporary anchors

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Microsystems & Nanoengineering 2024年第3期10卷 169-180页

作者： Xingchen Xiao ting mao Yingchao Shi Kui Zhou Jia Hao Yiting Yu Ningbo Institute of Northwestern Polytechnical University College of Mechanical EngineeringNorthwestern Polytechnical University710072 Xi’anChina Key Laboratory of Micro/Nano Systems for Aerospace(Ministry of Education) Shaanxi Province Key Laboratory of Micro and Nanoelectromechanical SystemsNorthwestern Polytechnical University710072 Xi’anChina

As one of the most common spatial light modulators,linear micromirror arrays(MMAs)based on microelectromechanical system(MEMS)processes are currently utilized in many ***,two crucial challenges exist in the fabrication of such devices:the adhesion of silicon microstructures caused by anodic bonding and the destruction of the suspended silicon film due to residual *** solve these issues,an innovative processing method assisted by temporary anchors is *** approach effectively reduces the span of silicon microstructures and improves the Euler buckling limit of the silicon ***,these temporary anchors are strategically placed within the primary etching areas,enabling easy removal without additional processing *** a result,we successfully achieved wafer-level,high-yield manufacturing of linear MMAs with a filling factor as high as 95.1%.Demonstrating superior capabilities to those of original MMAs,our enhanced version boasts a total of 60 linear micromirror elements,each featuring a length-to-width ratio of 52.6,and the entire optical aperture measures 5 mm×6 *** linear MMA exhibits an optical deflection angle of 20.4°at 110 Vdc while maintaining exceptional deflection flatness and *** study offers a viable approach for the design and fabrication of thin-film MEMS devices with high yields,and the proposed MMA is promising as a replacement for digital micromirror devices(DMDs,by TI Corp.)in fields such as spectral imaging and optical communication.

关键词： mirror exceptional anodic

In Situ Atomic Reconstruction Engineering Modulating Graphene-Like MXene-Based Multifunctional Electromagnetic Devices Covering Multi-Spectrum

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Nano-Micro Letters 2024年第9期16卷 247-261页

作者： ting‑ting Liu Qi Zheng Wen‑Qiang Cao Yu‑Ze Wang Min Zhang Quan‑Liang Zhao mao‑Sheng Cao School of Materials Science and Engineering Beijing Institute of TechnologyBeijing 100081People’s Republic of China Department of Physics Beijing Technology and Business UniversityBeijing 100048People’s Republic of China School of Mechanical and Materials Engineering North China University of TechnologyBeijing 100144People’s Republic of China

With the diversified development of big data,detection and precision guidance technologies,electromagnetic(EM)functional materials and devices serving multiple spectrums have become a hot *** the multispectral response of materials is a challenging and meaningful scientific *** this study,MXene/TiO_(2)hybrids with tunable conduction loss and polarization relaxation are fabricated by in situ atomic reconstruction *** importantly,MXene/TiO_(2)hybrids exhibit adjustable spectral responses in the GHz,infrared and visible spectrums,and several EM devices are constructed based on *** antenna array provides excellent EM energy harvesting in multiple microwave bands,with|S11|up to−63.2 dB,and can be tuned by the degree of *** ultra-wideband bandpass filter realizes a passband of about 5.4 GHz and effectively suppresses the transmission of EM signals in the *** infrared stealth device has an emissivity of less than 0.2 in the infrared spectrum at wavelengths of 6-14μ*** work can provide new inspiration for the design and development of multifunctional,multi-spectrum EM devices.

关键词： Graphene-like MXene hybrids Multi-spectral response Multi-function antenna Ultra-wideband bandpass filter Electromagnetic device

Cucurbit[n]uril-based nanostructure construction and modification

在线全文

学校读者我要写书评

暂无评论

Chinese Chemical Letters 2024年第8期35卷 138-148页

作者： Lijun mao Shuo Li Xin Zhang Zhan-ting Li Da Ma School of Pharmaceutical Engineering&Institute for Advanced Studies Taizhou UniversityJiaojiang 318000China Key Laboratory of Synthetic and Self-Assembly Chemistry for Organic Functional Molecules Shanghai Institute of Organic ChemistryChinese Academy of SciencesShanghai 200032China Department of Chemistry Shanghai Key Laboratory of Molecular Catalysis and Innovative MaterialsFudan UniversityShanghai 200438China

New fabrication method of nanostructures is of great importance for the applications of nanoscience and *** review summarizes cucurbit[n]uril(CB[n])-based nanostructure fabrication and modification *** strategies include the use of CB[n]s as building blocks and supramolecular crosslinkers to fabricate nanostructures,to surface modify nanostructures,and as gatekeepers to control the release of encapsulated *** nanostructures are used for drug delivery,bioimaging,chemical sensing,catalysis and other ***[n]s often play a vital role in the fabrication of these nanos-tructures,and the realization of the applications.

关键词： Cucurbit[n]uril Nanostructure Host-guest interaction Nanofabrication

Copper-coated Porous Polyimide as Ultralight and Safe Current Collectors for Advanced LIBs

在线全文

学校读者我要写书评

暂无评论

Chinese Journal of Polymer Science 2024年第4期42卷 521-531页

作者： Cun-Sheng Liu Jun-Qi Hu ting-ting mao Song-Yi Liao Ru-Ming Feng Yi-Dong Liu Yong-Gang Min School of Materials and Energy Guangdong University of TechnologyGuangzhou510006China College of Chemistry and Chemical Engineering Zhongkai University of Agriculture and EngineeringGuangzhou510225China Shanwei Branch of Advanced Energy Science and Technology Guangdong Laboratory Shanwei516600China

Metallic copper is widely used as current collector(CC) for graphite anode of lithium-ion batteries(LIBs) due to its high electrical conductivity and electrochemical stability. However, the large volume density of commercial copper foil(~8.9 g·cm^(-3)) limits the increase of energy density of battery. Here, copper-coated porous polyimide(Cu@PPI) was prepared by vacuum evaporation as collector for the graphite anode. The sandwich structure connects the copper metal on both sides of the collector with excellent electrical conductivity. Compared to commercial Cu foil, Cu@PPI has lighter mass(≤3.9 mg for disc of 12 mm diameter versus 9.9 mg of ~10 μm Cu foil) and lower volume density(≤3.3 g·cm^(-3)). In addition, the porous structure allows of better adhesion of reactive substances and electrochemical properties than pure Cu foils. It is estimated that the energy density of Cu@PPI should be much higher than that of Cu foil. This strategy should be applicable for other current collectors.

关键词： Copper-coated Vacuum evaporation Porous polyimide(PPI) Current collector(CC) LIBs