搜索到4563篇“ 逻辑模型“的相关文章
- 基于逻辑模型的多偏好旅游路线规划研究
- 2025年
- 针对现有生成个性化旅游路线过程中用户个人偏好分析单一以及时间和成本预算选择单一的问题,考虑到不同用户的需求,提出一种基于一阶逻辑约束下的个性化旅游路线规划。首先,运用模型论中的结构对旅游规划中成本、时间和景点等相关偏好问题进行形式化建模;其次,利用一阶公式对结构实例进行查询求解,并对计算复杂度进行评估;最后,以典型的个性化旅游路线规划的推荐问题作为实例,针对上述结构使用回答集编程(ASP)进行求解。实验结果表明,该方法能够满足不同用户的多个偏好需求,提高了用户对于旅游路线推荐的满意度,同时可以将问题限制在一定复杂度内,为实现个性化推荐服务提供了一种新方法。
- 王文成王文成牛秦州牛秦州
- 关键词：形式化建模逻辑模型
- 一种飞控系统功能逻辑模型设计方法
- 本发明涉及飞行控制技术领域，尤其涉及一种飞控系统功能逻辑模型设计方法。所述方法包括以下步骤：获取飞行器多源数据；对飞行器多源数据进行数据格式统一，生成飞行器多源统一数据集；对飞行器多源统一数据集进行飞行虚拟场景重建，生成...
- 陈权郑育彪章和盛
- 一种基于概率软逻辑模型的实体解析方法
- 本发明属于实体解析技术领域，具体涉及一种基于概率软逻辑模型的实体解析方法，包括以下步骤：a、将实体解析中的实体属性、实体关系以及本体约束分别进行逻辑谓词表示；b、分别基于实体属性、实体关系以及本体约束构建实体解析过程中的...
- 韩伟红宫云宝陈雷霆曹厚华蒋振韬
- 电气二次设计光电缆回路的二维逻辑模型与三维模型关联方法
- 本发明涉及电气设计数据处理技术领域，公开了一种电气二次设计光电缆回路的二维逻辑模型与三维模型关联方法，包括步骤1：解析二维逻辑模型文件中的网络配置，将解析出来的数特定格式进行存储；步骤2：解析三维模型文件中模型，将解析出...
- 甘星陈聪文王雄唐智星
- 一种辅助动力装置的独立超转保护逻辑模型
- 2024年
- 给出一种针对复杂可编程逻辑器件(CPLD)的超转保护模型,采用逻辑+软件双余度方式实现超转控制,其具有一定可靠性和可拓展性,相较于传统的JDSPF28335处理器,需要两个外设CPLD和FPGA实现转速采集和超转控制,而采用Zynq架构,其自带了SOC片上PL部分,通过PL采集转速信号与PS部分进行信号交互实现转速采集。另外,结合CPLD完成超转控制,具有并行处理复杂任务、处理效率更高、需要外设拓展更少、可靠性更高、成本低等优点。相较于传统超转解除需要重新上下电复位实现,可以在飞机不下电情况实现超转解除,能够降低功耗,缩短上下电时间。通过仿真试验结果表明,该超转保护模型能精确可靠地实现转速采集和超转控制,已经在辅助动力装置(APU)单元多个项目中得到广泛应用。
- 张军阎景波程旭于正同
- 关键词：辅助动力装置可编程逻辑器件
- 逻辑模型和物理模型的关联获取方法、装置及相关设备
- 本申请提供一种逻辑模型和物理模型的关联获取方法、装置及相关设备，响应于生成逻辑模型和物理模型的操作，获取配置信息，配置信息包括：逻辑模型中的属性的信息、物理模型中的字段的信息、以及预设的逻辑数据类型的对应关系，基于预先配...
- 刘晨郑保卫裴利鸿敖劲松李勇
- 一种孪生应用变电站的逻辑模型构建方法及终端
- 本发明公开了一种孪生应用变电站的逻辑模型构建方法及终端，确定变电站逻辑模型的架构信息，根据架构信息使用基于语义化的XML配置文件建立变电站逻辑模型，对变电站逻辑模型进行数字化建模，得到变电站全站逻辑模型，即利用基于语义化...
- 郭威王亮陈晓敏黄鑫林晓宁王春丽张成炜林婧璇陈熙隆
- 一种变电站监控系统功能机理逻辑模型构建方法
- 本发明公开了一种变电站监控系统功能机理逻辑模型构建方法。本发明首先研究了变电站监控系统监测数据类型及特征，变电站监控系统监测数据按用途可分为运行信息、动作信息、告警信息、控制命令四类，反映了二次设备的运行状态。其次，研究...
- 于逸廷 周秀林薛安成
- 一种基于逻辑模型的动力系统故障分析方法、装置及设备
- 本申请提供一种基于逻辑模型的动力系统故障分析方法、装置及设备，涉及故障分析技术领域；包括：获取设备的动力系统的系统信息；基于动力系统的系统信息，构建动力系统的功能模型、结构模型、参数集和性能仿真模型；分别基于动力系统的功...
- 金平蔡国飙吕俊杰李世哲
- 一种基于离散车间生产逻辑模型的数字孪生仿真系统
- 本申请公开一种基于离散车间生产逻辑模型的数字孪生仿真系统，包含生产要素采集模块，生产要素采集模块用于获取车间生产相关要素；根据车间生产相关要素构建多维度车间生产逻辑模型，通过依照物理对象建立虚拟场景三维模型，搭建离散车间...
- 唐敦兵贺翊哲张泽群朱海华宋家烨王立平刘长春
相关作者
- 张鹭鹭
- 作品数：481被引量：2,671H指数：25
- 供职机构：第二军医大学
- 研究主题：军队 卫勤保障 系统动力学 医院管理 卫生资源
- 张倩颖
- 作品数：63被引量：88H指数：6
- 供职机构：首都师范大学
- 研究主题：逻辑命题 定理证明器 形式化验证 逻辑语言 机器人
- 关永
- 作品数：347被引量：1,196H指数：16
- 供职机构：首都师范大学
- 研究主题：形式化验证 定理证明 机器人 嵌入式系统 形式化
- 施智平
- 作品数：189被引量：653H指数：12
- 供职机构：首都师范大学
- 研究主题：形式化验证 定理证明 形式化 图像检索 机器人
- 丁国富
- 作品数：387被引量：962H指数：13
- 供职机构：西南交通大学机械工程学院先进设计与制造技术研究所
- 研究主题：高速列车 机车车辆 砂轮 工件坐标系 虚拟样机
