ML语言

作品数:24被引量:16H指数:3
导出分析报告
相关领域:自动化与计算机技术更多>>
相关作者:苏依拉刘椿年王甜甜王克朝吴翔虎更多>>
相关机构:哈尔滨工业大学北京工业大学内蒙古工业大学南京航空航天大学更多>>
相关期刊:《数字技术与应用》《科学技术创新》《电子科技大学学报》《计算机系统应用》更多>>
相关基金:内蒙古自治区自然科学基金内蒙古自治区高等学校科学研究项目上海市科学技术委员会科研基金浙江省自然科学基金更多>>
-

检索结果分析

结果分析中...
条 记 录,以下是1-10
视图:
排序:
一种基于改进动态贝叶斯网络的C4ISR系统互操作能力评估方法
《火力与指挥控制》2024年第7期17-23,29,共8页董经纬 陈秀珠 
国家自然科学基金面上项目(62271501);基础加强计划重点基础研究项目(KYZYJKKCJC23001);江苏省重点研发计划资助项目(BE2021729)。
互操作能力是衡量C4ISR系统能力的关键指标,为解决传统互操作能力评价过程中存在的无法对战场环境下处于动态变化的C4ISR系统进行有效仿真评估的问题,通过双维蒙特卡洛方法对传统动态贝叶斯网络进行改进,提出了一种适用于战场环境下C4IS...
关键词:C4ISR系统 互操作能力 SysML语言 动态贝叶斯网络 
基于可视化物联网的公立医院固定资产数字孪生监控平台研究被引量:5
《电子设计工程》2022年第12期123-128,共6页谢晓蓉 金轶 沈程鹏 潘明慧 
上海中医药大学附属曙光医院中西医结合研究专项(SGZXY-201909);上海市科学技术委员会科研计划项目(18401970300);上海市卫生健康委员会面上项目(202040194)。
为改善传统公立医院固定资产管控平台日益凸显的诸多不足,构建了基于可视化物联网的公立医院固定资产数字孪生监控平台。引入可视化物联网仿真建模技术构建物理实体与虚拟镜像的双向实时数据耦合交互机制;利用融合事件驱动的虚实映射技...
关键词:可视化物联网 AutomationML语言 固定资产管控 数字孪生 监控平台 
基于多视图建模的武器装备系统安全性分析被引量:3
《北京理工大学学报》2022年第4期437-446,共10页聂兆伟 陈志伟 马晓东 徐诚 
国家国防科技工业局技术基础科研项目(JSZL2019203B001)
随着武器装备实战化要求的不断深化,武器装备系统作战任务剖面构成越发复杂,武器装备危险物质密集,发生故障与危险事故的风险普遍存在,安全性问题突出.本文首先建立多视图任务剖面模型,以过程视图为核心,以功能视图、组织视图、信息视...
关键词:多视图 武器装备系统 安全性分析 SysML语言 耦合风险分析 
基于函数式语言和单体的编译教学实验平台研究与实践被引量:3
《计算机教育》2020年第8期167-170,共4页宋丽华 张兴元 王海涛 
为提升编译原理课程在培养学生复杂工程问题求解能力方面的支撑作用,提出一种基于函数式语言和单体编程技术的新型编译实验平台,以ML语言为例简要介绍函数式语言和单体编程技术,通过实例详细分析函数式语言和单体用于编译实验的优势及...
关键词:编译原理 编译实验平台 函数式语言 ML语言 单体 
基于MBSE的电气负载管理中心设计
《科学技术创新》2018年第27期188-189,共2页王欢欢 顾焕涛 杨涛 刘东星 
本文采用基于模型的系统工程(MBSE)的正向设计方法,解决了电气负载管理中心(ELMC)在需求确认、验证、变更管理等方面存在的难度大、周期长、可追溯性差等问题。采用sysML语言,基于HarmonySE的开发流程,对ELMC进行了需求分析、功能分析...
关键词:MBSE ELMC sysML语言 HarmonySE开发流程 
大型客机设计中的功能分析被引量:2
《民用飞机设计与研究》2018年第3期1-5,共5页李浩敏 
介绍了大型民机研制中功能分析流程及方法,采用基于SysML(Systems Modeling Language)语言的行为模型方式建立用例、功能流、时序关系及状态机,指导系统架构的实施,探索功能分析方法在民机研制中的应用,解决大型客机设计中的需求和接口...
关键词:功能分析 SysML语言 大型民机 
基于ASK-CTL的集成体系结构一致性综合检验方法
《数字技术与应用》2015年第12期83-84,共2页郭法滨 田西兰 
针对集成体系结构静态产品模型与动态可执行模型的一致性问题,本文提出一种基于ASK-CTL与ML语言相结合的综合检验方法。通过集成体系结构可执行模型状态空间进行集成系统重点关注静态性质、动态行为的综合检验,完成集成体系结构一致性确...
关键词:一致性检验 ASK-CTL CPN ML语言 
基于O’Caml语言的通用编程技术
《计算机系统应用》2015年第5期106-110,共5页李阳 赵建平 张德华 程小林 
O’Caml语言是一门优秀的函数式程序语言,具有计算模型简单、语法语义描述清晰等特点,而通用编程技术方法通过高度抽象算法、数据结构及其他软件组件可以避免功能相似代码的重复编写.针对如何将通用编程技术方法和O’Caml语言相结合来提...
关键词:通用编程技术 软件复用 O’Caml语言 语法扩展 
ISO 20022标准建模规则解读
《金融电子化》2014年第6期83-86,共4页
在20世纪80年代初期,随着全球标准化趋势的发展,为优化证券行业的信息交互、降低成本和实现直通处理,ISO/TC68/SC4推出了ISO7775,在此基础上1994年开始了ISO15022的设计与研究,并于1999年正式公布。20世纪90年代以来,随着1T技...
关键词:标准化 解读 建模 证券行业 ISO 信息交互 ML语言 金融服务 
CPN在数据结构教学改革中的应用
《电子商务》2013年第4期93-94,共2页郑文艳 
离散数学作为一门理论抽象、内容广泛、结构严谨的计算机专业核心基础课程,它几乎是所有后续专业课程的重要基础,而学生在学习离散数学的过程中普遍都感觉到比较抽象理解上比较困难,而且很难和计算机联系起来。因此,如何提高离散数学的...
关键词:离散数学 ML语言 颜色PETRI网 关键路径 
检索报告 对象比较 聚类工具 使用帮助 返回顶部