函数式编程减少漏洞的新方法

你可能认为软件产品生命周期中耗时最长、费用最高的阶段是系统的初期开发阶段,因为所有美妙的功能都是在这一阶段构想出来的。而事实上,最困难的部分是后期的维护阶段。在这个阶段,程序员将为自己在开发过程中走的捷径付出代价。那么,程序员为什么要走捷径?可能性有很多:也许他们没有意识到自己在“投机取巧”;只有代码被许多用户部署并执行时,隐藏的漏洞才会暴露出来;开发人员时...
📅 2024-02-08 阅读全文 →

2马赫的第二次探索

1945年4月9日,在欧洲战争结束前不到一个月,一位名叫汉斯•基多•穆克(Hans Guido Mutke)的年轻德国空军飞行员为了帮地面上的一名飞行员同伴,驾驶梅塞施密特ME262喷气式战斗轰炸机垂直俯冲。当梅塞施密特向下加速俯冲时,飞机开始剧烈摇晃,失去了控制。不过穆克成功地恢复了控制,并幸存下来描述了这一事件,后来他声称自己超越了音速,这一说法看似合理...
📅 2024-02-08 阅读全文 →

浮动太阳能电池板可以为成千上万的城市提供完全的电力供应

Image: SeongJoon Cho / Bloomberg via Getty Images根据一项新的研究,全世界成千上万的城市可以完全依靠漂浮在水库顶上的太阳能电池板为自己供电。这是一种相对简单的方式,在本地产生可再生能源,同时节约用水。悬浮在水面上的太阳能阵列,或漂浮在陆地上的太阳能电池,其工作原理与陆地上的类似。面板安装在木筏上,而不是停车场、...
📅 2024-02-08 阅读全文 →

C9高校,近期再引关注

C9高校,近期再引关注。香港最新出台的“高端人才通行证计划”瞄准内地9所大学的毕业生。通过该计划引进的人才,有机会申请香港永久身份证。这9所内地高校分别为清华大学、北京大学、复旦大学、浙江大学、上海交通大学、中国科学技术大学、中山大学、南京大学、华中科技大学。香港“高端人才通行证计划”全球百强大学综合名单图源:香港特别行政区政府入境事务处官网清北+华五+中大...
📅 2024-02-08 阅读全文 →

如何对超大规模新型电力系统进行精细仿真

以新能源为主体的新型电力系统是未来电力系统发展的重要方向。在新型电力系统中,风电、光伏等新能源将成为主要电源;同时,为实现大规模新能源的并网和消纳,各种电力电子技术将在各电压等级电网中得到广泛应用。这两大特点将使新型电力系统的物理形态和运行特性发生显著变化。新型电力系统中,微秒级电力电子开关过程与毫秒、秒级的交流电机过渡过程相互影响,相较于传统电力系统,新型...
📅 2024-02-08 阅读全文 →

碳储存和氢:天作之合?

ISTOCK研究表明,从天然气中生产氢气并将碳排放物储存在石油和天然气储层中可能是安全、经济的低碳氢气的最佳选择。如今,世界各地大约有三十多个设施从发电厂和工厂中捕获二氧化碳,并将其封存在地下,每年可储存4500万吨二氧化碳。我们要实现净零碳排放,需要的是到2030年每年储存量至少达到10亿吨碳。与此同时,增加清洁氢气生产对钢铁和水泥等行业的脱碳以及为卡车、...
📅 2024-02-08 阅读全文 →

贝多芬的DNA,透露了哪些信息?

出生于德国波恩的路德维希·范·贝多芬(1770-1827),是历史上最伟大的音乐家之一。与他的音乐同样著名的,还有他坎坷多舛的命运。长期以来,肝硬化被认为是导致他在56岁时死亡的最可能死因。其实,除了肝病之外,他还身患多种疾病。从20多岁开始,这位作曲家便饱受进行性听力损失的困扰,并最终功能性失聪。此外,他还长期罹患逐步恶化的慢性胃肠道问题。1802年秋,正...
📅 2024-02-08 阅读全文 →

AI帮你创建的代码归你所有吗?

