检索结果-内蒙古大学图书馆

美国研究 2020年第3期34卷 126-141,8页

作者：陈济冬廖睿力清华大学公共管理学院中国人民大学农业与农村发展学院

政治学形式模型是通过提炼现实政治中的重要元素进行理论构建和逻辑推演的数理建模方法,主要包括基于社会选择理论、博弈论和委托代理理论的模型。在解读和参考运用形式建模方法进行美国政治研究的学术论著时,需要辨析模型结论所依赖的... 详细信息

政治学形式模型是通过提炼现实政治中的重要元素进行理论构建和逻辑推演的数理建模方法,主要包括基于社会选择理论、博弈论和委托代理理论的模型。在解读和参考运用形式建模方法进行美国政治研究的学术论著时,需要辨析模型结论所依赖的制度和情境假设。美国政治研究中形式建模的方法,既推动了美国学术界对其政治实践的理论构建,有助于总结经验,识别问题根源;也与其他研究方法一样,有其自身的局限性。形式建模只有与经验实证研究密切结合,彼此互动,才能保持其学术生命力。

关键词：美国政治研究方法形式建模社会选择理论政治极化投票议程设置

来源：评论

学校读者我要写书评

暂无评论

基于时序Petri网的联锁逻辑形式建模与验证

引用

计算机工程与应用 2007年第13期43卷 7-10页

作者：杜军威徐中伟同济大学电子与信息工程学院上海200331 青岛科技大学信息学院山东青岛266061

时序Petri网结合Petri和时序逻辑的优点,清晰简洁地描述并发系统事件间的时序和因果关系,包括系统的最终性和公平性。文章给出安全苛求系统——车站信号联锁逻辑系统的时序Petri网描述,并使用时序逻辑描述系统状态的时序和因果关系,最... 详细信息

时序Petri网结合Petri和时序逻辑的优点,清晰简洁地描述并发系统事件间的时序和因果关系,包括系统的最终性和公平性。文章给出安全苛求系统——车站信号联锁逻辑系统的时序Petri网描述,并使用时序逻辑描述系统状态的时序和因果关系,最后通过分析和验证模型的性质得出系统是正确的。

关键词：联锁逻辑时序Petri网形式建模时序逻辑

来源：评论

学校读者我要写书评

暂无评论

一种用于机器人分布式控制系统的形式建模方法及装置

一种用于机器人分布式控制系统的形式建模方法及装置

引用

作者：李晓娟关永李艳春王瑞施智平张倩颖谈金东邵振洲张杰王国辉刘永梅吴敏华 100048 北京市海淀区西三环北路105号

本发明实施例提供了一种用于机器人分布式控制系统的形式建模方法及装置，方法包括：针对所述机器人分布式控制系统，根据各微体系结构模型xMAS元件的同步等式，对各xMAS元件在逻辑编程语言ACL2中形式化，得到所述机器人分布式控制系统... 详细信息

标准号: CN106842915B

本发明实施例提供了一种用于机器人分布式控制系统的形式建模方法及装置，方法包括：针对所述机器人分布式控制系统，根据各微体系结构模型xMAS元件的同步等式，对各xMAS元件在逻辑编程语言ACL2中形式化，得到所述机器人分布式控制系统对应的xMAS元模型；其中，所述各xMAS元件包括Arbiter及以下至少一项：Fork、Join、Switch、Merge、Queue、Sink、Source、和Function；在ACL2中对所述xMAS元模型中的组合逻辑元件和时序逻辑元件进行预设属性的验证；根据所述xMAS元模型，建立所述机器人分布式控制系统对应的xMAS网络。本发明实施例中，能够针对机器人分布式控制系统，创建对应的xMAS网络，进而可以根据xMAS网络实现对机器人分布式控制系统的全面验证。

关键词：分布式控制系统机器人元模型验证时序逻辑元件组合逻辑元件微体系结构逻辑编程网络实现形式建模预设网络创建语言

来源：评论

学校读者我要写书评

暂无评论

一种用于机器人分布式控制系统的形式建模方法及装置

一种用于机器人分布式控制系统的形式建模方法及装置

引用

作者：李晓娟关永李艳春王瑞施智平张倩颖谈金东邵振洲张杰王国辉刘永梅吴敏华 100048 北京市海淀区西三环北路105号

标准号: CN106842915A

关键词：分布式控制系统机器人元模型验证时序逻辑元件组合逻辑元件微体系结构逻辑编程网络实现形式建模预设网络创建语言

来源：评论

学校读者我要写书评

暂无评论

一种基于形式化方法内生安全应用软件形式建模方法

一种基于形式化方法内生安全应用软件形式建模方法

引用

作者：赵涌鑫刘知昊蒲戈光刘虹 200241 上海市闵行区东川路500号

