热工二次仪表自动检定系统研究

介绍发热工二次仪表自动检定系统的功能、开发技术难点以及系统优势。     

一种基于领域知识的非功能需求建模辅助方法

随着信息化的普及,人们对软件系统质量要求越来越高,由于体现涉众对软件质量要求的非功能需求具有抽象、主观、不确定等特性,纯粹依赖人工方式对非功能需求建模是一项十分困难的任务.利用领域工程具有的内聚性和稳定性,提出一种基于领域知识的非功能需求建模辅助方法,通过挖掘隐含领域知识,层次化地组织领域知识,能够弥补个人知识的不足,更准确、完整地建模非功能需求.该方法包含两个部分:(1)基于不确定性理论的领域知识获取及分析模块;(2)基于NFR(Non-Functional Requirements)框架的非功能需求辅助建模模块.通过建立非功能属性分解树、设计基于三角模糊数的评价语言值量化机制和传递依赖关系计算方法,实现了对领域知识的准备;建立了非功能属性及非功能需求间依赖关系的形式化定义和推理规则,提出了基于RE-Tools的NFR扩展,实现了对领域知识的应用.案例研究表明,文中方法具有良好的可操作性,能够辅助建模需求关联,减轻需求工程师的工作负荷;同时,交叉实验结果表明,该方法可提升传统NFR框架方法的效率和准确度.     

一种检测TAL-freeness的代数方法

时间动作锁(Ti me-Action-Lock,TAL)指的是实时系统处于一种时间无法继续同时又没有任何动作能够发生的状态.Behzad和Kozo在时间自动机的几何学基础上提出了一种针对TAL-freeness的检测方法.但该方法要求必须将需要检测的模型转化为一种逻辑语言Rational Presburger Sentences后才能进行检测,因此使得验证过程比较繁琐.文中提出了一种检测TAL-freeness的代数方法,能够直接对系统模型进行直接验证,并且能够定位死锁原因.针对该方法,文中还给出了相应算法并提供了正确性证明与性能分析.     

旧“意”新“象”说

现代建筑要延续可持续发展,应继承历史文脉和延续民族风格和地方特点,满足人们回归自然与自由抒发的情感要求.通过对环西湖建筑的意象表达进行论述,旨在说明历史街区新旧建筑对话的一种方式.     

基于数据集分割的云工作流模型库并行检索方法

在由多个行业云服务平台组成的集成服务平台中,随着行业云服务平台加盟数及各平台下租户数量的不断增多,其底层的云工作流模型库的规模也必将不断增大.当云工作流模型库的规模超大时,需要一种效率更高的并行检索方法去满足云工作流模型库高效检索的需求.鉴于此,文章将采用均匀划分法或自动聚类法对大规模云工作流模型库进行合理的子集划分,并结合前期工作中已改进的基于图结构的流程检索算法,提出基于数据集分割的大规模云工作流模型库并行检索方法.该方法主要包括4种流程并行检索算法：基于均匀划分模型集的静态并行检索算法、基于均匀划分模型集的动态并行检索算法、基于自动聚类模型集的静态并行检索算法及基于自动聚类模型集的动态并行检索算法.最后,在模拟生成的大规模流程集及真实的云工作流模型库中对这4种并行检索算法的检索效率进行实验评估.     

燃气公司银行实时代收费系统

本文通过燃气公司对资金回笼的迫切需要,提出与银行联网实时收费的方式解决问题.从银行实时代收费系统的概念,以及提供的缴费方式,应用的实际意义及效果,并且同传统的收费方式相比较,体现出燃气银行实时代收费系统的优越性和今后的发展趋势.     

加氢脱氮催化剂载体的研究

介绍了加氢脱氮催化剂载体的特点和性能,总结了加氢脱氮催化剂载体的发展趋势,提出了高活性加氢脱氮催化剂载体的研究思路和途径。     

丁烯与异丁烷烷基化生产装置自控系统的设计

以某厂建设16万t/a工业异辛烷装置项目为背景,设计丁烯与异丁烷烷基化生产过程的自控系统,通过DCS和安全仪表系统的设计,分别实现了烷基化装置生产过程和安全联锁系统的自动控制。     

催化裂化轻汽油选择性加氢除二烯烃工艺研究

主要进行了催化裂化轻汽油选择性加氢除二烯烃工艺条件优化研究,从反应温度、氢/油体积比和反应压力等3个方面考察了其对选择性加氢和3-甲基-1-丁烯异构为2-甲基-1-丁烯的异构化率的影响,确定选择性加氢的较优工艺条件为反应温度60℃、氢/油体积比30、反应压力1.5 MPa。在此基础上进行了选择性加氢催化剂1500 h寿命试验。试验数据表明,在1500 h的考察期内,催化剂表现出良好的活性稳定性。     

旧貌新"研"——长江大学工字楼群的一期改造设计

以长江大学工字楼群的改造为例,描绘了校园旧建筑改造的愿景,期待校园建筑作为百年基业的承载,在新旧更迭中依托合乎逻辑的空间序列来体现延续的文化内涵。