研究提出面向信息物理融合系统的扩展体系结构分析与设计语言建模和分析方法

近日,中国科学院软件研究所科研人员针对信息物理融合系统的形式化建模和验证,提出了基于扩展体系结构分析与设计语言的建模与验证方法,为高速列车、车联网等安全攸关系统的设计与验证提供了新思路。安全攸关信息物理融合系统是复杂的嵌入式系统。传统的建模方法往往难以同时兼顾软件功能、物理环境和系统架构三个维度,导致系统设计存在潜在风险。在众多架构型建模语言中,体系结构分析与设计语言表现得最为出色。然而,体系结构分析与设计语言擅长描述系统架构和硬件平台,却难以准确描述系统的软件功能和物理环境。该研究为实现信息物理融合系统“物理-软件-硬件”三层架构的统一建模,扩展了应用于实时嵌入式系统的体系结构分析与设计语言,设计了Hybrid Annex附件,使体系结构分析与设计语言能够准确描述离散的软件功能、连续的物理变化及二者的交互过程;建立了从扩展体系结构分析与设计语言模型到形式化模型混成通信顺序进程的自动转换框架,支持在形式模型层面对信息物理融合系统......阅读全文

狒狒叫声隐藏语言起源秘密

  人类语言是如何在2500万年前起源的,一直被认为是科学界最大的未解谜团之一。科学家近日发现,这个谜可能从狒狒的叫声中找到答案。  来自法国格勒诺布尔阿尔卑斯大学等6所高校的科学家对1335只狒狒进行了声学和舌部解剖学研究。结果发现,几内亚狒狒的几类叫声中包含着独特的类人元音。  此前研究认为,人

首个种业大语言模型“丰登”发布

4月28日,中国农业大学生物学院教授王喜庆团队联合上海人工智能实验室、崖州湾国家实验室发布首个种业大语言模型“丰登”(SeedLLM)。种业大语言模型“丰登”。中国农业大学供图“丰登”集成了先进的人工智能技术(书生·浦语2.0)与大数据分析,通过深入学习我国迄今发布的科研文献、科技书籍、种企报告和历

如何利用CAD对摇床三维建模

    摇床主要由床在、机架和传动机构三大部分组成,以下分别对各组成设备进行建模设计。打开并运行AutoCAD2000软件,进入AutoCAD2000操作界面。    首先进行的摇床床面的建模设计,移动ucs坐标到界面中间合适位置,在命令行输入Line命令,输入相应坐标数字以建立一个梯形图形,然后在

如何利用CAD对摇床三维建模

  摇床主要由床在、机架和传动机构三大部分组成,以下分别对各组成设备进行建模设计。打开并运行AutoCAD2000软件,进入AutoCAD2000操作界面。    首先进行的摇床床面的建模设计,移动ucs坐标到界面中间合适位置,在命令行输入Line命令,输入相应坐标数字以建立一个梯形图形,然后在命令

Maxwell如何对磁滞材料进行建模(二)

3.激活磁滞模型解决方案二1.按常规方法输入材料的平均磁化曲线,并设置X,Y,Z为02.Core Loss Model> Hysteresis Model3.自动打开B-H曲线,输入Hci参数至此两种磁滞材料建模方法介绍完毕。

动物基因“建模”-微米乾坤里的“中国创造”

  那是个带“发卡”的姑娘,“酶少爷”回忆:“她的发卡摄人心魄,我忍不住追过去,拥她入怀。”  彼时,发卡姑娘正被“双螺旋”纠缠。“别怕!”“酶少爷”利落挥剑,DNA双螺旋就此解体、断裂,咔咔声不断。  这个桥段,是用来形象地比喻上古时代细菌基因组的免疫记忆。“瓦解噬菌体、病毒的入侵”,百科资料显示

Maxwell如何对磁滞材料进行建模(一)

问题描述磁滞现象是铁磁材料的固有属性,电机、变压器使用的硅钢片属于软磁材料,剩磁与矫顽力都比较小,所以在电机设计过程中一般使用其平均磁化曲线,磁滞损耗包含在铁耗中,根据斯坦梅茨方程拟合计算其铁耗,这对电机、变压器稳态运行影响较小,但是在特殊工况下,磁滞现象会产生不良影响或者利用其特性开发新的产品。针

加在北极建模拟温室为太空种菜积累经验

  在火星、月球上建立科学研究基地,是人类长期以来的梦想。这既需要投入大量的资金,也需要各种技术的突破。宇航员在其他星球上要长期生活,吃上可口的饭菜可能是第一需要。加拿大科学家正在为此做着不懈的努力。     2002年,加拿大宇航局研究人员就开始在位于北极极地的加拿大迪温岛上建立