本发明公开了一种基于形式化方法内生安全应用软件形式建模方法，所述建模部分包括如下部分：应用软件功能建模，以支持对系统功能进行描述，包括系统结构建模和系统行为建模两部分。系统结构建模是对系统架构建模，使用类图对系统中所... 详细信息

标准号: CN112015373A

本发明公开了一种基于形式化方法内生安全应用软件形式建模方法，所述建模部分包括如下部分：应用软件功能建模，以支持对系统功能进行描述，包括系统结构建模和系统行为建模两部分。系统结构建模是对系统架构建模，使用类图对系统中所涉及的属性和方法进行描述，系统行为建模采用状态图和序列图对整个系统的行为进行建模，其中状态图描述进程的控制逻辑，序列图描述进程之间的交互过程；应用软件信息安全威胁和策略建模，以支持对系统安全威胁和安全策略进行描述。信息安全威胁建模使用攻击树来对系统各个模块在各个方面的脆弱性关联起来进行深入地分析，发现威胁网络安全的攻击路径并以树的方式呈现出来。

关键词：建模系统结构建模系统行为序列图威胁应用软件功能应用软件信息状态图描述安全策略安全威胁攻击路径交互过程控制逻辑网络安全系统安全系统功能系统架构信息安全形式建模应用软件脆弱性进程关联攻击分析安全发现

来源：评论

学校读者我要写书评

暂无评论

一种基于形式化方法的内生安全应用软件形式建模方法

一种基于形式化方法的内生安全应用软件形式建模方法

引用

作者：赵涌鑫刘知昊蒲戈光刘虹 200241 上海市闵行区东川路500号

本发明公开了一种基于形式化方法的内生安全应用软件形式建模方法，所述建模部分包括如下部分：应用软件功能建模，以支持对系统功能进行描述，包括系统结构建模和系统行为建模两部分。系统结构建模是对系统架构建模，使用类图对系统中... 详细信息

标准号: CN112015373B

本发明公开了一种基于形式化方法的内生安全应用软件形式建模方法，所述建模部分包括如下部分：应用软件功能建模，以支持对系统功能进行描述，包括系统结构建模和系统行为建模两部分。系统结构建模是对系统架构建模，使用类图对系统中所涉及的属性和方法进行描述，系统行为建模采用状态图和序列图对整个系统的行为进行建模，其中状态图描述进程的控制逻辑，序列图描述进程之间的交互过程；应用软件信息安全威胁和策略建模，以支持对系统安全威胁和安全策略进行描述。信息安全威胁建模使用攻击树来对系统各个模块在各个方面的脆弱性关联起来进行深入地分析，发现威胁网络安全的攻击路径并以树的方式呈现出来。

来源：评论

学校读者我要写书评

暂无评论

一种遥感数据处理流程的自动形式化建模方法及系统

一种遥感数据处理流程的自动形式化建模方法及系统

引用

作者：程普杜莹何思源汤承翰张硕 475001 河南省开封市顺河区明伦街85号

本发明公开一种遥感数据处理流程的自动形式化建模方法及系统，本发明通过设计一种遥感数据处理流程统一表达语言，以Petri网为基础，借鉴UniNet部分思想并进一步改进，构建遥感数据处理流程的形式化描述模型，并提出该模型到PNML的规... 详细信息

标准号: CN114925520B

本发明公开一种遥感数据处理流程的自动形式化建模方法及系统，本发明通过设计一种遥感数据处理流程统一表达语言，以Petri网为基础，借鉴UniNet部分思想并进一步改进，构建遥感数据处理流程的形式化描述模型，并提出该模型到PNML的规范化扩展，针对遥感数据处理流程统一表达语言设计该语言转换工具，自动将其描述的遥感数据处理流程解析成形式化模型。本发明为遥感数据处理流程自动化形式建模做出了有力的探索。

关键词：遥感数据处理语言转换工具流程自动化形式化描述流程解析形式建模语言设计构建建模规范化统一语言改进探索

来源：评论

学校读者我要写书评

暂无评论

一种遥感数据处理流程的自动形式化建模方法及系统

一种遥感数据处理流程的自动形式化建模方法及系统

引用

作者：程普杜莹何思源汤承翰张硕 475001 河南省开封市顺河区明伦街85号

标准号: CN114925520A

关键词：遥感数据处理语言转换工具流程自动化形式化描述流程解析形式建模语言设计构建建模规范化统一语言改进探索

来源：评论

学校读者我要写书评

暂无评论

Web服务组装语言BPEL和WSCI的Petri网建模与分析

Web服务组装语言BPEL和WSCI的Petri网建模与分析

引用

作者：黄雨北京大学

学位级别：博士

目前，许多的公司和标准化组织提出了Web服务组装模型和特定描述语，然而，这些语言大部分比较复杂冗长，不易于理解。对于一些非常关键的基于Web服务的业务处理流程，任何设计错误都将导致巨大的损失，需要一种方法较精确地给予建模，... 详细信息