━━ ━━GitHub Copilot自诩为软件开发人员的“人工智能(AI)配对程序员”,能够实时提出代码建议。它由OpenAI建造,拥有生成型AI模型,由“公开可用资源的文本和源代码”训练。然而,一项集体诉讼声称GitHub Copilot及其母公司微软,以及OpenAI存在开源软件侵权和其他违反开源许可的行为。具体地说,该诉讼指控Copilot...
📅 2024-02-08 阅读全文 →

研究人员打造用于无耗散电子器件的超导二极管

Sketch of STM-based Josephson junction including a single atom. Inset, STM topography of a Pb(111) surface with individual Pb, Mn and Cr adatoms (coloured circles); scanning parame...
📅 2024-02-08 阅读全文 →

职业生涯: 阿尔琼 • 皮莱

这位企业家分享他在成功路上的经验教训。当阿尔琼•皮莱(Arjun Pi-llai)还是一名少年时,“企业家”和“创业公司”还没有出现在他的人生字典里。直到2006年,皮莱上大学并加入IEEE学生分会,他才学习到了这些术语。从其他IEEE会员那里学习到经营一家科技公司需要什么后,皮莱决心成为一名企业家,创造“比自己更强大的东西”。他继续帮助他人创办了两家开发软...
📅 2024-02-08 阅读全文 →

钙钛矿太阳能电池效率接近30%

鸡蛋箱泡沫状的纳米结构能够大大提升光电转化效率。 通过在由硅和钙钛矿制成的叠层太阳能电池中添加类似鸡蛋箱泡沫的重复性纳米结构,德国柏林亥姆霍兹中心的研究人员将经过认证的电池效率提高到了29.8%。这是叠层太阳能电池效率的世界纪录,直到2022年7月,瑞士电子中心和瑞士洛桑联邦理工学院(EPFL)的研究人员才创下了略微超过这一数值的31%的新纪录。前...
📅 2024-02-08 阅读全文 →

破译嗅觉的关键一步

嗅觉可以说是最被人们低估的感官。它其实可以看作一种化学检测系统,我们通过嗅觉受体(OR)细胞来感知不同气味。不得不承认,我们的嗅觉似乎比不上其他很多生物。比如我们都知道,狗的嗅觉灵敏程度远高于人类。OR细胞的遗传密码被称为OR基因。与其他哺乳动物相比,我们的OR基因相当少。研究发现,我们只有约400个OR基因。在进化过程中,当我们的祖先开始直立行走,主要依赖...
📅 2024-02-08 阅读全文 →

英特尔联合创始人、摩尔定律提出者戈登·摩尔逝世,享年94岁

我们失去了一位有远见的人,一位先驱。英特尔公司联合创始人戈登・摩尔(Gordon Moore)上周五逝世,享年 94 岁,他是半导体行业的先驱,其提出的「摩尔定律」曾预测数十年来计算能力的快速上升。英特尔和摩尔的家族慈善基金会表示,他是在夏威夷的家中去世的,在人生的最后时刻有家人陪伴在身边。摩尔于 1968 年共同创立了英特尔,在创始三人组中罗伯特・诺伊斯是...
📅 2024-02-08 阅读全文 →

人类已达硅计算架构上限!预计2030年,AI会消耗全球电力供应的50%

我们已经开始体验到,硅计算体验到达上限的感觉。未来10年,将出现严重的算力差距,而无论是现有的技术公司还是政府,都没能解决这一问题。现在,我们已经习惯了计算会变得越来越便宜,以至于我们从来不曾怀疑过,也许有一天我们会用不起它。现在,Rodolfo Rosini,一家初创公司的CEO提出了一个令我们震惊的问题:如果我们正在达到经典计算模型的基本物理极限,就像我...
📅 2024-02-08 阅读全文 →

准备好在公司接受大脑扫描了吗?

做好神经技术即将进入工作场所的准备吧!神经传感器现在性能已足够可靠,价格也足够实惠,足以支持商业试点项目,用于从员工的大脑中提取可提高生产力的数据。这些项目并不局限于专门的工作场所,还适用于办公室、工厂、农场和机场。这些神经科技设备背后的公司和人员确信它们将改善我们的生活。但对于是否应该围绕大脑的某些功能而不是整个人来组织工作,其中存在着严肃的问题。需要明确...
📅 2024-02-08 阅读全文 →

强大的人工智能推理(七):人工智能动荡的过去和不确定的未来