近红外光谱仪怎样创建模型

不管是定性还是定量模型,都要收集大量样品的近红外图谱,然后给他们能赋予一个属性,再用化学计量软件去建模

首届中国青年汽车研发仿真建模大赛启动

5月14日,以“慧聚青年新工匠、新质数字逐梦行”为主题的首届中国青年汽车研发仿真建模大赛(以下简称大赛)启动仪式在北京经开区举办。活动由中国青年创业就业基金会、国家新能源汽车技术创新中心(以下简称国创中心)共同主办,中国汽车研发软件产业创新联盟承办。中国青年汽车研发仿真建模大赛启动仪式据介绍,本届大

近红外光谱仪怎样创建模型

不管是定性还是定量模型,都要收集大量样品的近红外图谱,然后给他们能赋予一个属性,再用化学计量软件去建模

首次在大脑中看到记忆构建模块

  终于,人们在小鼠大脑中看到了构成记忆的潜在主要构建模块。  人脑中有细胞,啮齿类动物也是如此,这些细胞能够跟踪人们的位置以及记录人们旅行了多远。当小鼠休息时,这些神经元据了解会依次发光,就像是这种动物在意识上回顾其路径,这一过程或有助于记忆形成,法国马赛市地中海神经生物学研究所的Rosa Cos

2022语言与智能技术竞赛这天举办

3月30日,聚焦自然语言处理(NLP)领域的2022语言与智能技术竞赛(以下简称 NLP竞赛)正式启动报名。为便利参赛者,竞赛将联手“千言”数据集开源项目,发布中文领域首个搜索知识对话数据集、首个面向实际应用场景的中文大规模段落检索数据集等多个重磅数据集。本次竞赛覆盖跨模态、知识驱动、可信学习等人工

婴儿不说话-亦能识语言

  像学习口头语言一样,婴儿已经做好了学习视觉语言的准备。这是近日在美国科学促进会年会上报告的一项研究结论。图片来源:Daria Shevtsova/Pexels CC0  家长和科学家都知道,婴儿就像海绵一样,能够学会他们出生国度的任何语言。但人们并不清楚这是否包括视觉语言。  为了了解婴儿对视觉

ChatGPT进入课堂:语言模型如何改变教育

最近,教育心理学家罗纳德·贝格托(Ronald Beghetto)以一种引人注目的方式引领一群研究生和教育专业人员,与一系列以创造力为中心的聊天机器人进行了交流。这些聊天机器人由贝格托设计,即将托管在亚利桑那州立大学(ASU)设立的平台上。这些机器人使用与ChatGPT相同的人工智能(AI)技术,目

有关生命起源的分子语言成功重建

加拿大蒙特利尔大学科学家开创性地重建了生命起源的两种分子语言,并进行了数学验证。《美国化学会志》最新发表的这一突破,为纳米技术的发展打开了新的大门,其应用范围包括生物传感、药物输送和分子成像。人们可以把生物体看成由数十亿个纳米机器和纳米结构所组成的,这些纳米机器和结构之间的通信,能创建移动、思考、生

神经机器模型能翻译200种语言

科技日报北京6月5日电 (记者张梦然)《自然》5日发表的一篇论文报道了一个Meta人工智能(AI)模型的底层技术。该模型能翻译200种不同语言,增加了机器翻译的语言数量。神经机器翻译模型利用人工神经网络翻译各种语言。这些模型通常需要大量可在线获取的数据加以训练,但并非所有语言数据都是公开、低成本或是

神经机器模型能翻译200种语言

自然》5日发表的一篇论文报道了一个Meta人工智能(AI)模型的底层技术。该模型能翻译200种不同语言,增加了机器翻译的语言数量。神经机器翻译模型利用人工神经网络翻译各种语言。这些模型通常需要大量可在线获取的数据加以训练,但并非所有语言数据都是公开、低成本或是普遍可及的,这类语言被称为低资源语言。一

大脑听觉皮层可助增强语言感知

  英国《自然·通讯》杂志12月20日在线发表的两篇神经科学论文提出,人们能借助听觉皮层的快速动态变化,在嘈杂的环境中辨认出语句。其中一组人员发现,当词语中的某些部分被噪音掩盖时,听觉中枢的一个区域能实时补充缺失的音节。另一项研究表明,在先前接触过这些语句的情况下,听觉中枢的快速变化能让人们理解噪音

美研究揭示大脑如何学习语言

  新华社电 美国一项新研究表明,人类用于学习语言的大脑回路还能“兼职”其他用途,而非此前认为的是专门用于学习语言的模块。   发表在最新一期美国《国家科学院学报》上的这项研究显示,儿童学习母语及成年人学习外语时使用的大脑回路还有记住购物清单或学习开车等多种用途。论文共同作者、州立肯特大学的菲利普

