一种检查层次式有穷状态机一致性的方法

本文介绍了一种层次式有穷状态机（HFSM）的代数表示,并在此基础之上提出了HFSM的一致性检查方法。这种检查方法主要用于检测HFSM中的不确定性状态转换和不可达状态。     

测量学精品课程建设的目标与措施探讨

提出将测量学建设成精品课程的构想，精心设计并详细探讨了测量学精品课程建设的总体目标和具体实施方案，同时指出了本课程建设的创新与特色之处．     

嵌入式实时系统的软件需求检测

以需求描述模型HRFSM(hierarchical finite state machines based on rules)为基础,提出了一个嵌入式实时系统软件的动态执行模型(dynamic execution model,简称DEM)和基于该模型的检测方法.由于DEM能将控制流、数据流和时间有效地集成为一体,故提出的检测方法能检测嵌入式实时系统的软件需求的一致性和完全性.该检测方法由3种侧重点不同的检测形式组成,并能在检测过程中提供一些重要的检测信息.分析员可以利用基于该检测方法的工具灵活地对嵌入式实时系统的软件需求进行检测,以提高分析和检测软件需求的效率.     

实时应用软件扩展,优化及实现

本文介绍了实时应用软件为适应新的要求所进行的维护和扩充，提出了在测量设备改造、信息交换约定变化较大的情况下，实时应用软件扩展、优化的方法，以及软件编制实现过程中遇到的问题和解决的办法。     

地形图、地籍图和房产图常用图式符号的比较分析

本文针对地形图、地籍图和房产图常用图式符号的异同进行比较分析，建议采用统一的图式符号，以便于测图、读图和用图。     

现代土木工程测量课程教学改革新思路

土木工程是一门范围广阔的综合性学科。新的世纪 ,新的形势 ,新的专业设置 ,给土木工程学科带来了新的发展机遇 ;新仪器、新技术、新方法 ,赋予测绘科学新内涵 ;新环境、新要求 ,带给测量课程教学改革新思路。     

价值工程在工程测量中的应用

价值工程,又称价值分析,是近几年来应用比较广泛的一种技术分析方法。它以功能分析和成本分析为核心,以提高测绘产品的实用价值为目的,力图以最低的成本支出,实现一定的必要功能,从而寻求技术和经济之间的最佳匹配。本文就价值工程在建筑工程测量中的应用略陈管见,以就教于读者。 1 价值工程的基本原理 价值工程中的“价值”不是政治经济学中的价值范畴,而是指测绘产品的功能或效用与为获得此种功能所支出的成本或费用的比值,可用下式表示: V=F/C 式中V—价值;F—功能或效用;C—成本或费用。 价值工程就是根据上述公式去寻求功能和成本的最佳匹配,尽可能减少不必要的生产费用。所谓不必要的生产费用,是指测绘生产过程中发生的既不提高测绘产品功能,也     

PPP项目招投标阶段风险分担研究

在对PPP项目招投标阶段主要风险因素识别的基础上,依据风险分担的公平原则、风险成本最小原则、风险收益对等原则、过失原则,得出PPP模式项目招投标阶段风险分担结果:政治风险由公共部门承担,道德风险由导致者承担,工程投标风险由社会投资者承担,经济风险由双方共同承担。