搜索结果: 1-15 共查到“Simulation,”相关记录1523条 . 查询时间(0.304 秒)
Hydrological simulation of a small forested catchment under different land use and forest management
Hydrological Modeling Soil and Water Assessment Tool (SWAT) Atlantic Rainforest Eucalyptus
2024/1/22
The alteration of landscapes by humans has led to a gradual increase in the scarcity of water and degradation of its quality ([24]). Over the last decades, there has been a growing consensus that the ...
Nonlinear Mixed Effect Model Used in a Simulation of the Impact of Climate Change on Height Growth of?Cyclobalanopsis glauca
RegCM downscaling climate sensitive tree species nonlinear mixed effect model height growth of tree tree species diversity
2023/12/1
Localized climate is sensitive to terrain, underlying surface material, building distribution, green coverage and CO2?emissions. The Regional Climate Model (RegCM) was used to make a statistical detai...
Academy of Mathematics and Systems Science, CAS Colloquia & Seminars：Structure-Preserving Spectral Method for Large-Scale MHD System Simulation
MHD 系统仿真 保结构谱
2023/11/6
Structure-preserving numerical methods are crucial for achieving long-time accurate, stable, consistent and physically meaningful simulations. In this talk, we present H^1 and H(div) conforming spectr...
Academy of Mathematics and Systems Science, CAS Colloquia & Seminars：Numerical simulation and optimal design of fissure karst type high-temperature thermal storage and development
裂隙岩溶型 高温储热开发 数值模拟 优化设计
2023/11/6
我国中低温地热直接利用世界第1，包括温泉洗浴、空间供暖等；高温地热资源储量虽然丰富，但其发电仅排世界第18，利用率不高。裂隙岩溶型地热资源作为主要高温地热资源类型，我国隐伏碳酸盐岩面积达250万平方公里以上，初步估算0-3km深度区间的热能量相当于5000-50000亿吨标煤，雄安是典型地区；同时，我国油气伴生缝洞型地热资源丰富，具有埋藏深、温度高的特点。对此，基于离散缝洞网络模型，形成了考虑渗流...
Molecular simulation and optimization on the microporous structure in carbon molecular sieve membrane for CO2/CH4 separation
Carbon molecular sieve membrane Gas separation Molecular simulation Pore size Structure optimization
2023/6/19
Zigzag-type pore model with a modified structure was proposed to evaluate the effect of micropore structure on the gas separation performance of carbon molecular sieve membranes (CMSM). Molecular simu...
Desktop simulation of MIT.nano die bonder enables virtual tool training（图）
MIT.nano芯片 虚拟工具培训 半导体器件
2023/6/6
Packaging is the final step in the process for manufacturing a semiconductor device. A critical tool for packing is the die bonder, which facilitates device assembly typically by attaching a chip in a...
Reliability of El Niño simulation matters for predicting future climate（图）
Reliability El Niñ o simulation predicting future climate
2020/9/11
A new U.S. National Science Foundation-funded study led by University of Hawaii at Mānoa researchers, published in the journal Nature Communications, has revealed that correctly simulating o...
湖北省工程学会SOLIDWORKS Simulation培训在华中科技大学机械学院举行（图）
湖北省工程学会 SOLIDWORKS Simulation 培训 华中科技大学机械学院
2019/12/11
2019年12月5日至8日，由华中科技大学机械学院支持并和湖北省工程图学学会共同组织的SOLIDWORKS Simulation模块培训，在华中科技大学东八楼620机房举行，本次培训由武汉博哲科技有限公司提供，为期四天。
Efficient Tightly-Secure Structure-Preserving Signatures and Unbounded Simulation-Sound QA-NIZK Proofs
Structure-preserving signatures QA-NIZK simulation-soundness
2019/9/16
We show how to construct structure-preserving signatures (SPS) and unbounded quasi-adaptive non-interactive zero-knowledge (USS QA-NIZK) proofs with a tight security reduction to simple assumptions, b...
Simulation-Sound Proofs for LWE and Applications to KDM-CCA2 Security
LWE standard model Naor-Yung
2019/8/8
The Naor-Yung paradigm is a well-known technique that constructs IND-CCA2-secure encryption schemes by means of non-interactive zero-knowledge proofs satisfying a notion of simulation-soundness. Until...
Efficient Perfectly Sound One-message Zero-Knowledge Proofs via Oracle-aided Simulation
zero-knowledge NIZK RSA ZAP
2019/6/26
In this paper we put forth new one-message proof systems for several practical applications, like proving that an El Gamal ciphertext (over a multiplicative group) decrypts to a given value and correc...
Simple Yet Efficient Knowledge-Sound and Non-Black-Box Any-Simulation-Extractable ZK-SNARKs
NIZK QAP QSP
2019/6/4
Motivated by applications like verifiable computation and privacy-preserving cryptocurrencies, many efficient pairing-based SNARKs were recently proposed. However, the most efficient SNARKs like the o...
Simulation Extractability in Groth's zk-SNARK
Zero-knowledge proofs zk-SNARKs simulation extractability
2019/6/4
A Simulation Extractable (SE) zk-SNARK enables a prover to prove that she knows a witness for an instance in a way that the proof: (1) is succinct and can be verified very efficiently; (2) does not le...
QAP-based Simulation-Extractable SNARK with a Single Verification
SNARK non-interactive zero-knowledge proof simulation-extractability
2019/5/31
The pairing-based simulation-extractable succinct non-interactive arguments of knowledge (SE-SNARKs) are attractive since they enable a prover to generate a proof with the knowledge of the witness to ...
西安电子科技大学集成电路测试技术课件第4章 模拟 simulation。