Simulation-of-SAR-Imaging-Algorithm
Simulation of SAR imaging algorithms for point targets, including RDA and CSA. It was some work that I did during my graduate studies (Matlab Code). 有关SAR成像算法(主要是 RD 和 C...
LBM
LBM Video: https://youtu.be/NlZlM59YK3w Details: http://dx.doi.org/10.13140/2.1.1606.1120 The following code is provided "as is" as a learning tool for those interested i...
Genesis3D 3D渲染引擎
Genesis3D 是实时3D渲染环境,所有的实时3D的需要。有大量的在线社区,免费网上论坛,许多链接Genesis3D开发商...你会发现所有的支持和工具,您需要 着手开发世界一流的,实时三维应用程序。如...
wxMaxima 计算机代数系统软件
wxMaxima是一个基于wxWidgets的计算机代数系统软件。它提供了用户界面,包括菜单系统,阅读帮助和格式化输出。能操纵多项式,矩阵,一体化和图形等。 功能和特点二维格式的数学显示:实现自己的...
Archimedes Cocoa 几何函数
Archimedes 是 Cocoa 和 Cocoa Touch 的几何函数。要启动建设此框架,首要要复制此库,然后运行 script/bootstrap。如果你独立运行 Archimedes ,请使用 .xcworkspace,如果你在其他程序中使用 ...
IdeaSpace 用于 WebVR 的内容管理系统
IdeaSpace 是一个用于虚拟现实网页的 CMS 内容管理系统。可以像管理博客一样管理你的虚拟现实空间和资源。IdeaSpace 使用 Mozilla 的 A-Frame 来实现主题和空间,提供强大的遵循 Web 标准的标识...
fourd.js 动态图形可视化库
fourd.js 是一个用在浏览器上的动态图形可视化库。稍微调整一下,你就可以用它做出一些几何图形集合,此库已经在 Chrome、Firefox、IE11 上测试运行,有传言说,通过切换 CanvasRenderer,此库...
Coq 证明辅助工具
Coq 是一款交互式证明辅助工具,采用OCaml开发。Coq提供一套证明系统,可以编写证明,检查证明。Coq也提供一套形式化语言,可编写数学算法、定义、定理。Coq也可以用于程序的正确性证明(比如操...
realXtend 3D 虚拟世界开发平台
Tundra 是 3D 脚本化的互联网应用开发平台。它的主要目的是为应用程序开发人员,为创建网络平台3D世界与定制的内容。基于 Qt 和 Ogre3D 开发。
Google Maps Navigation
Google Maps Navigation 是谷歌公司推出的基于 Android 2.0 的一款导航软件(非开源),目前据称也支持 Android 1.6 。 Google Maps Navigation仅仅是Android 2.0系统里的一个应用,但它将Googl...











