|
搜索
搜 索
高等教育领域数字化综合服务平台
嵌入式实时系统建模验证工具
为了提高安全关键实时嵌入式软件系统的质量，降低开发成本与周期，并使得软件系统具有可重用、可移植和互操作等特性，基于目前国际标准体系结构描述语言AADL（ Architecture Analysis and Design Language）和同步语言Signal，研发了辅助配套软件工具集，可进行系统的可靠性、可调度性、安全性分析，以及自动代码生成，从全生命周期的角度保证系统的可信性质。 本项目主要特点如下。 1．可以插件的形式集成在AADL开发平台OSATE上，支持高可靠性实时系统的软件设计建模； 2．可以提供集成开发环境，将AADL模型转换为TASM模型和UPPAL模型，然后采用相关的模型分析和检测工具进行验证分析，包括可靠性、可调度性、时间属性等分析； 3．可以支持基本的AADL到C，Signal到OpenMP的自动代码生成技术。 目前该成果已指导多个关键实时系统的建模和验证应用，获得国家专利1项。
北京航空航天大学
2021-04-13
微生物交叉污染建模技术及应用
以肉类加工、流通、贮藏等下游生产链为切入点，以工厂加工生产、超市卖场销售、冷链运输流通、厨房贮藏烹饪等为主要场景设计，对气单胞菌、单增李斯特菌、肠炎沙门氏菌等的交叉污染建模理论进行了完善，定量观测并模拟了食源性致病菌在不同传递介质和操作方式影响下的交叉污染情况，并与消费者摄入 后的定量暴露评估、风险管理预警、限量标准制定、软件参数设置等相结合，特别是提出了采用矩阵的形式对气单胞菌在不同场景下和不同介质之间的转移过程进行量化的直观方法（，模拟了厨房环境下消费者食用不同材质案板处理过的污染
上海理工大学
2021-01-12
一种不相关并行机混合流水车间调度的建模方法
本发明公开了一种不相关并行机混合流水车间调度的建模方法， 该建模方法以最小化最大完工时间为目标。针对不相关并行机混合流 水车间调度自身的特点，基于机床位置关系、同一机器两工件先后关 系、同一机器两相邻工件间先后关系、同一加工阶段两工件先后关系、 加工阶段位置关系等 5 种建模思想，提出了多个混合整数线性规划模 型。接着，对所提出模型从建模过程、模型尺寸复杂度、计算复杂度 等方面进行了详细的对比评估。使用CPLEX求解器对HFSP调度实例 进行求解，验证了本文 MILP&
华中科技大学
2021-04-14
一种螺旋立铣刀正交车铣加工三维稳定性建模方法
本发明公开了一种螺旋立铣刀正交车铣加工三维稳定性建模方 法，包括以下步骤:(1)将机床-刀具-工件系统简化为质块-弹簧-阻尼器 连接的振动系统，建立坐标系 xFyFzF，建立振动系统动力学方程;(2) 利用锤击法模态试验分别得到振动系统分别在 xF，yF，zF 每个方向的 频响函数，辨识出振动系统的模态质量、刚度和阻尼，计算振动系统的惯性力、弹簧力、阻尼力;(3)计算螺旋立铣刀的动态切削力;(4)求 解振动系统动力学方程得到振动系统的稳定性叶瓣图。本发明考虑了
华中科技大学
2021-04-14
加速药物发现丨西湖大学李子青团队首创蛋白质动态结构AI建模方法
西湖大学李子青团队与厦门大学、德睿智药合作，首创研发了能够刻画蛋白质构象变化与亲和力预测的AI模型ProtMD。这是第一个尝试解析蛋白质动态构象的AI方法，可辅助药物化学专家更加精准的筛选出高活性小分子，从而加速临床前药物研发。
西湖大学
2022-12-08
一种带漂移干扰的模型预测控制器的建模质量监控方法
本发明公开了一种带漂移干扰的模型预测控制器的建模质量监控方法,包括如下步骤：建立闭环控制系统的干扰模型；根据闭环控制系统的实际情况以及给定的控制目标，设计过程的动态模型 MPC 控制器；采用干扰模型及 MPC 控制器控制闭环控制系统，并采集闭环控制系统运行所得的过程数据；根据闭环控制系统结构，对过程输出及过程输入数据进行正交投影，获得过程估计干扰更新；根据闭环控制系统既定参考信号和过程实际输出，获取闭环控制系统的实际
华中科技大学
2021-04-14
一种基于 XML 建模的印刷出版中多元组合符号自动生成方法
本发明公开了一种基于 XML 建模的印刷出版中多元组合符号自动生成方法，包括步骤 1：根据定 义的组合符号模型，在数据采集端使用可视化的符号输入方式自动采集符号；步骤 2：在数据库系统中 添加相应的符号数据字段，根据组合符号模型进行数据采集；步骤 3：按照所需发布信息内容，抽取符 号信息生成符号 XML 模型；步骤 4：通过对符号 XML 模型解析，进行出版显示。本发明基于 XML 描 述语言，对组合符号进行组合设计。使用本方法的模型，可以生成动态的自适应符号，有助于符号发布 的自动化、标准化。而这种模型不仅可用于出版印刷，也可用于网页显示以及其他显示系统。而使用符 号编码调用基本的符号库，可使用 TrueType 字体或 Cad，这又保证了在不同的平台上的兼容性。
武汉大学
2021-04-13
一种基于计算机视觉的个性化脚部建模与鞋垫定制方法
本发明公开了一种基于计算机视觉的个性化脚部建模与鞋垫定制方法，包括：获取被测者的脚部视频数据，对脚部视频数据中相邻的两帧图像进行特征点提取，并用利用光流法对相邻视频帧之间的特征点进行跟踪匹配，采用零均值归一化互相关系数 ZNCC 验证剔除其中不可靠的跟踪结果，并根据跟踪匹配的结果构造特征点的轨迹，对脚部视频数据中的关键帧进行选取，根据得到的特征点轨迹，并利用SFM 方法对视频关键帧队列中的特征点轨迹进行三维重建，以生
华中科技大学
2021-04-14
一种基于改进的 SVD-Krylov 算法的数控机床进给系统建模方法
本发明公开了一种基于改进的 SVD-Krylov 算法的数控机床进给 系统建模方法，该算法包括如下步骤：基于动力学方程建立数控机床 进给系统的状态空间方程模型；获得原始系统状态空间矩阵，原始系 统和传递函数模型；设定降阶系统阶次，启动多点矩匹配 SVD-Krylov·112·算法进行降阶；输出降阶系统状态空间矩阵，降阶系统及相应降阶传 递函数模型；采用正交实验方法和时间响应法进行降阶算法仿真验证。 提出的降阶建模算法降阶后的模型能够保证渐近稳定，计算效率高， 同时采用迭代
华中科技大学
2021-04-14
一种基于有限元的钛合金变齿距铣削三维建模方法
本发明公开了一种基于有限元的钛合金变齿距铣削三维建模方法，包括以下步骤：首先获取刀具系统参数、工件与刀具的材料参数，并制定切削工艺参数；根据工艺参数，按照铣刀各刀齿与前一刀齿的径向夹角之比等于对应的每齿进给量之比的原则进行铣刀几何建模；对铣刀与工件的物理模型、接触关系与运动关系进行建模；提交工作到ABAQUS/Explicit求解器进行求解计算；得到求解结果后，绘制铣削力-时间曲线图，铣削温度-时间曲线图，或某特定节点集合的应力、应变图。由于本发明中考虑了铣刀的螺旋角，更加接近真实的加工状况，而且采用变齿距的几何建模，能够一次性模拟不同每齿进给量的工况，节省了建模与计算时间。
华中科技大学
2021-04-14