“命题”专利关键词查询_检索下载_查询列表_检索列表_行业专利分布_钻瓜专利网

钻瓜专利网为您找到相关结果297个，建议您升级VIP下载更多相关专利

[发明专利]精简测试案例的方法及装置-CN202111286510.6在审
发明人：李宁馨 -专利权人：中国银行股份有限公司
申请日： 2021-11-02 - 公布日： 2022-01-21 - 主分类号： G06F11/36 文献下载
摘要：本发明公开了一种精简测试案例的方法及装置，涉及大数据技术领域；其中该方法包括：获取测试人员编写的初始测试案例集；将所述初始测试案例集中的测试案例转化为对应的命题，得到初始命题集；针对初始命题集中的每一命题，根据推理理论、以及初始命题集中除该命题外的其它命题进行推导，在该命题可以根据推理理论、初始命题集中除该命题外的其它命题推导得到时，该命题为重复命题；删除初始命题集中的重复命题，得到精简命题集；将精简命题集中的命题转化为对应的测试案例本发明可以将测试案例转化为命题，删除重复命题后再将最终剩余的命题转化为测试案例，从而实现裁剪冗余案例，提高测试效率。
精简测试案例方法装置

[发明专利]协商信任规则的冲突检测方法-CN201510785306.7在审
发明人：夏冬梅 -专利权人：上海电机学院
申请日： 2015-11-16 - 公布日： 2016-04-06 - 主分类号： G06N5/04 文献下载
摘要：本发明提供了一种协商信任规则的冲突检测方法，包括：针对待证明真假的假定命题，构建第一真值假设命题和第二真值假设命题；其中，第一真值假设命题表示假定命题是正确的，第二真值假设命题表示假定命题是错误的；依据第一真值假设命题和第二真值假设命题构建标签二叉树，其中标签二叉树上的标签是真值假设命题；按照分解准则，逐步消去真值假设命题中的连接词，从而将标签二叉树分解成原子树；再根据原子树中是否存在矛盾路径来判断第一真值假设命题和第二真值假设命题的真假，从而得出命题的真假
协商信任规则冲突检测方法

[发明专利]机器学习方法、电子设备及计算机可读存储介质-CN201811640786.8在审
发明人：陈海波 -专利权人：深兰科技（上海）有限公司
申请日： 2018-12-29 - 公布日： 2019-05-31 - 主分类号： G06N20/00 文献下载
摘要：其中，所述机器学习方法，包括：根据预设知识库获取目标命题，所述目标命题的论域为有限论域；按照预设比例，从所述目标命题的论域中获取第一数量的实例；验证所述第一数量的实例是否均满足所述目标命题；若否，则舍弃所述目标命题；若是，则判定所述目标命题为可信命题，所述可信命题为可以被机器使用的命题；使用所述可信命题并根据使用结果验证所述可信命题的正确性。本发明的实施方式所提供的机器学习方法、电子设备及计算机可读存储介质具有在保证命题使用过程中的可靠性的同时，可以有效的减少命题验证的工作量、提升命题验证的效率的优点。
机器学习计算机可读存储介质电子设备可信验证预设知识库机器学习技术获取目标结果验证论域工作量判定舍弃保证

[发明专利]押运线路选择的方法、装置、电子设备和介质-CN202310666138.4在审
发明人：龙海;张锴;黄婷婷;黄平 -专利权人：中国工商银行股份有限公司
申请日： 2023-06-06 - 公布日： 2023-08-29 - 主分类号： G06Q10/047 文献下载
摘要：所述方法包括：定义命题X为确定从押运起点到第一押运终点的押运线路；基于所述押运起点和所述第一押运终点，获取n1条押运线路，其中，n1为正整数，命题X具有n1个子命题，子命题Xi为所述n1个子命题中的第i个子命题，1≤i≤n1且i为正整数，子命题Xi为确定从所述押运起点到所述第一押运终点的第i条押运线路；针对n1个子命题中的每一个子命题，获取该子命题的可信度；基于所述n1个子命题的可信度，获取命题X的第一命题可信度；以及基于所述第一命题可信度，确定命题X的最优线路。
押运线路选择方法装置电子设备介质

[发明专利]一种面向古诗词测评的自动命题方法和系统-CN201910490907.3有效
发明人：胡韧奋;李艳燕;黄荣怀;诸雨辰;王碧华;王慧萍;周伟 -专利权人：北京师范大学
申请日： 2019-06-06 - 公布日： 2020-11-03 - 主分类号： G06F40/166 文献下载
摘要：一种面向古诗词测评的自动命题方法和系统。本发明提供了一种面向古诗词测评的自动命题系统，包括诗词库、标签选择题命题模块、体制选择题命题模块、上下句选择题命题模块、诗句填字题命题模块、诗词排序命题模块，其中：标签选择题命题模块，用于生成标签选择题；诗词体制选择题命题模块，用于生成体制选择题；上下句选择题命题模块，用于生成上下句选择题；诗词排序命题模块，用于生成上下句选择题；诗句填字题命题模块，用于生成填字题。
一种面向古诗词测评自动命题方法系统

