|
搜索
搜 索
高等教育领域数字化综合服务平台
嵌入式实时系统建模验证工具
为了提高安全关键实时嵌入式软件系统的质量，降低开发成本与周期，并使得软件系统具有可重用、可移植和互操作等特性，基于目前国际标准体系结构描述语言AADL（ Architecture Analysis and Design Language）和同步语言Signal，研发了辅助配套软件工具集，可进行系统的可靠性、可调度性、安全性分析，以及自动代码生成，从全生命周期的角度保证系统的可信性质。 本项目主要特点如下。 1．可以插件的形式集成在AADL开发平台OSATE上，支持高可靠性实时系统的软件设计建模； 2．可以提供集成开发环境，将AADL模型转换为TASM模型和UPPAL模型，然后采用相关的模型分析和检测工具进行验证分析，包括可靠性、可调度性、时间属性等分析； 3．可以支持基本的AADL到C，Signal到OpenMP的自动代码生成技术。 目前该成果已指导多个关键实时系统的建模和验证应用，获得国家专利1项。
北京航空航天大学
2021-04-13
大尺寸焊接结构件高效建模方法
由于大尺寸焊接结构尺寸较大、结构复杂，所以其有限元建模过程难度较大，利用计算机编程技术对整个建模过程进行参数化设计，将复杂的结构转化为典型的简单结构，使得整个有限元仿真过程更加简单、效率更高。
一、项目分类
关键核心技术突破
二、成果简介
由于大尺寸焊接结构尺寸较大、结构复杂，所以其有限元建模过程难度较大，利用计算机编程技术对整个建模过程进行参数化设计，将复杂的结构转化为典型的简单结构，使得整个有限元仿真过程更加简单、效率更高；同时有限元分析对网格模型的要求高，需要在保证计算精度的前提下保证计算效率，使用网格过渡技术，保证热源影响大的区域使用精细的网格，热源影响小的区域使用较粗的网格，从而达到相同网格条件下更精确地计算结果与更高的计算效率。例如《大型复材工装焊接工艺研究》项目，针对大型复合材料结构件Invar合金模具手工电弧焊焊接工艺进行研究，采用高效建模的手段对研究对象进行模拟分析，降低时间与材料等方面的成本。采用实验与仿真并行，理论分析、实验研究、仿真分析相结合的技术路线开展 Invar 合金试板件手工焊接工艺参数探索。
三、创新点及主要技术指标
创新点：参数化建模，缩短建模周期；采用非均匀过渡性网格以控制计算量，在保证计算精度的前 提下压缩计算量，采用多 CPU 并行计算以提高计算效率。
技术指标：建模效率提高 30%，计算效率提高 30%。
四、知识产权及获奖
论文10余篇，其中典型示例如下：
Modeling and simulation of the columnar-to-equiaxed transition during laser melting deposition of Invar alloy
Stochastic Modeling Columnar Dendritic Grain Growth in the Weld Pool of Al-Cu alloy
专利：
基于精准能量分配的激光-电弧复合加工的能量分配系数模型的构建方法
一种焊接过程气孔形成与演变的二维计算机模拟方法
南京航空航天大学
2022-08-12
微生物交叉污染建模技术及应用
以肉类加工、流通、贮藏等下游生产链为切入点，以工厂加工生产、超市卖场销售、冷链运输流通、厨房贮藏烹饪等为主要场景设计，对气单胞菌、单增李斯特菌、肠炎沙门氏菌等的交叉污染建模理论进行了完善，定量观测并模拟了食源性致病菌在不同传递介质和操作方式影响下的交叉污染情况，并与消费者摄入 后的定量暴露评估、风险管理预警、限量标准制定、软件参数设置等相结合，特别是提出了采用矩阵的形式对气单胞菌在不同场景下和不同介质之间的转移过程进行量化的直观方法（，模拟了厨房环境下消费者食用不同材质案板处理过的污染
上海理工大学
2021-01-12
冶金煤焦质量控制
冶金企业配煤炼焦结构、焦炭质量研究。
上海理工大学
2021-01-12
质量监测体系与分析
本项目应用成果导向教育理念（Outcome-Based Education，OBE），配合学校逐步形成 OBE 管理模式，为学校构建从生源质量、过程质量到结果质量的全面质量监测与分析报告体系。成果导向的质量监测体系为学校教学与质量管理、二级院系和教师考核、专业建设和专业调整以及院校评估、专业认证提供数据支撑与管理分析报告。
麦可思数据（北京）有限公司
2021-12-20
质量比较仪
天津市德安特传感技术有限公司
2022-08-05
第二届高等教育高质量发展论坛
第62届中国高等教育博览会——第二届高等教育高质量发展论坛
中国高等教育博览会
2024-11-07
中西部地区高校高质量发展论坛在重庆举办
11月15日，中西部地区高校高质量发展论坛在重庆市举办。中国高等教育学会副会长、重庆大学党委书记舒立春，中共四川省委教育工委副书记、教育厅党组成员、一级巡视员陈朝先，西南科技大学党委书记杨俊辉等出席活动并致辞。中国高等教育学会地方大学教育研究分会理事长、郑州大学原副校长屈凌波主持论坛开幕式。
西南科技大学
2024-11-22
面向APT检测的攻击链数据建模与分析
主要研究APT 网络攻击全链条的通用表征和威胁模型，
实现攻击的全链条威胁分析；研究跨平台内核数据实时可信
采集方法，探索基于去噪和去冗技术的高效数据解析、基于
语义恢复技术的关键字段填充；研究多源异构内核数据的重
构方法；研究保持全局依赖的数据压缩方法，实现实时、高
效、普适的数据压缩；研究面向APT网络攻击全链条的智能
检测框架，实现对攻击的全链条高效检测；研究APT网络攻
击的演化模式，实现APT网络攻击的可解释溯源分析。
浙江工业大学
2021-05-06
一种高速列车轮对的建模方法
成果描述：本发明提供了一种高速列车轮对的建模方法，涉及高速列车的数字化设计与制造技术领域。模型的信息集成和管理对缩短响应市场时间、提高设计效率是企业希望解决的问题。通过对所述各元参数的分析和提取，构建高速列车轮对的各元参数设计模型；利用矢量阵列对高速列车轮对的各元参数设计模型进行描述，包括以下四个步骤：各元参数初始化、各元参数数组序列化、关系元参数转化为关系矩阵、环状多边形矢量阵列描述：结合高速列车轮对的各元参数设计模型的矢量化和阵列化描述，采用环状多边形数据结构构造高速列车轮对的矢量阵列；层级对象之间通过关系元参数将各个环状多边形矢量阵列形成高速列车轮对的矢量阵列描述。主要用于高速列车设计的建模。市场前景分析：高速列车技术领域。与同类成果相比的优势分析：技术先进，性价比较高。
西南交通大学
2021-04-10