只需一步，快速开始
后使用快捷导航没有帐号？
直逼英特尔等硬件巨头，这家芯片公司获腾讯和阿里大手笔投资！
&来自: 互联网
导读：这种SDN芯片是一种革命新创新，它将改变谷歌，Facebook等互联网公司的内部运作，也将影响到电信运营商，思科、英特尔等硬件巨头们也会感到压力……
近日，软件定义网络（SDN）芯片公司Barefoot Networks刚刚完成了其第三轮融资，共融资2000万美元，本轮融资主要用于开拓市场。在今年6月，Barefoot 还获得了由高盛、谷歌领投的5700万美元，加上这笔资金，Barefoot C轮融资总额达到8000万美元。值得一提的是，来自中国的互联网公司阿里巴巴和腾讯参与了这轮融资。Barefoot Networks开发了世界上第一个SDN芯片，这种名为Tofino的芯片比现在市场上任何其他芯片都快，以6.5Tb/s的速度处理网络数据包。这种SDN芯片是一种革命新创新，它将改变谷歌，Facebook等互联网公司的内部运作，也将影响到电信运营商，思科、英特尔等硬件巨头们也会感到压力。在Barefoot Networks上一轮融资中，谷歌就成为了重要的参与者。Barefoot Networks表示，不少顶级厂商正在积极期盼得到这款芯片，预计在未来几周内可以向客户提供这种芯片。那么，这种可编程芯片究竟有什么神奇的呢？网络设备可以控制和转发流量，而SDN技术可以分离二者，让SDN控制器完成流量控制，网络设备只负责流量转发。通过SDN控制器，企业可以对特定场景编程，让企业将更快更安全的线路优先部署给那些更重要的应用，在传输完成后再恢复至平时的低成本连接。而SDN控制器中最核心的部分是芯片，Barefoot便是一家提供SDN芯片的公司。该芯片将内置于网络交换机、硬件设备中，后两者在互联网指挥交通中发挥基础性作用。在数千台计算机间切换穿梭数据，这些计算机由应用程序制造商如谷歌和Facebook，和无线提供商如AT&T操作，Barefoot Networks芯片将以显着的方式改变这些设备。它与传统网络芯片最大的区别是其可编程PISA架构，任何人都可以在这个芯片上进行编程。SDN早期的OpenFlow协议需要网络运营商填写表格，指令交换机如何处理某些类型的流量。但PISA不会强制转换器使用现有的TCP/IP等协议，而是采用P4编程语言，让企业直接对交换机进行编程。换句话说，他们可以编写软件，改变了这种芯片的功能，就像任何人都可以写一个应用程序，改变iPhone的功能。研究机构Nemertes的分析师John Burke表示，虽然TCP/IP等协议还没有完全被淘汰，但已经老化。随着大数据和时代的来临，互联网的基础设施已经到了要进行变革的时刻，基于SDN技术的新兴架构，会成为一个突破口。阿里巴巴和腾讯眼光不错Barefoot 成立于2013年，3年的融资总额达到1.55亿美元，目标客户是需要处理海量数据的云计算巨头。Barefoot 的联合创始人Nk McKeown是P4编程语言的开国元勋，曾与普林斯顿大学Jennifer Rexford教授一起设计开发了P4，此后一直推进P4社区的发展。他还曾创立SDN公司Nicira Networks，该公司在2012年被VMware收购。去年，阿里巴巴技术保障部的网络规划专家曹捷曾表示，“SDN是一系列概念的集合，是我们对网络演进方向的判断。我们认为将来的网络一定是以应用为主导的，而不是像今天这样依赖交换机厂商主导硬件和功能来引导网络的演进节奏和技术方向。”今年10月，腾讯高级网络架构师陆素建在演讲中称，腾讯从2012年开始做SDN研究，目前internet出口SDN方案已经在线网落地运营。此次投资Barefoot，也是两家巨头进行SDN布局的一大举措。目前，国内基于SDN技术提供服务的有Pica8、云杉网络、凌锐蓝信等公司。Pica8业务发展总监杨勇涛曾表示：“SDN技术最重要的发展是，目前已经有了明确的控制器方案和支持SDN特性的芯片，也就是说底层生态链已经成熟。”
', 'portal::view');
联系在线客服
深圳市宝安区西乡大道300号华丰金源商务大厦A座四楼3A15-3A19
客服热线：6 & 业务QQ：
深圳一流网络技术有限公司版权所有数学是科学吗？ - 科学普及 - 中国指挥与控制学会
站内搜索：
科学普及您当前的位置：
数学是科学吗？
发布时间：浏览次数：
其中一种比较普遍的回答是数学不是科学。
这个结论是完全从定义给出的，当年卡尔.波普尔对科学给出了一个大家比较认可的特性，即科学的表述在于其是可证伪的。什么叫做可证伪的呢，如果一个命题或者结论或者主张是可证伪的，那么就至少在理论上存在一种观测的方法（实际有没有不重要哈），来表明这个命题或者结论或者主张不是真的。举个栗子，比如&所有的豆腐脑都是甜的&这个主张可以被&有一碗豆腐脑是咸的&的观测证伪，虽然这个观测并不一定真的会发生，一个可证伪的主张需要给出一些被禁止的情形的定义，&所有的豆腐脑都是甜的&禁止了&不是甜的的豆腐脑&的存在，但是理论上可能存在&吃到了不是甜味的豆腐脑&这类反例，因此这个主张就是可证伪的。于是数学这种由不可证伪的公理为基础的学科，就理所当然的不属于科学。
但是这个说法其实更多的是针对于纯数学而言，对于应用数学或者计算数学来说，都需要有大量的实验来支持，因此实验本身的重要性增加了。也就是说这两个分支看起来就&比较科学&&&
当然也有人由于各种原因给出不一样的答案的，比如&数学家怎么就不是科学家了！&或者比如&数学是哲学&&数学是美学&这类玄学命题等等，就不说了&&
数学是科学吗？
谈论一个概念，先要界定这个概念。
科学最本质的特点是什么？就是能够证伪。科学依靠发现而发展。
物理化学生物莫不如此。
好，有了定义，我们来看数学。
数学能够被证伪吗？逻辑上已经证明，我们无法对数学结论正确与否证伪。
数学研究时发现自然界的规律吗？不是，数学是一套定义体系，数学依靠发明而发展。
数学是建立在公理基础上的逻辑推演和逻辑推演结果集。数学不可被证实，也不可被证伪。判定一个数学理论是否正确，仅仅只能靠逻辑推演。&
当我们发现一个按逻辑推演正确的数学理论与实践结果不符的时候，我们既不能判定数学理论的错误，也不能判定实践结果错误，只能判定这种数学理论不适合该实践。&
数学是纯粹的逻辑推演，我们知道一个苹果加一个苹果是两个苹果，我们甚至在现实中找不到一个数学意义上的1+1=2的实例，因为我可以另外定义1+1。
以我个人看法，数学和逻辑学比较接近，和哲学也有一点交集。
哲学某种程度上构成逻辑学的基础，逻辑学构成数学和一切知识的基础。
但是哲学和逻辑学依靠经验和假设，理论上经验总是有限的，可能有例外。
比如，经验告诉我们整体大于部分，但是如果计数，1CM长的线段上的点和整条直线上的点一样多！
比如，逻辑上就不能解释悖论。逻辑尚且碰到如此障碍，数学的基础更加不确定。
数学构成科学的基础，但是科学的基础恰恰不是科学。
评论文：white123456&& 15:35
那么请于涤尘教授用百度搜一搜，据我所知，国内至少有不下八种三元数理论，国际上的更多，俄罗斯、美国均有相关文献问世，国内的如河南城建学院的曲鹏展教授，他的三元数论文获得了省科技进步奖，华东理工大学陆元鸿教授，他的三元数已经研究到了N元数，数学中国网上就有，陆老师是计算机专家，湖北夏新民老师，他的三元数理论早已投入到了机械学中的应用，浙江大学谭建荣院士和程锦教授发表了三元数在分形几何领域的应用论文，上海师范大学的王俊龙老师，他的三元数论文也早已在学报发表，初等数学界的白烁星老师的《超越复数的三元数》、《超越复数的多元数》曲阜师大《中学数学杂志》发表后，人民教育出版社课程所高中数学板块已经收录，全国初等数学研究会的网站也有收录，吉林大学王树勋教授、同济大学马全中教授等对三元数均有过深刻的研究，所以现在只能说：三元数不仅存在，而且还存在着多种三元数理论，不论国内还是国际，都是如此，我们只能说：真理还可能会有多种面孔。
【此文摘自科学网】
封面人物：陈景润
日生于福建福州，当代数学家。
1953年9月分配到北京四中任教。1955年2月由当时厦门大学的校长王亚南先生举荐，回母校厦门大学数学系任助教。1957年10月，由于华罗庚教授的赏识，陈景润被调到中国科学院数学研究所。1973年发表了（1+2）的详细证明，被公认为是对哥德巴赫猜想研究的重大贡献。&1981年3月当选为中国科学院学部委员（院士）。曾任国家科委数学学科组成员。1992年任《数学学报》主编。
日下午1点10分，陈景润在北京医院去世，年仅63岁。
1950年夏高三上提前考入厦门大学数理系。
1949年至1953年，他就读于厦门大学数学系。大学毕业后，由政府分配至北京市第四中学任教。
年在北京四中任教，因口齿不清，被&停职回乡养病&。
1954年调回厦门大学任资料员，同时研究数论，对组合数学与现代经济管理、科学实验、尖端技术、人类生活的密切关系等问题也作了研究。
1955年2月经当时厦门大学的校长王亚南先生推荐，回母校厦门大学数学系任助教。
1956年，发表《塔内问题》，改进了华罗庚先生在《堆垒素数论》中的结果。
1957年9月，由于华罗庚教授的重视，调入中国科学院数学研究所任研究实习员。
年，转入中科院大连化学物理所工作。
1962年任助理研究员。
1965年称自己已经证明（1+2），由师兄王元审查后于1966年6月在科学通报上发表。
1966年发表《表达偶数为一个素数及一个不超过两个素数的乘积之和》（简称&1+2&），成为哥德巴赫猜想研究上的里程碑。
1973年他在《中国科学》发表了&1+2&的详细证明并改进了1966年宣布的数值结果，立即在国际数学界引起了轰动，被公认为是对哥德巴赫猜想研究的重大贡献，是筛法理论的光辉顶点。他的成果被国际数学界称为&陈氏定理&，写进美、英、法、苏、日等六国的许多数论书中。这项工作还使他与王元、潘承洞在1978年共同获得中国自然科学奖一等奖。大手笔！阿里明年或投380亿美元进行并购投资
[摘要]据统计，2015年阿里巴巴花在并购和投资活动上的钱只有150亿美元。
腾讯科技讯 12月11日，据互联网产业新闻博客VentureBeat报道，作为中国三大互联网巨头之一，在烧钱方面决不手软，据外媒报道，阿里明年或投入380亿美元进行并购投资。据外媒报道，明年阿里巴巴会斥巨资展开并购和投资活动，其最终交易金额有可能会达到惊人的380亿美元。这数字可真不小，毕竟2015年阿里花在这方面的钱只有150亿美元。如果该消息属实，那么在这场烧钱大战中阿里就占据了领先地位。据报道，其主要对手腾讯和在2016年的交易金额预计将分别达到350亿美元和150亿美元。彭博社的数据显示，今年BAT（百度，阿里巴巴和腾讯）三巨头主要将视线集中在线上线下(O2O)服务的扩张，它们把许多钱花在了新兴的外卖和拼车服务上，预计三家企业今年参与的并购交易规模将超过300亿美元。不过相比腾讯和阿里巴巴的花钱如流水，百度还是矜持了点，这300亿里面他们只贡献了不到10亿。除了O2O领域的交易，腾讯的钱主要花在了在线手游的推广上，他们在广告营销上投入巨大。不过分析师认为，随着中国的网络购物和手机市场逐渐走向成熟，阿里巴巴和百度的增长步伐在未来会逐渐放缓。（佳辉）
正在加载...
[责任编辑：sayaliu]
您认为这篇文章与"新一网（08008.HK）"相关度高吗？
Copyright & 1998 - 2017 Tencent. All Rights Reserved
还能输入140字}