《NIST研究人员解释在系统行为设计中发现不一致的软件》

  • 来源专题:新一代信息技术
  • 编译者: 袁晨
  • 发布时间:2023-11-29
  • NIST的Raphael Barbau和Conrad Bock受邀在马里兰大学设计表现前沿暑期学校展示NIST开发的软件,该软件有助于发现系统行为设计中的不一致性。这个为期一周的活动聚焦于帮助工程设计的新兴数学、统计和计算基础。

    从OBM到SMT的NIST软件自动转换器旨在与系统建模语言(SysML)一起使用,SysML是一种广泛使用的标准,用于指定需求,设计和测试复杂系统。该软件利用了Bock在SysML之前的工作中开发的技术,本体行为建模(OBM),它为表达系统行为提供了数学基础。Barbau的软件在此基础上将系统行为转换为广泛使用的文件格式,用于陈述可满足模数理论(SMT)中的逻辑问题,SMT是布尔可满足性(SAT)的更一般形式。

    一旦工程师们应用了NIST的基于sysml的方法来设计一个复杂的系统,他们就可以使用NIST的软件来自动检测系统行为指定方式中的不一致性。该软件将SysML模型转换为逻辑问题,然后使用开源逻辑求解器通过自动推理找到不一致之处,以便工程师纠正系统的设计。


  • 原文来源:https://www.nist.gov/news-events/news/2023/11/nist-researchers-explain-software-finds-inconsistencies-system-behavior
