王明明
- 作品数：20 被引量：26H指数：4
- 供职机构：南京航空航天大学更多>>
- 发文基金：国家重点基础研究发展计划江苏省普通高校研究生科研创新计划项目中央高校基本科研业务费专项资金更多>>
- 相关领域：自动化与计算机技术航空宇航科学技术电气工程金属学及工艺更多>>
- 脉动态电解加工脉冲给电模式对加工过程的影响研究
- 脉动态电解加工是一种精密电解加工方法，它将脉冲周期给电和工具阴极周期运动有机结合，以脉动态加工和准平衡态取代常规电解加工的连续加工和平衡态，使产物积累大幅减少、过渡过程明显缩短、加工精度显著提升。然而，脉动态电解加工中加...
- 王明明
- 关键词：脉冲电流
- 超薄单晶硅太阳电池的制备与性能研究
- 单晶硅太阳电池占据着光伏市场的主导地位。商用单晶硅太阳电池的厚度通常在180μm左右，在某些特定场合，如太阳能飞机、弯曲屋顶等并不适用。然而超薄单晶硅太阳电池具有轻质、柔性、高效等特点，在这些特殊场合有着非常大的应用前景...
- 王明明
- 关键词：聚苯乙烯微球
- 文献传递
- 基于模型的IMA时间资源配置验证方法研究被引量：6
- 2018年
- 综合模块化航空电子系统(IMA)在飞机机载航空电子系统领域应用广泛,已经成为飞机机载系统的重要的系统结构和发展趋势。IMA具有高安全性,资源共享和高度模块化综合化的特征,模块或组件间以AFDX网络连接。在IMA系统开发的过程中,为确保系统的可靠性和安全性,IMA资源配置必须是正确的和安全有效的。所以对IMA进行有效的系统资源配置并保证配置的正确性和安全性成为航电领域一项重要的研究内容。结合IMA系统的特征,提出了一种基于模型的IMA系统时间资源配置的验证方法。建立IMA系统时间行为的MARTE模型,使用可调度分析工具MAST,分析系统时间资源的可调度性,仿真分析、验证IMA配置与需求之间的满足性。并结合IMA系统中的一个水处理系统的实例来进行分析验证。
- 王明明胡军张维珺李宛倩
- 关键词：综合航电系统MARTEMAST
- 基于形式化模型的系统安全性分析与验证方法研究
- 随着社会的发展，安全关键性系统的使用得到了极大的发展，在安全关键性系统领域，如航空航天，核电站，高铁等，如何提高其安全性，防止出现人员伤亡和自然资源的破坏，是一个重要的研究内容。安全关键性系统（如，航电系统）的设计与分析...
- 王明明
- 关键词：故障树分析
- 基于多线程监控器的运行时验证被引量：1
- 2019年
- 运行时验证是一种轻量级的新型自动化验证技术。运用了该技术的验证软件由两部分组成:一部分是被监控的目标程序;另一部分是监控器。对于基于形式化语言的运行时验证方法主要思想就是输入表示描述事件和性质的形式化规约语法,目标程序。输出插桩好的新程序。插桩好的新程序在遇到需要监控的切点时,就会执行相应的函数去判断是否满足形式化规约语法。然而传统的单线程运行时验证监控器在目标程序需要监控的规约性质比较多的时候,重新生成的程序可能会因为要验证比较多的规约性质,造成程序的性能变慢。文中利用多核并行技术,对原型工具Movec进行优化。通过使用串行程序中多个监控器分配到多线程的方法,Clang编译器的插桩技术和多核任务分配方法,实现了Movec原型工具的优化。并将优化之后的Movec与没有改进之前的进行实验数据对比,实验结果表明采用多线程的运行方法具有很好的效果。
- 陈韬王明明
- 关键词：多线程编程语言
- 一种基于四变量模型的系统安全性建模与分析方法被引量：6
- 2016年
- 近年来,基于模型的系统安全性分析与验证方法是安全关键系统工程领域中的一个重要研究方向。提出了一种基于四变量模型的系统安全性建模与分析验证方法,该方法利用AltaRica建模语言对系统进行建模。通过对四变量模型及AltaRica进行语义研究构建二者之间的映射规则,以民用飞机中机轮刹车系统(Wheel Brake System,WBS)为例来说明整个验证过程,即首先利用四变量模型从系统的需求层次上对WBS进行需求分析并根据映射关系构建AltaRica模型,接着利用故障树分析方法对WBS进行安全性研究,最后基于AltaRica配套工具ARC对系统的安全性属性进行验证。验证结果表明了该方法在系统安全工程领域中的实用性。
- 胡军石娇洁程桢陈松王明明
- 关键词：故障树分析ARC
- 一种掌纹识别方法、系统、电子设备及存储介质
- 本发明公开了一种掌纹识别方法、系统、电子设备及存储介质，涉及图像识别技术领域。所述方法包括：获取目标视频和掌纹数据库；根据所述目标视频和掌心检测模型确定手掌区域图片；对所述手掌区域图片进行掌纹裁剪，得到掌纹中心图片；根据...
- 朱旗姜冠宇王明明郑楚杭周宇泽张道强
- 一种基于模型驱动的IMA系统时间资源配置验证方法
- 本发明公开了一种基于模型驱动的IMA系统时间资源配置验证方法，属于航空电子系统的安全性分析领域。具体包括以下步骤：分析IMA系统资源配置流程，基于实时嵌入式系统建模与分析规范(MARTE)对IMA系统时间行为相关概念(包...
- 胡军王明明程桢
- 文献传递
- 一种基于联邦学习的多站点医学数据分析方法及系统
- 本发明涉及一种基于联邦学习的多站点医学数据分析方法及系统，该方法包括：根据多个源站点数据集在本地学习得到多个源站点模型；将各源站点模型参数发送至目标站点，获取各源站点对应的目标站点数据集的伪标签和预测值，将各预测值整合得...
- 朱旗杨启鸣王明明邵伟张道强
- 一种多光谱掌纹识别方法、系统、电子设备及介质
- 本发明提供一种多光谱掌纹识别方法、系统、电子设备及介质，属于生物识别领域，方法包括：获取包括多组掌纹样本图像的多光谱掌纹样本集；针对任一组掌纹样本图像，采用深度典型相关性分析算法提取样本图像间的公共相关性信息，采用基础迭...
- 朱旗周宇泽林熙翔王明明李超君张道强