早产儿更易出现语言障碍

  一项美国研究发现,早产儿大脑听觉皮层发育迟缓,导致其幼儿时期的语言表达能力可能较差。这一研究发现有望为儿童语言能力问题的诊断和干预提供指导。   妊娠期一般要持续40周,早产是指妊娠不满37周的分娩,这是导致新生儿死亡或长期并发症的主要原因。   美国伊利诺伊大学语言和听觉科学教授布赖恩·蒙

8个小技巧“用好”大语言模型

用大语言模型,还需要技巧?在人们的印象中,这是个极其简单的操作:只需输入一个问题,立刻就能得到回答。但实际上,如何有效地与这些人工智能模型互动,发挥出它们的最大潜力,却是一个经常被忽视的话题。中国科学技术大学心理学系特任研究员林志成关注到这一话题,并在他最近的评论文章中提供了一系列的策略和指导,希望

《现代生物学》:手舞足蹈乃语言前奏

我们经常在街头看到人们一边走路,一边对着手机“自言自语”,同时伴随着各种各样的手势。尽管电话另一端的听者并不会看到这些动作,但这种行为表明,手势是人类交流的一个必要组成部分。许多类人猿的手势也具有相似的功效。对猩猩的一项研究表明,为了更好地沟通,它们能够改进自己的手势——这一发现对于研究人类语言的进

发现决定人类语言功能关键基因

为什么人能说话而黑猩猩不能?答案可能就在基因FOXP2   为什么人能说话而其生物学近亲黑猩猩却不能?英国《自然》杂志11月12日刊登研究报告说,答案可能就在基因FOXP2上,这个基因的人类版本与黑猩猩版本仅有两点小小的不同,但却因此赋予人类独特的语言能力。   美国加利福尼亚大学等机构

美研究揭示大脑如何学习语言

   美国一项新研究表明,人类用于学习语言的大脑回路还能“兼职”其他用途,而非此前认为的是专门用于学习语言的模块。   发表在最新一期美国《国家科学院学报》上的这项研究显示,儿童学习母语及成年人学习外语时使用的大脑回路还有记住购物清单或学习开车等多种用途。论文共同作者、州立肯特大学的菲利普·哈姆里克

美国科学家破译老鼠-“语言”

   雄性老鼠在打架时会发出一种尖锐的叫声,在逃跑和追逐其他雌性时也会发出不同的叫声。科学家首次破译了老鼠在追逐、打斗等社交行为中发出的这些超声波。相关成果2月17日发表于《自然—神经科学》。  老鼠会发出各种各样的声音与同伴交流。科学家很长时间里都在尝试解释这些人耳无法察觉的超声波“吱吱”声,但却

形形色色的跨界语言奇才

  语言是文化的承载者,一种语言反映了一种思维方式。美国成为创新强国的重要原因之一,是其来自世界各地的移民带来了不同的语言及不同的思维方式,而不同思维方式的碰撞易于激发出创新火花。对于个人,掌握多种语言就意味着能用不同的思维方式考察问题,因而面对难题和挑战更有可能拿出不同凡响的解决方案。更不用说,多

忽略人类行为对变暖的反馈成气候建模瓶颈

   在孟加拉,人们正在把一座清真寺移往安全的地方。图片来源:Magnum  目前的地球气候模型体现了物理和生物物理学过程。但地球已经进入新的状态:人类也在适应环境变化。这一重要情况必须被模拟。但仅基于简单经济叙述(从温室气体减排到未缓和的发展)的未来气候预测并不切实际。  面对干旱和海平面上升,人

全新CRISPR/Cas9基因编辑系统助力肝癌建模

  最近发表在开放获取期刊《Genome Medicine》上的一项研究,报道了一种建立肝癌小鼠模型的新方法,即利用CRISPR/Cas9系统快速将癌症相关基因敲入小鼠的DNA中。  研究的通讯作者、麻省大学医学院RNA疗法研究所的王文说:“为了更好地理解肿瘤生物学、开展临床前研究以及为病人找到潜在

科学家提出生态位建模新方法

  生态位模型(ENM)在生态学、生物地理学和进化生物学研究中发挥着越来越重要的作用,并被广泛用于帮助保护规划和管理。该领域研究中很重要的一部分是针对稀有物种。稀有物种存在观察记录偏差及地理范围局限、生境特化、种群规模小和自然史信息有限等特征。但是,由于空间采样偏差引起的模型不准确性和过拟合等问题,