相关报告
  • 《研究人员在海洋岩石样本中发现了纳米金刚石》

    • 来源专题:纳米科技
    • 编译者:郭文姣
    • 发布时间:2020-10-27
    • AZO于2020年10月19日发布关于纳米金刚石的报道,报道指出:这项研究证实了新发现的机制,这与传统的在极高压力下形成钻石的机制相去甚远。来自巴塞罗那大学地球科学学院矿物资源研究小组的专家参与了这项研究。 参与这项研究工作的其他专家来自布法罗大学的纳米科学和纳米技术研究所(IN2UB)、格拉纳达大学(UGR)、安达卢西亚地球科学研究所(IACT)、陶瓷和玻璃研究所(CSIC)以及墨西哥国立自治大学(UNAM)。 该研究是由来自UB的科学家Joaquin a . Proenza和来自UGR的Antonio Garcia-Casco指导的,也是该研究的第一作者Nuria pujolo - sola博士论文的一部分。 钻石:最坚硬的矿物 钻石(取自希腊单词Adamas,意思是“不可战胜的”)是富有和奢侈的象征。它是最无价的宝石和最坚硬的矿物(莫氏刻度为10)。 钻石由化学上纯净的碳组成,按照经典的假设,这种矿物在地球地幔深处的高压条件下使立方系统结晶。 这项研究首次证实,天然钻石是在低压下形成的,这些岩石位于古巴的Moa-Baracoa蛇绿岩地块中。这个重要的地质构造位于该岛的东北部,由大洋岩石圈的代表岩石——蛇绿岩形成。 这些海洋岩石出现在北美大陆边缘的时候,发生在四千万到七千万年前的加勒比海岛屿拱门碰撞。 “在深不可测的海洋洋底的形成,在白垩纪——1.2亿年前,这些海洋岩石进行了矿物变化由于海水渗入,这一过程导致小橄榄石内流体包裹体,这种岩石中最常见的矿物,”源,矿物学系的一员,岩石学和应用地质学在乌兰巴托,并从矿物学和岩石学Garcia-Casco格。 普罗恩萨也是这个项目的主要研究员,最近的文章就是在这个项目中发表的。 这些流体包裹体除了蛇纹石、磁铁矿、金属硅和纯甲烷外,还含有大约200和300纳米的纳米金刚石。所有这些材料都形成在低压力下(< 200 MPa)和温度(< 350ºC),包含流体包裹体的橄榄石蚀变。 研究人员 “因此,这是对蛇绿岩金刚石在低压和低温下形成的第一次描述,其自然形成过程没有任何疑问,”该团队强调说。 金刚石是在低压和低温下形成的 必须记住,早在2019年,研究人员已经公布了初步描述发展的岩钻石在低压条件下(地质)——研究工作由茱莉亚作为博士论文的一部分执行Farre de巴勃罗,乌兰巴托研究员和导演普罗和何塞玛丽亚冈萨雷斯吉梅内斯,格拉纳教授。国际科学界的成员对这项研究进行了激烈的辩论。 在发表在欧洲地理化学协会期刊《地球化学透视快报》上的文章中,专家们在样品表面的微小流体包裹体中发现了纳米金刚石。他们使用共焦拉曼图和聚焦离子束(FIB),以及透射电子显微镜(FIB- tem)进行研究。 这使得研究人员能够确认样品表面下是否存在钻石,从而在低压力条件下在挖掘出的海洋岩石中开发出天然钻石。 布法罗大学的科技中心(CCiTUB)参与了这项研究工作,并为国家提供了基础设施支持。 在这个例子中,研究工作的重点是讨论某些地球动力学模型的有效性,这些模型基于蛇绿岩金刚石的存在,表明地幔环流和大规模岩石圈再循环。 例如,假定蛇绿岩金刚石反映了蛇绿岩穿过地球深部的地幔,到达过渡区(210 - 660公里深),然后沉积成典型的在低压下形成的蛇绿岩(大约10公里深)。 专家们认为,在这一地质系统中,低氧化状态将解释纳米金刚石的发展,而不是石墨,这将是在流体包裹体的化学和物理形成条件下的预期。 该研究得到了前经济和竞争力部(MINECO)、拉蒙-伊卡哈尔项目和欧盟欧洲区域发展基金(ERDF)的财政支持。
  • 《研究人员发现了海洋热传输的新途径》

    • 来源专题:物理海洋学知识资源中心
    • 编译者:cancan
    • 发布时间:2018-12-03
    • 热量在海洋中通过深海环流系统进行传输,即所谓的全球热传送带,海水通过这个传送带在全球范围内不断循环,帮助平衡地球的气候。 印度尼西亚贯穿流(ITF)是这条输送带的上层分支之一,流经婆罗洲和新几内亚之间的通道,距离特拉华州超过9,000英里。虽然其中许多通道已经为研究人员所知多年,但特拉华大学的Xiao-Hai Yan研究小组发现了一条先前未解释的通道,它将热量从太平洋输送到印度洋,甚至进一步传送到更远的环绕南极洲的南大洋。 “当热量从太平洋流入印度洋时,我们预计热量将沿着南赤道流从印尼贯穿流流向非洲东海岸,”Yan教授说。“相反,数据和模型结果显示,异常温暖的海水流向西澳大利亚附近,这表明有其他过程推动着海水向南移动。” 普林斯顿大学的合作者Liao说,这种向南方转移的暖水对气候有着重要的影响。它可以影响澳大利亚西海岸的降雨量,并增加“热事件”的频率,导致珊瑚白化,使它们面临更大的死亡风险。澳大利亚的大堡礁仍处于2016年和2017年的破坏性白化事件的恢复时期,这是由于在强厄尔尼诺气候影响下,海洋持续高温造成的。 在这项研究中,Yan和他的同事研究了2003-2012年在印度洋海面以下700米(近3000英尺)海洋热量变化的情况,据说这个时期有异常大量的热量从太平洋输送至印度洋。这项热含量的研究是使用数值模拟进行的,数据通过船舶和深海遥感测量获得,后者是使用卫星测量的地表温度、盐度和海平面进行数据挖掘得到的。 Yan和他的实验室成员还花了数年时间研究所谓的全球变暖停滞期,从1998年到2013年观察到这是由深海的热量再分配和储存引起的。Yan解释说,在这段时间内,几乎所有洋盆的深层都变得更加温暖。 总之,这两篇论文的研究结果揭示了隐藏的热量传递与跨洋盆热量再分布之间的重要联系,这些联系可能对我们的全球气候系统产生重大影响。 (侯颖琳编译;王琳审校)