灰狐量子实验室

来自开放百科 - 灰狐
(版本间的差异)
跳转到: 导航, 搜索
(编程语言)
(简介)
 
(未显示1个用户的163个中间版本)
第1行: 第1行:
 
灰狐量子实验室
 
灰狐量子实验室
  
无人驾驶,人工智能皇冠上的明珠。
+
==愿景==
 +
open science, open research, open institute.
 +
 
 +
Building a Robust Research Ecosystem.
 +
 
 +
Huihoo Mathematics Institute.
 +
 
 +
Open science research, collaborate and achieve each other. 开放科学研究,相互协作,成就彼此。
 +
 
 +
数学、物理学、计算机科学(MPCS Foundation)研究教育基金会
 +
 
 +
数学物理学研究所
 +
 
 +
灰狐量子实验室致力于声光电的研究与创新
  
 
==简介==
 
==简介==
灰狐量子实验室专注[[Mathematics|数学]]物理、[[Artificial intelligence|人工智能]]和[[量化投资]]。
+
在当今科学研究中,计算与理论、实验已形成三足鼎立的局面。
  
[[灰狐量子俱乐部]]
+
目前科学界普遍认为,推动人类文明进步和促进科学技术发展的有三大科学,即理论科学、实验科学和计算科学。
  
==愿景==
+
计算科学的发展,产生了一系列诸如:计算数学、计算物理学、计算化学、计算生物学、计算地质学、计算气象学、计算材料学和计算电磁学等学科,逐步形成了一门计算性的学科分支:计算科学与工程(Computational Science and Engineering, CSE)。
普适人工智能
+
  
AI on every device everywhere, embedded versions of AI.
+
灰狐量子实验室专注 [[灰狐大脑]]、[[Mathematics|数学]]/[[Formal mathematics|形式化数学]]、[[physics|物理学]]、光学电学、[[量子力学]]、[[量子计算]]、[[Programming language|编程语言]]设计/[[compiler|编译器]]、[[Artificial intelligence|人工智能]]/[[Computational linguistics|计算语言学]]/[[Natural language processing|NLP]]/[[Machine translation|机器翻译]]、数论/椭圆曲线/[[Cryptography|密码学]]、[[Formal verification|形式化验证]]。
  
