hydrology modeling GIS data pretreatment
2023-04-11 19:39:56 2.67MB hydrology
1
DBZT3 Model Builder 龙珠Z火石电光3人物制作修改软件
2023-04-08 00:27:43 350KB 火石电光3 ,修改器
1
视窗 的Ubuntu OS X 与我们聊天 覆盖范围 待定 待定 关于 是针对基于LLVM的语言的自动化分析框架。 该版本支持LLVM 5.0。 执照 是根据经过修改的BSD许可证发行的。 有关详细信息,请参见 。 安装 cd seahorn ; mkdir build ; cd build cd seahorn ; mkdir build ; cd build (build目录也可以在源目录之外。) cmake -DCMAKE_INSTALL_PREFIX=run ../ (添加-GNinja以使用生成器代替默认生成器。可以使用-DCMAKE_BUILD_TYPE=设置构建类型(发布,调试)。) cmake --build . 建立依赖关系(Z3和LLVM) cmake --build . --target extra && cmake .. cmake --bu
2023-04-07 10:54:08 1.77MB llvm static-analysis verification model-checking
1
该书于2008年由springer出版。是基于matlab实现的模型预测控制,里面的例子采用matlab编程,并介绍实际工程例子。
2023-04-05 10:59:50 6.83MB mpc matlab control
1
TMT-SysML模型 欢迎使用三十米望远镜SysML模型 TMT天文台公司目前正在开发30米望远镜( )系统。 与TMT相关的分析的主要目标是为不同的操作场景提供与状态有关的功率汇总,并证明设计,批量汇总和运营用例的持续时间分析均满足要求。 该系统的核心是具有492段,直径30米的主镜,全功能副镜和铰接三级镜的广角高空Ritchey-Chretien望远镜。 对准和定相系统是Shack-Hartmann(SH)波前传感器,负责TMT的整体自适应光学波前质量。 该模型是使用严格且自动化的SysML进行基于模型的系统分析的方法构建的。 该方法支持我们前面提到的那种系统分析,即需求验证。 该方法的严格性是通过建模方法建立的,该方法是INCOSE的面向对象系统工程方法(OOSEM)的扩展。 该扩展被称为可执行系统工程方法(ESEM),提出了一组分析设计模式,这些设计模式由各种SysML结构
2023-04-04 17:40:35 274.65MB 系统开源
1
潮汐模型驱动程序 (TMD) 工具箱在用户当前的 Matlab 中运行 安装。TMD允许用户访问特定的潮汐模型,输出谐波 常数(海面高度和洋流分量的振幅和相位; 和潮汐流椭圆属性),并进行潮汐预测。 TMD 2.5包括两个组件:(1)一组用于访问潮汐场和进行预测的脚本;(2)图形用户界面(GUI),用于快速浏览潮汐字段,放大感兴趣区域,并选择预测特定变量的点和时间范围。
2023-04-03 13:47:14 1.2MB 潮汐预测 潮汐驱动 全球潮汐数据
1
MathModel:研究生数学建模,SUB生数学建模,数学建模竞赛优秀论文,数学建模算法,LaTeX论文模板,算法思维导图,参考书籍,Matlab软件教程,PPT
2023-03-29 17:13:27 2GB algorithm math model matlab
1
tensorflow的预训练bert模型转换成pb文件,提供给大家下载
2023-03-28 11:06:11 122.07MB tensorflow bert pb
1
用Delegate的原因  Qt中当用到QTreeView和QTableView等用于显示item的视图时,你要编辑一个item用到的编辑工具可能是除了默认文字编辑lineEdit以外的工具,例如button,spinBox,甚至Slider,ProgressBar,也有可能是自定义的widget。所以Qt提供了一个委托类,用来处理View中的数据展示方式。
2023-03-26 17:57:06 7KB qt c++ Model Delegate
1
潜在的Web隐私模型 分片Web身份 Web的身份模型包括两种交互的浏览器功能的隐式结果: 每个域的状态,尤其是cookie ,它使一个eTLD + 1保持访问者身份的一致概念。 由于3p Cookie,iframe中的存储等原因,此标识扩展到了顶级网站。 浏览器中信息的传递,在网页上同时发生的各方之间(通过诸如DOM或JS中的共享状态,HTTP重定向或postMessage之类的机制)进行。 这种结合导致了广泛共享的跨站点身份,因此可以对个人的浏览活动进行网络范围的跟踪。 全局静态标识符(例如或类似人的浏览器提供或PII)也提供了通往全局身份的独立路径。 Cookie,指纹和其他浏览器状态的限制都旨在降低这种创建或访问全局身份的能力。 一方面,全球身份使人们能够编织一个人的大部分浏览历史记录的能力,这是当今网络关注的核心隐私问题。 通过限制开发人员可以使用的基本功能,浏览器可以很
2023-03-25 23:03:26 4KB
1