基于SCADE的形式化方法的行业应用

主题介绍 本场报告重点介绍以下内容:形式化方法的发展与现状基于SCADE形式化方法操作步骤基于SCADE形式化方法的在航空、航天、轨道交通、核电和汽车电子的案例 如有任何问题请点击以下链接进入答疑室与我们的技术专家进行交流互动 https://v.ansys.com.cn/live/a3059007 演讲人简介 沈轶烨 Ansys公司系统事业部高级应用工程师,主要负责航空航天、轨道交通、核能重工、汽车电子等安全关键行业SCADE产品推广介绍与技术支持。

Medini Analyze 和 SCADE产品2020版本的新特性 上

主题介绍 此次演讲我们讲重点介绍2020年发布的新版本Ansys medini analyze产品和Ansys SCADE产品的主要特性。medini analyze工具的新特性有:信息安全威胁分析,针对SOTIF的弱点和限制,NoMagic Cameo的模型导入,对VDA和AIAG引入的新FMEA格式的支持。SCADE工具的新特性有:经过ISO 26262 ASIL D认证的代码自动生成流程符合AUTOSAR。SCADE Vision工具强化了可扩展性和性能,SCADE在航空领域的新特性包括:支持新的ARINC 661 增补6,新的测试框架,SVG和Photoshop® 导入。针对所有行业,Ansys SCADE 2020的新特性增强了SCADE Suite的工作流程 (新的SCADE Test语言),一个新的快速引擎(速度高达60倍) ,ALM和西门子的Polarion将有桥接...

Ansys面向ISO26262高安全性应用的车载软件开发

主题介绍随着新能源汽车和汽车自动驾驶的兴起,功能安全在车载控制软件研制开发流程中的作用日益凸显,符合ISO26262高安全性车载软件开发标准已经成为业界的共识。各大车企和ECU的零部件供应商都必须应对车载软件合规带来的挑战,同时车载控制由分散转向集中的发展趋势势必带来软件复杂度的增加,这些都需要强有力的工具支撑来提升研制效率和降低开发成本。Ansys公司为帮助客户应对这些痛点及挑战,提供了面向ISO26262高安全性应用的车载软件开发解决方案 - Ansys SCADE,使用户可以基于模型的开发流程,通过获得第三方权威安全部门认证的工具自动生成符合ISO 26262 ASIL-D最高安全标准的代码,在提升代码安全性和质量的同时,极大减少了满足合规要求的验证环节,从而提高了效率,缩短了车载软件的迭代和认证时间。如有任何问题请点击以下链接进入答疑室与我们的技术专家进行交流互动https:...

Ansys可信人工智能嵌入式系统软件解决方案

主题介绍 随着人工智能技术应用的不断深入,高昂的研发成本限制企业的持续进步,安全和道德问题逐渐引发人们的深刻思考。如何构建可信人工智能系统成为当前科研人员和企业关注的重点。Ansys整合世界领先的可信软件工程解决方案助力可信人工智能嵌入式系统软件开发:Ansys与卡内基梅隆大学联合开发的智能感知算法验证套件SCADE Vision,基于云端部署的后台搜索引擎和网络前端人机界面的综合分析,有效降低AI智能感知算法的验证效率并快速定位AI智能感知算法的潜在缺陷;Ansys SCADE提供一套完整的基于模型的软件工程解决方案,支持“构建即正确”的算法逻辑和“所见即所得”的人机界面开发与验证,工具模块通过各类国际安全标准的工具鉴定并提供各类安全鉴定支持,有效保障软件安全质量并显著提升软件开发效率。 如有任何问题请点击以下链接进入答疑室与我们的技术专家进行交流互动 https://v.a...

基于模型的航空系统安全与信息安全分析

主题介绍航空领域的安全问题一直是业内关注的重点,ARP4761等标准对于民航领域的安全评估提出了具体的方法和流程指南,近年来,对于网络信息安全,业内也提出了新的标准和要求。这对整个行业的民航产品研制和认证提出了一系列更高的要求和挑战。本议题将讨论如何应用基于模型的安全分析方法,结合最新的系统安全标准ARP4761A 和网络安全标准DO-326A、DO-356A,满足民航系统安全和网络安全的认证要求。如有任何问题请点击以下链接进入答疑室与我们的技术专家进行交流互动https://v.ansys.com.cn/live/a3059007演讲人简介杨瑾婧 杨瑾婧,Ansys 系统事业部亚太区安全咨询,多年来从事安全关键领域系统和软件开发与认证技术咨询工作,参与航空、汽车、轨道等领域多个重点项目的认证、工具鉴定等。

