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

计算机研究与发展 2000年第1期37卷 1-8页

作者：王云刘又诚周伯生北京航空航天大学软件工程研究所北京100083

ＵＭＬ标准建模语言是面向对象技术领域中的重要成果．使用ＵＭＬ解决现实世界中的问题是当前该领域的研究热点．ＵＭＬ集成化支持环境既可提高建模的效率，也可在一定程度上保证所建模型间的一致性；通过模拟动态模型的行为，可在建模... 详细信息

ＵＭＬ标准建模语言是面向对象技术领域中的重要成果．使用ＵＭＬ解决现实世界中的问题是当前该领域的研究热点．ＵＭＬ集成化支持环境既可提高建模的效率，也可在一定程度上保证所建模型间的一致性；通过模拟动态模型的行为，可在建模的早期发现模型中存在的问题；代码生成、逆向变换系统将模型和程序代码有机地统一起来．文中首先介绍北京航空航天大学软件工程研究所研制的ＵＭＬ集成化支持环境的基本组成，然后介绍其中的ＵＭＬ可视化建模系统，并重点论述可视化建模系统中的模型一致性检查机制．

关键词： UML 可视化建模系统模型一致性软件工程

来源：评论

学校读者我要写书评

暂无评论

具有模型一致性的自适应Lasso预测模型研究

引用

工业工程与管理 2022年第1期27卷 102-112页

作者：黄雅丹陆晓骏张大力上海交通大学中美物流研究院上海200030 东方钢铁电子商务有限公司商业模式研究中心上海201999 上海理工大学管理学院上海200082

Lasso和自适应Lasso在数据滚动预测过程中压缩保留的自变量不一致,导致生产决策者需要花费时间精力快速根据变化的相关关系做出策略调整。本文首次提出了一类衡量模型一致性的指标,并提出了一种具有历史记忆性的自适应Lasso预测模型权... 详细信息

Lasso和自适应Lasso在数据滚动预测过程中压缩保留的自变量不一致,导致生产决策者需要花费时间精力快速根据变化的相关关系做出策略调整。本文首次提出了一类衡量模型一致性的指标,并提出了一种具有历史记忆性的自适应Lasso预测模型权重构造方法,以保证改进的自适应Lasso模型在数据滚动预测过程中的模型一致性。采用蒙特卡洛仿真技术,比较了Lasso、自适应Lasso以及新方法(IA Lasso)在不同残差分布和系数初始估计方法下的模型表现。数值结果说明了IA Lasso在预测性能、Oracle性质以及模型一致性上的优良表现。最后将3类Lasso模型应用到我国主机厂车型实际产量预测中,实证结果表明,IA Lasso模型一致性最高且预测效果最佳,决策者可以依据IA Lasso长期关注固定的相关车型。

关键词：自适应Lasso预测模型 Oracle性质模型一致性

来源：评论

学校读者我要写书评

暂无评论

支持动态变更的柔性工作流模型一致性研究

引用

西南师范大学学报（自然科学版） 2006年第5期31卷 111-114页

作者：杨书新王坚陶亚雄兰天江西理工大学信息工程学院江西赣州341000 上海同济大学CIMS研究中心上海201804 江西赣州市商业银行科技部江西赣州341000

提出了业务流程动态变更的模型一致性检验规则.该规则是建立在对业务流程模型、支持柔性动态变更的业务流程管理模型的描述和分析的基础上的,通过强制约束和检查控制策略来满足一致性规则.

关键词：业务流程动态变更柔性工作流模型一致性

来源：评论

学校读者我要写书评

暂无评论

UML模型一致性检测的研究与设计

UML模型一致性检测的研究与设计

引用

作者：朱晨上海交通大学

学位级别：硕士

随着软件工程的日益发展,UML建模在软件工程中的地位越来越重要,它已成为软件需求分析与建模的主要标准之一。然而由于UML归根结底是一种非形式化的语言,模型的一致性很难保证。目前,大多数UML建模通过人工审查的方式或者集成于UML建模... 详细信息

