咨询与建议
  • 全部搜索
  • 期刊论文
  • 图书
  • 学位论文
  • 标准
  • 纸本馆藏
  • 外文资源发现
  • 数据库导航
  • 超星发现
高级检索

限定检索结果

文献类型

  • 46 篇 专利
  • 3 篇 期刊文献
  • 1 篇 学位论文
  • 1 篇 会议

馆藏范围

  • 51 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 5 篇 工学
    • 5 篇 软件工程
    • 4 篇 计算机科学与技术...
    • 1 篇 机械工程

主题

  • 5 篇 逻辑正确性
  • 3 篇 动态更新
  • 2 篇 程序正确性
  • 2 篇 基于约束分析
  • 1 篇 层次性
  • 1 篇 技术
  • 1 篇 分布性
  • 1 篇 c语言
  • 1 篇 异构性
  • 1 篇 正确性概率
  • 1 篇 统计方法
  • 1 篇 假设模型
  • 1 篇 约束分析
  • 1 篇 并行性
  • 1 篇 真值表方法
  • 1 篇 实时性

机构

  • 3 篇 国家电网公司
  • 3 篇 南京大学
  • 2 篇 北京沃东天骏信息...
  • 2 篇 思尔芯信息科技有...
  • 2 篇 杭州天谷信息科技...
  • 2 篇 富士通株式会社
  • 2 篇 国网河北省电力有...
  • 2 篇 中国神华能源股份...
  • 2 篇 神华国华电力研究...
  • 2 篇 广州小鹏汽车科技...
  • 2 篇 国电联合动力技术...
  • 2 篇 广域铭岛数字科技...
  • 2 篇 北京国华电力有限...
  • 2 篇 许继电气股份有限...
  • 2 篇 陕西数图行信息科...
  • 2 篇 雾角系统公司
  • 2 篇 北京京东世纪贸易...
  • 2 篇 许继集团有限公司
  • 2 篇 浙江吉利控股集团...
  • 1 篇 广东博智林机器人...

作者

  • 3 篇 李颖
  • 2 篇 程亮
  • 2 篇 文晓飞
  • 2 篇 李茗宇
  • 2 篇 王富强
  • 2 篇 马晓星
  • 2 篇 华松
  • 2 篇 曹叶
  • 2 篇 张秋生
  • 2 篇 翟雨蒙
  • 2 篇 马晶晶
  • 2 篇 杜洋
  • 2 篇 姬希娜
  • 2 篇 邓迎君
  • 2 篇 高岩
  • 2 篇 张会广
  • 2 篇 左群业
  • 2 篇 程克杰
  • 2 篇 郭猛
  • 2 篇 张保平

语言

  • 51 篇 中文
