Agda User Manual v2.6.10 码力 | 227 页 | 1.04 MB | 2 年前3
Calling Functions A Tutorial0 码力 | 111 页 | 5.11 MB | 1 年前3
Vue声明式编程## V ue声明式编程 ## 摘要 • 声明式与图灵完备性 • 声明式与UI编程的演进 • 声明式与UI架构 • 声明式与交互 ## 声明式与图灵完备性 ## 声明式 • 我们对语言有很多划分的维度 • 声明式 vs 命令式 • 声明式语言:HTML XML CSS SQL • 命令式语言:C++ Java JavaScript ## 图灵完备性 · 图灵完备:“可计算性” 图灵完备:“可计算性” • 命令式的图灵完备性:if/for, if/goto • 声明式的图灵完备性:if/递归 ## V ue的Template的图灵完备性 • 实际上Vue的组件系统具有图灵完备性 • 使用Vue计算阶乘 • 使用Vue计算斐波那契数列 ## 声明式与UI编程 ## UI编程 • 70年代 MVC诞生 人们意识到视图应该被独立抽象 • 80年代 标记语言大热 最初更与文本相关 • “HTML5” ## 声明式优势 • 可视化的“可逆性” • 声明式与可再绑定性 • 听说近年某框架把html和css塞回JS了? ## 可重复绑定性 • recycle-list ## 声明式与UI架构 ## MVVM • MVC => MVP => MVVM —脉相承的演化 • MVVM是为声明式/多语言量身定做的编程模型 ## MVVM的数据绑定 • 数据绑定是声明式的数据与UI通讯0 码力 | 19 页 | 155.76 KB | 2 年前3
古月《ROS入门21讲》16.参数的使用与编程方法.pdf### 16. 参数的使用与编程方法 主讲人:古月 ## 参数模型  参数模型(全局字典) ## • 创建功能包 $ cd ~/catkin_ws/src $ catkin_create_pkg learning_parameter [Image](/uploads/documents/5/4/b/6/54b6a244a47b886303397dca4e492261/p3_2.jpg) CMakeLists.txt ## 参数命令行使用 ## YAML参数文件 background_b: 255 background_g: 86 background_r: 69 rosdistro: 'melodic' roslaunch: ● 列出当前多有参数 $ rosparam list ● 显示某个参数值 $ roparam get param_key ● 设置某个参数值 $ roparam set param_key param_value ● 保存参数到文件 $ roparam dump file_name ● 从文件读取参数 $ roparam load file_name ● 删除参数 $ roparam0 码力 | 9 页 | 1.17 MB | 2 年前3
MongoDB 分布式架构演进## 阿里云 ## MongoDB 分布式架构演进 张友东(林青) 阿里云数据库技术团队 # MongoDB MongoDB as in "humongous". Used to describe something extremely large or important. ## MongoDB 核心优势 灵活 · 文档模型 高可用 • 复制集 可扩展 分片集群 ##0 码力 | 29 页 | 2.03 MB | 2 年前3
分布式任务系统cronsun## 分布式任务系统 cronsun 苏创绩 ## 目录 01 任务系统 02 分布式任务系统 03 cron sun 04 心得体会   分布式crontab cmd1 cmd2 Mesos 之上的具有分布式容错特性的作业调度器 1. 可替代 cron 2. 有 UI 3. 支持ISO8601标准,允许更灵活地定义调度时间 4. 支持任务依赖 ## Dkron ## 分布式高可用的任务调度系统 1. 易用、有 UI 2. 高可用 3. 可扩展性高,支持大量任务和成千上万结点 ## 我眼里的“西施” 1. 可替代 cron 2. 分布式、高可用 3. 支持多种任务属性0 码力 | 48 页 | 1.52 MB | 2 年前3
Curve 分布式存储设计## Curve 分布式存储设计 程义 — Curve Maintainer   nts/1/3/b/6/13b6145ac1674f4b66b9481848c048a7/p4_1.jpg) ## Curve块存储 ## 研究现状 1. 高性能分布式共享数据库场景 2. Curve块存储提供底层分布式共享存储 3. Polardb for PostgreSQL提供上层高性能数据库服务 4. 性能测试 1. benchmarkSQL 每分钟事务数提升39% 2. pgbench - 成本:共享一份数据,存储成本低 - 易用性:具备分布式的优势和单机体感 - 可靠性:三副本、秒级备份  计算-存储分离 ## Curve块存储 应用场景 1. 分布式块存储服务 2. KVM块存储服务 3. iSCSI协议0 码力 | 20 页 | 4.13 MB | 1 年前3
声明式自愈系统——高可用分布式系统的设计之道-王昕## 声明式自愈系统——高可用分布式系统的设计之道 王昕 高级技术专家 全球技术领导力峰会 # 500+高端科技领导者与你一起探讨 技术、管理与商业那些事儿 2019年6月14–15日 上海圣诺亚皇冠假日酒店   曹春晖 资深 Gopher  preempt = true gp.stackguard0 = stackPreempt return true } 这之后的流程需要正在运行的 goroutine 来配合 ## 协作式抢占的“协作”过程 ## 检查当前栈空间是否足够,不够的话,需要申请新的栈空间 ☐ ☐ ☐ ☐ ☐ ☐ package main //go:noinline func add(x, y int) morestack_noctxt(SB) 00101 (add.go:6) JMP 0 只要当 framesize > 0 时才会有栈空间检查 framesize 一般是由 locals 决定的 ## 协作式抢占的“协作”过程 ### 保存当前 goroutine 的运行现场,切换到 m.g0,执行 newstack morestack_noctxt ## ↓ morestack ↓ newstack0 码力 | 44 页 | 7.43 MB | 2 年前3
202402 DataEase 嵌入式版介绍DataEase 嵌入式版介绍 2024 年 2 月 ## 人人可用的 开源数据可视化分析工具 DataEase 可以帮助用户快速分析业务数据并洞察其趋势,从而实现业务的改进与优化。DataEase 支持丰富的数据源连接,能够通过拖拉拽的方式快速制作图表,并且可以方便地与他人进行分享。 嵌入式 BI 可以给 ISV 带来哪些价值? 嵌入式 BI 的应用场景 DataEase 嵌入式 BI 的优势 的优势 DataEase 嵌入式版嵌入流程 ## 什么是嵌入式 BI? 嵌入式 BI 是可以嵌入在商业应用程序中,为应用软件提供或者增强分析功能的专业 BI 软件。 ## “ Embedding analytics and data science functionalities within websites or business applications via APIs reduces increases analytics adoption." ## “ 通过 API 将分析和数据科学功能嵌入到网站或者商业应用中,能够有效减少变更管理并提高数据分析的采纳率。” ## 嵌入式 BI 的业务价值 Which technical features have contributed to an increase in usage and adoption of BI/analytics0 码力 | 30 页 | 11.06 MB | 1 年前3
共 1000 条
- 1
- 2
- 3
- 4
- 5
- 6
- 100