随着软件工程的日益发展,UML建模在软件工程中的地位越来越重要,它已成为软件需求分析与建模的主要标准之一。然而由于UML归根结底是一种非形式化的语言,模型的一致性很难保证。目前,大多数UML建模通过人工审查的方式或者集成于UML建模工具的检测工具等来检查模型的一致性,这些方式都存在着一定的不足。从理论上说,一致性规则尚且没有一个完整的集合,从哪些方面进行一致性检测是一个值得探讨的问题。本文详细分析了UML模型一致性的主要表现,从模型本身和人为设计过程两方面提出了一致性标准,并归纳了一套一致性检测规则。接着提出了一种UML模型一致性检测方法,这种方法独立于UML建模工具,利用XMI技术和XML向关系型数据库的映射技术,先后通过UML模型到XML模式、XML模式到关系型数据库模式的转化,将UML模型映射到关系型数据库模式。而对UML模型的一致性检测即转换成对关系型数据库记录的查询操作,简化了模型的一致性检测。其中,详细讨论了关键技术和设计步骤:将XML模式映射到关系型数据库模式,关系型数据库存储

关键词： UML 关系型数据库模型一致性一致性检测检测规则

来源：评论

学校读者我要写书评

暂无评论

信息活动视角模型一致性检查方法

引用

信息技术 2021年第3期45卷 143-148,154页

作者：何思嘉樊志强徐珞中国电子科技集团公司第十五研究所北京100083

体系结构建模在大型信息系统架构设计中起到至关重要的作用,而模型一致性检查是保证建模质量的关键。针对网络信息体系架构(Net-Info centric System,NICSs)中的信息活动视角,文中提出一种面向对应关系规则与对应关系的模型一致性检查... 详细信息

体系结构建模在大型信息系统架构设计中起到至关重要的作用,而模型一致性检查是保证建模质量的关键。针对网络信息体系架构(Net-Info centric System,NICSs)中的信息活动视角,文中提出一种面向对应关系规则与对应关系的模型一致性检查方法。首先,对系统与软件工程-架构说明(ISO/IEC/IEEE 42010)进行扩展,构建了用于表达一致性规则的概念模型。然后,对信息活动视角(Information Activity Viewpoint,IAV)进行分析,给出一致性规则的形式化描述。最后,通过实验验证了该模型一致性检查方法对于信息活动视角的有效性。该方法针对其他视角模型具有较强的普适性,为模型一致性检查提供了新的思路。

关键词：模型一致性信息活动视角信息系统

来源：评论

学校读者我要写书评

暂无评论

面向任务的作战系统模型一致性研究

引用

电子科技 2013年第4期26卷 55-59页

作者：张杰燕雪峰南京航空航天大学计算机科学与技术学院江苏南京210016

为检测作战系统中任务模型的一致性,文中基于图文法提出一种形式化的检测方法:把作战系统模型转换成属性图文法,并检测功能需求间冲突和依赖。循环依赖将导致模型无法执行,错误依赖则表示功能需求与动态模型的执行流程不一致。文中对此... 详细信息

为检测作战系统中任务模型的一致性,文中基于图文法提出一种形式化的检测方法:把作战系统模型转换成属性图文法,并检测功能需求间冲突和依赖。循环依赖将导致模型无法执行,错误依赖则表示功能需求与动态模型的执行流程不一致。文中对此提出相应的依赖检测算法,循环依赖检测算法通过深度优先搜索找到依赖关系中的环,错误依赖检测算法通过遍历活动图检测依赖关系与动态模型的执行流程是否一致。最后基于该方法实现了作战系统模型一致性检测系统并结合实例进行验证。

关键词：面向任务需求分析图文法模型一致性

来源：评论

学校读者我要写书评

暂无评论

基于Buchi自动机的UML模型一致性研究

基于Buchi自动机的UML模型一致性研究

引用

2009年中国信息技术应用学术研讨会

作者：张自强何安平刘林霞兰州大学信息科学与工程学院，甘肃兰州 730000

随着UML在系统建模中的广泛使用，模型间的一致性问题越来越突出．目前解决此问题的形式化方法主要是将UML模型转换为现有检测工具的输入语言进行处理．其往往会引入冗余计算及处理语义差异的负载．针对顺序图和状态图的一致性问题，考... 详细信息

随着UML在系统建模中的广泛使用，模型间的一致性问题越来越突出．目前解决此问题的形式化方法主要是将UML模型转换为现有检测工具的输入语言进行处理．其往往会引入冗余计算及处理语义差异的负载．针对顺序图和状态图的一致性问题，考虑到Büchi自动机在刻画反应式系统方面的优势，提出了基于Büchi自动机理论的验证方法。在对顺序图和状态图的处理上，特别是在顺序图的处理上，本文给出了相应的步骤和规则，使得Büchi自动机能够顺利地应用到一致性验证中．

关键词： UML模型模型一致性 Buchi自动机线性时序逻辑