检索条件"主题词=逻辑正确性"
共 51 条 记 录，以下是21-30 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
自动化测试平台及其自动化测试方法
自动化测试平台及其自动化测试方法
收藏
分享
引用
作者： 邓荣荣 王瑞 528311 广东省佛山市顺德区北滘镇顺江居委会北滘工业园骏业东路11号东面办公室二楼201-11
本发明公开了一种自动化测试平台及其自动化测试方法，其中，平台用于机器人调度测试，包括：获取模块，用于获取测试数据，其中，测试数据包括对应机器人调度平台功能的第一测试数据和对应机器人调度流程的第二测试数据；处理模块，用... 详细信息
来源： 评论
一种基于消息优先级的缓冲区协调方法
一种基于消息优先级的缓冲区协调方法
收藏
分享
引用
作者： 张万松 王师原 徐悦竹 印桂生 150001 黑龙江省哈尔滨市南岗区南通大街145号哈尔滨工程大学科技处知识产权办公室
本发明属于分布式系统仿真领域，具体涉及一种基于消息优先级的缓冲区协调方法。本发明包括：通过分析仿真运行过程中出现的态势显示卡顿问题；分析联邦成员事件消息的类型及对仿真过程的作用，为事件消息划分优先级；在态势显示联邦成... 详细信息
来源： 评论
代码检查方法及装置、计算机可读存储介质、终端
代码检查方法及装置、计算机可读存储介质、终端
收藏
分享
引用
作者： 王伟 童贤哲 周尤珠 陆颂华 200001 上海市黄浦区广东路689号
一种代码检查方法及装置、计算机可读存储介质、终端，所述方法包括：确定待转换程式，所述待转换程式包含多个业务对象和至少一个对象计算，所述对象计算用于指示各个业务对象之间的逻辑关系；将所述待转换程式转换为预设的数据结构；... 详细信息
来源： 评论
一种自投保护逻辑验证装置
一种自投保护逻辑验证装置
收藏
分享
引用
作者： 李爱民 赵晓红 马英 霍毅卿 苏毓 刘志国 吕冬梅 梁秀峰 姚庆华 屈世民 周磊 李锦锦 肖云 张剑飞 王伟 田新成 李超 杜鹏 季国华 高海龙 何汝鹏 陈虞 杜振平 063000 河北省唐山市建设北路7号
本实用新型涉及一种自投保护逻辑验证装置，属于供电检修设备技术领域。技术方案是：工作电源通过电源空气开关（1），分别与合闸继电器线圈（2）的一端和分闸继电器线圈（3）的一端连接，合闸继电器线圈（2）、分闸继电器线圈（3）的... 详细信息
来源： 评论
一种摊铺机控制系统试验台
一种摊铺机控制系统试验台
收藏
分享
引用
作者： 王晓璐 郝守庆 刘喜锋 杨祥庆 桑广波 272073 山东省济宁市市中区327国道58号山推国际事业园
本实用新型提供一种摊铺机控制系统试验台，包括：试验台体，实验台体上设有操控面板，操控面板上设有显示器、操控部件、指示灯组，试验台体内设有电压表组、电流表组、滑动电阻器、频率信号发生器、示波器、电源和控制器；显示器、操... 详细信息
来源： 评论
采用新增过程层网络的数字化变电站保护测控调试定检系统
采用新增过程层网络的数字化变电站保护测控调试定检系统
收藏
分享
引用
作者： 苏诚彬 夏长庚 石家德 金贵红 蒲超廷 徐坤 陈胜 文丹 550000 贵州省贵阳市南明区滨河路17号
本实用新型公开了一种采用新增过程层网络的数字化变电站保护测控调试定检系统，包括运行间隔保护测控装置、定检间隔保护测控装置、A网交换机、B网交换机、C网交换机、运行间隔合并单元、运行间隔智能终端、定检间隔智能终端和定检间... 详细信息
来源： 评论
一种结合形式化方法的智能配电网故障定位与恢复方法
一种结合形式化方法的智能配电网故障定位与恢复方法
收藏
分享
引用
作者： 戴晖 秦博雅 孙波 王轩 刘东 223001 江苏省淮安市淮海南路134号
本发明公开了一种结合形式化方法的智能配电网故障定位与恢复方法，包括以下步骤：1）分区域处理，将配电网划分为有源主干和无源支路，通过形式化方法验证分区域可靠性；2）解空间降维，生成联络环矩阵并重构配电网编码，剔除无效解，... 详细信息
来源： 评论
区块链智能合约的逻辑验证方法和装置及计算机存储介质
区块链智能合约的逻辑验证方法和装置及计算机存储介质
收藏
分享
引用
作者： 皮冰锋 华松 周恩策 孙俊 日本神奈川县
本发明涉及区块链智能合约的逻辑验证方法和装置及计算机存储介质。该方法包括：对区块链应用的智能合约集合进行解析来生成关系图谱，关系图谱包括智能合约集合中的所有公共函数、变量以及它们之间的调用关系；基于关系图谱构造多种类... 详细信息
来源： 评论
一种基于分层加权的电力仿真培训评价方法及系统
一种基于分层加权的电力仿真培训评价方法及系统
收藏
分享
引用
作者： 张正茂 丁颖 李宏伟 许园园 崔西友 甘言礼 任玉保 刘海客 潘志远 郑鑫 马群 高峰 蒋越梅 徐正清 杨选怀 魏文辉 250002 山东省济南市市中区二环南路500号
本发明公开了一种基于分层加权的电力仿真培训评价方法及系统，包括，接收被评试卷的内容信息；建立一个大并列组，用来判定学员步骤的完备性，实现对漏项、多项的评判；建立n个大顺序组，n为自然数，用来判定学员步骤的逻辑正确性，实... 详细信息
来源： 评论
基于约束求解和描述逻辑的Web服务组合方法
基于约束求解和描述逻辑的Web服务组合方法
收藏
分享
引用
作者： 许蕾 曹赖平 李言辉 徐宝文 210023 江苏省南京市仙林大道163号
本发明为一种基于约束求解和描述逻辑的Web服务组合方法：首先基于领域知识库的目标任务分解，设计各细粒度任务的优化目标，并提取任务接口的约束条件，然后通过约束求解得到细粒度任务的组合，再运用描述逻辑检测组合的有效性、合理... 详细信息
来源： 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共6页 <<  < 1 2 3 4 5 6 >  >>
回到顶部
执行限定条件