是否能打破人工智能繁荣与萧条的周期循环?1956年夏天,一群数学家和计算机科学家聚集在达特茅斯学院数学系大楼的顶层。在大约8周的时间里,他们设想了开拓一个新的研究领域的可能性。当时还是达特茅斯学院青年教授的约翰•麦卡锡(John McCarthy)在撰写会议提案时创造了“人工智能”一词,并表示要探索这样一个假设:“原则上,可以精确地描述出学习的每一个方面或智...
📅 2024-02-08 阅读全文 →

人工智能团队合作或可大幅削减芯片开发成本

LAM RESEARCH当涉及到开发制造微芯片的新方法时,最好的方法可能不是单独依靠人类或计算机开发的设计,而是将两者融合在一起。一项新的研究发现,与仅依靠人类专家相比,这种合作可能会将成本降低一半。该研究的资深作者Richard Gottscho说:“虽然由于人类的专业知识和解决具有挑战性的现成问题的能力,人类仍然是必不可少的,但我们的研究结果表明[人先机...
📅 2024-02-08 阅读全文 →

北航提出针对红外行人检测器的漏洞挖掘技术

来自北航人工智能研究院的韦星星副教授团队设计出一种隐蔽性更强、物理实施更简单、速度更快的 “对抗红外补丁”,可用于针对红外模态的物理鲁棒性评估研究。在计算机视觉领域,基于 DNN 的红外与可见光目标检测系统在诸多安全保障任务中得到广泛应用,而 DNN 易受对抗样本攻击的特性,天然给这些检测系统埋下了安全隐患,检测器的对抗鲁棒性也因此受到了学术界与工业界的共同...
📅 2024-02-08 阅读全文 →

提高计算速度的新方法

Avicena公司的蓝色microLED正与Ayar实验室的激光系统展开竞赛。如果首尔的中央处理器向布拉格的处理器发送1字节的数据,那么大部分距离内的信息传播都会以光的形式完成,且没有任何阻力。但如果把这两个处理器放在同一块主板上,它们就需要通过耗能的铜线来通信,这会降低计算机内部可能的通信速度。Avicena公司和Ayar实验室这两家硅谷初创企业正在着手突...
📅 2024-02-08 阅读全文 →

小小的细菌注射系统,有望攻克现代医学的众多难关

在生命科学和疾病治疗的研究领域,能够将特定蛋白质输送到特定细胞,是科学家梦寐以求想要拥有的能力。然而,这其中面临重重困难,无论是瞄准目标细胞,还是跨细胞膜运输所需的蛋白质,都是极具挑战的艰难任务。在很多时候,自然是我们最好的老师,许多天然系统的巧妙程度超乎想象。近日,麦戈文脑科学研究所及布罗德研究所的研究人员,就在张锋教授的带领下,利用一种天然的细菌系统,在...
📅 2024-02-08 阅读全文 →

研究人员克服了长期以来热力学第一定律的限制

热力学第一定律指出,能量既不能凭空产生,也不能凭空消失,只能从一个物体转移到另一个物体,而且能量的形式也可以转换。西弗吉尼亚大学 KINETIC 等离子体物理中心 Paul Cassak 教授兼副主任和物理与天文学系研究生研究助理 Hasan Barbhuiya 正在研究太空中过热等离子体的能量转换。将彻底改变对空间和实验室中等离子体如何加热的理解,并可能对...
📅 2024-02-08 阅读全文 →

动手:另类手风琴 Commodordion

用两个C64和一些软盘制作乐器。手风琴的形状多种多样。有的带有小琴键,还有的带有一些按平行四边形排列的黑白按键。很长一段时间里,我都对这种“半音阶按键”的布局很感兴趣。我发现,这些按键和打字机上的按键一样交错排列,我隐约有种感觉,可以利用两个20世纪80年代的家用计算机来制作手风琴,这些计算机通常带有内置键盘的箱体,这种箱体足够大,可以构成手风琴的两端。这种...
📅 2024-02-08 阅读全文 →

谷歌最强AI超算碾压英伟达A100!TPU v4性能提升10倍,细节首次公开

微软为ChatGPT打造专用超算,砸下几亿美元,用了上万张A100。现在,谷歌首次公布了自家AI超算的细节——性能相较上代v3提升10倍,比A100强1.7倍。此外,据说能和H100对打的芯片已经在研发了。虽然谷歌早在2020年,就在自家的数据中心上部署了当时最强的AI芯片——TPU v4。但直到今年的4月4日,谷歌才首次公布了这台AI超算的技术细节。论文地...
📅 2024-02-07 阅读全文 →

随机性如何改进算法

自计算机科学诞生之日起——这个领域以其有条不紊地解决问题的方法而闻名——随机性就发挥了重要作用。在世界上第一台通用电子计算机上运行的第一个程序使用随机性来模拟核过程。此后,类似的方法被用于天体物理学、气候科学和经济学。在所有这些情况下,在算法的某些步骤插入随机数有助于研究人员解释复杂过程可以发挥作用的多种方式的不确定性。但是,将随机性添加到算法中也可以帮助你...
📅 2024-02-07 阅读全文 →

飞艇回归

LTA研究公司的“探路者1号”将于2023年开始试飞。在加州山景城的莫菲特场,LTA研究公司正在对一项百年前经历了兴衰的技术提出一种新方法:飞艇。尽管飞艇早已被飞机取代,但2015年由首席执行官艾伦•韦斯顿(Alan Weston)创立的LTA研究公司认为,结合新材料、更好的建造技术以及技术进步,飞艇一定能够找到新的利基市场……当然,不是重新占领天空。尽管飞...
📅 2024-02-07 阅读全文 →

英伟达新方法入选CVPR 2023:对未知物体的6D姿态追踪和三维重建

普通手机“随手”拍的雕像,一下就变成了精细的三维重建图。水杯来回动的动态场景下,细节清晰可见:静态场景效果也同样nice,狗狗突出的肋骨都被还原了出来:对比来看其他方法,效果是酱婶的……这就是英伟达最新提出的方法BundleSDF。这是一种可对未知物体的6D姿态追踪和三维重建的方法。用于从单目RGBD视频序列中跟踪未知物体的6自由度运动,同时进行物体的隐式神...
📅 2024-02-07 阅读全文 →

笔记本就能运行的ChatGPT平替来了,附完整版技术报告

GPT4All 是基于大量干净的助手数据(包括代码、故事和对话)训练而成的聊天机器人,数据包~800k条GPT-3.5-Turbo生成数据,基于LLaMa完成,M1 Mac、Windows 等环境都能运行。或许就像它的名字所暗示的那样,人人都能用上个人GPT的时代已经来了。自从 OpenAI 发布 ChatGPT 后,最近几个月聊天机器人热度不减。虽然Cha...
📅 2024-02-07 阅读全文 →

AI大模型出现了人们不可预测的能力

这些表情符号描述的是什么电影?该提示是 2022 年选择用于测试各种大型语言模型(LLMs)能力的 204 个任务之一——ChatGPT 等 AI 聊天机器人背后的计算引擎。最简单的 LLMs 产生了超现实的反应。「这部电影是一部关于一个男人的电影。」一个简单模型开始说道。中等复杂度的模型的答案接近了,猜测表情符号电影。但最复杂的模型在一次猜测中就成功了:《...
📅 2024-02-07 阅读全文 →

突破传统DOCSIS技术瓶颈,我国有线宽带C-DOCSIS技术成为新一代国际标准

回顾近年来我国广播电视技术领域,中国有线电缆数据服务接口规范(C-DOCSIS)堪称是一项重大的技术创新和产业突破。C-DOCSIS在保持传统有线电缆数据服务接口规范(DOCSIS)技术精华的基础上,能够实现千兆到楼,百兆入户,承载视频、语音和数据等综合业务,具有大带宽业务承载、多业务服务质量(QoS)保障、可运营、可管理的能力,是有线电视网络承载三网融合业...
📅 2024-02-07 阅读全文 →

新型山火监测器

狗为什么一直叫?被惊醒的你感到不安。你注意到了烟味,试图打开床头灯时,你发现停电了。然后你向窗外望去:橙色的火焰像一堵墙一样爬上了附近的山坡。你叫醒家人,跑去开车。挽救了你们生命的,是来自石器时代的预警系统,也就是你的狗。这是几百名加州人的经历。在2017年的塔布斯大火、2018年的坎普山火和2020年8月的大规模复合火灾案例中,清晨的人们还在睡梦中时,大风...
📅 2024-02-07 阅读全文 →