检索结果-南通市图书馆

Checking Causal Consistency of MongoDB

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Journal of Computer Science & Technology 2022年第1期37卷 128-146页

作者： Hong-Rong Ouyang heng-feng wei Hai-Xiang Li An-Qun Pan Yu Huang State Key Laboratory for Novel Software Technology Nanjing UniversityNanjing 210023China Software Institute Nanjing UniversityNanjing 210093China Tencent Distributed SQL Team of Technology and Engineering Group of Tencent Tencent Inc.Shenzhen 518054China

MongoDB is one of the first commercial distributed databases that support causal *** implementation of causal consistency combines several research ideas for achieving scalability,fault tolerance,and *** its inherent complexity,a natural question arises:"Has MongoDB correctly implemented causal consistency as it claimed?"To address this concern,the Jepsen team has conducted black-box testing of ***,this Jepsen testing has several drawbacks in terms of specification,test case generation,implementation of causal consistency checking algorithms,and testing scenarios,which undermine the credibility of its *** this work,we propose a more thorough design of Jepsen testing of causal consistency of ***,we fully implement the causal consistency checking algorithms proposed by Bouajjani et *** test MongoDB against three well-known variants of causal consistency,namely CC,CCv,and CM,under various scenarios including node failures,data movement,and network *** addition,we develop formal specifications of causal consistency and their checking algorithms in TLA^(+),and verify them using the TLC model *** also explain how TLA^(+) specification can be related to Jepsen testing.

关键词： MongoDB casual consistency Jepsen consistency checking TLA^(+)

Optimal search path planning of UUV in battlefeld ambush scene

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Defence Technology（防务技术） 2024年第2期32卷 541-552页

作者： wei feng Yan Ma heng Li Haixiao Liu Xiangyao Meng Mo Zhou Naval Research Institute Beijing100161China

Aiming at the practical application of Unmanned Underwater Vehicle(UUV)in underwater combat,this paper proposes a battlefield ambush scene with UUV considering ocean ***,by establishing these mathematical models of ocean current environment,target movement,and sonar detection,the probability calculation methods of single UUV searching target and multiple UUV cooperatively searching target are given ***,based on the Hybrid Quantum-behaved Particle Swarm Optimization(HQPSO)algorithm,the path with the highest target search probability is ***,through simulation calculations,the influence of different UUV parameters and target parameters on the target search probability is analyzed,and the minimum number of UUVs that need to be deployed to complete the ambush task is demonstrated,and the optimal search path scheme is *** method proposed in this paper provides a theoretical basis for the practical application of UUV in the future combat.

关键词： Battlefield ambush Optimal search path planning UUV path Planning Probability of cooperative search

Progress in research on metal-based materials in stabilized Zn anodes

在线全文

学校读者我要写书评

暂无评论

Rare Metals 2024年第1期43卷 20-40页

作者： Le Li Shao-feng Jia Ming-Hui Cao Yong-Qiang Ji heng-wei Qiu Dan Zhang Shaanxi Key Laboratory of Industrial Automation School of Mechanical EngineeringShaanxi University of TechnologyHanzhong 723001China School of Electronic and Information Engineering Qingdao UniversityQingdao 266071China State Key Laboratory for Artifcial Microstructure and Mesoscopic Physics School of PhysicsPeking UniversityBeijing 100871China Department of Chemistry Key Laboratory of Bioorganic Phosphorus Chemistry and Chemical BiologyTsinghua UniversityBeijing 100084China Shaanxi Key Laboratory of Catalysis School of Chemistry and Environment ScienceShaanxi University of TechnologyHanzhong 723001China

Aqueous zinc-ion batteries(ZIBs) combine the benefits of metallic Zn anodes with those of aqueous electrolytes and are well suited for large-scale energy storage because of their inherent high safety, cost-effectiveness, and eco-friendliness. Currently, the practical application of such batteries is hindered by the poor cycling performance of Zn anodes due to uncontrolled dendrite formation and severe side reactions, although recent reports suggest that these problems can be mitigated through the modification of Zn anodes with metal-based *** that the mechanisms of improving Zn deposition and the structural evolution of metal-based materials have not been systematically reviewed, we herein systematically overview the metal-based materials used to stabilize Zn anodes, starting with a brief summary of the anode working mechanism and the challenges faced by stabilized Zn anodes. Subsequently, the design principles of Zn anodes stabilized by metal-based materials and the related recent progress are reviewed, and the key challenges and perspectives for the future development of such Zn anodes are proposed.

关键词： Zinc-ion batteries(ZIBs) Zn anode Metalbased materials Alloying metal Stabilized Zn anodes

Corrugated Graphene Paper Reinforced Silicone Resin Composite for Efficient Interface Thermal Management

在线全文

学校读者我要写书评

暂无评论

Chinese Journal of Polymer Science 2024年第7期42卷 1002-1014,I0010页

