搜索结果: 1-15 共查到“知识库 Simulation”相关记录1427条 . 查询时间(0.156 秒)
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...
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...
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 ...
Improved (Almost) Tightly-Secure Simulation-Sound QA-NIZK with Applications
QA-NIZK simulation-soundness tight security
2018/11/15
We construct the first (almost) tightly-secure unbounded-simulation-sound quasi-adaptive non-interactive zero-knowledge arguments (USS-QA-NIZK) for linear-subspace languages with compact (number of gr...
Adaptively Simulation-Secure Attribute-Hiding Predicate Encryption
predicate encryption partially-hiding simulation-based adaptive security
2018/11/13
This paper demonstrates how to achieve simulation-based strong attribute hiding against adaptive adversaries for predicate encryption (PE) schemes supporting expressive predicate families under standa...
DAGsim: Simulation of DAG-based distributed ledger protocols
simulation cryptocurrencies DAG
2018/11/12
Scalability of distributed ledgers is a key adoption factor. As an alternative to blockchain-based protocols, directed acyclic graph (DAG) protocols are proposed with the intention to allow a higher v...
Simulation-based Receiver Selective Opening CCA Secure PKE from Standard Computational Assumptions
public key encryption receiver selective opening security chosen ciphertext security
2018/11/12
In the situation where there are one sender and multiple receivers, a receiver selective opening (RSO) attack for a public key encryption (PKE) scheme considers adversaries that can corrupt some of th...
FIRE EVACUATION SIMULATION CONSIDERING THE MOVEMENT OF PEDESTRIAN ACCORDING TO FIRE SPREAD
Fire evacuation simulation Floor field model, Fire dynamics simulator Indoor evacuation Fire spread field Fire recognition field
2018/10/30
A fire simulator and an evacuation simulator are generally used independently to diagnose the safety of a building in the case of the fire and evacuation. However, it is hard to provide highly accurat...
Ability of Pharmacy Students, Pharmacists and Pharmacy Support Staff to Manage Childhood Fever via Simulation
fever simulated patient community pharmacy competency
2018/10/1
Objective. To ascertain how pharmacy students (novices) and pharmacy staff (experts) respond to a childhood fever scenario.Methods. Data were collected from 65 second year students and 51 fourth (fina...