[发明专利]基于深度学习的命题智能分析处理方法和系统-CN202010856601.8有效
发明人：崔炜 -专利权人：上海松鼠课堂人工智能科技有限公司
申请日： 2020-08-24 - 公布日： 2021-06-01 - 主分类号： G06F16/2458 文献下载
摘要：本发明提供了基于深度学习的命题智能分析处理方法和系统，其通过深度学习的方式对历史命题数据进行分析处理，以此确定同类型命题的综合出现规律评价值，再结合历史考试命题大纲和历史热点命题信息，确定同类型命题对应的命题占比权重值，以此获得并显示相应的预测命题信息，从而快速地和准确性形成可靠的试卷，同时便于全面考核学生的学习效果。
基于深度学习命题智能分析处理方法系统

[发明专利]软件规范开发辅助方法以及软件规范开发辅助装置-CN201310304712.8有效
发明人：佐藤直人;石川贞裕;伊藤信治;宫崎邦彦;山口洁 -专利权人：株式会社日立制作所
申请日： 2013-07-19 - 公布日： 2014-03-12 - 主分类号： G06F11/36 文献下载
摘要：规范检查部，对于从命题规则保存部取得的任意的检查对象的命题形式的规范和其任意的比较对象的命题形式的规范，判定2个命题形式的规范是否矛盾或重复，如果矛盾或重复，则将所述作为检查对象的命题形式的规范分解为与比较对象的命题形式的规范矛盾或重复的命题形式的规范、以及与比较对象的命题形式的规范不矛盾或不重复的命题形式的规范，登录在检查结果保存部中，决定表生成部从检查结果保存部取得所述命题形式的规范的任意一方或双方，关于各个所述命题形式的规范取出该命题形式的规范的条件部和结果部来生成决定表的行，将显示范围表示在与该命题形式的规范对应的列的相应行的栏中。
软件规范开发辅助方法以及装置

[发明专利]考试试卷生成系统及方法-CN200710201874.3无效
发明人：李忠一;林海洪;谢德意;张琛琛;张晓铁 -专利权人：鸿富锦精密工业（深圳）有限公司;鸿海精密工业股份有限公司
申请日： 2007-09-27 - 公布日： 2009-04-01 - 主分类号： G06F17/00 文献下载
摘要：本发明提供一种考试试卷生成方法，该方法包括步骤：设置考试试卷的初始条件；根据设置的初始条件，确定真命题的数目p、假命题的数目q、随机命题的数目r；从数据库中取出p个真命题并编以流水号；从数据库中取出q个假命题，对该q个假命题分组并编以分组号；从数据库中取出r个命题，对该r个命题分组并编以分组号；根据该p个真命题及其流水号、该q个假命题及其分组号、该r个命题及其分组号，生成考试试卷。
考试试卷生成系统方法

[发明专利]基于知识图谱的试题生成系统、方法、装置及存储介质-CN202210743044.8在审
发明人：陈豪奋 -专利权人：广州市南方人力资源评价中心有限公司
申请日： 2022-06-29 - 公布日： 2022-09-13 - 主分类号： G06F16/335 文献下载
摘要：本发明公开基于知识图谱的试题生成系统、方法、装置及存储介质，系统包括：试题生成服务器和用户终端；试题生成服务器用于：构建知识图谱；获取网络资源中与知识图谱对应领域的试题，生成试题库；从试题库的试题中提取初始命题知识点，获得命题知识点库；获取当前考试命题大纲中的各个知识点，并从命题知识点库中，确定与各个知识点对应的待考细分知识点；基于待考细分知识点，从试题库中确定与待考细分知识点对应的命题内容；将与待考细分知识点对应的命题内容发送至用户终端，以供命题者进行选择；接收用户终端反馈的命题者对命题内容选择的操作，并生成相应的试题内容。本发明通过知识图谱来辅助命题，减轻命题者的工作量且保证命题有针对性。
基于知识图谱试题生成系统方法装置存储介质

[发明专利]表形式软件规格制作支援方法及装置-CN201210018995.5有效
发明人：佐藤直人;来间启伸;三部良太;石川贞裕;只野完二;斋藤浩 -专利权人：株式会社日立制作所
申请日： 2012-01-20 - 公布日： 2012-10-03 - 主分类号： G06F9/44 文献下载
摘要：支援软件规格开发的装置具备命题规格受理单元、决定表制作单元以及相容性验证单元，上述决定表制作单元若从上述命题规格受理单元取得上述多个命题形式的规格，则对于上述多个命题形式的规格中的每一个，取出该命题形式的规格的条件部和结果部而制作上述决定表的行，对与该命题形式的规格对应的列的该行的栏加标记，上述相容性验证单元从上述决定表中取出多个命题形式的规格中的任意两个命题形式的规格，判断上述两个命题形式的规格的条件部的逻辑积是否为可满足，若为可满足，则输出为上述多个命题形式的规格中的每一个相互矛盾
形式软件规格制作支援方法装置

