B方法

作品数：129被引量：213H指数：6
导出分析报告
相关领域：自动化与计算机技术医药卫生更多>>
相关作者：邹盛荣唐宇张德运肖健宇李启南更多>>
相关机构：扬州大学巴斯夫制药(卡兰尼什)公司西安交通大学武汉大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金江苏省自然科学基金国家高技术研究发展计划重庆市教育委员会科学技术研究项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于EEMD和MSB方法的采煤机轴承故障诊断研究
《机械制造与自动化》2025年第1期285-288,共4页和建荣 
为提高采煤机轴承故障诊断能力,设计一种通过集合经验模态分解(EEMD)与调制信号双谱(MSB)来诊断轴承故障特征的技术。利用EEMD方法对信号实施分解,对各IMF和加权平均系数乘积处理得到EEMD滤波信号,以MSB处理EEMD滤波信号实现分量调制。...
关键词：故障诊断 集合经验模态分解 调制信号双谱 轴承 特征提取 
基于状态图转形式化B模型的安全苛求系统开发方法
《计算机工程》2024年第11期173-186,共14页赵大地 王恪铭 
四川省自然科学基金(2022NSFSC0464);成都市软科学研究项目(2023-RK00-00084-ZF)。
形式化方法精确且严格,较多应用于安全苛求系统开发,但目前仍存在学习成本高、使用复杂、重用性低等问题。常用的非形式化状态图模型虽易于使用却缺乏严格验证。针对这些问题,提出一种将状态图SCXML模型转译为形式化B模型的模型转化方法...
关键词：软件功能安全 形式化方法 模型转化 SCXML状态图 B方法 
融合有限元理论的DMB方法及其在复杂超大型浮体上的应用
《中国舰船研究》2024年第4期193-201,共9页陈永强 张显涛 
国家自然科学基金资助项目(42206227);海南省自然科学基金资助项目(520QN290);海南省科技计划三亚崖州湾科技城自然科学基金联合项目资助(2021JJLH0062);重庆市自然科学基金资助项目(CSTB2023NSCQMSX0432);上海交通大学深蓝基金项目资助(SL2022PT103)。
[目的]将有限元理论融入离散模块梁单元(DMB)方法,优化集中质量刚度矩阵的求解方式,以使DMB方法更易于处理复杂超大型浮体(VLFS)问题。[方法]使用三维势流理论进行水动力分析并给出水弹性方程;引入有限元理论,将每个子模块离散为若干微...
关键词：离散模块梁单元 超大型浮体 固定端 弹簧−阻尼端 弹簧阻尼连接 
基于Python+Dlib方法的人脸识别技术研究被引量：6
《电子设计工程》2024年第1期191-195,共5页张杜娟 丁莉 吴玉莲 
陕西省教育厅专项科研计划项目(20JK0886);西安医学院2021年校级科研项目(2021QN21)。
针对OpenCV的HAAR特征分类器在人脸检测方面出现的识别效果和抗遮挡能力较差,误检、漏检以及动态识别实时性不强等问题,文中提出了采用Python+Dlib方法以及开源已训练好的大量人脸模型接口来实现人脸识别,对遮挡鲁棒性较好。通过对正脸...
关键词：Dlib 人脸检测 特征点标定 特征向量 人脸识别 
基于NSCB方法的冻结红砂岩动态断裂特性试验被引量：4
《工程科学学报》2023年第10期1704-1715,共12页方士正 杨仁树 李炜煜 李永亮 杨阳 
国家自然科学基金重点资助项目(51934001)。
采用红砂岩制作中心直裂纹半圆盘弯曲试样(Notched semi-circular bend, NSCB),设置不同的负温温度对岩石试样预处理,随后利用改进后的分离式霍普金森杆(SHPB)实验系统开展动态试验.结果表明:岩石的断裂韧度存在明显的加载率效应,断裂...
关键词：NSCB 冻结 加载率 断裂韧度 断裂模式 
荧光环介导等温扩增检测化脓性链球菌sdaB方法的建立
《中国热带医学》2023年第8期870-874,共5页钟运华 李春华 刘振杰 
目的建立荧光环介导等温扩增(loop-mediated isothermal amplification,LAMP)检测化脓性链球菌毒力基因sdaB的方法。方法根据GenBank公布的化脓性链球菌sdaB基因保守序列(GenBank:69901515),使用引物设计软件Primer Explorer V5.0获得L...
关键词：化脓性链球菌 环介导等温扩增 毒力基因 
一种基于B方法的需求描述转化为AADL模型的研究
《企业科技与发展》2023年第1期58-60,89,共4页王日磊 陈奎 史岩 
目前,航空、航天等领域对系统的可靠性有着极高的要求,业界也在研究和探讨通过构建系统的体系结构模型保证后续验证、开发等阶段的一致性,从而提升系统的可靠性。首先需要确保构建的系统模型满足系统的原始需求,只有这样,才能保证后续...
关键词：B方法 AADL 模型驱动 
基于B方法的道岔控制系统形式化建模与验证被引量：2
《铁路通信信号工程技术》2022年第6期5-11,共7页刘宁 韩程 王峥 侯锡立 王恪铭 
国家重点研发计划资助项目(2016YFB1200602)。
为解决目前安全苛求系统研发中的功能安全问题,以用于轨旁设备联锁控制的道岔控制系统为研究对象,基于系统需求规范,使用形式化软件开发方法(B方法)对系统的功能逻辑建立形式化模型,完成对需求规范、系统功能及决策过程的验证,最终生成...
关键词：道岔控制系统 B方法 形式化验证 代码生成 
非线性对流反应扩散方程爆破解的B方法被引量：1
《纺织高校基础科学学报》2022年第2期83-91,共9页李智杰 王妍 
国家自然科学基金(11702206)。
研究一类非线性对流反应扩散方程的爆破现象。在初值满足一定假设的条件下,给出了连续解发生爆破的充分条件,证明了B方法数值格式的收敛性和数值解的存在性,并给出其爆破时间估计。应用数值算例验证了理论结果,同时也表明B方法相较于其...
关键词：非线性对流反应扩散方程 爆破 存在性 B方法 数值模拟 
基于B方法的轨道交通控制系统配置数据的形式化验证被引量：3
《铁路通信信号工程技术》2022年第5期7-16,共10页程鹏 王恪铭 王峥 姚文华 韩程 
国家重点研发计划项目(2016YFB1200602)。
轨道交通控制系统对安全性和可靠性要求极高,其正常运行依赖于正确的配置数据,因而采用有效的方法保证配置数据的正确性显得十分重要。以轨道交通控制系统的配置数据为研究对象,选取道岔、信号机、轨道区段、进路等站场型信号设备数据...
关键词：轨道交通控制系统 配置数据 B方法 形式化验证 
全选清除导出
共13页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部