UML模型到B抽象机的转换和实现

统一建模语言UML广泛用于面向对象技术的建模,B方法主要是用抽象机来描述软件系统的规格说明.文章针对软件开发中经常用到的UML模型,提出了基于B语言的UML形式化方法:通过将UML模型转化为B抽象机,实现了UML模型的形式化.实例分析表明,转换是可行的.     

两阶段法求解1.5维切割问题

切割问题亦称为下料问题.多维切割问题是机加工、木材加工和造纸等行业在生产中经常遇见的实际问题.1.5维切割问题是介于一维和二维切割问题之间的一类问题.针对1.5维切割问题的特殊性,采用两阶段方法进行求解.第一阶段是将1.5维切割问题转化为一维切割问题,第二阶段首先利用一种启发式算法得到一组初始解,然后使用粒子群算法对初始解进行优化,得最终解.     

ASP.NET中数据分页技术的研究*

数据分页是Web应用程序开发中经常使用的一种技术,也是提高Web数据访问性能的主要手段.结合ASP.NET的优点,详细分析了ASP.NET中各种数据分页技术,并通过分析试验结果比较了各种数据分页技术的优缺点.     

基于资源等待图的死锁检测算法

死锁是操作系统、数据库系统以及通信网络中经常出现的现象.分析了使用资源分配图和进程等待图完成死锁检测的不足,提出了资源等待图的概念,并给出了基于资源等待图进行死锁检测的方法,该算法能够完成当资源类含有多个实例时的死锁检测.     

浅议嵌岩桩施工中的几个问题

随着经济建设的迅速发展,不少高大建筑物大多采用嵌岩桩基础施工.从对现有建筑物基础检测结果来看,嵌岩桩施工中经常出现一些问题,从而影响基础的质量.本文主要探讨嵌岩桩施工中常出现的问题及解决措施.     

Excel VBA在矿山测量中的应用

以矿山测量工作中经常进行的井下经纬仪导线测量计算为实例,详细介绍了Excel VBA的使用方法及其优越性,并列出该计算全部有效的程序编码.     

锚杆支护技术在巷道过煤层施工中的应用

祁东煤矿为煤层群开采,各采区主要巷道采取联合布置,因此岩巷施工过程中经常存在揭、过煤层现象.在揭、过煤层施工期间采用U29型栅刚性被动支护不仅施工进度慢,支护费用高,而且巷道压力大,应力集中,支护困难,往往造成巷道前掘后修或多次翻修的局面,给安全生产带来了严重的威胁.针对这一难题,我们进行巷道过煤层期间采用锚杆支护技术的可行性研究并取得成功.     

浅谈建设工程招投标

建设工程招投标是改革发展的产物,在成长过程中经历着这样那样的阻力和困难,根据学习和实际工作经验,分析有关招投标的几个具体问题.     

现代影视制作系统中的影调传递

随着数字技术的不断发展,数字影像从拍摄、后期处理到最终呈现在观众面前所经历的过程越来越复杂,影调在传递过程中经常被拉伸、压缩或者移位.     

四部分类法源于郑默《中经》说详证

本文在详细分析《中经》《中经新簿》编撰的历史缘由和四部分类法源于郑默说的基础上,深入分析已掌握的历史史料,认为四部分类法源于郑默《中经》更为可信。