用户名:  密码:   
网站首页即时通讯活动公告最新消息科技前沿学人动向两岸三地人在海外历届活动关于我们联系我们申请加入
栏目导航 — 美国华裔教授专家网科技动向生物医学
关键字  范围   
 
马克斯·普朗克智能系统研究所发明可在体内巡测病源的迷你型机器人
马克斯·普朗克智能系统研究所发明可在体内巡测病源的迷你型机器人
1/30/2018 7:06:49 AM | 浏览:757 | 评论:1

马克斯·普朗克智能系统研究所发明可在体内巡测病源的迷你型机器人

      德国马克斯·普朗克智能系统研究所的研究人员发明一种微型“极简机器人(minimalist robot)”,它们看上去像是一只毛毛虫,能够完成各种类型的运动,其中包括:跳跃、在隧道中爬行,从池塘中爬出。同时,它可用于送递药物,抵达人体内特殊区域。

  研究人员表示,这种新型、体积较小的“极简机器人”可以完成一系列动作,未来有一天能够从身体内部“巡逻”,查找病患源头。

  这款像毛毛虫的机器人不仅可以行走,还能够攀爬、跳跃,甚至游动,当它从池塘中爬出时,能够无缝地从潮湿环境过渡至干燥环境。

  这种毫米等级的易曲折机器人体积接近米粒大小,其设计灵感来自于身体柔软的甲虫幼体和毛毛虫。该款机器人也具有水母的一些特征。

德国马克斯.普朗克智能系统研究所的研究人员表示,一种新型、体积较小的“极简机器人”可以完成一系列动作,未来有一天能够从身体内部“巡逻”,查找病患源头。

  但是如果没有任何肢体,这个弹性机器人如何能完成复杂的运动呢?德国研究人员使用外部磁场对机器人身体内的磁粒施加作用力,从而改变它的外形。工程师表示,这是一种变形,可使机器人跳跃障碍,在隧道中爬行等。

  一旦极简机器人准备好进入人体,并送递药物至医生治疗过程中很难抵达的区域。为了做到这一点,这种微型机器人可以选择一个物体,移动它,并释放它。

  研究报告作者、物理情报部主管梅廷·斯蒂(Metin Sitti)在新闻发布会上称,未来我们的机器人可以携带药物,并将药物送递至人们最需要的位置,就像一次上门送货服务。我们可以使用机器人在人体内进行微创性手术:微型机器人通过吞咽或者在皮肤伤口处进入人体,使它穿过人体消化系统、尿道、腹腔或者心脏表面。

  迄今为止,这个机器人毛毛虫只在人造胃模型和鸡肠道组织中测试过。但是未来有一天,研究人员希望它能成为医疗保健的一个标准工具

相关栏目:『生物医学
英国13岁少年发明变色安全套 - 可自动测试性病病毒 2018-10-11 [51]
颈椎病的影像学诊断及分型汇总 2018-10-10 [69]
第二种智力:编辑RNA与软智力 2018-10-09 [59]
多吃猪油有利健康系谣言 哈佛医学院40年观察根本不存在 2018-10-08 [91]
细胞重新编程 挖出皮肤愈合“超能力” 2018-10-06 [76]
让多种细胞任意“编队”,长成迷你生物组织 2018-10-05 [81]
加州法院:孟山都刻意隐瞒草甘膦除草剂致癌 裁决赔偿2.89亿美元 2018-10-04 [359]
松开免疫系统的抗癌“刹车” 2018-10-02 [164]
新药研发成本知多少!? 2018-09-27 [162]
公众知情权: BMJ质疑葛兰素史克未公开过流感疫苗的安全性信息 2018-09-27 [135]
相关栏目更多文章
最新图文:
:广州大学面向全球公开招聘领军人才、学科学术带头人公告 :2018NICHE美国最佳农业科学专业大学排名 :卡内基中国透视2018年9月(总第142期) :炫动的5D :青海:浩瀚壮阔 & 绮丽旖旎的完美统一 :魏杰《关于中国当前热点经济问题的解读》:中国下一步怎么打贸易战? :人工智能系统:将使无限制核聚变反应成为现实 :在美存钱及理财如何防范法律风险
更多最新图文
更多《即时通讯》>>
王晓明去王晓明家留言留言于2018-02-05 07:36:45(第1条)
数论命题研究决定人工智能的发展
王晓明

我们在前面的文章介绍了许许多多的数学问题、特别在数论命题的证明中产生的逻辑错误,它们之中有论据错误,证明方法错误,但是最根本的还是命题中的错误。

为什么黎曼猜想无法证明?为什么费马大定理证明了全世界数学家都是白痴?为什么哥德巴赫猜想是一个初等数论问题?为什么孪生素数猜想是一个初等数论问题?.....

数论命题是数学中最简洁的命题,如果数论命题都没有搞清楚,人工智能只能在简单学习和模仿中爬行。人工智能就不可能完成创新工作(我们说的创新是指人类没有完成的工作,计算机下棋依然是模仿)。

