|
搜索
搜 索
高等教育领域数字化综合服务平台
嵌入式实时系统建模验证工具
为了提高安全关键实时嵌入式软件系统的质量，降低开发成本与周期，并使得软件系统具有可重用、可移植和互操作等特性，基于目前国际标准体系结构描述语言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
牙护理保健模型（带脸颊）XM-KQ2
XM-KQ2牙护理保健模型（带脸颊）
功能特点：
■ XM-KQ2牙护理保健模型带脸颊造型逼真，为真实大小的口腔、解剖结构精确，包括腭、牙冠、牙龈、上牙弓、下牙弓、舌头。
■ 颊部具有弹性，可以进行具实的咬合动作。
■ 可进行口腔护理、清洁牙齿、舌部、颊部等功能。
■ 共28颗牙，带脸颊，自然大。
上海欣曼科教设备有限公司
2021-08-23
XM-903成人牙列放大模型
XM-903成人牙列放大模型
XM-903成人牙列放大模型可拆分为2部件，显示乳牙中切牙、乳侧切牙、乳尖牙、第一磨牙和第二乳磨牙的位置、毗邻牙冠、牙颈、牙根以及它们之间的排列关系。
尺寸：放大，27×24×18cm
材质：PVC材料
上海欣曼科教设备有限公司
2021-08-23
一种基于计算机视觉的个性化脚部建模与鞋垫定制方法
本发明公开了一种基于计算机视觉的个性化脚部建模与鞋垫定制方法，包括：获取被测者的脚部视频数据，对脚部视频数据中相邻的两帧图像进行特征点提取，并用利用光流法对相邻视频帧之间的特征点进行跟踪匹配，采用零均值归一化互相关系数 ZNCC 验证剔除其中不可靠的跟踪结果，并根据跟踪匹配的结果构造特征点的轨迹，对脚部视频数据中的关键帧进行选取，根据得到的特征点轨迹，并利用SFM 方法对视频关键帧队列中的特征点轨迹进行三维重建，以生
华中科技大学
2021-04-14