研究提出面向信息物理融合系统的扩展体系结构分析与设计语言建模和分析方法
近日，中国科学院软件研究所科研人员针对信息物理融合系统的形式化建模和验证，提出了基于扩展体系结构分析与设计语言的建模与验证方法，为高速列车、车联网等安全攸关系统的设计与验证提供了新思路。安全攸关信息物理融合系统是复杂的嵌入式系统。传统的建模方法往往难以同时兼顾软件功能、物理环境和系统架构三个维度，导致系统设计存在潜在风险。在众多架构型建模语言中，体系结构分析与设计语言表现得最为出色。然而，体系结构分析与设计语言擅长描述系统架构和硬件平台，却难以准确描述系统的软件功能和物理环境。该研究为实现信息物理融合系统“物理-软件-硬件”三层架构的统一建模，扩展了应用于实时嵌入式系统的体系结构分析与设计语言，设计了Hybrid Annex附件，使体系结构分析与设计语言能够准确描述离散的软件功能、连续的物理变化及二者的交互过程；建立了从扩展体系结构分析与设计语言模型到形式化模型混成通信顺序进程的自动转换框架，支持在形式模型层面对信息物理融合系统......阅读全文
研究提出面向信息物理融合系统的扩展体系结构分析与设计语言建模和分析方法
近日，中国科学院软件研究所科研人员针对信息物理融合系统的形式化建模和验证，提出了基于扩展体系结构分析与设计语言的建模与验证方法，为高速列车、车联网等安全攸关系统的设计与验证提供了新思路。安全攸关信息物理融合系统是复杂的嵌入式系统。传统的建模方法往往难以同时兼顾软件功能、物理环境和系统架构三个维度，导
酶标仪语言界面
通常进口的中高档酶标仪人机对话多采用英文。这对于某些基层实验室可能会存在语言方面的困难，从而难以最大限度地发挥酶标仪的作用。为解决这方面的问题，已有一些酶标仪采用了中文界面。这样就大大方便了广大基层实验室技术人员的使用。 综上所述，尽管酶标仪的发展极为快速，种类繁多，功能也不断加强，但其最根本
癌症治疗新曙光：癌症建模
现在科学家们将患者的肿瘤细胞接种到小鼠体内，进而建立肿瘤模型，以用于分析和开展药物测试。目前研究人员已鉴定了一系列小儿实体肿瘤模型，同时相关数据的允许免费获取。 罕见癌症的研究面临着两方面的挑战：可用的肿瘤样本少；缺乏相应的小鼠模型。最近科学家们非常成功地开发了将人类肿瘤细胞高效移植到免疫缺陷
李彦宏：自然语言将成为新的通用编程语言
“未来，自然语言将成为新的通用编程语言，你只要会说话，就可以成为一名开发者。”4月16日，百度创始人、董事长兼首席执行官李彦宏在Create 2024百度AI开发者大会上发表的演讲指出，“AI正在掀起一场创造力革命，未来开发应用就像拍个短视频一样简单，人人都是开发者。”活动现场 主办方供图 现场，
1500种语言可能消失
基于一个类似于预测物种损失的新模型，澳大利亚研究团队分析了6511种仍在使用或已停止使用的语言后得出结论说，到本世纪末，1500种语言将不再被使用，这相当于每个月有一种语言消失。这项新研究还确定了使语言处于高风险处境的原因，包括更密集的公路网、更高的教育水平甚至气候变化等。 论文合著者、澳大利亚国
大脑发育的神经网络建模
本周《自然》发表的两篇研究Assembly of functionally integrated human forebrain spheroids和Cell diversity and network dynamics in photosensitive human brain organoi
Nature：新的建模预测GDP提高
据英国《自然·物理学》杂志30日在线发表的一项最新研究，欧洲科学家团队详细介绍了一种预测国内生产总值（GDP）的新方法，将经济增长视为一套物理系统，通过复杂系统物理建模对产品出口数据进行分析，并预测该系统的动态。新方法可以补充国际货币基金组织（IMF）的预测，准确度甚至更优。 GDP是指一个国
全球开展人脑建模大型研究合作
仿照物理学家组建大型项目搜寻新粒子的方式，神经科学家也在国际合作道路上迈出了重要一步。据《自然》杂志官网19日报道，国际脑实验室（IBL）当日宣布成立，来自美国和欧洲的21家国际一流脑科学实验室加入，在建立大脑作用“标准模型”方面开展大型合作。英国维尔康信托基金会和美国西蒙斯基金会将在未来5年出
头脑如何区分音乐和语言？
科技日报北京5月29日电 （记者张佳欣）音乐和语言是人们最常听到的声音类型，但大脑是如何毫不费力地自动识别音乐和语言的？以往科学家对此缺乏清晰的理解。现在，包括美国纽约大学在内的一个国际研究团队通过实验重现了这一过程。相关论文发表在28日的《公共科学图书馆·生物学》杂志上。研究人员表示，音乐和语言在
没有语言，蝴蝶也会“交谈”？
一只小小的蝴蝶，生活在一片热带雨林中，它如此美丽，翅膀闪耀着玻璃般的光泽。但在雨林中，有太多这样的同类了，没有语言的它如何找到真爱，避免与那些看起来一模一样的“亲戚”们混淆呢？一个来自多国的科学家团队，包括英国惠康桑格研究所、厄瓜多尔阿马佐尼卡伊基亚姆地区大学和巴西坎皮纳斯大学的专家们，以玻璃翅蝶为
日本发布大规模语言模型
东京工业大学、日本理化学研究所及富士通公司等近日宣布，利用超级计算机“富岳”，他们开发的大规模语言模型“Fugaku-LLM”正式发布。 “Fugaku-LLM”是首个完全由日本国产技术构建的AI语言模型，其在处理日语及相关文化内容上表现卓越。模型特别擅长基于日语敬语进行自然对话，并展现出在人
头脑如何区分音乐和语言？
音乐和语言是人们最常听到的声音类型，但大脑是如何毫不费力地自动识别音乐和语言的？以往科学家对此缺乏清晰的理解。现在，包括美国纽约大学在内的一个国际研究团队通过实验重现了这一过程。相关论文发表在28日的《公共科学图书馆·生物学》杂志上。 研究人员表示，音乐和语言在音调、音色、声音质感等许多方面都
日本发布大规模语言模型
科技日报讯 （记者李杨）东京工业大学、日本理化学研究所及富士通公司等近日宣布，利用超级计算机“富岳”，他们开发的大规模语言模型“Fugaku-LLM”正式发布。“Fugaku-LLM”是首个完全由日本国产技术构建的AI语言模型，其在处理日语及相关文化内容上表现卓越。模型特别擅长基于日语敬语进行自然对
《科学》：模拟大脑的“语言交流”
人类通过大脑认知世界，却对认知世界的大脑知之甚少。 原因之一是大脑有两种“语言”（电信号和化学信号），目前人们可以“读懂”大脑的“电语言”（读取并解译电信号），对其“化学语言”（神经元释放的神经递质等化学信息）的“译读”却束手无策。 1月13日，中国科学院化学研究所研究员于萍和毛兰群团
大脑处理语言，母语最“省事”
多数人只会说一两种语言，而美国华盛顿特区的47岁地毯清洁工Vaughn Smith却精通24国语言。据《科学》报道，在一项新的大脑成像研究中，研究人员仔细观察了像Smith这样多语言者的大脑，以了解其语言特定区域在听到不同语言时的反应。研究人员发现，受试者熟悉的语言引起了他们大脑更强烈的反应。但有一
AI语言模型“提速”药物发现
原文地址：http://news.sciencenet.cn/htmlnews/2023/6/502762.shtm美国麻省理工学院和塔夫茨大学研究人员设计出一种基于大型语言模型（如ChatGPT）的人工智能算法，这种称为ConPLex的新模型可将目标蛋白与潜在的药物分子相匹配，而无需执行计算分子结
武大两学子获美国数学建模大奖
昨日(4月24日)获悉，2013年美国大学生数学建模竞赛成绩日前揭晓，武汉大学计算机学院2010级弘毅班学生童文竹获得特等奖提名奖，2011级仿真科学与技术专业本科生郭庆荣获得一等奖。 作为数学建模领域内的国际性权威赛事，该赛事每年吸引了包括哈佛大学、麻省理工学院、北京大学、清华大学等著名
空间天气建模973项目启动
6月8日，国家重点基础研究发展计划（973计划）项目——“基于子午工程和双星计划的地球空间天气数值预报建模研究”启动会在中国科学院国家空间科学中心召开。科学技术部基础研究司司长张先恩、中国科学院高技术研究与发展局副局长于英杰、国家自然科学基金委员会地球科学部处长于晟、国家空间科学
PNAS:基因调控网络建模研究获进展
近日，国际学术期刊《美国科学院院刊》（PNAS）在线发表了由中国科学院数学与系统科学研究院和美国斯坦福大学、清华大学等单位的科研人员合作的基因调控网络建模的研究成果，提出了利用匹配的基因表达和染色质可及性数据刻画顺式调控元件和反式调控元件相互作用的数学模型，将基因调控网络的建模研究从编码基因推进
动物基因“建模”－微米乾坤里的“中国创造”
那是个带“发卡”的姑娘，“酶少爷”回忆：“她的发卡摄人心魄，我忍不住追过去，拥她入怀。” 彼时，发卡姑娘正被“双螺旋”纠缠。“别怕！”“酶少爷”利落挥剑，DNA双螺旋就此解体、断裂，咔咔声不断。 这个桥段，是用来形象地比喻上古时代细菌基因组的免疫记忆。“瓦解噬菌体、病毒的入侵”，百科资料显示
如何利用CAD对摇床三维建模
摇床主要由床在、机架和传动机构三大部分组成，以下分别对各组成设备进行建模设计。打开并运行AutoCAD2000软件，进入AutoCAD2000操作界面。 首先进行的摇床床面的建模设计，移动ucs坐标到界面中间合适位置，在命令行输入Line命令，输入相应坐标数字以建立一个梯形图形，然后在
Maxwell如何对磁滞材料进行建模（一）
问题描述磁滞现象是铁磁材料的固有属性，电机、变压器使用的硅钢片属于软磁材料，剩磁与矫顽力都比较小，所以在电机设计过程中一般使用其平均磁化曲线，磁滞损耗包含在铁耗中，根据斯坦梅茨方程拟合计算其铁耗，这对电机、变压器稳态运行影响较小，但是在特殊工况下，磁滞现象会产生不良影响或者利用其特性开发新的产品。针
Maxwell如何对磁滞材料进行建模（二）
3.激活磁滞模型解决方案二1.按常规方法输入材料的平均磁化曲线，并设置X，Y，Z为02.Core Loss Model> Hysteresis Model3.自动打开B-H曲线，输入Hci参数至此两种磁滞材料建模方法介绍完毕。
如何利用CAD对摇床三维建模
摇床主要由床在、机架和传动机构三大部分组成，以下分别对各组成设备进行建模设计。打开并运行AutoCAD2000软件，进入AutoCAD2000操作界面。 首先进行的摇床床面的建模设计，移动ucs坐标到界面中间合适位置，在命令行输入Line命令，输入相应坐标数字以建立一个梯形图形，然后在命令
占领语言AI一片天地
周玉（受访者供图）“做科研和开公司，一个要静，一个要动，有天壤之别。”中国科学院自动化研究所（以下简称自动化所）研究员、北京中科凡语科技有限公司（以下简称中科凡语）董事长周玉在接受《中国科学报》采访时表示，“科学家变企业家，面临双重突破，一是突破自我认知差异，熟悉管理之道、经营之道；一是突破技术到
“语言服务助力数字中国倡议”发布
12月27日至28日，第七届语言服务高级论坛在北京、广州、武汉三地联合举办。与会语言文字工作者深入学习贯彻党的二十大精神，就语言服务助力数字中国建设形成共识。闭幕式上，广州大学教授、国家语言服务与粤港澳大湾区语言研究中心主任屈哨兵代表大会向教育界、学术界及全社会发出“语言服务助力数字中国”的六点倡议
儿童辨识情绪能力不受语言限制
一项研究表明，儿童能够识别母语和外语中的情绪，不过在母语中的识别准确度更高。相关成果近日发表于《科学报告》。 英国普雷斯顿中央兰开夏大学的Georgia Chronaki及其同事让没有外语经验的57名儿童和22名年轻成年人完成一项语音情绪识别任务，其中涉及他们的母语（英语）和3种外语（西班牙
儿童辨识情绪能力不受语言限制
一项研究表明，儿童能够识别母语和外语中的情绪，不过在母语中的识别准确度更高。相关成果近日发表于《科学报告》。 英国普雷斯顿中央兰开夏大学的Georgia Chronaki及其同事让没有外语经验的57名儿童和22名年轻成年人完成一项语音情绪识别任务，其中涉及他们的母语（英语）和3种外语（西班牙语
汉语语言产生数据库发表
原文地址：http://news.sciencenet.cn/htmlnews/2024/2/517976.shtm
压缩算法为大语言模型“瘦身”
据美国科学促进会旗下网站19日报道，美国普林斯顿大学和斯坦福大学团队开发出一种新压缩算法CALDERA，能精简大型语言模型（LLM）的海量数据，为LLM“瘦身”。这项算法不仅有助保护数据隐私、节约能源、降低成本，还能推动LLM在手机和笔记本电脑上高效使用。团队举例称，当人们使用ChatGPT时，请求