-
公开(公告)号：CN105335534A
公开(公告)日：2016-02-17
申请号：CN201410240885.2
申请日：2014-05-30
IPC: G06F17/50
Abstract: 本申请实施例提供了一种模型建立方法和装置，所述方法包括：确定多个子系统之间的同步关系或互斥关系；确定建立每一子系统的时间自动机的状态节点以及所述状态节点之间的状态转移条件；根据子系统之间的同步关系以及互斥关系，将各个子系统中的状态节点进行组合，获得组合状态节点；根据任意两个组合状态节点中的状态节点的状态转移条件以及所属子系统之间由互斥关系以及同步关系确定的执行顺序，获得任意两个组合状态节点之间的组合状态转移条件；利用所述组合状态节点以及所述组合状态转移条件，建立全局时间自动机，所述全局时间自动机用于作为模型检测的状态迁移模型，本申请实施例有效快速的建立了嵌入式系统的状态迁移模型。
-
公开(公告)号：CN115878779A
公开(公告)日：2023-03-31
申请号：CN202111135412.2
申请日：2021-09-27
Applicant: 上海交通大学
IPC: G06F16/335 , G06F40/216 , G06F40/289 , G06F18/22
Abstract: 一种基于上下文关系且情景可选的英语单选题生成方法，通过从数据集提取出后续用来判断难易程度和词汇量的数据基础，然后从语料库筛选出符合词汇量和难易程度的针对预设语法的句子；再对筛选出的满足词汇量和难易程度的特定语法点的句子及其问题空缺词生成合适的备选项。本发明能够通过给定的具体特定英语情景的语料生成若干符合该情景的英语单选题，能够应用在具体英语教学过程中的试题生成、机器人的学习过程中的问题生成、问答机器人的问题生成等情景，可以减少上述情景下的重复劳动。
-
公开(公告)号：CN113297826B
公开(公告)日：2022-06-10
申请号：CN202010595674.6
申请日：2020-06-28
Applicant: 上海交通大学
IPC: G06F40/117 , G06F40/189 , G06F40/289
Abstract: 一种在自然语言文本上进行标记的方法，通过人机交互设备在文本中触发标记工具可识别事件，通过标记工具判断该事件所属的标记元素结构并对其进行对应的排版，保证在标记过程中进行各种操作时，界面始终保持一致性，同时展示的文本当中句子，段落以及标题等都可以通过该排版方式展现出层次分明的结构。本发明通过对标记元素的结构设计，标记人员可以方便地区分不同的类型的元素，并且这种设计能在很好的融合在之前的排版方式中的同时，展示各个元素的类型，尤其是对嵌套实体，嵌套关系的结构设计，不仅能显示嵌套在外面的元素的类型，还能显示嵌套在其中的元素的类型。
-
公开(公告)号：CN113297826A
公开(公告)日：2021-08-24
申请号：CN202010595674.6
申请日：2020-06-28
Applicant: 上海交通大学
IPC: G06F40/117 , G06F40/189 , G06F40/289
Abstract: 一种在自然语言文本上进行标记的方法，通过人机交互设备在文本中触发标记工具可识别事件，通过标记工具判断该事件所属的标记元素结构并对其进行对应的排版，保证在标记过程中进行各种操作时，界面始终保持一致性，同时展示的文本当中句子，段落以及标题等都可以通过该排版方式展现出层次分明的结构。本发明通过对标记元素的结构设计，标记人员可以方便地区分不同的类型的元素，并且这种设计能在很好的融合在之前的排版方式中的同时，展示各个元素的类型，尤其是对嵌套实体，嵌套关系的结构设计，不仅能显示嵌套在外面的元素的类型，还能显示嵌套在其中的元素的类型。
-
公开(公告)号：CN105703258B
公开(公告)日：2019-01-01
申请号：CN201610166258.8
申请日：2016-03-21
Applicant: 广东电网有限责任公司东莞供电局 , 上海交通大学
IPC: H02B13/065
Abstract: 本发明提供的一种GIS开关设备动作状态监测系统及其使用方法，包括：多源信息采集单元，所述多源信息采集单元检测GIS开关系统的工作状态并形成检测信号，所述多源信息采集单元再将所述检测信号调理成电模拟信号；信息融合单元，所述信息融合单元设置在电脑终端内，所述信息融合单元接收所述电模拟信号，将所述电模拟信号与预设值进行比较，判断GIS开关系统的工作状态；故障决策与预报单元，所述故障决策与预报单元根据所述电模拟信号与所述预设值的比较结果进行报警或预报。与现有技术相比，本发明的有益效果如下：可以基于多种传感器信号采集的信息来进行GIS故障的诊断，增加诊断的准确性，减少误报的情况发生。
-
Patent Agency Ranking
公开(公告)号：CN119883508A
公开(公告)日：2025-04-25
申请号：CN202411948513.5
申请日：2024-12-27
Applicant: 上海交通大学
Abstract: 一种基于ZKWASM的电路程序执行轨迹生成方法，将待处理电路程序编译为WASM格式，即得到对应的WASM电路字节码并从WASM电路字节码中抽取执行轨迹后，将执行轨迹按指令数量、按函数调用、按控制流和/或按内存访问分割成多个短执行轨迹；利用多Miller循环合并拆分的短执行轨迹生成的配对椭圆曲线输入点，即对于每个短执行轨迹的证明生成过程，将涉及的配对计算的Miller循环合并为一个大的Miller循环。本发明基于多Miller循环，通过对长执行轨迹和多个计算实例的零知识虚拟机计算协议做出改进，支持避免重复计算、支持批量验证的计算结果验证，能够在保证用户数据私密性的情况下提高现有基于ZKWASM的隐私计算方案的运行效率。
-
公开(公告)号：CN110490605B
公开(公告)日：2023-12-01
申请号：CN201810456009.1
申请日：2018-05-14
Applicant: 上海交通大学
IPC: G06Q30/018 , G06K17/00
Abstract: 一种基于本体的面向区块链溯源的供应链数据标准化系统，监测模块、本体部署模块和溯源模块，本发明利用本体模型，将跨国供应链中不同厂商对活动实例的不同表述标准化为一个统一的本体表述，解决语义多样性导致的数据共享问题；将供应链中的活动数据作为智能合约的触发条件，来记录供应链中的生产活动，可利用智能合约执行后，区块链产生的执行日志，同步构建资源集演化树，用它来随时对任意商品快速、实时、高效地溯源。
-
公开(公告)号：CN115563313A
公开(公告)日：2023-01-03
申请号：CN202211307718.6
申请日：2022-10-25
Applicant: 上海交通大学
IPC: G06F16/36 , G06F16/31 , G06F40/295 , G06F16/33 , G06F16/332 , G06F16/335 , G06F16/338 , G06F40/30
Abstract: 一种基于知识图谱的文献书籍语义检索系统，包括：知识图谱构建单元以及语义查询单元，其中知识图谱构建单元根据文献书籍的简介和评论等具有语义信息的数据，进行命名实体识别和关系抽取，得到一系列的实体以及实体关系三元组，完成知识图谱的构建；语义查询单元根据用户输入的自然语言查询语句，将其转换为一组结构化查询语句，并对书籍文献知识图谱的查询结果进行排序并返回给用户。本发明满足对图书知识高效、高密度、高信息量的存储方式的要求，能够对图书以及图书相关分类、属性信息、内容等进行高效存储；能够利用图书之间的关联信息，满足读者丰富语义查询的需求。
-
公开(公告)号：CN115526319A
公开(公告)日：2022-12-27
申请号：CN202211331513.1
申请日：2022-10-28
Applicant: 上海交通大学
IPC: G06N5/02 , G06N5/04 , G06F16/36 , G06F16/903
Abstract: 一种基于多源知识的专家系统的实现方法，通过构建知识库并对不同来源的知识分别进行解析并转换为知识库所能识别的格式，然后采集问题输入并对输入问题进行领域判定，并使用领域方法解决问题；再对输入的问题进行推理观察，并根据相似匹配，查询匹配的规则或函数，根据相似匹配得到的规则和函数，进一步地进行完整匹配、生成推理结果、并将推理结果加入知识库中，通过推理收缩删除冗余的、大概率无用的候选推理结果并输出推理机推理的最终结果。本发明使得知识库的通用性大大增强；使得知识来源大大拓宽；使得知识推理能力大大增强。
-
公开(公告)号：CN112307773B
公开(公告)日：2022-06-21
申请号：CN202011387634.9
申请日：2020-12-02
Applicant: 上海交通大学
Abstract: 一种机器阅读理解系统的自定义问题数据自动生成方法，包括：数据集预处理模块、答案挖掘模块和问题生成模块，数据集预处理模块根据HotpotQA和SQuAD机器阅读理解数据集中的信息，使用模型判定机制进行问题难度分类，得到每个问题的客观难度，使用问题类型分类器进行问题类型分类并得到每个问题的类型，将数据集进行数据集切分后输出至答案挖掘模块，答案挖掘模块从数据集中的文本得到作为答案的实体和问题类型后输出至问题生成模块，问题生成模块根据数据集文本，答案实体以及问题类型，使用编码器‑解码器架构的神经网络得到生成的问题问句和答案。本发明在阅读理解问题的难度的客观评价以及阅读理解问题的类型的客观分类的基础上，实现机器阅读理解系统的可控类型和难度的问题数据自动生成。
-
-
-
-
-
-
-
-
-
Search Results
30
records
(took 0.024 seconds)
