排序方式： 共有25条查询结果，搜索用时 31 毫秒
1.
2.
张维石 《小型微型计算机系统》1999,20(7):517-520
本文首先阐述了利用ＤＦＡ模型技术进行状态转换系统描述存在的主要问题,提出了利用代数规约技术解决这些问题的可行性,然后介绍了新一代具有松散语义的代数规约语言ＳＰＥＣＴＲＵＭ及其主要规约操作符的语法和语义,并根据ＤＦＡ模型及其语言的数学定义,给出了它们的结构化代数规约,为基于ＤＦＡ模型的状态转换系统的形式化设计和开发奠定了基础。 相似文献
3.
基于数据仓库连锁店决策支持系统模型的研究 总被引：8，自引：0，他引：8
面对连锁店日益增长的海量数据,给出了一个完整的决策支持系统模型,包括决策支持系统的体系结构、主要功能、OLAP系统与数据挖掘应用的建立,重点论述了连锁店数据仓库的设计与实现过程,并对创建系统模型时应注意的问题做了相应的阐述。 相似文献
4.
构件组装是基于构件的软件开发中的一个重要环节.本文利用线性逻辑描述了具有语义信息的构件结构,描述了独立于具体的计算环境、具有普遍适用性的三种构件组装关系,利用定理证明的方法,根据现存构件的描述和构件组装关系自动生成构件组装的方案,并从被适应的构件描述中推导出复合构件的描述,以提高对构件适应过程的描述和分析能力,为构件组装形式化分析、组装正确性的检验提供了保证,并列出了一些值得进一步研究的问题. 相似文献
5.
基于空间编码的刻面分类构件检索方法研究 总被引：1，自引：0，他引：1
如何从构件库中找到需要的构件,是每个构件库系统需要解决的一个主要问题。论文给出了一种新的基于刻面的构件描述的检索方法,通过对构件库中刻面术语空间的编码,将查询树和构件树之间的树匹配转化为索引串之间的字符串匹配,提高了构件检索效率。该成果已在实际项目中得到应用,并得到验证。 相似文献
6.
构件检索技术是可重用软件构件库的核心技术之一,构件检索成本是重用成本的重要组成部分。多个不同构件库之间实现互通可以有效扩大构件检索范围和提高检索效率。检索条件转换是多构件库检索亟待解决的问题。论文首先分析了检索条件转换的必要性,结合重用者检索构件的流程,提出了多检索方法的检索条件相互转换机制。该机制为实现跨构件库检索奠定了基础,能减少重用者的理解成本,使各种检索方法之间互相取长补短,提高检索的查全率。 相似文献
7.
UML在Web组件建模中的应用研究 总被引：3，自引：0，他引：3
基于Web的应用越来越受到人们的欢迎,对Web应用进行有效的建模成为Web应用成功与否的重要因素之一。统一建模语言(UML)是一种用于可视化、说明、构建并文档化软件系统的标准建模语言,该文首先简要介绍了UML的产生背景以及UML的各种框图,在此基础上提出了利用UML的扩展构造基于Web的应用程序。 相似文献
8.
随着社交网络的快速发展、社交网络用户规模的不断扩大,如何为用户推荐感兴趣的信息变得越发困难。传统的推荐方法利用用户兴趣的历史数据来预测用户未来感兴趣的项目,忽视了社交网络中的信任关系,导致推荐方法的推荐质量不高。针对上述问题,提出了基于社会信任潜在因子模型的推荐方法。该方法引入社会信任来度量社交网络中朋友之间的隐含信任关系,根据社会信任程度来选择用户信任的朋友,对用户信任的朋友与目标用户的共同兴趣进行潜在因子分析,构建基于社会信任的潜在因子模型,实现目标用户的前k个项目推荐。真实数据集上的对比实验结果表明,基于社会信任潜在因子模型的推荐方法在推荐质量上优于现有的推荐方法。 相似文献
9.
Web服务通过组合基本服务为解决复杂问题提供了方法,于是近年来越来越受到关注。当前交互式下的Web服务在实际组合中还存在诸多问题,其中就包括Web服务组合验证问题。运用Pi演算对航空订票业务的Web服务进行形式化建模,改进基于Pi演算的推理,提供一种验证多个Web服务组合是否兼容的方法。为证实该验证方法,进一步采用MWB工具展示了Web服务组合兼容性的验证过程。 相似文献
10.
仿真模型重用方法综述 总被引：3，自引：1，他引：2
仿真模型重用是当前仿真领域的热点研究问题,在复杂系统建模与仿真中有着广泛而现实的需求.实现仿真模型重用,一方面要提高建模人员面向重用进行建模的意识,更重要的是提供支持模型重用的技术途径.将当前支持仿真模型重用的方法归纳为多阶段建模方法、基于模型框架的方法、基于模型与模型表示的规范化与标准化方法、综合使用上述方法的综合集成方法,分析说明了每种方法的基本思想、重用原理和实现途径.仿真模型重用是一个系统工程,贯穿于模型研制和使用的各个阶段,采用综合集成方法是实现仿真模型重用系统化和工程化的必须和必然. 相似文献