来源：评论

学校读者我要写书评

暂无评论

基于规则的UML设计模型的一致性检验

引用

计算机工程与应用 2006年第25期42卷 1-5页

作者：刘晓建李战怀西北工业大学计算机学院西安710072

统一建模语言(UML)是业界公认的主流面向对象建模语言,为系统开发提供了丰富的建模元素。由于UML不同建模元素之间缺乏准确定义的关系,因此UML模型往往会出现不一致性问题。针对该问题,提出了一种基于规则的检验方法。该方法把UML设计... 详细信息

统一建模语言(UML)是业界公认的主流面向对象建模语言,为系统开发提供了丰富的建模元素。由于UML不同建模元素之间缺乏准确定义的关系,因此UML模型往往会出现不一致性问题。针对该问题,提出了一种基于规则的检验方法。该方法把UML设计模型和一致性条件分别映射为规则系统的事实库和规则库,如果事实库与规则库不匹配,则表示设计模型中存在不一致性。我们使用自主开发的一种“面向对象-规则语言系统”作为检验一致性的规则系统,它集成了面向对象语言和规则语言两种范型,有利于统一使用C++语言来设计并实现一致性检验工具,提高一致性检验效率。

关键词： UML 模型一致性规则系统

来源：评论

学校读者我要写书评

暂无评论

一种基于分支进程的模型一致性分析方法及系统

一种基于分支进程的模型一致性分析方法及系统

引用

作者：蒋昌俊陈闳中闫春钢丁志军王咪咪赵培海 200092 上海市杨浦区四平路1239号

本发明提供一种基于分支进程的模型一致性分析方法及系统，其系统包括模型构建模块、分支进程展开模块、依赖关系确定模块、三维图构建模块以及一致性分析模块。分析方法为：根据用户行为运行轨迹，构建用户交易PN机模型；分别建立用户... 详细信息

标准号: CN105303047B

本发明提供一种基于分支进程的模型一致性分析方法及系统，其系统包括模型构建模块、分支进程展开模块、依赖关系确定模块、三维图构建模块以及一致性分析模块。分析方法为：根据用户行为运行轨迹，构建用户交易PN机模型；分别建立用户交易PN机模型以及预期模型的分支进程展开BPU₁、BPU₂；从行为运行角度，对分支进程展开中的变迁间的行为依赖关系进行分析，确定其行为依赖关系R_i；根据确定的行为依赖关系分别构建两个模型的行为关系三维图；比较分析两行为关系三维图，计算用户行为一致性度，检测用户行为与预期行为的一致程度。采用本分析方法及系统能够对用户交易过程中的行为一致进行判定，以此来判定用户的合法性。

关键词：依赖关系用户交易用户行为三维图分析方法及系统行为关系构建进程判定模型构建模块模型一致性一致性分析比较分析构建模块预期行为运行轨迹合法性分析变迁检测

来源：评论

学校读者我要写书评

暂无评论

基于NLP技术判断用户权限模型一致性的方法及装置

基于NLP技术判断用户权限模型一致性的方法及装置

引用

作者：刘海涛万振华王颉李华董燕吴迪 518000 广东省深圳市龙华区民治街道民乐社区星河WORLD二期E栋401-405

本申请公开一种基于NLP技术判断用户权限模型一致性的方法及装置，方法包括：获取测试应用的请求流量；通过NLP识别请求流量对应的功能模块和功能模块行为动作；获取用户的所有请求的时空分布关系，时空分布关系包括各请求在对应的功能... 详细信息

标准号: CN116502202A

本申请公开一种基于NLP技术判断用户权限模型一致性的方法及装置，方法包括：获取测试应用的请求流量；通过NLP识别请求流量对应的功能模块和功能模块行为动作；获取用户的所有请求的时空分布关系，时空分布关系包括各请求在对应的功能模块的时间分布；基于用户的所有请求的时空分布关系构建用户的行为模型，行为模型包括用户的功能模块集合和功能模块行为动作集合；选择一用户作为参照方用户，计算参照方用户的行为模型与设定的被参照方用户的行为模型的相似度并基于相似度判断参照方用户和被参照方用户的权限模型是否一致，在结果为一致的情况下，则无需再进行垂直越权检测，也可以避免由此带来的误报，同时可以有效提升检测效率。

关键词：行为模型时空分布模块行为模型一致性相似度判断测试应用动作集合关系构建技术判断模块集合权限模型时间分布用户权限相似度检测误报越权垂直申请

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：