[[Artificial intelligence|AI]] + [[Internet of Things|IoT]] + [[Zephyr Project|Zephyr]]/[[Robot operating system|ROS]] + [[Raspberry Pi]] + [[Arduino]]
+
通过类似 [https://www.youtube.com/c/WarpedPerception Warped Perception] 致力于利用科学、工程和技术构建疯狂的项目,揭示和探索各种各样的有趣事物。
  
At Huihoo, we're building the brain of study. // 帮助人和机器更好的学习
+
[[Artificial intelligence|AI]] + [[Blockchain]],[https://forge.huihoo.com/news/819 这是未来十年的趋势]
  
[http://www.anyv.net/index.php/article-1152847 深度学习模型太大?这家公司直接跑在了树莓派上]
+
[[OpenAI]]/[[OpenCog]] + [[OpenDAO]]
 +
 
 +
[[灰狐基金会|编程语言]]、[[science|科学]]工程、[[Mathematics|数学]][[physics|物理学]]、[[computer science|计算机科学]]、[[formal verification|定理证明形式化验证]]、声光电(量子光学)、[[量子计算]]研究是重点。
 +
 
 +
打造 [[灰狐大脑|Huihoo Brain]]
 +
 
 +
成立更多分布式灰狐量子实验室,并协同研究、工作在一起。
 +
 
 +
[https://forge.huihoo.com/projects/openforge/ 开放科学、开源技术、开放生态、开放协作]
 +
 
 +
并推动 [[开放大学]]
  
 
==新闻==
 
==新闻==
 +
*数学物理学研究所 2021-2121 (2023.02.01)
 +
*注册 mpcs.foundation 用于数学、物理学、计算机科学(MPCS Foundation)研究教育基金会 (2022.12.10)
 +
*[https://forge.huihoo.com/news/1817 个人学习计划] (2022.08.15)
 
*灰狐人工智能实验室更名为灰狐量子实验室。 (2017.12.26)
 
*灰狐人工智能实验室更名为灰狐量子实验室。 (2017.12.26)
*深度大脑更名为灰狐大脑,一只聪明的狐狸。(2017.9.14)
+
*深度大脑更名为[[灰狐大脑]],一只聪明的狐狸。(2017.9.14)
  
 
==历史==
 
==历史==
16年前,灰狐通过[[JFox]]、[[Orbas]]等项目发起了[http://huihoo.org 开源中间件]和[[灰狐社区]]。
+
2022年,[[mathematics|数学]]、[[physics|物理学]]、[[computer science|计算机科学]]即是我们研究、工作的基石和工具,也是我们研究、工作的核心方向和内容。(2022-20??)
 +
 
 +
2017年,[[Artificial_intelligence|人工智能]]、[[big data|大数据]]和[[blockchain|区块链]]正在重塑世界,接下来10年(2017-2027)靠它们了。
 +
 
 +
它们是现在和未来商业社会的三大生产要素:
 +
* AI(生产力)
 +
* 大数据(生产资料)
 +
* 区块链(生产关系)
 +
 
 +
16年前(2000-2016),灰狐通过 [[JFox]]、[[Orbas]] 等项目发起了[http://huihoo.org 开源中间件]和[[灰狐社区]]。
 +
 
 +
==服务==
 +
灰狐商业:科学计算开源技术解决方案供应商,[[mathematics|数学]]、[[physics|物理学]]、[[Computer science|计算机科学]]是核心驱动力,[https://forge.huihoo.com/news/1813 Kitware] 给出了大致商业蓝图。
 +
 
 +
[[Compiler]], [[Formal language]], [[Formal mathematics]] and [[Formal verification]].
 +
 
 +
[[Mathematical analysis|数学分析]]、[https://ncatlab.org/nlab/show/statistics 概率统计] [https://www.comap.com/ 数学模型] 模拟仿真等应用领域。
 +
 
 +
数学科学软件是非常有前景和市场的产品领域,有清晰的商业模式。
 +
 
 +
[[文件:ACL2-logo-small.png]] [[文件:Coq-logo.png]] [[文件:STEM-software.png]]
 +
 
 +
以 [[ACL2]]、[[Coq]]、[[Scilab]]、[[GNU Octave]]、[[Maxima]]、[[SageMath]] 等开源数学科学软件入手,逐步积累和形成优势。
 +
 
 +
[[mathematics|数学]]/[[physics|物理学]]教学辅导,[[Numerical analysis|数值分析]]/数学[[science|科学]]软件研发与服务,[[Lisp]]/[[Erlang]]/[[C++]]编程语言教育培训咨询,[[Artificial neural network|人工神经网络]]/[[computer graphics|计算机图形学]]/[[Computer vision|计算机视觉]]/[[Computational linguistics|计算语言学]]相关服务,定理机器证明和[[Formal verification|形式化验证]]服务,[[Knowledge Graph|知识图谱]][[Knowledge management|知识管理]]等。
 +
 
 +
==自由软件==
 +
[[文件:Gnu.jpg|right|GNU]]
 +
灰狐量子实验室完全基于自由软件构建其基础设施和软件堆栈。
 +
 
 +
尤其[https://directory.fsf.org/wiki/Category/Use/mathematics 数学] [https://directory.fsf.org/wiki/Category/Use/science 物理、科学] [[Music|音乐]][[Shotcut|视频]]自由软件。
 +
 
 +
==编程语言==
 +
[[文件:GCC-logo.png|right|GCC]]
 +
[[文件:LLVM-logo.png|right|LLVM]]
 +
 
 +
[[Compiler|编译器]]技术是计算工业的基石,系统、软件要运行起来都离不开它。
 +
 
 +
[[文件:Fortran-logo.png]] [[文件:Made-with-lisp.jpg]] [[文件:Erlang-logo.png]] [[文件:Cpp-logo.png]]
 +
 
 +
[[Fortran]]、[[Lisp]]、[[Erlang]]、[[c programming language|C]]/[[C++]] 是我们的基础和标配语言。
 +
 
 +
虚拟机也是我们研究的核心方向,如:[[Erlang VM]]
 +
 
 +
我们也尝试设计和实现新语言:MLang, [[E language]] 和 Q语言([[量子计算]]编程语言)
 +
 
 +
[[image:Quil-language-logo.png|right|quil-lang]]
 +
 
 +
mlang, elang, qlang, MEQ languages
 +
*music + lisp = mlang 音乐编程语言
 +
*https://elang.dev/
 +
*https://qlang.dev/
 +
 
 +
qlang based on [https://github.com/quil-lang quil-lang]
 +
 
 +
感兴趣语言还有:
 +
*[[Erlang]]/[[Elixir]] 并发语言
 +
*[[Haskell]]/[[Agda]]函数式类型编程语言
 +
*[[OCaml]]/[[Coq]] functional typed languages
 +
*[[Smalltalk]]、[[Racket]] 研究教育 STEM 类设计编程语言,桌面、可视化、虚拟机
 +
...
 +
 
 +
IDE和Editor
 +
*[[IDEX]]项目
 +
*[[Eclipse]]
  
当前,[[machine learning|机器学习]]和[[Artificial_intelligence|人工智能]]正在重塑世界,接下来10年(2017-2027)靠它了。
+
通过灰狐量子实验室汇聚更多编程语言爱好者和程序员。
  
 
==基础设施==
 
==基础设施==
[[文件:ESContainer.png]]
+
Huihoo Cloud + Super Compute Project,软硬并重
  
[[Kubernetes]]容器为代表的应用形态与以虚拟化为代表的系统形态将会完美融合于[[OpenStack]]之上,并与[[Software-defined networking|软件定义网络]]和[https://www.vmware.com/cn/products/software-defined-storage.html 软件定义存储]一起统治下一代[[Data center|数据中心]]
+
[[Huihoo Cloud]] 基于 [[Erlang]]/[[Elixir]](计算原子语言)构建全球科学协作网络和基础设施。
  
==AWS==
+
[[Super Compute Project]] 让更多人拥有超级计算能力
将大数据和人工智能的算力进行云化,将[[HPCC]]和[[MXNet]]在云端进行深度集成。
+
  
届时启用 https://aws.huihoo.com 服务。
+
人人都拥有快速发布分享个人研究动态的消息交流社群网络(支持[[LaTeX]]格式)和内容模型证明存档。
 +
 
 +
==私有云==
 +
[[文件:opennebula-logo.png|right|OpenNebula]]
 +
 
 +
[[Huihoo Cloud]]
 +
 
 +
一个开源私有云(同时能对外稳定提供服务)解决方案,能快速在不同云服务商部署和迁移。
 +
 
 +
[[We build open source private cloud]] [[OpenNebula]] 是默认解决方案
 +
 
 +
将大数据和人工智能的算力进行私有云化,将 [[HPCC]] 和 [[MXNet]] 在云端进行深度集成。
  
 
==大数据==
 
==大数据==
 +
[[文件:Hpcc-systems-logo.png|right|HPCC]]
 +
 
大数据作业通常分为IO密集型(离线数据分析)、计算密集型(在线数据分析)和流计算(实时数据分析)三种。IO密集型指以IO处理为核心作业对象的作业,例如日志分析,数据仓库等,通常使用[[MapReduce]]、YARN框架;计算密集型指以内存数据的处理为核心作业对象的作业,例如仿真计算、人工智能等,通常使用Spark框架;流计算通常使用[[Apache Storm|Storm]]框架对实时数据流进行处理。
 
大数据作业通常分为IO密集型(离线数据分析)、计算密集型(在线数据分析)和流计算(实时数据分析)三种。IO密集型指以IO处理为核心作业对象的作业,例如日志分析,数据仓库等,通常使用[[MapReduce]]、YARN框架;计算密集型指以内存数据的处理为核心作业对象的作业,例如仿真计算、人工智能等,通常使用Spark框架;流计算通常使用[[Apache Storm|Storm]]框架对实时数据流进行处理。
 +
*[[HPCC]]
 
*[[Hortonworks]]是一个面向数据中心的数据平台,可管理动态数据和静态数据,具备安全性、运营和治理的企业级能力。
 
*[[Hortonworks]]是一个面向数据中心的数据平台,可管理动态数据和静态数据,具备安全性、运营和治理的企业级能力。
 
*[https://wiki.openstack.org/wiki/Sahara OpenStack Sahara] 提供简单部署 Hadoop or Spark on top of OpenStack 的能力,定义BDaaS(BigData as a Service)。
 
*[https://wiki.openstack.org/wiki/Sahara OpenStack Sahara] 提供简单部署 Hadoop or Spark on top of OpenStack 的能力,定义BDaaS(BigData as a Service)。
第47行: 第149行:
 
*充分利用OpenStack IaaS层的计算能力;
 
*充分利用OpenStack IaaS层的计算能力;
 
*提供分析即服务(Analyticsas a Service,AaaS)的数据分析业务。
 
*提供分析即服务(Analyticsas a Service,AaaS)的数据分析业务。
 +
 +
==汽车==
 +
[[文件:Automotivelinux-logo.png|right|AGL]]
 +
[[文件:open-embedded-logo.png|right|OpenEmbedded]]
 +
 +
开放汽车平台和生态系统:[[Automotive Grade Linux]]
 +
 +
[https://www.openembedded.org/ OpenEmbedded] the build framework for embedded Linux.
 +
 +
Autonomous car [[自动驾驶]]汽车是关注重点,这里面也充满伦理问题。
 +
 +
未来的智能硬件都是 [https://forge.huihoo.com/projects/robot Robot]
 +
 +
[https://forge.huihoo.com/projects/auto 汽车、自动驾驶]是大号机器人,里面运行着上亿行的代码。
 +
 +
以前,每家桌面都有台电脑,催生了电脑黑客的职业和安全产业。
 +
 +
现在,每家都有部汽车,同样会面临安全和黑客入侵的攻击问题。
 +
 +
车也可以说是第二个家,一个移动的家,有帐篷,或房车,未来也可能是移动数据中心和通信基站。
 +
 +
当我们所依赖的系统可检查、可审计并被记录成文后,我们将更安全 —— 这当然也包括汽车。 —— Chris Evans,黑客兼 Project Zero 项目创始人
 +
 +
汽车安全和汽车黑客,一个现实问题和真实存在。
 +
 +
另外,可关注 [https://github.com/openxc OpenXC Vehicle Platform] 项目
 +
 +
OpenXC 是福特公司发起的 CAN 总线逆向工程开源解决方案,它是一套将专有的 CAN 协议转换为易读格式([https://github.com/openxc/openxc-message-format/blob/master/JSON.mkd OpenXC JSON message format)]的开放软硬件标准。
 +
 +
OpenXC 是一个开源软硬件组合方案,让你用定制的应用程序和可插拔模块来扩展你的车辆。它使用标准的工具,向开发者开放车辆的大量数据,甚至超越 OBD-II。
  
 
==项目==
 
==项目==
 
[[文件:caffe2.png|right]]
 
[[文件:caffe2.png|right]]
 
[[Computer_vision|计算机视觉]]是实验室的核心研究方向:
 
[[Computer_vision|计算机视觉]]是实验室的核心研究方向:
*[[Caffe]]2是核心项目
+
*[[TensorFlow]]和[[Caffe]]2是核心项目
 
*[[DeepVC]]
 
*[[DeepVC]]
 
*[[D3]]
 
*[[D3]]
  
==超级计算==
+
==HPC并行计算==
 +
[[文件:openhpc-logo.png|right|OpenHPC]]
 +
[[文件:pmix-logo.png|right|PMIx]]
 +
[https://www.top500.org/ TOP500]
 +
 
 +
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]
 +
*[[Parallel computing|并行计算]], [[OpenMP]], [[OpenCL]], [[OpenACC]]
 +
*[[OpenHPC]], [[Beowulf]]
 
*[[Super Compute Project|超级计算项目]]为灰狐人工智能实验室提供算力。
 
*[[Super Compute Project|超级计算项目]]为灰狐人工智能实验室提供算力。
 
*[[Open Compute Project]]
 
*[[Open Compute Project]]
 
*[[AI accelerator]]
 
*[[AI accelerator]]
 +
*[https://pmix.github.io/ PMIx] Process Management for Exascale Environments
 
*[https://www.hotchips.org Hot Chips] A Symposium on High Performance Chips
 
*[https://www.hotchips.org Hot Chips] A Symposium on High Performance Chips
  
第73行: 第214行:
 
==ARM==
 
==ARM==
 
*[[ARM]]是普适人工智能的核心计算平台
 
*[[ARM]]是普适人工智能的核心计算平台
 +
*[http://blog.hypriot.com/ Hypriot Blog] Docker Pirates ARMed with explosive stuff
 
*[https://developer.arm.com/products/graphics-and-multimedia/mali-gpus ARM Mali GPUs]
 
*[https://developer.arm.com/products/graphics-and-multimedia/mali-gpus ARM Mali GPUs]
 
*[https://www.embedded-vision.com/what-embedded-vision/embedded-vision-academy/technologies/software Embedded Vision Academy]
 
*[https://www.embedded-vision.com/what-embedded-vision/embedded-vision-academy/technologies/software Embedded Vision Academy]
第82行: 第224行:
 
*[[灰狐翻译]]
 
*[[灰狐翻译]]
  
==机器人==
+
==音乐视频==
[[Open Hardware|开源机器人项目]]
+
声光电的基础研究和应用
  
[[Robot operating system]](ROS)是机器人核心操作系统。
+
Freedom through Music
  
==编程语言==
+
Huihoo Music [https://forge.huihoo.com/projects/music 音乐工厂]
[[image:llvm-c-cpp-compiler.png|right|thumb|LLVM]]
+
[[Compiler|编译器]]技术是计算工业的基石,系统、软件要运行起来都离不开它。
+
  
虚拟机也是我们研究的核心方向,如:[[Java virtual machine|JVM]]
+
Future Wave
  
我们也在设计和实现一个新语言:[[E language]]
+
[[Music]] Means Love Forever
  
编程语言有:
+
Empowering Music Through Data
*[[c programming language|C]]/[[C++]]
+
*[[Scala]]、[[F Sharp|F#]]、[[C Sharp|C#]]/[[Accord.NET]]适合金融和计算密集型应用
+
*[[Python]]、[[R]]
+
*[[Smalltalk]]、[[Racket]] 研究教育设计编程语言
+
  
通过[[灰狐FCS俱乐部]]汇聚更多编程语言爱好者。
+
古典音乐、数字音乐、音乐语言、[[DJ|电子音乐]]、音乐[[shotcut|视频]]、灰狐电音 ...
  
==数学==
+
==机器人&Bot==
 +
一切人工的,都可以智能。
 +
 
 +
[[Open Hardware|开源机器人项目]]
 +
 
 +
[[Robot operating system]](ROS)是机器人核心操作系统。
 +
 
 +
OpenBot:开放机器人,实践AI和VA车载语言助手、聊天Bot、告警Bot、虚拟助手等等,每一个设备都住着一位Bot。
 +
 
 +
==操作系统==
 +
[[文件:Guile-and-Guix.jpeg|right|GNU Guix & GNU Guile]]
 +
*[[GNU Guix]] & [[GNU Guile]] 主要关注和参与项目
 +
*[[Android]]
 +
*[[Debian]]
 +
*[[FreeBSD]]
 +
*[https://github.com/redox-os/redox Redox] a [[Rust]] [[operating system]]
 +
 
 +
==数学物理==
 
高斯说:“数学是科学的女王”。
 
高斯说:“数学是科学的女王”。
  
[[Mathematics|数学]]是灰狐人工智能的基石。
+
[[Mathematics|数学]]和[[physics|物理]]是灰狐的基石。
  
 
多元微积分、统计与推理、线性代数是学习机器学习的先决条件。
 
多元微积分、统计与推理、线性代数是学习机器学习的先决条件。
  
 
[[GNU Octave]]、[[MATLAB]]、[[Julia]]([https://github.com/svaksha/Julia.jl/blob/master/Mathematics.md Julia Mathematical])、[[Python]]和[[R]]是核心的[[Computational mathematics|数值计算]]、统计分析语言和软件包。
 
[[GNU Octave]]、[[MATLAB]]、[[Julia]]([https://github.com/svaksha/Julia.jl/blob/master/Mathematics.md Julia Mathematical])、[[Python]]和[[R]]是核心的[[Computational mathematics|数值计算]]、统计分析语言和软件包。
 +
 +
==化学==
 +
*[https://teaching.ch.ntu.edu.tw/nobel 诺贝尔化学奖中文简介] [https://teaching.ch.ntu.edu.tw/nobel/2013 量子化學與古典物理合作]
  
 
==灰狐D3==
 
==灰狐D3==
第116行: 第272行:
  
 
==灰狐教育==
 
==灰狐教育==
为[[灰狐教育]]提供人工智能服务。
+
为[[灰狐教育]]提供人工智能服务,提供编程语言和电子音乐创作的技术支持和教育培训服务。
  
 
==灰狗游戏==
 
==灰狗游戏==
为[[灰狗游戏]]提供人工智能服务。
+
为[[灰狗游戏]]提供人工智能服务。暂停灰狗计划 (2023.11)
 
*[[Torch]]由[[Lua]]开发,在[[Facebook]]有大量应用。
 
*[[Torch]]由[[Lua]]开发,在[[Facebook]]有大量应用。
 
*Facebook [https://github.com/TorchCraft/TorchCraft TorchCraft] A bridge between [[Torch]] and StarCraft.
 
*Facebook [https://github.com/TorchCraft/TorchCraft TorchCraft] A bridge between [[Torch]] and StarCraft.
第126行: 第282行:
 
*[https://blog.openai.com/dota-2/ OpenAI and Dota 2]
 
*[https://blog.openai.com/dota-2/ OpenAI and Dota 2]
 
*[http://www.infoq.com/cn/articles/alibaba-starcraft-as-ai-algorithm-for-research 阿里巴巴为什么要选择星际争霸作为AI算法研究环境?]
 
*[http://www.infoq.com/cn/articles/alibaba-starcraft-as-ai-algorithm-for-research 阿里巴巴为什么要选择星际争霸作为AI算法研究环境?]
 +
打败专业围棋棋手的AI软件:
 +
*[https://github.com/pytorch/elf ELF: a platform for game research]
 +
*[https://github.com/gcp/leela-zero leela-zero]
  
 
==区块链==
 
==区块链==
 
*用人工智能来驱动[[Blockchain|区块链技术]]
 
*用人工智能来驱动[[Blockchain|区块链技术]]
*[http://www.infoq.com/cn/news/2017/01/AI-DAO-rule-world 一位AI研究员+区块链创业者的终极展望:AI DAO将统治世界]
+
*[[Ethereum|以太坊]]、[[Aeternity]] [[Cardano]] 等区块链项目的持续跟进
*[[Hyperledger Project]] 超级账本项目的持续跟进
+
  
 
==金融资本==
 
==金融资本==
第139行: 第297行:
 
==组织==
 
==组织==
 
*[https://openai.com/ OpenAI]
 
*[https://openai.com/ OpenAI]
 +
*[https://hai.stanford.edu/ Stanford HAI]
 +
*[https://lfdl.io/ LF Deep Learning Foundation]
 
*[https://www.partnershiponai.org/ Partnership on AI]
 
*[https://www.partnershiponai.org/ Partnership on AI]
  
第145行: 第305行:
 
==图集==
 
==图集==
 
<gallery>
 
<gallery>
 +
image:theory-of-everything.png|万有理论
 +
image:d-wave.jpeg|D-Wave
 +
image:D-Wave-2000Q.png|D-Wave
 +
image:D-Wave-Quantum-Computer.jpg|D-Wave
 +
image:Establishing-Innovation-Lab.jpg|创新实验室
 +
image:BitScope-Clusters.png|BitScope Clusters
 
image:KV-Direct.jpg|FPGA系统KV-Direct
 
image:KV-Direct.jpg|FPGA系统KV-Direct
 +
image:Linaro-ARM-Ecosystem.png|ARM生态系统
 +
image:huihoo-music.png|灰狐音乐
 
</gallery>
 
</gallery>
  
 
==链接==
 
==链接==
*[http://deepbrain.me 深度大脑官网]
+
*[https://www.science.org/ Science | AAAS]
 +
*[https://www.nature.com/ Nature]
 +
*[https://quantumai.google/ Google Quantum AI]
 +
*[https://www.qtumist.com/ 量子客]
  
[[category:artificial_intelligence]]
+
[[category:mathematics]]
 +
[[category:physics]]
 +
[[category:量子力学]]
 +
[[category:量子计算]]
 +
[[category:robotics]]
 +
[[category:artificial intelligence]]
 
[[category:deep learning]]
 
[[category:deep learning]]
 
[[category:big data]]
 
[[category:big data]]
[[category:robot]]
 
 
[[category:blockchain]]
 
[[category:blockchain]]
[[category:hortonworks]]
 
[[category:OpenStack]]
 
[[category:kubernetes]]
 
 
[[category:huihoo]]
 
[[category:huihoo]]
 +
[[category:Huihoo Foundation]]

2024年9月2日 (一) 00:21的最后版本

灰狐量子实验室

目录

[编辑] 愿景

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

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

开放科学、开源技术、开放生态、开放协作

并推动 开放大学

[编辑] 新闻

  • 数学物理学研究所 2021-2121 (2023.02.01)
  • 注册 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),灰狐通过 JFoxOrbas 等项目发起了开源中间件灰狐社区

[编辑] 服务

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

Compiler, Formal language, Formal mathematics and Formal verification.

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

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

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

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

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

[编辑] 自由软件

GNU

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

尤其数学 物理、科学 音乐视频自由软件。

[编辑] 编程语言

GCC
LLVM

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

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

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

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

我们也尝试设计和实现新语言:MLang, E language 和 Q语言(量子计算编程语言)

quil-lang

mlang, elang, qlang, MEQ languages

qlang based on quil-lang

感兴趣语言还有:

...

IDE和Editor

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

[编辑] 基础设施

Huihoo Cloud + Super Compute Project,软硬并重

Huihoo Cloud 基于 Erlang/Elixir(计算原子语言)构建全球科学协作网络和基础设施。

Super Compute Project 让更多人拥有超级计算能力

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

[编辑] 私有云

OpenNebula

Huihoo Cloud

一个开源私有云(同时能对外稳定提供服务)解决方案,能快速在不同云服务商部署和迁移。

We build open source private cloud OpenNebula 是默认解决方案

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

[编辑] 大数据

HPCC

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

Sahara应用场景:

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

[编辑] 汽车

AGL
OpenEmbedded

开放汽车平台和生态系统:Automotive Grade Linux

OpenEmbedded the build framework for embedded Linux.

Autonomous car 自动驾驶汽车是关注重点,这里面也充满伦理问题。

未来的智能硬件都是 Robot

汽车、自动驾驶是大号机器人,里面运行着上亿行的代码。

以前,每家桌面都有台电脑,催生了电脑黑客的职业和安全产业。

现在,每家都有部汽车,同样会面临安全和黑客入侵的攻击问题。

车也可以说是第二个家,一个移动的家,有帐篷,或房车,未来也可能是移动数据中心和通信基站。

当我们所依赖的系统可检查、可审计并被记录成文后,我们将更安全 —— 这当然也包括汽车。 —— Chris Evans,黑客兼 Project Zero 项目创始人

汽车安全和汽车黑客,一个现实问题和真实存在。

另外,可关注 OpenXC Vehicle Platform 项目

OpenXC 是福特公司发起的 CAN 总线逆向工程开源解决方案,它是一套将专有的 CAN 协议转换为易读格式(OpenXC JSON message format)的开放软硬件标准。

OpenXC 是一个开源软硬件组合方案,让你用定制的应用程序和可插拔模块来扩展你的车辆。它使用标准的工具,向开发者开放车辆的大量数据,甚至超越 OBD-II。

[编辑] 项目

Caffe2.png

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

[编辑] HPC并行计算

OpenHPC
PMIx

TOP500

Community building blocks for HPC systems

[编辑] GPU

[编辑] FPGA

[编辑] ARM

[编辑] 看听说想

[编辑] 音乐视频

声光电的基础研究和应用

Freedom through Music

Huihoo Music 音乐工厂

Future Wave

Music Means Love Forever

Empowering Music Through Data

古典音乐、数字音乐、音乐语言、电子音乐、音乐视频、灰狐电音 ...

[编辑] 机器人&Bot

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

开源机器人项目

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

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

[编辑] 操作系统

GNU Guix & GNU Guile

[编辑] 数学物理

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

数学物理是灰狐的基石。

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

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

[编辑] 化学

[编辑] 灰狐D3

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

[编辑] 灰狐教育

灰狐教育提供人工智能服务,提供编程语言和电子音乐创作的技术支持和教育培训服务。

[编辑] 灰狗游戏

灰狗游戏提供人工智能服务。暂停灰狗计划 (2023.11)

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

[编辑] 区块链

[编辑] 金融资本

[编辑] 组织

[编辑] 文档

[编辑] 图集

[编辑] 链接

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

变换
操作
导航
工具箱