论文研究 基于Spin的UML状态图模型检查的设计与实现.pdf
用户评论
推荐下载
-
论文研究基于类别空间模型的文本分类系统的设计与实现.pdf
从理论和应用的角度对文本信息的分类方法进行研究,提出类别空间模型的概念,用于描述词语和类别之间的关系,并实现了基于类别空间模型的文本分类系统。通过实验表明,该系统有效地提高了文本分类的正确率。
34 2019-09-05 -
论文研究基于消息的可变业务流程模型的设计与BPEL实现.pdf
为适应流程重组过程中灵活可变的业务流程模型,基于一个面向流程变化的业务流程模型PVSOM(process variety-oriented software model),针对其变化性进行了基于消息的
8 2020-07-16 -
论文研究基于群体特性的用户兴趣模型研究与设计.pdf
基于群体特性的用户兴趣模型研究与设计,白瑾,刘东飞,目前,为提高搜索引擎查询准确率,用户兴趣模型已经成为研究热点。本文在对搜索引擎框架进行分析研究的基础上,提出基于群体特性
36 2019-09-21 -
论文研究ERBAC模型的改进与实现.pdf
阐述了RBAC96模型在实际应用中存在授权、访问规则、细粒度访问控制等方面的不足,分析了基于角色对用户和角色混合授权的ERBAC模型的不足,提出了一种改进ERBAC模型,使其授权更加灵活,安全性更高,
14 2020-07-16 -
动态加载CBitmapButton的四副状态图
在MFC中,要使用图形按钮,一般会选择CBitmapButton类,使用CBitmapButton类可以设置按钮的Normal、Selected、Focused和Disabled四种状态的bmp图像,
14 2020-11-30 -
UML状态图的实用CC设计中文版第二版完整版
UML状态图的实用C/C++设计 中文版第二版(完整版),软件架构的好书,设计复杂嵌入式(单片机)软件必备
36 2019-02-17 -
在线考试系统含UML课程设计rational rose用例图活动图状态图等等
rational rose用例图,活动图,状态图等等
46 2018-12-25 -
论文研究基于UML与CCSP的产品配置方法.pdf
为了有效开发易维护可重用的产品配置模型以及实现配置问题的快速求解,提出了结合面向对象建模技术与条件约束满足问题理论的产品配置方法。给出了条件约束满足问题理论模型;提出了基于统一建模语言和条件约束满足问
20 2020-02-22 -
论文研究基于技术接受模型的老年人门户设计与实现.pdf
针对现有互联网应用更多侧重于青少年而面向老年人特别是中国老年人的研究相对较少、已有老年人互联网应用实践均将老年人作为一个孤立群体看待的问题, 根据中国老年人的特点提出了老年人门户概念, 基于技术接受模
4 2021-04-22 -
研究论文基于C S模型的智能交通系统设计与实现.pdf
基于交通监管实时性、远程化、智能化等性能指标要求,设计并实现了一款基于DSP和C/S(client/server)模型架构的智能交通系统.在分析现有智能交通系统发展现状的基础上,以TMS320DM64
6 2021-04-16
暂无评论