搜索到4690篇“ 逻辑模型“的相关文章
- 一种基于数字孪生的变电站逻辑模型构建方法及系统
- 本发明公开了一种基于数字孪生的变电站逻辑模型构建方法及系统，涉及模型构建技术领域，包括数据整合端、模型追踪端和模型预测端；数据整合端用于通过采集变电站参数，模型追踪端用于通过实时追踪变电站逻辑模型构建过程，根据当前时刻追...
- 宋晓帆陈晨王松张金凤薛文杰王顺然郭放白萍萍齐桓若宋景博姚晗闫向阳
- 一种变电站监控系统功能机理逻辑模型构建方法
- 本发明公开了一种变电站监控系统功能机理逻辑模型构建方法。本发明首先研究了变电站监控系统监测数据类型及特征，变电站监控系统监测数据按用途可分为运行信息、动作信息、告警信息、控制命令四类，反映了二次设备的运行状态。其次，研究...
- 郑翔陈水耀吴佳毅方愉冬王海园张敏彭奇洪希陈航于逸廷薛安成
- 将元数据配置动态包括到逻辑模型中
- 实施例生成对逻辑模型的改变。实施例接收配置文件中的改变，该改变包括声明性配置，提取改变并将改变加载到数据库中并更新对应的数据库模型。实施例生成表示数据库模型的第一逻辑模型并生成包括改变的第二逻辑模型。实施例使用声明性配置...
- D·伊尔金J·林A·扎古里科S·德里维安科O·别洛夫A·皮鲁斯O·安南科夫S·克拉夫琴科S·阿科波夫
- 一种电网设备全过程贯通逻辑模型构建方法
- 本发明公开了一种电网设备全过程贯通逻辑模型构建方法，属于电力系统工程技术领域。本发明通过一次设备信息整合、模型构建与完善、模型编程测试、模型转换工具开发这四个步骤予以实现。本发明通过构建基础数据底座和标准数据模型，实现了...
- 刘东旭李杏丽高承敏郑万盛乔小军周效良
- 基于逻辑模型的多偏好旅游路线规划研究
- 2025年
- 针对现有生成个性化旅游路线过程中用户个人偏好分析单一以及时间和成本预算选择单一的问题,考虑到不同用户的需求,提出一种基于一阶逻辑约束下的个性化旅游路线规划。首先,运用模型论中的结构对旅游规划中成本、时间和景点等相关偏好问题进行形式化建模;其次,利用一阶公式对结构实例进行查询求解,并对计算复杂度进行评估;最后,以典型的个性化旅游路线规划的推荐问题作为实例,针对上述结构使用回答集编程(ASP)进行求解。实验结果表明,该方法能够满足不同用户的多个偏好需求,提高了用户对于旅游路线推荐的满意度,同时可以将问题限制在一定复杂度内,为实现个性化推荐服务提供了一种新方法。
- 王文成王文成牛秦州牛秦州
- 关键词：形式化建模逻辑模型
- 一种飞控系统功能逻辑模型设计方法
- 本发明涉及飞行控制技术领域，尤其涉及一种飞控系统功能逻辑模型设计方法。所述方法包括以下步骤：获取飞行器多源数据；对飞行器多源数据进行数据格式统一，生成飞行器多源统一数据集；对飞行器多源统一数据集进行飞行虚拟场景重建，生成...
- 陈权郑育彪章和盛
- 图书馆员数字韧性:内涵特征、逻辑模型及提升策略
- 2025年
- [目的/意义]数字技术的飞速发展与全面应用,韧性的重要性突显,研究图书馆员数字韧性能够更好地应对与适应图书馆数字化转型的需要,具有现实意义与价值。[方法/过程]基于当前数字韧性概念相关研究详细回顾和梳理,提出图书馆员数字韧性的内涵特征,进而构建图书馆员数字韧性逻辑模型,并剖析其作用机理。[结果/结论]提出图书馆员数字韧性培育的提升策略:增强馆员数字韧性培育的层次性;强化馆员数字韧性的结构内涵;注重多元主体协同、数字伦理建设有机嵌入图书馆员数字韧性培育;推动图书馆数字基础设施与服务风险规避,培育馆员数字韧性的自主发展场景与资源支持等内容细节,为推进馆员数字韧性的进一步研究以及构建图书馆数字韧性实践提供有益参考。
- 袁一帆卢加文陈雅
- 关键词：数字技术图书馆图书馆员
- 一种基于概率软逻辑模型的实体解析方法
- 本发明属于实体解析技术领域，具体涉及一种基于概率软逻辑模型的实体解析方法，包括以下步骤：a、将实体解析中的实体属性、实体关系以及本体约束分别进行逻辑谓词表示；b、分别基于实体属性、实体关系以及本体约束构建实体解析过程中的...
- 韩伟红宫云宝陈雷霆曹厚华蒋振韬
- 电气二次设计光电缆回路的二维逻辑模型与三维模型关联方法
- 本发明涉及电气设计数据处理技术领域，公开了一种电气二次设计光电缆回路的二维逻辑模型与三维模型关联方法，包括步骤1：解析二维逻辑模型文件中的网络配置，将解析出来的数特定格式进行存储；步骤2：解析三维模型文件中模型，将解析出...
- 甘星陈聪文王雄唐智星
- 一种辅助动力装置的独立超转保护逻辑模型
- 2024年
- 给出一种针对复杂可编程逻辑器件(CPLD)的超转保护模型,采用逻辑+软件双余度方式实现超转控制,其具有一定可靠性和可拓展性,相较于传统的JDSPF28335处理器,需要两个外设CPLD和FPGA实现转速采集和超转控制,而采用Zynq架构,其自带了SOC片上PL部分,通过PL采集转速信号与PS部分进行信号交互实现转速采集。另外,结合CPLD完成超转控制,具有并行处理复杂任务、处理效率更高、需要外设拓展更少、可靠性更高、成本低等优点。相较于传统超转解除需要重新上下电复位实现,可以在飞机不下电情况实现超转解除,能够降低功耗,缩短上下电时间。通过仿真试验结果表明,该超转保护模型能精确可靠地实现转速采集和超转控制,已经在辅助动力装置(APU)单元多个项目中得到广泛应用。
- 张军阎景波程旭于正同
- 关键词：辅助动力装置可编程逻辑器件
相关作者
- 张鹭鹭
- 作品数：481被引量：2,673H指数：25
- 供职机构：第二军医大学
- 研究主题：军队 卫勤保障 系统动力学 医院管理 卫生资源
- 丁国富
- 作品数：391被引量：965H指数：13
- 供职机构：西南交通大学
- 研究主题：高速列车 机车车辆 砂轮 虚拟样机 立铣刀
- 张倩颖
- 作品数：63被引量：89H指数：6
- 供职机构：首都师范大学
- 研究主题：逻辑命题 定理证明器 形式化验证 逻辑语言 机器人
- 关永
- 作品数：347被引量：1,198H指数：16
- 供职机构：首都师范大学
- 研究主题：形式化验证 定理证明 机器人 嵌入式系统 形式化
- 施智平
- 作品数：189被引量：655H指数：12
- 供职机构：首都师范大学
- 研究主题：形式化验证 定理证明 形式化 图像检索 机器人