Ansys基于仿真数字孪生解决方案

主题介绍 Ansys Twin Builder是系统级多物理域多语言建模与仿真平台,支持跨学科多领域的系统仿真与数字孪生方案。非常适合于航空、航天、国防、军工、电力电子等设计多学科的行业用户。Twin Builder具备Modelica、VHDL-AMS、SPICE、C/C++等多种建模语言与基于语言的模型库用于建模、集成和仿真。以Ansys Twin Builder为基础平台,结合Ansys多物理仿真产品,帮助用户针对自身产品全生命周期的仿真与数字孪生建设。 如有任何问题请点击以下链接进入答疑室与我们的技术专家进行交流互动 https://v.ansys.com.cn/live/a3059007 演讲人简介 张旭 Ansys高级工程师,有多年系统仿真与数字孪生工作经验,目前主要负责Twin Builder产品的技术支持与推广实践工作。具备丰富的模型开发、模型标定,系统...

基于仿真的数字孪生案例介绍

主题介绍本报告首先对基于仿真的数字孪生概念与方法进行简单介绍,然后介绍基于仿真的数字孪生建设中需要使用的关键技术。最后,介绍了在世界范围内,Ansys在2019年和2020年上班年参与的数字孪生项目所涉及的工业领域,并详细介绍了几个典型的数字孪生项目案例。如有任何问题请点击以下链接进入答疑室与我们的技术专家进行交流互动https://v.ansys.com.cn/live/a3059007演讲人简介杨帆 Ansys亚太区数字孪生高级专家,毕业于北京航空航天大学,曾任中国燃气涡轮研究院(624所)、IGCC与煤气化联合循环国家重点实验室资深设计师。现任Ansys公司亚太区数字孪生高级专家,负责Ansys亚太区数字孪生解决方案开发、项目管理、技术难点攻关研发协调,以及数字孪生模型集成工作。

Ansys动力电池整体解决方案

主题介绍本视频详细阐述Ansys动力电池完整的解决方案,涵盖动力电池研发过程中涉及到的热管理、电化学、BMS、结构强度、系统集成等维度。针对客户不同阶段的设计需求,提供相对应的解决方案及客户案例,以节省客户的准备时间并提升设计效率。如有任何问题请点击以下链接进入答疑室与我们的技术专家进行交流互动https://v.ansys.com.cn/live/61da320e演讲人介绍井文明 Ansys电池行业专家及流体高级工程师毕业于北京航空航天大学,具有10年丰富的流体仿真及测试经验,专注于燃烧、化学反应及新能源电池等专业方向。

Using Ansys Simulation for Better Battery Design with Improved Safety/Reliability 使用Ansys仿真提高电池设计的安全性和可靠性

主题介绍电动汽车电池的未来,将由那些可以做到平衡性能、尺寸、成本、可靠性和安全性的公司记得。这要求供应链和OEM在电池化学、冷却系统、机械防护及BMS上进行合作。每一个设计选项都涉及具有一个或多个安全或性能指标的复杂平衡。仿真允许工程师能够快速评估设计权衡,同时最大限度地减少昂贵的物理试错测试。Ansys多尺度多物理场的电池解决方案汇集了不同尺度的跨学科专业知识(电、热、结构、控制等),从电化学到电极、电芯、模组、pack、系统,甚至不同物理场的耦合。本讲座将讨论电、热、电化学、结构、安全、电池管理系统BMS,以在设计周期的早期提高性能,降低成本并提高安全性和可靠性。如有任何问题请点击以下链接进入答疑室与我们的技术专家进行交流互动https://v.ansys.com.cn/live/61da320e演讲人简介Vidyu Challa , Consulting ManagerVidy...

Ansys助力动力电池系统热仿真效率提升