作者： Bo-Wen Wang heng Zhang Qing-Xia He Hui-Tao Yu Meng-Meng Qin wei feng Tianjin Key Laboratory of Composite and Functional Materials School of Materials Science and EngineeringTianjin UniversityTianjin300350China International Engineering Institute Tianjin UniversityTianjin300350China

With the rapid development of high-power-density electronic devices,interface thermal resistance has become a critical barrier for effective heat management in high-performance electronic ***,there is an urgent demand for advanced thermal interface materials(TIMs)with high cross-plane thermal conductivity and excellent compressibility to withstand increasingly complex operating *** achieve this aim,a promising strategy involves vertically arranging highly thermoconductive graphene on ***,with the currently available methods,achieving a balance between low interfacial thermal resistance,bidirectional high thermal conductivity,and large-scale production is ***,we prepared a graphene framework with continuous filler structures in in-plane and cross-plane directions by bonding corrugated graphene to planar graphene *** interface interaction between the graphene paper framework and polymer matrix was enhanced via surface functionalization to reduce the interface thermal *** resulting three-dimensional thermal framework endows the polymer composite material with a cross-plane thermal conductivity of 14.4 W·m^(-1)·K^(-1)and in-plane thermal conductivity of 130W·m^(-1)·K^(-1)when the thermal filler loading is 10.1 wt%,with a thermal conductivity enhancement per 1 wt%filler loading of 831%,outperforming various graphene structures as *** its high thermal conductivity,low contact thermal resistance,and low compressive modulus,the developed highly thermoconductive composite material demonstrates superior performance in TIM testing compared with TFLEX-700,an advanced commercial TIM,effectively solving the interfacial heat transfer issues in electronic *** novel filler structure framework also provides a solution for achieving a balance between efficient thermal management and ease of processing.

关键词： Graphene paper Vertically aligned structure Cross-plane thermal conductivity Low compressive modulus Thermal interface material

A Comprehensive Study of the Association between LEPR Gene rs1137101 Variant and Risk of Digestive System Cancers

在线全文

学校读者我要写书评

暂无评论

Biomedical and Environmental Sciences 2024年第5期37卷 445-456页

作者： HU wei Qiong ZHOU wei Guang ZHOU Guang wei LIAO Jia Xi SHI Jia Xing XIE fengYang LI Shou heng WANG Yong feng Xian Hong GU Xiu Li CHEN Bi feng Department of Biological Science and Technology School of ChemistryChemical Engineering and Life SciencesWuhan University of TechnologyWuhan 430070HubeiChina Institute of WUT-AMU Wuhan University of TechnologyWuhan 430070HubeiChina Department of Clinical Laboratory Wuhan Xinzhou District People’s HospitalWuhan 430499HubeiChina Department of Reproductive Genetics Wuhan Huake Reproductive HospitalWuhan 430013HubeiChina

Objective The leptin receptor,encoded by the LEPR gene,is involved in tumorigenesis.A potential functional variant of LEPR,rs1137101(Gln223Arg),has been extensively investigated for its contribution to the risk of digestive system(DS)cancers,but results remain conflicting rather than ***,we performed a case–control study and subsequent meta-analysis to examine the association between rs1137101 and DS cancer *** A total of 1,727 patients with cancer(gastric/liver/colorectal:460/480/787)and 800 healthy controls were *** of rs1137101 was conducted using a polymerase chain reactionrestriction fragment length polymorphism(PCR-RFLP)assay and confirmed using Sanger ***-four eligible studies were included in the *** After Bonferroni correction,the case–control study revealed that rs1137101 was significantly associated with the risk of liver cancer in the Hubei Chinese *** meta-analysis suggested that rs1137101 is significantly associated with the risk of overall DS,gastric,and liver cancer in the Chinese *** The LEPR rs1137101 variant may be a genetic biomarker for susceptibility to DS cancers(especially liver and gastric cancer)in the Chinese population.

关键词： LEPR gene rs1137101 Digestive system cancers Genetic susceptibility Meta-analysis

A low-frequency and broadband wave-insulating vibration isolator based on plate-shaped metastructures

在线全文

学校读者我要写书评

暂无评论

Applied Mathematics and Mechanics(English Edition) 2024年第7期45卷 1171-1188页

作者： wei wei feng GUAN Xin FANG College of Intelligent Science National University of Defense TechnologyChangsha410073China Naval Research Academy Beijing100161China

A metamaterial vibration isolator,termed as wave-insulating isolator,is proposed,which preserves enough load-bearing capability and offers ultra-low and broad bandgaps for greatly enhanced wave *** consists of plate-shaped metacells,whose symmetric and antisymmetric local resonant modes offer several low and broad mode bandgaps although the complete bandgap remains high and *** bandgap mechanisms,vibration isolation properties,effects of key parameters,and robustness to complex conditions are *** experimentally demonstrated,the wave-insulating isolator can improve the vibration insulation in the ranges of[50 Hz,180 Hz]and[260 Hz,400 Hz]by 15 dB and 25 dB,respectively,in contrast to the conventional isolator with the same first resonant frequency.

