首页 > TAG信息列表 > rvert

2 计算模型与复杂性类 | 密码协议课程笔记

1 计算模型1:图灵机 1.1 图灵机的定义 图灵机是一个简洁的计算模型。 我们可以将图灵机视为拥有一个无限长、可以双向移动的工作带的有限自动机。在初始阶段,工作带开始的几个格里包含输入,其余的为空白。在计算过程中的每个时刻,机器观察到它当前的控制状态以及它读写头所指位置的符

[离散数学] 图论

这里是离散数学图论的学习笔记,然而由于学校的关系跳过了集合论、序偶、二元关系等一些可能运用到的基础知识,所以可能数学符号和表述方面会有一些问题 qaq \[\newcommand{\lvert}{\left\vert} \newcommand{\rvert}{\right\vert} \rule{750px}{1px} \]图是一个三元组 \(\langle V(G)

Cesium中用到的图形技术——Computing the horizon occlusion point

译者注:本文翻译自Cesium官方博文《Computing the horizon occlusion point》,by KEVIN RING。 你厌倦了地平线剔除吗? 太好了,我也没有! 上一次,我们解释了地平线剔除是关于什么的,并展示了一种非常有效的方法来测试一个点是否被椭圆体遮挡。然而,我们想要测试遮挡的对象很少是简单的点

Cesium中用到的图形技术——Horizon Culling

译者注:本文翻译自Cesium官方博文《Horizon Culling》,by KEVIN RING。 目录地平线针对球体剔除一个点平面测试圆锥测试推广到椭球代码预览 在开发像Cesium这样的虚拟数字地球时,我们需要能够快速确定场景中的对象(例如地形图块,卫星,建筑物,车辆等)何时不可见,因此不需要渲染。当然,我们