>>> 哲学 经济学 法学 教育学 文学 历史学 理学 工学 农学 医学 军事学 管理学 旅游学 文化学 特色库
搜索结果: 1-15 共查到simulation相关记录1523条 . 查询时间(0.171 秒)
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 ...
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...
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...
我国中低温地热直接利用世界第1,包括温泉洗浴、空间供暖等;高温地热资源储量虽然丰富,但其发电仅排世界第18,利用率不高。裂隙岩溶型地热资源作为主要高温地热资源类型,我国隐伏碳酸盐岩面积达250万平方公里以上,初步估算0-3km深度区间的热能量相当于5000-50000亿吨标煤,雄安是典型地区;同时,我国油气伴生缝洞型地热资源丰富,具有埋藏深、温度高的特点。对此,基于离散缝洞网络模型,形成了考虑渗流...
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...
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...
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...
2019年12月5日至8日,由华中科技大学机械学院支持并和湖北省工程图学学会共同组织的SOLIDWORKS Simulation模块培训,在华中科技大学东八楼620机房举行,本次培训由武汉博哲科技有限公司提供,为期四天。
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...
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...
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...
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...
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...
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

中国研究生教育排行榜-

正在加载...

中国学术期刊排行榜-

正在加载...

世界大学科研机构排行榜-

正在加载...

中国大学排行榜-

正在加载...

人 物-

正在加载...

课 件-

正在加载...

视听资料-

正在加载...

研招资料 -

正在加载...

知识要闻-

正在加载...

国际动态-

正在加载...

会议中心-

正在加载...

学术指南-

正在加载...

学术站点-

正在加载...