[发明专利]一种多源目标智能决策方法及相关装置-CN202210915493.6有效
发明人：黄安付;曹一丁;李唯;孟凡星 -专利权人：白杨时代（北京）科技有限公司
申请日： 2022-08-01 - 公布日： 2023-05-12 - 主分类号： G06F18/25 文献下载
摘要：本申请公开了一种多源目标智能决策方法及相关装置，根据多源信息获取各信息源分别分配给多个命题的逆基本概率分配值；获取所述多源信息中各信息源的权重；对于所述多个命题中的目标命题，根据所述各信息源的权重和各信息源分配给所述目标命题的逆基本概率分配值，获取所述目标命题的加权平均逆基本概率分配值；所述目标命题为所述多个命题中的任一命题；根据所述多个命题各自的加权平均逆基本概率分配值，利用预设组合规则对所述多个命题进行融合，得到融合结果；根据所述融合结果进行决策
一种目标智能决策方法相关装置

[实用新型]一种四种命题关系的学习看板-CN201420014902.6有效
发明人：章哲辉 -专利权人：章哲辉
申请日： 2014-01-10 - 公布日： 2014-07-16 - 主分类号： G09B7/02 文献下载
摘要：本实用新型涉及一种四种命题关系的学习看板，包括边框（10）及命题板块（20），命题板块（20）嵌在边框（10）内，命题板块（20）内装有两个灯泡（201），每个灯泡（201）上分别嵌有两个指示灯（202），两个灯泡（201）下面设有四个不同命题按钮（203），命题板块（20）底部设有一个开口（204），开口（204）上盖有一个盖板（205），边框（10）侧面设有一个旋钮（104）。本实用新型结构简单，使用方便，按下命题按钮，两个灯泡就会点亮，等待四个命题都填好后，按下顶部的检查按钮，如果填写正确指示灯就会显示绿灯，错误就会显示红灯，转动旋钮，就会在开口内显示该命题的句子，便于教师教学和加深学生印象
一种命题关系学习看板

[发明专利]一种基于可满足性求解的工程产品智能设计方法和装置-CN201710632067.0有效
发明人：蔡勇;李光耀;曾冠凯 -专利权人：湖南大学
申请日： 2017-07-28 - 公布日： 2021-06-25 - 主分类号： G06F30/23 文献下载
摘要：本发明公开了一种基于可满足性求解的工程产品智能设计方法，包括：对设计指标进行参数化表征，作为命题变量；采用神经网络模型构建缺乏显式公式表征的命题变量的计算公式，作为命题公式；获取命题变量的取值范围，并将命题变量的取值范围与命题公式结合形成命题子句；对命题子句进行合取形成一个全参数覆盖的工程产品参数化设计模型；对工程产品参数化设计模型进行可满足性求解，若能够找到可满足的解，则返回结果为真，并给出至少一组设计参数；反之，返回结果为假，并给出任意一个不满足的命题变量
一种基于满足求解工程产品智能设计方法装置

[发明专利]一种用于语音评测的自动命题系统与方法-CN200610080413.0无效
发明人：于水源;冯晓亮;谢凌云 -专利权人：中国传媒大学
申请日： 2006-05-15 - 公布日： 2007-11-21 - 主分类号： G06F17/30 文献下载
摘要：一种用于语音评测的自动命题系统与方法，能根据语音评测的命题要求制备具有随机性的考题；其系统包含有数据库、优选拼音集建立模块、待考词产生模块及命题模块；数据库包含有词库、拼音集、优选拼音集和待考词库，分别用于存储命题可用词、命题拼音需求、优选拼音和待考词；优选拼音集建立模块用于联合词库与拼音集新建优选拼音集；待考词产生模块用于联合词库与优选拼音集随机产生待考词更新待考词库、词库和拼音集；命题模块用于判断命题任务是否完成；其方法包含有步骤，首先建立优选拼音集，然后产生待考词并根据该待考词更新待考词库、词库和拼音集，最后判断命题任务是否完成，是则执行出题后清空待考词库，否则重复上述步骤。
一种用于语音评测自动命题系统方法

[发明专利]机器翻译装置及机器翻译方法-CN201210070716.X无效
发明人：釜谷聪史 -专利权人：株式会社东芝
申请日： 2012-03-16 - 公布日： 2013-04-03 - 主分类号： G06F17/28 文献下载
摘要：该装置包括：源句转换单元、翻译单元、和命题转换单元。源句转换单元配置为从所述源句提取语法特征，以及将所述源句转换成不包括语法特征的源命题。翻译单元配置为将所述源命题翻译成第二语言的目标命题。命题转换单元配置为基于语法特征将所述目标命题转换成目标句。
机器翻译装置方法

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
下一页»
尾页
共 297 条