王帆
- 作品数：10 被引量：17H指数：2
- 供职机构：天津大学更多>>
- 相关领域：自动化与计算机技术化学工程理学电气工程更多>>
- N’-长链烷基-N, N-二烷基乙脒的合成及性能研究
- CO2开关型表面活性剂是一类籍CO2/N2气氛变化实现“乳化/破乳”的刺激响应型表面活性剂，该表面活性剂绿色环保，可循环使用。开展CO2开关型表面活性剂的合成及应用性能研究意义重大。 本文进行了Scoggins Pro...
- 王帆
- 关键词：表面活性剂合成工艺性能表征
- 一种单光纤阵列传感器气液两相流持气率成像测量方法
- 本发明涉及一种单光纤阵列传感器气液两相流持气率成像测量方法，包括：在直径20mm测量管道内放置16路单光纤传感器，16路单光纤传感器分布在测量管道的不同截面的四个环形位置；同时获取16路单光纤传感器的输出信号后，利用自调...
- 金宁德杨秋怡王帆翟路生任英玉
- 文献传递
- 基于UML的形式化规范说明研究被引量：10
- 2004年
- 软件的规范说明阶段 ( specification phase)对于软件的整体开发过程来说是一个非常重要的阶段 ,UML方法是目前比较流行的软件工程开发方法 ,它对软件整体开发过程提供了一套有用的模型。本文根据 UML和谓词转换 ,提出一种面向对象的形式化规范说明方法 ,并给出一组和 UML相对应的数学模型。本文的方法吸收了 UML和一般形式化方法的优点 ,具有数学的严谨性和精确性 ,并且更加易于理解和表达。
- 王帆梁洪峻
- 关键词：软件工程软件开发UML程序设计语言面向对象
- 十字正交型固阀及塔板
- 本发明涉及一种用于精馏、吸收等汽液传质过程的结构内件，特别是一种能有效提高气液两相接触表面积的板式塔固阀元件。该固阀由塔盘板一次冲压而成，包含阀盖和四个90°环向平均分布的支脚，阀盖及塔盘板上阀孔的形状均为两个正交矩形构...
- 孙津生姜硕高红刘艳珍王帆蔡芳马婷婷
- 文献传递
- 形式规范语言数据求精过程的代数验证方法
- 2003年
- 软件求精技术是实现从形式规范语言到可执行代码转换的一种重要技术。规范语言的求精过程可分为数据求精和过程求精。从面向模型的规范语言 (如VDM ,Z)出发 ,提出一种严格定义的类型代数理论和一组基于抽象代数的规则来验证数据求精过程 ,解决了形式规范语言在数据转换过程中的语言一致性问题。
- 王帆梁洪峻李潮
- 关键词：软件系统软件质量软件工程
- 十字正交型固阀及塔板
- 本实用新型涉及一种用于精馏、吸收等汽液传质过程的结构内件，特别是一种能有效提高气液两相接触表面积的板式塔固阀元件。该固阀由塔盘板一次冲压而成，包含阀盖和四个90°环向平均分布的支脚，阀盖的形状及塔盘板上阀孔的截面形状均为...
- 孙津生姜硕高红刘艳珍王帆蔡芳马婷婷
- 文献传递
- 香皂生产线电气控制系统的研制
- 宋延民王锦苗红宇胡山宋乐薛斌刘杰李善香赵明辉檀业健许文礼唐奇玮陈美芳刘坤张德星于越李伟明李宏胜刘玉李文祥王云龙侯占超李洪磊邵亮亮刘长春张倩毕忠伟王帆刘刚吕溪敏
- 该课题采用三级计算机系统对香皂生产过程进行智能控制、监测和管理。其中以中位机，即可编程序控制器PLC为系统核心，配合具有先进的保护及应急系统的控制柜，负责控制所有的电动机、电磁阀等开关量，并通过A/D转换器及传感器组成的...
- 关键词：
- 关键词：香皂电气控制系统
- 双效适用性及并行双效精馏工业实例的模拟研究
- 精馏过程是能耗高、余热量大的化工单元操作,系统中动量、热量和质量传递推动力越大,则系统能量损失越大。中国能源利用率相对较低,能量消耗一般只相当于发达国家二十世纪七十年代末的水平。在化学工业和炼油工业的节能改造过程中,精馏...
- 王帆
- 关键词：化工模拟有效能分析
- 文献传递
- 油气水三相流泡状流气相特性光纤传感器阵列测量方法
- 油气水三相流现象广泛存在于石油开采及运输过程中。由于油气水三相流相间物理性质差异显著，存在着复杂的相间相互作用，其流动结构更加复杂多变，致使油气水三相流流动参数测量难度很大。泡状流是油气水三相流中的基本流动结构，理解泡状...
- 王帆
- 关键词：油气水三相流光纤传感器泡状流
- 基于UML的形式化规范说明研究
- 软件的规范说明阶段(specification phase)对于软件整体开发过程来说是一个非常重要的阶段,它可以被认为是需求分析的一部分.用自然语言来说明软件需求的优点是直观易懂、方便交流,但是会带来很多弊病,如二义性和...
- 王帆
- 关键词：UML时序逻辑
- 文献传递
