形式化定义相关论文
REST接口技术在互联网Web应用和网络管理领域中已经逐渐成为主流接口实现技术,并且国际标准化组织也在制定基于REST技术的相关标准......
统一建模语言(UML)是对象管理集团(OMG)的标准，是一种用于对软件密集型系统以及商业建模和非软件系统进行可视化、详述、构造和文档......
软件再工程作为能够增进对现有软件的理解，改进软件自身质量以提高其可维护性、可复用性和可演化性的一类活动，在软件工业中占据了越......
软件工程中，软件维护是改进与增强已发布软件的过程。软件维护阶段修改软件以改正缺陷与不足，并添加新的功能来增强软件的可用性与适......
中文领域术语自动抽取是中文信息处理中的一项基础性课题,在很多领域都有很重要的作用。如自然语言生成、计算词典编撰学、句法分......
石油钻井物料消耗投资大、管理控制难,本文提出应用企业资源计划系统中物料清单方法,建立适用于石油钻井物料管理与控制的石油钻井......
文章总结归纳了群体协作的研究现状及所面临的信任问题,分析了现有动态信任模型存在的不足,通过引入数据溯源理念,构建了群体协作......
<正>选题确定方向,要综合考虑,量力而行;设计展现教学理念和教学思想方法;教学考验实施和课堂驾驭能力;自述是对教学的深入反思和......
进入90年代，Agent的研究蓬勃兴起。它涉及到分布式人工智能、软件工程、并行与分布式计算、网络与Intranet、虚拟现实等多个领域。......
时空数据具有多维关联特性,而深度学习恰恰因其能够对复杂高维数据进行高层抽象处理而备受关注.本文依据轨迹数据特征给出其形式化......
本文首先把制度定义为经济系统对它的经济元及其子系统的约束和影响(称为制度要素),以及这些不同的约束和影响之间的关系构成的有......
BOM是企业里不同部门、不同流程间传递数据的基本形式.由于企业内各部门的需求不一样,为满足不同的需求,企业内存在众多的BOM型式,......
面向对象的数据库管理是将面向对象方法与先进的数据库技术相结合而形成的新一代数据库系统.指出了一个对象查询语言POQL的设计方......
提出了一种带有动态数量群管理员的群签名方案,解决了在开放网络环境某些应用中,群管理员不能完全信任的问题。该方案签名长度比较......
为了降低授权的管理成本,基于用户分层的思想,提出了用户层次化的授权管理模型,即AHURBAC,通过将用户和管理员分层降低了管理成本......
随着社会上软件数量的不断增多,软件系统的功能稳定性、系统可靠性、功能的健全性、系统的健壮性等属性信息逐渐被用户及相关单位......
在RBAC为基础上提出了工作流访问控制模型OBAC.对此模型进行了形式化定义.应用OBAC可以更容易地管理和实现工作流的访问控制,模型......
随着经济的发展和市场竞争的加剧,企业必须能够快速且准确地满足市场和用户的各种需求。Web服务组合正是由于单个Web服务不能满足......
本文提出了一种新的面向对象设计方法,即行为抽象方法,分析了其原理、适用性和效果,给出了行为抽象的形式化定义,研究了行为抽象与......
事件发生使得系统状态进行转移,事件历史中事件变更对时态数据库具有很重要影响.文章通过对时态数据库和事件的形式化定义和规范化......
针对近几年在语义web服务自动组合上的研究成果，深入归纳和总结了目前语义web服务组合的定义、组合方法以及正确性验证技术。对语义......
当前,概念教学中有些现象很令人担忧：教师重解题技巧,轻概念生成,追求概念教学最小化和习题讲解最大化;学生认为概念学习单调乏味而......
如何对消息进行定义及使用,是电力客户服务系统的核心部分.通过对该系统消息机制的说明,阐述了整个系统核心部分的发展方向.过程模......
文章主要研究针对MCC-SIMD计算机的数据并行计算，如何进行简洁、明晰、可读性强的描述问题，提出了一种严谨的描述方法，并进行了形式化......
制造资源建模是实现网络化制造目标的前提和基础。首先对网络化制造资源建模进行需求分析；其次从资源分类、逻辑层次和形式化定义等......
针对Web服务组合问题,提出一种基于先进先出通信通道的Web服务组合模型,支持Web服务的层次性组合。给出了该模型的形式化定义及Web......
需求建模是需求工程的关键一环,以基于本体的需求获取和分析为背景,尝试将多视点方法应用到基于本体的需求建模过程中,从多个视点......
“THEOL”教务管理系统整理了20个可检测的教学事故，并对其做了形式化定义，当预警系统检测到该条件满足时．则向相应的管理人员提出警......
作为普通的数字签名的一种变形，代理签名允许一个代理签名人代替原始签名人进行签名．代理多重签名是代理签名的一种扩展形式，它允许两......
关于数学欣赏,国内发端于徐利治先生,大力倡导者为张奠宙教授.如今谈数学欣赏的文章多起来了,不过所谈数学欣赏,多为什么美呀、真......
对已经提出的网络可生存性定义进行了分析与研究,归纳并总结了网络可生存性的关键要素,然后基于这些要素给出了一个网络可生存性的......
在逻辑程序LP、归纳逻辑程序ILP及其他系统中都涉及封闭世界假设和开放世界假设。由于学科之间的差异性，或者说侧重点不一样，假设的......
函数概念是中学数学的核心概念，在新课程理念下立足高中数学教学的整体、深入研究函数概念教学具有理论和实践的价值．基于学生对函数......
BOM是企业里不同部门、不同流程间传递数据的基本形式 .由于企业内各部门的需求不一样 ,为满足不同的需求 ,企业内存在众多的 BOM......
<正>函数单调性概念是高中数学中重要的概念之一,函数的单调性也是是函数最重要的性质之一.函数的单调性是研究函数、把握函数图象......
<正>人教社章建跃博士多次强调:数学教师必须特别重视概念的教学,学生的概念理解和应用水平是衡量教学质量高低的最重要标准.然而,......
静态分析方法被广泛用于Android应用的隐私泄露检测,其以(Source,Sink)对形式检测潜在漏洞,但同时会产生大量虚警。针对该问题,提......
用Petri网对联锁系统中的核心部分--联锁机中的联锁软件进行形式化定义和分析,以减少联锁系统中的不确定性因素,降低联锁软件的复......
虽然新课改之后的课堂教学发生了不少可喜的变化，但受传统的教学观念、教学方式以及应试教育等诸多因素的影响，一些教师在实施课堂教......
提出一种柔性化工作流的形式化定义,给出了柔性化工作流系统模型和OA应用系统的实现.工作流柔性化设计提高了系统灵活性和实用性.......
针对功能点分析（FPA）方法因缺少精确化定义而导致度量结果与实际之间有一定偏差的问题,基于B方法对FPA的度量规则进行形式化定义,即......
摘要：数据结构是计算机相关专业的核心课程。由于该课程涉及到的模型众多，具有算法难度大、模型不易掌握、编程工作量繁重等特点，因此......
个性化推荐是解决数字图书馆资源"既多又少"矛盾的有效途径,分发模式是个性化推荐研究的重要内容。本文系统研究了数字图书馆资源......