主题介绍Ansys FLUENT平台MSMD电芯仿真模型的应用,不仅节省了等待电芯产热功率输入的时间,提升了热仿真效率,而且帮助实现了电芯产热与热管理系统散热的实时耦合,提升了热仿真精度。另外,Ansys降阶模型的应用,能够在热管理系统设计初期,进行快速的定性分析,大幅缩短热管理系统的开发周期。如有任何疑问请点击以下链接进入答疑室与我们的技术专家进行交流互动:通用流体答疑室   https://v.ansys.com.cn/live/61da320e 演讲人简介多鹏 华北理工大学 ,硕士 ,现任职于荣盛盟固利新能源科技有限公司 热管理与仿真主管岗位,负责锂离子动力电池热管理系统设计与仿真验证,以及先进热仿真技术的开发。 

Comprehensive Li-ion Battery Solutions in Ansys Fluent/Ansys Fluent 全面的锂离子电池解决方案

主题介绍阐述Ansys Fluent 完整全面的锂离子电池解决方案。如有任何问题请点击以下链接进入答疑室与我们的技术专家进行交流互动https://v.ansys.com.cn/live/61da320e演讲人简介李革农博士,Ansys研发首席李革农博士于1993年毕业于西安交通大学能源与动力工程学院,随后在匹兹堡大学获得硕士学位,并在宾夕法尼亚州立大学获得博士学位。李博士擅长化学和电化学反应流体模型,是Ansys FLUENT MSMD电池插件模块和内置通用电化学模型的主要开发人员,此外,李博士还是美国能源部资助的计算机辅助电动汽车电池(CAEBAT) 项目的Ansys 项目负责人。主要研究领域侧重在CFD领域,尤其是燃烧和辐射。李革农博士在2001年10月加入Ansys Inc (此前为Fluent Inc),并在化工行业担任技术顾问,在不同行业完成多个咨询顾问项目,并开发了许多...

仿真流程集成与优化设计方案综述

主题介绍仿真技术在产品研发过程被广泛使用,其应用的深度和广度都在不断拓展。在仿真规模不断扩大的情况下,如何应对繁重的仿真任务,协同多部门仿真;如何实现企业专用的流程整合,实现仿真标准化和自动化、多学科优化?在本专题中将跟大家一起展开探讨。如有任何问题请点击以下链接进入答疑室与我们的技术专家进行交流互动https://v.ansys.com.cn/live/48830827演讲人介绍刘丙权 Ansys高级应用工程师毕业于北京航空航天大学,曾就职于华清燃气轮机,负责过多个核心部件的强度设计工作。2016年加入Ansys,具有丰富的结构仿真应用经验,能够在结构强度、振动多学动力学、疲劳等领域给客户提供帮助。目前专注在PIDO流程集成与多学科优化的方案开发与推广。

Ansys仿真平台解决方案综述

主题介绍 综合介绍Ansys Minerva仿真平台的初衷,对客户的价值,平台架构特点以及愿景,以及客户独特性仿真平台的建设思路与建议。 如有任何问题请点击以下链接进入答疑室与我们的技术专家进行交流互动 https://v.ansys.com.cn/live/48830827 演讲人简介 舒仕臣 毕业于清华大学物理专业 曾负责实施过众多日本汽车厂商的仿真分析、多学科设计优化、仿真工具及业务流程集成等项目,积累了丰富的行业经验。归国后主要负责从事仿真平台相关业务,负责实施了多个国内著名国防科研院所的仿真平台项目,2018年加入Ansys,现在负责Ansys中国仿真流程与数据管理平台(SPDM)的推广。

Ansys Minerva 最新功能介绍

主题介绍介绍Ansys Minerva最新2020R2版的功能,包括项目管理,流程管理,数据管理,任务管理等,并进行Demo演示。如有任何疑问请点击以下链接进入答疑室与我们的技术专家进行交流互动CTO答疑室   https://v.ansys.com.cn/live/48830827 演讲人介绍王灿,Ansys行业专家。高级咨询工程师,主要负责项目咨询,架构和方案设计,流程梳理以及项目实施与交付。成功实施完成多个汽车主机厂,航空,航天多个所的仿真数据以及实验数据管理平台项目在流程定制和工具开发有丰富的项目经验有CAE, 数据管理,HPC与云计算,大数据与机器学习等专业知识,也掌握客户端、网页端的多种开发语言和工具。