腾讯云开发者社区-腾讯云

开发者社区

文档建议反馈控制台

最新优惠活动

文章/答案/技术大牛

发布

从流域到海域

专栏作者

438

文章

497016

阅读量

59

订阅数

Mac下搭建React开发环境

npm javascript react typescript node.js

Node即JavaScript开发环境，安装好之后就本地可以编写运行javascript脚本了。

2022-10-04

2.4K0

Redis数据库专题

node.js 数据结构云数据库 Redis 数据库 sql

高性能：从内存读取数据比从硬盘读取要快很多。如果数据库中对应的数据改变之后，同步改变缓存中相应的数据即可。

2022-05-10

7140

Stride Convolution

如上图，stride=2，filter的左边框从2移动到7，2个格子的长度，垂直移动的时候也要2个格子。

2019-05-28

4440

一阶逻辑及其到Kripke Structure的转换

Kripke 结构即过渡(迁移)系统的变化，在模型检查中用来表示系统的行为，也可以用来描述上述的反应系统。Kripke 结构由状态集合(S)、过渡集合(R)以及标记函数(L)组成。该标记函数标记各状态下使得该状态为true的变量集合。Kripke 结构是一个状态过渡图，路径可以建模反应系统的计算。基于此，使用一阶逻辑公式形式化并发系统。定义AP为一组原子命题，则Kripke结构M为在原子命题上的一个四元组M=(S,S0,R,L),其中

2019-05-28

1.1K0

没有更多了

社区活动

腾讯技术创作狂欢月

“码”上创作 21 天，分 10000 元奖品池！

Python精品学习库

代码在线跑，知识轻松学

博客搬家 | 分享价值百万资源包

自行/邀约他人一键搬运博客，速成社区影响力并领取好礼

技术创作特训营·精选知识专栏

往期视频·千货材料·成员作品最新动态