排序方式: 共有74条查询结果,搜索用时 15 毫秒
1.
本文介绍在Turbo Pascal中扩充的模块设施及其结构编辑系统,这个系统支持由顶向下逐层细化的模块程序设计技术。实现的方法是在Turbo Pascal系统中嵌入三个功能块:模块予处理、结构编辑和优美的显示与打印。 相似文献
2.
螺丝湾压力斜井承受47 .0~203.8 KPa 内水压力,鉴于山坡陡峻、地形完整,满足最小复盖厚度准则,满足最小地应力准则,设计取消了传统的钢衬设计,采用了钢筋混凝土衬砌设计,实践证明是成功的 相似文献
3.
4.
在数据仓库的实化视图维护处理中,如何有效地处理并发更新是一个重要而又棘手的问题.文中阐述了P2P环境下模式与数据全面并发的典型情形,分析了因并发更新而导致视图维护异常的原因,针对这些不同的方面提出相应的纠正策略.给出了一种基于时态演算的并发更新侦测方法,以及混合更新下对关联更新进行检测的有效算法,最后提出了解决乱序提交问题的增强代理机制,确保了数据仓库与数据源的一致性. 相似文献
5.
一种扩展了价格信息的时间Petri网 总被引:11,自引:0,他引:11
性能和成本分析是业务流程建模的主要目的,扩展了时间信息的Petri网能够有效地进行性能分析,但是对成本分析却无能为力.提出一种扩展了价格信息的时间Petri网--价格时间Petri网.首先为时间变迁扩展价格参数,并使用价格时间变迁系统给出价格时间Petri网的语义;然后提出计价状态类的概念,并证明为状态类扩展累积成本的合理性和完备性;进而给出一种算法来证明有界价格时间Petri网的最小成本可达问题是可判定的;最后给出一个应用例子并得出结论:为时间Petri网扩展价格信息并将其应用于业务流程管理领域是可行的. 相似文献
6.
类型系统是研究面向对象技术形式理论基础的重要工具 类型系统λω×≤ 是一个带高阶子类型关系的多态类型系统 ,对其性质和范畴论语义模型进行了研究 在此基础上 ,讨论了如何以类型系统λω× ≤ 为工具 ,研究对象、类、继承等面向对象技术的基本概念的形式语义 结合类POINT和CPOINT等例子 ,讨论了基于递归类型和基于存在类型的两种对象表示方法 ,并对它们的特点进行了总结与比较 相似文献
7.
8.
类型系统λω×≤的PER模型 总被引:7,自引:7,他引:0
类型系统是近年来理论计算机科学的研究热点之一 .1999年周晓聪曾在文献 [1]中提出并研究了类型系统λω× ≤ 及其性质 .类型系统λω× ≤ 是λω×的扩充 ,引入了子类型关系和受限的全称类型 .与 System F的各种扩充相比 ,它区分各种上下文 ,使得规则和性质的研究更为清晰 .研究该类型系统的 PER模型作为其语义解释 ,并说明该模型的合理性 相似文献
9.
10.
软件行业估算追踪记录显示软件项目的失败率仍很高,估算问题是基本的原因之一.估算方法的创新没有出现期望的突破,而通过可控的过程,可以获得期望的结果.提出了一个过程模型,用于指导软件项目展开一系列估算相关的活动.该过程模型包括两部分,一是RUP估算过程,其详细描述了RUP开发模型里每个开发管理阶段应如何进行估算;二是用贝叶斯网络对RUP估算过程模型建立图形化推理模型,它能有效地用于估算分析、交流、权衡以及风险预测等.RUP估算过程解决了估算活动的定义问题,但不便于形成清晰的估算视图.软件估算的特点很适合用贝叶斯网络进行建模.贝叶斯工作量估算模型是RUP估算过程模型的抽象;ESFQ模型详细建模了软件项目关键因素之间的权衡关系.案例分析证明了该过程模型的适用性. 相似文献