灰狐量子实验室

来自开放百科 - 灰狐
(版本间的差异)
跳转到: 导航, 搜索
(历史)
(编程语言)
(未显示1个用户的11个中间版本)
第2行: 第2行:
  
 
==简介==
 
==简介==
灰狐量子实验室专注 [[灰狐大脑]][[量子计算]]、[[parallel computing|高性能并行计算]]、[[Mathematics|数学]][[physics|物理学]]、[[Programming language|编程语言]]、[[Artificial intelligence|人工智能]]、[[Robotics|机器人]]。
+
在当今科学研究中,计算与理论、实验已形成三足鼎立的局面。
 +
 
 +
目前科学界普遍认为,推动人类文明进步和促进科学技术发展的有三大科学,即理论科学、实验科学和计算科学。
 +
 
 +
计算科学的发展,产生了一系列诸如:计算数学、计算物理学、计算化学、计算生物学、计算地质学、计算气象学、计算材料学和计算电磁学等学科,逐步形成了一门计算性的学科分支:计算科学与工程(Computational Science and Engineering, CSE)。
 +
 
 +
灰狐量子实验室专注 [[灰狐大脑]]、光学电学、[[量子计算]]、[[parallel computing|高性能并行计算]]、[[Mathematics|数学]][[physics|物理学]]、[[Programming language|编程语言]]、[[Artificial intelligence|人工智能]]、[[Robotics|机器人]]。
  
 
通过类似 [https://www.youtube.com/c/WarpedPerception Warped Perception] 致力于利用科学、工程和技术构建疯狂的项目,揭示和探索各种各样的有趣事物。
 
通过类似 [https://www.youtube.com/c/WarpedPerception Warped Perception] 致力于利用科学、工程和技术构建疯狂的项目,揭示和探索各种各样的有趣事物。
第10行: 第16行:
 
[[OpenAI]]/[[OpenCog]] + [[OpenDAO]]
 
[[OpenAI]]/[[OpenCog]] + [[OpenDAO]]
  
[[灰狐基金会|编程语言]]、[[science|科学]]工程、[[Mathematics|数学]][[physics|物理学]]、[[computer science|计算机科学]]、[[formal verification|定理证明形式化验证]] 研究是重点。
+
[[灰狐基金会|编程语言]]、[[science|科学]]工程、[[Mathematics|数学]][[physics|物理学]]、[[computer science|计算机科学]]、[[formal verification|定理证明形式化验证]]、光学电学、[[量子计算]]研究是重点。
  
 
打造 [[灰狐大脑|Huihoo Brain]]
 
打造 [[灰狐大脑|Huihoo Brain]]
第19行: 第25行:
  
 
==愿景==
 
==愿景==
普适人工智能
 
  
AI on every device everywhere, embedded versions of AI.
+
Building a Robust Research Ecosystem.
 
+
[[Artificial intelligence|AI]] + [[Internet of Things|IoT]] + [[Zephyr Project|Zephyr]]/[[Robot operating system|ROS]] + [[Raspberry Pi]] + [[Arduino]]
+
 
+
At Huihoo, we're building the brain of study. // 帮助人和机器更好的学习
+
 
+
[http://www.anyv.net/index.php/article-1152847 深度学习模型太大?这家公司直接跑在了树莓派上]
+
  
 
==服务==
 
==服务==
第36行: 第35行:
 
以 [[ACL2]]、[[Coq]]、[[Scilab]]、[[GNU Octave]]、[[Maxima]]、[[SageMath]] 等开源数学科学软件入手,逐步积累和形成优势。
 
以 [[ACL2]]、[[Coq]]、[[Scilab]]、[[GNU Octave]]、[[Maxima]]、[[SageMath]] 等开源数学科学软件入手,逐步积累和形成优势。
  
[[mathematics|数学]]/[[physics|物理学]]教学辅导,数学[[science|科学]]软件研发与服务,[[Fortran]]/[[Lisp]]/[[C++]]编程语言教育培训咨询,[[computer graphics|计算机图形学]]/[[Computer vision|计算机视觉]]/[[Computational linguistics|计算语言学]]相关服务,定理机器证明和[[Formal verification|形式化验证]]服务,[[Knowledge Graph|知识图谱]][[Knowledge management|知识管理]]等。
+
[[mathematics|数学]]/[[physics|物理学]]教学辅导,[[Numerical analysis|数值分析]]/数学[[science|科学]]软件研发与服务,[[Fortran]]/[[Lisp]]/[[C++]]编程语言教育培训咨询,[[computer graphics|计算机图形学]]/[[Computer vision|计算机视觉]]/[[Computational linguistics|计算语言学]]相关服务,定理机器证明和[[Formal verification|形式化验证]]服务,[[Knowledge Graph|知识图谱]][[Knowledge management|知识管理]]等。
  
 
==新闻==
 
==新闻==
第44行: 第43行:
  
 
==历史==
 
==历史==
2022年,[[mathematics|数学]]、[[physics|物理学]]、[[computer science|计算机科学]]是我们研究、工作的基石和工具,也是我们研究和工作的核心方向和内容。(2022-20xy)
+
2022年,[[mathematics|数学]]、[[physics|物理学]]、[[computer science|计算机科学]]即是我们研究、工作的基石和工具,也是我们研究、工作的核心方向和内容。(2022-20xy)
  
 
2017年,[[Artificial_intelligence|人工智能]]、[[big data|大数据]]和[[blockchain|区块链]]正在重塑世界,接下来10年(2017-2027)靠它们了。
 
2017年,[[Artificial_intelligence|人工智能]]、[[big data|大数据]]和[[blockchain|区块链]]正在重塑世界,接下来10年(2017-2027)靠它们了。
第54行: 第53行:
  
 
16年前(2000-2016),灰狐通过 [[JFox]]、[[Orbas]] 等项目发起了[http://huihoo.org 开源中间件]和[[灰狐社区]]。
 
16年前(2000-2016),灰狐通过 [[JFox]]、[[Orbas]] 等项目发起了[http://huihoo.org 开源中间件]和[[灰狐社区]]。
 +
 +
==自由软件==
 +
[[文件:Gnu.jpg|right|GNU]]
 +
灰狐量子实验室完全基于自由软件构建其基础设施和软件堆栈。
 +
 +
尤其[https://directory.fsf.org/wiki/Category/Use/mathematics 数学] [https://directory.fsf.org/wiki/Category/Use/science 物理、科学]自由软件。
  
 
==编程语言==
 
==编程语言==
第61行: 第66行:
 
[[Compiler|编译器]]技术是计算工业的基石,系统、软件要运行起来都离不开它。
 
[[Compiler|编译器]]技术是计算工业的基石,系统、软件要运行起来都离不开它。
  
[[文件:Fortran-logo.png]] [[文件:Made-with-lisp.jpg]] [[文件:Cpp-logo.png]]
+
[[文件:Fortran-logo.png]] [[文件:Made-with-lisp.jpg]] [[文件:Smalltalk-logo.png]] [[文件:Cpp-logo.png]]
  
[[Fortran]]、[[Lisp]]、[[c programming language|C]]/[[C++]] 是我们的基础和标配语言。
+
[[Fortran]]、[[Lisp]]、[[Smalltalk]]、[[c programming language|C]]/[[C++]] 是我们的基础和标配语言。
  
虚拟机也是我们研究的核心方向,如:[[Erlang VM]]、[[Java virtual machine|JVM]]
+
虚拟机也是我们研究的核心方向,如:[[Smalltalk|Smalltalk VM]]、[[Erlang VM]]、[[Java virtual machine|JVM]]
  
我们也在设计和实现一个新语言:[[E language]]
+
我们也尝试设计和实现一个新语言:[[E language]]
  
感兴趣语言有:
+
感兴趣语言还有:
*[[Erlang]] 并发语言
+
*[[Erlang]]/[[Elixir]] 并发语言
*[[Haskell]]: [[blockchain|区块链]]函数式编程语言
+
*[[Haskell]]/[[Agda]]函数式类型编程语言
*[[OCaml]]
+
*[[OCaml]]/[[Coq]] functional typed languages
*[[PHP]] 最好的编程语言 :)
+
*[[Smalltalk]]、[[Racket]] 研究教育 STEM 类设计编程语言,桌面、可视化、虚拟机
*[[Ruby]] 对程序员最友好的编程语言
+
*[[Smalltalk]]、[[Racket]] 研究教育 STEM 类设计编程语言
+
 
...
 
...
  
第110行: 第113行:
 
[[文件:openhpc-logo.png|right|OpenHPC]]
 
[[文件:openhpc-logo.png|right|OpenHPC]]
 
[[文件:pmix-logo.png|right|PMIx]]
 
[[文件:pmix-logo.png|right|PMIx]]
 +
[https://www.top500.org/ TOP500]
 +
 
Community building blocks for HPC systems
 
Community building blocks for HPC systems
 
*[https://www.open-mpi.org/ Open MPI] Open Source High Performance Computing [https://github.com/open-mpi Open MPI @ GitHub]
 
*[https://www.open-mpi.org/ Open MPI] Open Source High Performance Computing [https://github.com/open-mpi Open MPI @ GitHub]

2022年9月27日 (二) 07:21的版本

灰狐量子实验室

目录

简介

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

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

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

灰狐量子实验室专注 灰狐大脑、光学电学、量子计算高性能并行计算数学物理学编程语言人工智能机器人

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

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

OpenAI/OpenCog + OpenDAO

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

打造 Huihoo Brain

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

并推动 开放大学

愿景

Building a Robust Research Ecosystem.

服务

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

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

ACL2CoqScilabGNU OctaveMaximaSageMath 等开源数学科学软件入手,逐步积累和形成优势。

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

新闻

  • 个人学习计划 (2022.08.15)
  • 灰狐人工智能实验室更名为灰狐量子实验室。 (2017.12.26)
  • 深度大脑更名为灰狐大脑,一只聪明的狐狸。(2017.9.14)

历史

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

2017年,人工智能大数据区块链正在重塑世界,接下来10年(2017-2027)靠它们了。

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

  • AI(生产力)
  • 大数据(生产资料)
  • 区块链(生产关系)

16年前(2000-2016),灰狐通过 JFoxOrbas 等项目发起了开源中间件灰狐社区

自由软件

GNU

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

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

编程语言

GCC
LLVM

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

Fortran-logo.png Made-with-lisp.jpg Smalltalk-logo.png Cpp-logo.png

FortranLispSmalltalkC/C++ 是我们的基础和标配语言。

虚拟机也是我们研究的核心方向,如:Smalltalk VMErlang VMJVM

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

感兴趣语言还有:

...

IDE和Editor

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

基础设施

Huihoo Cloud 提供基础设施。

Cloud

将大数据和人工智能的算力进行云化,将HPCCMXNet在云端进行深度集成。

大数据

大数据作业通常分为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 OctaveMATLABJulia(Julia Mathematical)、PythonR是核心的数值计算、统计分析语言和软件包。

灰狐D3

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

灰狐教育

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

灰狗游戏

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

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

区块链

金融资本

组织

文档

图集

链接

分享您的观点
个人工具
名字空间

变换
操作
导航
工具箱