基于限定中文自然语言需求的SysML模型自动生成方法

模型驱动开发方法逐渐成为安全关键信息物理融合系统(safety-critical cyber-physical system, SC-CPS)设计与开发的重要手段.然而,安全关键信息物理融合系统需求往往是通过自然语言描述的,如何自动化或半自动化链接自然语言需求和基于模型驱动的系统设计与开发过程是目前面临的重要挑战.面向安全关键信息物理融合系统,提出基于限定中文自然语言需求的SysML模型自动生成方法RNL2SysML.首先,为了降低自然语言需求表达的二义性,提出一种结构化的限定自然语言需求模板进行需求规约,并通过基于人工智能的(AI)安全关键信息物理融合系统术语提取和推荐方法,对系统需求中的领域术语和数据字典加以自动提取,提高限定自然语言需求规约工作的自动化程度.然后,给出限定自然语言需求规约到SysML系统设计模型的转换方法.最后,基于开源工具Papyrus对所提方法进行了原型工具实现,并通过航空领域的飞机空气增压系统(airplane air compressor system)案例验证了方法的有效性和实用性.     

含C、Ge的Fe-Si-Mn基热电材料的电学性能

对掺C和Ge的Fe—Si—Mn基热电材料的电学性能研究表明，相对于未掺的Fe—Si—Mn基热电材料，掺C样品的电阻率降低，但热电动势率增加。掺Ge样品的电阻率有所升高，但热电动势率增加更快，因此掺C、Ge样品有较高的功率因子，比未掺样品提高近1倍。     

面向虚拟装配的碰撞检测技术研究

碰撞检测是虚拟装配过程中的重要环节,其执行效率直接影响到装配仿真的真实感,现从3个层次对此问题展开了论述：通过扫描剪枝与装配关系相结合的方法得到包围盒相交的零件对;利用时空连续性减少包围盒的相交次数,加快了两零件之间的检测;提出了由于模型的近似表达而造成的虚假碰撞的排除方法。     

凿井中提高大型抓岩机生产能力的探讨

通过对抓岩机生产能力影响因素的分析,提出了增加提升能力和加大吊桶容积等提高抓岩机装载生产能力的主要途径。阐述了几种提升方式中吊桶容积与井深的关系及吊桶容积选择的方法。     

基于大数据的碾米机精准智造策略探讨

目前我国碾米机的社会保有量约近千万台,碾米机的结构和控制效果在保障稻谷加工质量、提高粮食的利用率、降低产业能耗等方面起着决定性作用.为了进一步提高碾米机"节粮减损"的效果,根据目前碾米行业的现状,本文给出了一种基于大数据的碾米机精准智造系统策略,为未来碾米机的智能化和自动化提供参考.     

自动扶梯用ZC1型蜗杆传动副啮合区面积分析

ZC1型蜗杆传动是一种新型蜗杆传动,为了获得优良的啮合性能,其设计参数的选择是一个复杂而困难的问题。而ZC1型蜗杆传动副啮合区面积大小是衡量其传动平稳性和噪声的重要依据,针对这一问题,以微分几何和空间啮合理论为基础建立传动副的啮合区面积方程,并采用MATLAB绘图功能辅助分析中心距、变位系数、砂轮齿廓圆弧半径、导程角和齿形角等设计参数对啮合区面积的影响,为后期ZC1蜗杆传动副多目标优化提供参考依据。     

一种基于Lévy飞行轨迹的蝙蝠算法

针对新型元启发式蝙蝠算法存在收敛速度慢、求解精度低的现象,文中提出一种基于Lévy飞行轨迹的蝙蝠算法.该算法具有易跳出局部最优,收敛速度快且求解精度高等特点.通过对12个典型的测试函数进行仿真实验,结果表明该算法是有效、可行的,且在求解高维空间问题中也表现出优越的逼近性能.     

竹碳的结构及电化学性能研究

用XRD、SEM和EDS对由天然竹子烧制而成的竹碳进行了组织结构表征。表明竹碳主要呈无定形碳结构 ,并含有钾等金属元素。对竹碳的电化学嵌脱锂性能进行了初步的研究 ,竹碳的首次嵌锂容量约 2 0 0mAh g ,但不可逆容量较大。除去竹碳中的钾等金属离子并进行球磨处理 ,竹碳的首次嵌锂容量超过 4 0 0mAh g ,经过几次充放电循环以后 ,处理后的竹碳显示出良好的充放电效率。     

锂离子蓄电池负极材料最新研究进展

电极材料在锂离子蓄电池的生产和应用中起着关键作用,而高性能锂离子蓄电池的成功开发主要取决于负极材料。对已商品化负极材料的改性以及开发新型负极材料是锂离子蓄电池研究的热点。综述了锂离子蓄电池负极材料的最新研究进展,包括贮锂合金、锂化过渡金属氮化物以及过渡金属磷族化合物,着重讨论其贮放锂机理和电化学特性,并对负极材料的发展方向作了展望,认为贮锂合金的实用化是提高锂离子电池容量的关键。