王远
- 作品数:17 被引量:37H指数:3
- 供职机构:清华大学更多>>
- 发文基金:国家自然科学基金中国博士后科学基金国家高技术研究发展计划更多>>
- 相关领域:自动化与计算机技术建筑科学经济管理水利工程更多>>
- 岩土真三轴仪的试样密封装置
- 本实用新型涉及一种岩土真三轴仪的试样密封装置,其包括左试样帽、右试样帽以及异形橡胶膜。所述左试样帽设置有一通孔,所述右试样帽设置有一通孔。所述异形橡胶膜由试样收容橡胶膜、左试样帽收容橡胶膜以及右试样帽收容橡胶膜构成,所述...
- 王远于玉贞孙逊吕禾
- 文献传递
- 岩土真三轴仪的试样密封装置以及密封方法
- 本发明涉及一种岩土真三轴仪的试样密封装置,其包括左试样帽、右试样帽、异形橡胶膜以及一装样框架。所述左试样帽设置有一通孔,所述右试样帽设置有一通孔。所述异形橡胶膜由试样收容橡胶膜、左试样帽收容橡胶膜以及右试样帽收容橡胶膜构...
- 王远于玉贞孙逊吕禾
- 文献传递
- 工作流系统时间异常处理研究被引量:5
- 2007年
- 为有效地处理工作流运行中出现的时间异常,分析了工作流系统对时间异常处理的需求,给出了工作流时间异常处理和工作流时序约束相关活动的定义,提出了时间异常的分类方法和时间异常传播的计算方法,并在此基础上提出了一套行之有效的时间异常处理方法。该方法能够预测由活动延迟异常引起的其他类型的时间异常,并在这些异常实际发生之前对其进行处理。该项研究成果已在产品创新设计领域的工作流系统中得到了验证,并且针对领域特点给出了该领域内时间异常处理方法的具体操作和算法。
- 王远范玉顺
- 关键词:工作流
- 基于时序逻辑的工作流建模与分析方法被引量:2
- 2006年
- 提出了一种基于活动时序逻辑(TLA)的工作流建模与模型分析的形式化方法。该方法将模型及模型的性质都表示为一个,TLA公式,对工作流模型性质的分析可以等价为对,TLA中两个公式之间是否存在蕴涵关系的检验,从而建立了一个工作流模型各层次分析统一框架。一个工作流建模和分析的实例验证了所提出方法的有效性,该方法在建模、模型分析以及指导模型设计等方面都有较好的应用前景。
- 王远范玉顺
- 关键词:工作流
- 多机器人系统中的信息融合技术综述被引量:11
- 2007年
- 对各种适用于多机器人系统的信息融合拓扑结构、融合方法进行了系统的综述,重点分析了适用于分布式多机器人协作系统及强化学习的信息融合结构,以及近年来神经网络、模糊系统、遗传算法、粗糙集理论等信息融合算法相互融合的发展趋势,并提出了若干多机器人系统信息融合目前存在的问题和发展方向。
- 王远徐华贾培发
- 关键词:多机器人系统信息融合拓扑结构
- 工作流时序约束模型分析与验证方法被引量:11
- 2007年
- 为了解决工作流时间建模与时序一致性验证问题,以时序逻辑和模型检查为基础,提出了一种工作流时间建模与时序一致性验证方法.该方法用一阶逻辑描述工作流模型及其时间信息,用时序逻辑描述工作流的时序约束,用模型检查算法对时序约束进行验证与分析.该方法不是针对某一种时序约束提出来的,而是能够验证任何用时序逻辑描述的工作流时序约束.该方法还能够对未通过验证的时序约束提供工作流运行实例作为反例,帮助用户定位模型的问题.以一个工作流时间建模和时序一致性验证的实例证实了所提出方法的有效性.
- 王远范玉顺
- 关键词:工作流时序逻辑
- 北京市大型商场用能现状与主要节能策略
- 从统计数据和实测结果出发,总结了北京市大型商场类建筑的能耗现状及用能特点。并针对空调系统节能这一商场节能重点,分析了空调箱风机变频、充分利用新风免费冷源、以及避免冷热不均等主要节能策略的效果。
- 魏庆芃张晓亮王远王鑫江亿
- 关键词:节能风机变频
- 文献传递
- 基于集合约束的工作流多实例数据访问冲突分析
- 在工作流管理系统运行期间,可能会有同一工作流过程模型的多个实例在同时运行.这些实例可能会需要同时访问一个工作流数据,这样,这些实例之间会发生数据访问冲突,这会在工作流执行期间造成严重后果.提出了一种基于集合约束的工作流多...
- 王远范玉顺
- 关键词:工作流实例工作流管理系统计算机环境
- 文献传递
- 岩土真三轴仪的试样密封装置以及密封方法
- 本发明涉及一种岩土真三轴仪的试样密封装置,其包括左试样帽、右试样帽、异形橡胶膜以及一装样框架。所述左试样帽设置有一通孔,所述右试样帽设置有一通孔。所述异形橡胶膜由试样收容橡胶膜、左试样帽收容橡胶膜以及右试样帽收容橡胶膜构...
- 王远于玉贞孙逊吕禾
- 文献传递
- 北京市大型商场用能现状与主要节能策略
- 本文从统计数据和实测结果出发,总结了北京市大型商场类建筑的能耗现状及用能特点.并针对空调系统节能这一商场节能重点,分析了空调箱风机变频、充分利用新风免费冷源、以及避免冷热不均等主要节能策略的效果.
- 魏庆芃张晓亮王远王鑫江亿
- 关键词:大型商场节能策略变频技术空调系统
- 文献传递