期刊文献⁺

任意字段

题名或关键词

题名

关键词

文摘

作者

第一作者

机构

刊名

分类号

参考文献

作者简介

基金资助

栏目信息

基于数据归约的模型设计

下载PDF

导出

摘要讨论了模型管理系统设计中模型表示方法、模型操作的实现方法、模型执行的具体过程。提出了一个模型表示的形式化方法,通过可量化、可陈述化、可公式化描述使得模型表示与基于规则逻.辑的数据表示、基于归约的推理过程相兼容。使用推理机制,作为模型处理的基础,提高了模型实例化的有效性。

作者郭玉霞

机构地区河北省政务服务中心

出处《电脑编程技巧与维护》 2022年第1期90-92,共3页 Computer Programming Skills & Maintenance

关键词模型归约归约查询推理过程

分类号 TP311.13 [自动化与计算机技术—计算机软件与理论]

引文网络
相关文献

1刘永志,林峰.改进的时间序列关键点表示算法[J].盐城工学院学报（自然科学版）,2021,34(4):44-48.
2阚竟生,周亮,刘湃,曾远帆,刘雅楠.基于六级系统的输变电BIM模型管理和提资模式研究[J].电子技术（上海）,2021,50(4):35-37.
3陈章韶,毕盛,董敏.基于轻量级卷积神经网络的水表读数自动识别系统[J].单片机与嵌入式系统应用,2021,21(12):12-15. 被引量：2
4王冠,郝晓星.一种面向UEFI模块的形式化建模与验证方法[J].计算机技术与发展,2021,31(12):116-121. 被引量：1
5伍小辉.基于故障耦合模型的增强飞行视景系统形式化建模与分析[J].电光与控制,2022,29(1):105-110.
6刘毓,李京华,孙佳琛,丁国如.面向通信辐射源威胁评估的知识图谱构建[J].通信技术,2021,54(12):2650-2658. 被引量：2
7王天龙,陈泳,刘梦飞.复杂工艺参数决策知识建模与应用[J].上海交通大学学报,2021,55(10):1237-1245. 被引量：3
8杨涛,黄良,吴建蓉,申彧,李冶.基于长短期记忆网络的电网数据自动摘要研究[J].电子测量技术,2021,44(19):122-127. 被引量：1
9覃姜,肖兵.信号时序逻辑方法识别电机运行状态研究[J].电子测量技术,2021,44(17):1-7.
10莫慧凌,郑海峰,高敏,冯心欣.基于联邦学习的多源异构数据融合算法[J].计算机研究与发展,2022,59(2):478-487. 被引量：26

电脑编程技巧与维护

2022年第1期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...

;

使用帮助返回顶部