【摘 要】
：
IDEF0方法是结构化系统分析的重要方法,但IDEF0模型是静态的功能模型,不包含运行机制,不便于进行动态分析,导致对模型的验证较为困难.本文建立了IDEF0模型的形式化描述,并对I
【机 构】
：
国防科技大学信息系统与管理学院信息系统工程重点实验室
论文部分内容阅读
IDEF0方法是结构化系统分析的重要方法,但IDEF0模型是静态的功能模型,不包含运行机制,不便于进行动态分析,导致对模型的验证较为困难.本文建立了IDEF0模型的形式化描述,并对IDEF0模型进行了扩展,提出IDEF0模型到离散事件系统规范( DEVS)模型的转化方法,通过DEVS的仿真运行来对IDEF0模型进行分析和验证.该方法实现了IDEF0方法中系统分析与模型验证的有效衔接,具有扩展性和灵活性,为IDEF0模型的验证提供了支持.
其他文献
如何有效地对网上信息进行采集和组织,以便于检索和应用,已成为图书馆员在网络时代遇到的新挑战。要重新定义信息资源的收集、组织和检索理论,需要产生新的工作平台和标准,对
随着科技的进步,小学美术教学电教技术得到了前所未有的发展。本文正是以此为研究对象,详细分析了小学美术教学中多媒体电教技术的应用。希望本文的研究可以给小学美术教师的
20世纪60年代,在结构主义语言学的影响下叙事学兴起。它借助语言学的方法,以文本分析为基础,力图找出分析叙事文本的一整套模式和定律,从而将文学研究变为一门操作性、应用性
随着武汉市连续运行卫星定位系统的投入运营,武汉市的平面控制得到了极大的改善。该文以某大型房地产开发项目的规划验收为例,介绍连续运行卫星定位系统在武汉城市规划和城市测绘中的实际应用情况。
幽默是以语言为媒介,根据特殊语境,运用轻巧而诙谐的语调,暗示说话者的意图,达到艺术的效果.本文运用预设理论从语用角度分析言语幽默的生成、理解与欣赏.
英语中的it用法广泛灵活,因此学会正确使用it是很有必要的。本文就it的一般用法和特殊用法作简单的归纳小结。
It is widely used in English, so learn to use it correctl
针对常规透射声波层析成像重建算法,在射线稀疏情况下分辨率低以及多解性强等问题,该文提出了一种新的模型描述方法,使待反演的模型描述参数少又能精细描述模型,从而降低了多
本文在实践调查的基础上,总结了浙江省农村新型合作体系改革实践探索,评估了改革实践的效果.通过借鉴东亚地区农村合作组织模式,提出了建设综合性合作组织体系和专业合作组织
[目的]研究不同水分条件下NO3--N供应对武育粳3号水稻生长及氮素吸收速率的影响.[方法]采用室内营养液培养试验,聚乙二醇(PEG6000)模拟水分胁迫处理的方法.[结果]在正常水分
针对复杂产品基于已有知识实现快速设计问题,对产品设计、分析仿真和协同优化过程中模型和知识的重用进行了深入分析,提出了支持新产品开发的可重构虚拟样机构建方法。通过对