目前，许多的公司和标准化组织提出了Web服务组装模型和特定描述语，然而，这些语言大部分比较复杂冗长，不易于理解。对于一些非常关键的基于Web服务的业务处理流程，任何设计错误都将导致巨大的损失，需要一种方法较精确地给予建模，能在设计的时候帮助准确地理解流程，并发现其中存在的错误，从而确保流程能够正确运行。\n BPEL(Business Process Execution Language)和WSCI(Web Service Choreography Interface)是两科描述Web服务组装的标记语言，它们分别是编排和联编两种静态Web服务组装的代表。许多文献给出了BPEL的形式描述，但由于BPEL的复杂性，这些形式描述都不完整，如没有给出BPEL的链接、死路删除、伙伴和端口类型的形式描述。对于WSCI，没有对上下文、例外处理等给出统一的模型，也就没有比较有效的方法整合带有上下文的流程。\n 本文主要研究了BPEL描述的Web服务组装的形式建模、形式分析以及WSCI描述的Web服务组装的形式建模，给出了一系列有用的性质及其分析方法。主要在以下三个方面有所创新：\n 1．提出了能够描述伙伴、链接、死路删除的二色．Petri网模型通过增加标签和托肯颜色给出了一种扩展的Petri网模型，利用标签表达了变量、伙伴及其操作。为了表达死路删除，用TRUE和FALSE两种颜色来表达真执行和skip执行，正确表达了skip执行的信号传递。为了正确地描述链接语义，给出真执行和skip执行的两种变迁规则。本文还利用元组的形式来定义可执行业务流程，还给出了构造方法衔接可执行业务流程和Petri网模型。为了描述模型的行为，本文给出了外部变迁序列等概念，为模拟和分析提供了基础。\n 2．给出了BPEL的Petri网模型的性质及其分析用2-并发可达图方法对三种性质进行了分析：1)Petri网模型性质，如畅通性[18]、无死变迁性等。2)Web服务组装性质，提出了Web服务的等价性和替换性等性质。3)BPEL组装性质，如接收并发、链接正确性、匹配性等。对第3种性质，传统的可达图和同步可达图<\'[19]>是很难进行分析的。本文还提出了一系列约简规则，来检查不带死路删除的模型性质，如畅通性等。\n 3．提出了WSCI的Petri网模型目前缺乏对于WSCI的统一形式描述，而本文提出了活动网、进程网和全局模型来描述WSCI的Petri网模型。活动网描述基本流程，进程网在活动网上增加了上下文的描述，上下文是处理流程的子流程和例外处理，全局模型是在多个进程网下增加了消息交互。在描述WSCI的形式模型时，本文提出了几种组合子来匹配WSCI中的组合活动。本文还定义了进程网融合，将分散的上下文同活动网合并为一个上下文为空的进程网，最终可以用类似传统Petri网的分析方法来分析进程网。总之，本文用扩展Petri网给出了BPEL和WSCI的形式模型。对于BPEL侧重于形式化描述链接语义和死路删除等，同时给出了一系列重要的性质，并进行分析；对于WSCI侧重于形式化描述上下文等。通过形式建模和分析，能够帮助设计人员准确理解BPEL和WSCI，确保设计出正确的业务流程。

关键词： Web服务组装 BPEL语言 WSCI语言 Petri网形式建模

来源：评论

学校读者我要写书评

暂无评论

基于用户会话及图卷积神经网络的商品推荐方法及系统

基于用户会话及图卷积神经网络的商品推荐方法及系统

引用

作者：杨振宇张鸣鸽 250353 山东省济南市长清区大学路3501号

本公开提供了一种基于用户会话及图卷积神经网络的商品推荐方法及系统。其中，该商品推荐方法包括接收在同一时间单位内被点击商品序列，作为一个会话并以有向图的形式建模，构建出会话图；其中，会话图采用嵌入向量的形式表示；将嵌入... 详细信息

标准号: CN110490717B

本公开提供了一种基于用户会话及图卷积神经网络的商品推荐方法及系统。其中，该商品推荐方法包括接收在同一时间单位内被点击商品序列，作为一个会话并以有向图的形式建模，构建出会话图；其中，会话图采用嵌入向量的形式表示；将嵌入向量形式的多个会话图输入至门控图神经网络，输出所述会话图中包含的所有商品的后验概率；按照从大到小的顺序，筛选出后验概率排在前预设位数对应的商品，作为用户偏好商品预测结果并进行逐个推荐。其在考虑商品关联性的前提下，提高了商品推荐的准确性及速度。

关键词：会话商品推荐后验概率神经网络嵌入商品序列商品预测时间单位向量形式形式建模用户会话用户偏好关联性有向图构建门控向量预设筛选输出

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：