搜索结果: 1-15 共查到“o simulation”相关记录1487条 . 查询时间(0.093 秒)
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
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
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...
![](http://www.firstlight.cn/upload/imgfile/20236/6/202366145834185.png)
Desktop simulation of MIT.nano die bonder enables virtual tool training(图)
MIT.nano芯片 虚拟工具培训 半导体器件
2023/6/6
![](http://www.firstlight.cn/upload/imgfile/20209/11/202091191935314.jpg)
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...
![](http://www.firstlight.cn/upload/imgfile/201912/11/20191211164526397.jpg)
湖北省工程学会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。