重大数论命题结构分析

所有的数论命题,无论主项还是谓项,都有:

一,按照属性还是实体划分

1,属性概念。
2,实体概念。
3,属性包含实体。
4,实体包含属性。

需要说明的是,如果主项和谓项都不是属性概念,仅仅是实体概念,那就是恒等式,例如二项式“定理”,其实不是定理,只是恒等式。因为没有属性不能算定理。

因为一个定理就是一个全称判断。一个全称判断的主项必须是普遍概念或者单独概念。一个普遍概念的定义就是依据这个词项的属性确定的。

就是说,一个定理应该是:
1,一种具有某种属性的事物有多少(例如素数有多少,高斯类数有多少)。
2,一种事物是否具有某种属性(圆周率是一个超越数,e是超越数)。

二,主项按照外延划分

1,普遍概念。
2,单独概念。
3,集合概念。

三,几个重要命题

(一),哥德巴赫猜想
命题:大于4的偶数都是两个素数之和。
主项:偶数,外延性质是按照内涵定义的。属于普遍概念,是一个合理命题。
谓项:两个素数之和,素数是属性概念,“两个素数之和”,是实体概念。
谓项是实体概念包含属性概念。
命题合理。

(二),孪生素数猜想
命题:孪生素数(相差2的素数对)有无穷多个。
主项:孪生素数,外延性质是按照内涵定义的,是普遍概念,合理。同时,素数是属性,两个素数相差2,一起考虑,属于实体概念。
即实体概念包含了属性。
谓项:无穷多个,实体概念。
命题合理。

哥德巴赫猜想的 谓项 是“实体概念包含属性概念”;孪生素数猜想 的 主项是“实体概念包含属性概念”。

(三),费马大定理
Xⁿ+Yⁿ=Zⁿ
费马说n=3,4,5,....。没有整数解。
主项:是集合概念,n有无穷多个,不合理,只能对n一个一个证明。因为世界上所有的数学定理都是普遍概念或者单独概念。

谓项:没有整数解是指Z=√(Xⁿ+Yⁿ)不是有理数。是属性概念包含实体概念。
如果费马大定理正确,z不是整数,根号是属性概念,Xⁿ+Yⁿ之和如果不是一个整数的n次方根,z就是无理数,两个数的和又是实体概念。命题是属性概念包含实体概念。
如果不是将所有的n 一次性证明,而是对n=3, 4 ,5,....一个个证明,就是合理命题。
你看,n=2时我们叫做勾股定理。当然n = 3,4,5,。。。等等都是一个个定理,没有一个总定理。所以说费马当年说自己找的一个证明,纯属误会。

(四),黎曼猜想
黎曼猜想:
黎曼ζ函数,
ζ(s)=Σ1/K^ⁿ,n=α+βi,(Σ上端是∞,下端k=1)。
非平凡零点(在此情况下是指s不为-2、-4、-6,.....等点的值, s=x+yi)的实数部分α是1/2。
主项:无穷多个非平凡零点,是指这个方程的根,是一个问题的属性,也是一个集合概念,只能一个个验证。
谓项:位于直1/2+yi线(“临界线”)上。s = 1/2+βi,确立了黎曼公式的二次属性,依然是属性概念,还是一个二阶逻辑问题,是无法证明的,但是,可以逐一验证。

(五),费马素数猜想
命题:f(n)=2^2^ⁿ + 1
(其中n为非负整数)的素数有无穷多个。
主项:指这个形状的素数,属性概念包含实体概念,n可以无穷多,又是一个集合概念。无法一次性证明。只能逐一验证。
谓项:无穷多个。

(六)梅森素数
2^P-1的素数是否有无穷多个。
与费马素数一样,主项是属性概念包含实体概念,还是一个集合概念,因为素数p有无穷多个。谓项无穷多个是实体概念。

四,数论命题逻辑决定人工智能的未来

数论已经有2000多年,从来没有人进行过命题结构和属性的研究。所以,2000年以来的数论问题,几乎是盲目的。一些已经得到证明的内容,可能也是错误的。例如“卡塔兰猜想”。
机器证明不仅仅机器本身可能出问题,还有证明过程中的问题也无法验证,许许多多的论据是否正确也是不知道的。
对于一个不明确的问题,机器无法证明的。这是因为机器不能理解语言的内涵,只能对外延盲目搜索。
数学的上端是逻辑学,逻辑学的上端是语言学,机器无法突破学科链条,凌驾于人类。
 
打印本文章
 
您的名字:
电子邮件:
留言内容:
注意: 留言内容不要超过4000字,否则会被截断。
未 审 核:  是
  
关于我们联系我们申请加入后台管理设为主页加入收藏
美国华裔教授专家网版权所有,谢绝拷贝。如欲选登或发表,请与美国华裔教授专家网联系。
Copyright © 2018 ScholarsUpdate.com. All Rights Reserved.