共查询到20条相似文献，搜索用时 31 毫秒
1.
杨小明 《湖州师范学院学报》2007,29(1):53-58
安全模型是安全系统开发的基石,而形式化方法则为准确理解安全模型提供了高保障依据.形式语言Z对经典的多级安全模型BLP模型进行了规范描述,并验证了模型的正确性,为安全模型的形式化建模提供了方法和依据. 相似文献
2.
3.
本文介绍和分析了传统的Jakes模型,提出了改进的Jakes模型,建立了改进的Jakes模型的数学模型,并行对改进的Jakes模型进行了仿真.仿真结果表明改进的Jakes模型在计算复杂度和统计独立性方面比最初的Jakes模型更加有效. 相似文献
4.
基于黄金分割律的设计理念,应用目标规划的方法建立了易拉罐形状和尺寸最优设计的简化模型与改进模型,以拉格朗日乘数法求解了简化模型,利用mathematic求出了改进模型数值解,并通过测量数据进行了验证. 相似文献
5.
通过对当前工作流模型研究现状的总结分析,发现针对工作流中的数据信息的建模方法还存在局限性。因此,通过结合过程模型和数据对象模型,提出了一种扩展数据对象工作流Petri网模型,并给出了模型的形式化定义。 相似文献
6.
统一建模语言(UML)是一种可视化的面向对象的建模语言,具有强大的建模能力。探讨了UML在网络实验管理系统项目中的应用,采用ROSE构建了系统的需求模型、对象结构模型、行为模型、体系结构模型以及多线程控制模型。 相似文献
7.
微服务架构以其先进的架构风格将应用分割成细小的服务,而MDA（Model Driver Architecture）集成化的模型开发方法也为解决软件开发效率和可移植性问题提供了实现机制。结合模型驱动实现了微服务架构建模开发,将微服务建模分为概念模型和交互模型两个过程。基于交互流建模语言定义概念元模型,设计了模型转换方法,将概念元模型映射到交互模型,并根据其提供的组件设计出一种微服务模型重用机制,提高了开发效率。最终的交互模型以图形化方式显示,提供了直观的模型视图。 相似文献
8.
软件开发模型是对整个软件开发活动的总结,明确了开发活动步骤,用于指导软件开发。通过对瀑布模型、原型模型、增量模型和螺旋模型的研究,针对其局限性进行分析,发现其中缺陷,并提出一种新的软件开发模型——组合模型。该模型以增量模型为基本框架,添加了风险分析、专家知识库以及与测试有关的基本信息。将该模型在项目中验证,结果表明,该模型开发周期短,需要人力少,有效提高了软件开发效率,节省了大量人力、物力资源。 相似文献
9.
四种经典的PDE模型在图像复原方面的应用研究 总被引：1，自引：0，他引：1
分析了P.Perona和J.Malik模型、全变分模型、平均曲率流模型和方向扩散模型在基于偏微分方程(PDE)的图像复原方面的性能,并通过实验展现了各模型的优缺点. 相似文献
10.
本文建立了物流中心选址双层规划模型,同时考虑到模型求解的需要,设计了模型的遗传算法求解算法,最后通过一算例验证了模型及其算法的可行性。 相似文献
11.
模型驱动架构(MDA)为软件开发提出了一种新的途径,MDA以模型驱动为核心,平台无关模型到平台相关模型的转换是MDA的关键技术.本文以MDA为基础,针对Web应用系统所包含的功能模型、对象模型、交互模型、界面模板、体系结构信息等五大块,提出了一种基于模型转换的代码自动生成技术,详尽描述了从高层模型到目标框架的映射关系,为基于J2EE平台的WEB应用提供了一种新的代码自动生成方法. 相似文献
12.
13.
为了能够快速实现“云＋端”系统种类繁多的客户端,提高系统的开发效率和模型的复用性,提出了一个基于改进的MVC模式的模型驱动开发方法IMVC—MDD,并对该方法进行了形式化描述。IMVC-MDD基于改进的MVC模式将系统模型细分为可并行开发的GUI模型、业务模型、数据模型和通用系统功能模型,使用wnTdNet本体保证模型合成时的一致性。细分模型使得各个子模型可以并行开发,从而提高建模效率和质量,获得更好的系统复用性和可移植性。实际应用验证了该方法的有效性。 相似文献
14.
李环 《周口师范学院学报》2008,25(5)
分析了面向值的模型和面向对象的模型的各自特点,提出了根据数据抽象来构造分层模型的思想,建议采用程序变换的思想实现不同层模型之间的转换,采用部分实现的思想提高模型转换的效率,这些思想的结合便形成了一种面向模型转换的软件开发方法. 相似文献
15.
苏连塔 《泉州师范学院学报》2013,31(2):15-19
探讨了广义线性模型中的log—linear模型在三维列联表中独立性模型建模的应用．首先利用Fisher-scoring算法得到了log—linear模型中回归参数的最大似然估计,并给出了模型的拟合优度检验办法;其次介绍了三维列联表中三种属性的独立性类型及它们的log—linear模型,并将其应用于具体实例,改善了现行方法中的不足． 相似文献
16.
基于美国AIDS医疗试验机构ACTG公布的ACTG320和193A两组数据的统计分析,分别建立了回归模型(模型Ⅰ,模型Ⅱ),对各方案的治疗效果作出了较好的预测与评价,并确定出较优疗法的最佳治疗时间;在模型Ⅱ的基础上,又引入了费用这个因素,运用加权平均值的方法(模型Ⅲ),给出了最佳治疗方案。 相似文献
17.
土地利用动态变化的模型分析 总被引：3，自引：0，他引：3
主要归纳了目前在研究土地利用动态变化中广泛采用的一些数学模型,并分析了每种-模型的涵义.按照模型表达内容不同,将其分为土地资源数量变化模型、土地资源质量变化模型、土地资源空间变化模型三大类,总结了每类模型的特点和不足之处. 相似文献
18.
本文介绍了基于Web Service的工作流系统的结构以及工作元模型的相关概念,着重分析了几种具有代表性的工作流元模型,最后探讨了工作流元模型的改进方法。 相似文献
19.
20.
并发系统的模型是其性能评价、仿真、作业调度及控制的研究基础。互斥是并发系统最重要的性质之一,建立了具有互斥约束系统的一般数学模型———互斥模型。将模型互斥性分解为安全性、活性和无阻性约束,形式化规约成LTL公式;给出了基于不动点的互斥模型的模型检测算法。并结合实例进行了互斥模型的形式化验证,给出了模型精化改进的详细过程。随着并发系统进程增加,不动点模型检测算法会面临状态爆炸问题,给出了另一种基于布尔公式的BDD(二叉决策树)运算下的符号化模型检测方法,有效地缓解了状态爆炸问题。 相似文献