刘剑
- 作品数：8 被引量：1H指数：1
- 供职机构：云南大学更多>>
- 发文基金：云南省自然科学基金更多>>
- 相关领域：自动化与计算机技术经济管理理学建筑科学更多>>
- 昆明市公路工程质量检测中心发展调研报告
- 随着我国加入WTO,建筑业作为我国经济的支柱产业,建筑检测机构成为独立的服务行业中介机构已大势所趋,对于过去长期处于地区性垄断状态的各地建筑检测机构带来的是前所未有的冲击与挑战。工程质量检测市场的逐步开放,竞争越来越激烈...
- 刘剑
- 关键词：工程质量
- 文献传递
- 基于代数系统网络和Unity逻辑的并发系统规约及证明方法
- 该文中,研究人员提出了一种二元的方法用来对并发系统进行建模和推理证明.在该方法中,研究人员将Petri网和时序逻辑结合在一起.其中,Petri网模型用来对并发系统的行为和结构进行建模和规约,而时序逻辑则用来形式化的表达和...
- 刘剑
- 关键词：并发系统
- 文献传递
- 一种并发系统的规约方法被引量：1
- 2000年
- 提出了并发系统的一种规约方法．这一方法可用于对并发系统进行建模和对模型的验证．将形式化工具融入到一种二维的规约方法中，这样就能使形式化工具更易于应用到并发软件的开发过程中．此外，还提出了一种并发系统的形式化抽象模型．
- 刘剑李彤
- 关键词：并发系统形式化规约面向对象软件开发方法
- 一种并发软件规约方法的构架
- 2000年
- 1 引言构架(framework)作为一种解决特定应用领域软件开发的方法而越来越广泛地为人们所接受。它为特定领域中的应用系统提供了可重用框架,即通过抽象相关应用系统的共同特征,为这类系统提出了一种通用的体系结构,这一结构通常由模块。
- 刘剑李彤
- 关键词：软件开发方法PETRI网
- 江西广播电视台广播节目考评系统的研究与分析
- 在经济社会高度发展的今天,各类媒体充实、改变着我们生活。作为“永不消逝的电波”—广播亦是如此。从诞生的那一刻起,丰富多彩的广播节目一直是大众休闲娱乐、掌握信息的主要渠道,甚至是一种战略资源。在如今全球传媒产业发展迅猛的年...
- 刘剑
- 关键词：广播节目考评系统
- 文献传递
- 昆明市黑龙潭岩溶泉水文特征研究
- 在岩溶地区,岩溶水往往通过岩溶泉的形式集中排泄到地表,但由于岩溶含水层的复杂性和特殊性,缺乏系统连续的观测资料,传统的地下水观测方法不能及时反映其水文变化规律,这给岩溶泉的研究带来了一定的困难。
通过引进多参数水质...
- 刘剑
- 关键词：水文特征自动化监测降雨强度
- X建筑施工企业工程质量追溯体系构建研究
- 近年来,由于越来越多的建筑出现质量问题,建筑物坍塌毁坏事故时有发生,直接导致了人民的生命安全以及财产安全得不到保障并受到损失,而之所以会发生这些问题,都是因为目前这些建筑在施工的过程中存在着一系列包含管理技术方面的隐患与...
- 刘剑
- 关键词：工程质量
- 文献传递
- 一种移植串行系统到并行环境的MSP方法
- 2000年
- 提出一种把串行系统移植到并行处理环境的工程化方法MSP(MigratingSequentialsystemtoParallelenvironments) .它分为 3个阶段 :分析阶段获取串行系统的设计描述 ,综合阶段根据分析阶段获得的设计描述生成程序相关图 ,转换阶段根据分析阶段与综合阶段的结果得出原系统的并行设计描述 .该方法弥补了传统转换方法片面集中于代码到代码的转换 ,对原程序总体设计理解不够而导致转换结果出错的不足之处 ,借鉴了软件工程的思想 ,给出一个清晰可控的转换过程 ,提高了转换结果的质量 .
- 金钊李彤柳青和伟民刘剑
- 关键词：工程化方法MSP