关键词： metamaterial and metastructure vibration isolation bandgap wave insulation plate

Carbon-based materials with combined functions of thermal management and electromagnetic protection: Preparation, mechanisms, properties, and applications

在线全文

学校读者我要写书评

暂无评论

Nano Research 2024年第3期17卷 883-903页

作者： Junwei Yue Yiyu feng Mengmeng Qin wei feng School of Materials Science and Engineering and Tianjin Key Laboratory of Composite and Functional Materials Tianjin UniversityTianjin 300350China

The proliferation of high-power,highly informationized,and highly integrated electronic devices and weapons equipment has given rise to increasingly conspicuous issues about electromagnetic(EM)pollution and thermal *** issues,in turn,impose constraints on the performance of such equipment and jeopardize personnel *** materials,owing to their diverse and modifiable structures,offer adjustable thermal and electric conductivity,rendering them highly promising for applications in fields such as thermal management and EM protection which have garnered extensive research and *** pursuit of integrated device and equipment development has elevated the demand for multifunctional materials,prompting significant research into carbon-based composite materials that include both thermal management and EM protection ***,there are no relevant reviews on this topic at ***,this work consolidates research findings from recent years on carbon matrix composites exhibiting dual attributes of thermal management and EM *** attributes include thermally conductive electromagnetic interference(EMI)shielding materials,thermally insulating EMI shielding materials,thermally conductive EM wave(EMW)absorbing materials,and thermally insulating EMW absorbing *** paper elucidates the fundamental principles underpinning thermal conduction,thermal insulation,EMW absorbing,and EMI ***,it engages in discussions surrounding areas of contention,design strategies,and the functional properties of various material ***,the paper concludes by presenting the challenges encountered and potential research strategies about composites endowed with both thermal management and EM protection functionalities,while also envisaging the development of novel multifunctional EM protection materials.

关键词： carbon-based composites electromagnetic interference shielding microwave absorption thermal conduction thermal insulation

Simultaneous purification of minor components in natural products using twin-column recycling chromatography with a step solvent gradient

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Chinese Journal of Chemical Engineering 2024年第5期69卷 212-219页

作者： Guangxia Jin Yuxue Wu feng wei School of Biological and Chemical Engineering NingboTech UniversityNingbo 315100China

The isolation of minor components from complex natural product matrices presents a significant challenge in the field of purification science due to their low concentrations and the presence of structurally similar *** study introduces an optimized twin-column recycling chromatography method for the efficient and simultaneous purification of these elusive *** introducing water at a small flowing rate between the twin columns,a step solvent gradient is created,by which the leading edge of concentration band would migrate at a slower rate than the trailing edge as it flowing from the upstream to downstream ***,the band broadening is counterbalanced,resulting in an enrichment effect for those minor components in separation ***,two target substances,which showed similar peak position in high performance liquid chromatography(HPLC)and did not exceed 1.8%in crude paclitaxel were selected as target compounds for *** using the twin-column recycling chromatography with a step solvent gradient,a successful purification was achieved in getting the two with the purity almost 100%.We suggest this method is suitable for the separation of most components in natural produces,which shows higher precision and recovery rate compared with the common lab-operated separation ways for natural products(thin-layer chromatography and prep-HPLC).

关键词： Solvent gradient Twin-column recycling chromatography Purification Minor component Natural products

Properties of collective flow and pion production in intermediate-energy heavy-ion collisions with a relativistic quantum molecular dynamics model

在线全文

学校读者我要写书评

暂无评论

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

作者： Si-Na wei Zhao-Qing feng School of Physics and Optoelectronics South China University of TechnologyGuangzhou 510640China

The relativistic mean-field approach was implemented in the Lanzhou quantum molecular dynamics transport model(***). Using the ***, the properties of collective flow and pion production were investigated systematically for nuclear reactions with various isospin asymmetries. The directed and elliptic flows of the *** are able to describe the experimental data of STAR Collaboration. The directed flow difference between free neutrons and protons was associated with the stiffness of the symmetry energy, that is, a softer symmetry energy led to a larger flow difference. For various collision energies, the ratio between the π^(-) and π^(+) yields increased with a decrease in the slope parameter of the symmetry energy. When the collision energy was 270 MeV/nucleon, the single ratio of the pion transverse momentum spectra also increased with decreasing slope parameter of the symmetry energy in both nearly symmetric and neutron-rich ***, it is difficult to constrain the stiffness of the symmetry energy with the double ratio because of the lack of threshold energy correction on the pion production.

关键词： Heavy-ion collision Collective flow Pion production Symmetry energy Relativistic mean field