灰狐量子实验室

来自开放百科 - 灰狐
（版本间的差异）
跳转到： 导航, 搜索
小 (→‎新闻)
小 (→‎新闻)
第36行： 第36行：
  
 
==新闻==
 
==新闻==
−
*注册 mpcs.foundation (2022.12.10)
+
*注册 mpcs.foundation 用于数学、物理学、计算机科学（MPCS Foundation）研究教育基金会 (2022.12.10)
 
*[https://forge.huihoo.com/news/1817 个人学习计划] (2022.08.15)
 
*[https://forge.huihoo.com/news/1817 个人学习计划] (2022.08.15)
 
*灰狐人工智能实验室更名为灰狐量子实验室。 (2017.12.26)
 
*灰狐人工智能实验室更名为灰狐量子实验室。 (2017.12.26)

2022年12月10日 (六) 04:58的版本

灰狐量子实验室

目录

愿景

open science, open research, open institute.

Building a Robust Research Ecosystem.

Huihoo Mathematics Institute.

Open science research, collaborate and achieve each other. 开放科学研究，相互协作，成就彼此。

数学、物理学、计算机科学（MPCS Foundation）研究教育基金会

简介

在当今科学研究中,计算与理论、实验已形成三足鼎立的局面。

目前科学界普遍认为，推动人类文明进步和促进科学技术发展的有三大科学，即理论科学、实验科学和计算科学。

计算科学的发展，产生了一系列诸如：计算数学、计算物理学、计算化学、计算生物学、计算地质学、计算气象学、计算材料学和计算电磁学等学科，逐步形成了一门计算性的学科分支：计算科学与工程（Computational Science and Engineering, CSE）。

灰狐量子实验室专注 灰狐大脑、数学/形式化数学、物理学、光学电学、量子力学、量子计算、编程语言设计/编译器、人工智能/计算语言学/NLP/机器翻译、数论/椭圆曲线/密码学、形式化验证。

通过类似 Warped Perception 致力于利用科学、工程和技术构建疯狂的项目，揭示和探索各种各样的有趣事物。

AI + Blockchain，这是未来十年的趋势

OpenAI/OpenCog + OpenDAO

编程语言、科学工程、数学物理学、计算机科学、定理证明形式化验证、光学电学、量子计算研究是重点。

打造 Huihoo Brain

成立更多分布式灰狐量子实验室，并协同研究、工作在一起。

并推动 开放大学。

新闻

  • 注册 mpcs.foundation 用于数学、物理学、计算机科学（MPCS Foundation）研究教育基金会 (2022.12.10)
  • 个人学习计划 (2022.08.15)
  • 灰狐人工智能实验室更名为灰狐量子实验室。 (2017.12.26)
  • 深度大脑更名为灰狐大脑，一只聪明的狐狸。(2017.9.14)

历史

2022年，数学、物理学、计算机科学即是我们研究、工作的基石和工具，也是我们研究、工作的核心方向和内容。(2022-20??)

2017年，人工智能、大数据和区块链正在重塑世界，接下来10年（2017-2027）靠它们了。

它们是现在和未来商业社会的三大生产要素：

  • AI（生产力）
  • 大数据（生产资料）
  • 区块链（生产关系）

16年前（2000-2016），灰狐通过 JFox、Orbas 等项目发起了开源中间件和灰狐社区。

服务

灰狐商业：科学计算开源技术解决方案供应商，数学、物理学、计算机科学是核心驱动力，Kitware 给出了大致商业蓝图。

Compiler, Formal language, Formal mathematics and Formal verification.

数学分析、概率统计 数学模型 模拟仿真等应用领域。

数学科学软件是非常有前景和市场的产品领域，有清晰的商业模式。

ACL2-logo-small.png Coq-logo.png STEM-software.png

以 ACL2、Coq、Scilab、GNU Octave、Maxima、SageMath 等开源数学科学软件入手，逐步积累和形成优势。

数学/物理学教学辅导，数值分析/数学科学软件研发与服务，Fortran/Lisp/C++编程语言教育培训咨询，人工神经网络/计算机图形学/计算机视觉/计算语言学相关服务，定理机器证明和形式化验证服务，知识图谱知识管理等。

自由软件

GNU

灰狐量子实验室完全基于自由软件构建其基础设施和软件堆栈。

尤其数学 物理、科学自由软件。

编程语言

GCC
LLVM

编译器技术是计算工业的基石，系统、软件要运行起来都离不开它。

Fortran-logo.png Made-with-lisp.jpg Haskell-Logo.png Erlang-logo.png Cpp-logo.png

Fortran、Lisp、Haskell、Erlang、C/C++ 是我们的基础和标配语言。

虚拟机也是我们研究的核心方向，如：Erlang VM

我们也尝试设计和实现一个新语言：E language

感兴趣语言还有：

...

IDE和Editor

通过灰狐量子实验室汇聚更多编程语言爱好者和程序员。

基础设施

Huihoo Cloud 提供基础设施。

基于 Haskell/Erlang（数学和原子语言）构建全球科学协作网络和基础设施。

人人都拥有快速发布分享个人研究动态的消息交流社群网络（支持LaTeX格式）和内容模型证明存档。

私有云

将大数据和人工智能的算力进行私有云化，将 HPCC 和 MXNet 在云端进行深度集成。

大数据

大数据作业通常分为IO密集型（离线数据分析）、计算密集型（在线数据分析）和流计算（实时数据分析）三种。IO密集型指以IO处理为核心作业对象的作业，例如日志分析，数据仓库等，通常使用MapReduce、YARN框架；计算密集型指以内存数据的处理为核心作业对象的作业，例如仿真计算、人工智能等，通常使用Spark框架；流计算通常使用Storm框架对实时数据流进行处理。

Sahara应用场景：

  • 提供在OpenStack上快速配置和部署大数据集群的能力；
  • 充分利用OpenStack IaaS层的计算能力；
  • 提供分析即服务（Analyticsas a Service，AaaS）的数据分析业务。

项目

Caffe2.png

计算机视觉是实验室的核心研究方向：

HPC并行计算

OpenHPC
PMIx

TOP500

Community building blocks for HPC systems

GPU

FPGA

ARM

看听说想

机器人&Bot

一切人工的，都可以智能。

开源机器人项目

Robot operating system(ROS)是机器人核心操作系统。

OpenBot：开放机器人，实践AI和VA车载语言助手、聊天Bot、告警Bot、虚拟助手等等，每一个设备都住着一位Bot。

操作系统

数学物理

高斯说：“数学是科学的女王”。

数学和物理是灰狐人工智能的基石。

多元微积分、统计与推理、线性代数是学习机器学习的先决条件。

GNU Octave、MATLAB、Julia(Julia Mathematical)、Python和R是核心的数值计算、统计分析语言和软件包。

灰狐D3

D3是一个大数据、机器学习的开源解决方案。

灰狐教育

为灰狐教育提供人工智能服务。

灰狗游戏

为灰狗游戏提供人工智能服务。

打败专业围棋棋手的AI软件：

区块链

金融资本

组织

文档

图集

  • 万有理论

  • D-Wave

  • D-Wave

  • D-Wave

  • 创新实验室

  • BitScope Clusters

  • FPGA系统KV-Direct

  • ARM生态系统

链接

来自“http://wiki.huihoo.com/wiki/?title=%E7%81%B0%E7%8B%90%E9%87%8F%E5%AD%90%E5%AE%9E%E9%AA%8C%E5%AE%A4&oldid=166492”
分享您的观点
个人工具
名字空间

变换
操作
导航
工具箱