基于Petri Net的BPEL流程建模与分析验证

设计了一个基于Petri Net的Web服务组合流程建模引擎.把BPEL流程的语法元素按其语义转换为Petri Net模板,通过模板组合来得到整个流程的Petri Net模型,并以Petri Net标记语言(Petri Net Mark-up Language,PNML)文件格式来描述Petri Net模型,从而能够利用现有的支持PNML文件的Petri Net分析工具对流程进行分析,通过对Petri Net的性质验证来达到对服务流程的验证目的,以在流程定义阶段发现其存在的问题.实际结果表明,采用该工具可以确保服务组合流程设计的正确性,增加服务组合的可靠性.     

乡村景观视角下传统村落现代营建监测数据库研究

面对中国传统村落保护的现实困境,拟解决在传统村落现代营建监管工作中,缺乏动态监测数据库平台的问题;通过建立乡村景观研究视角,进行传统村落的再认知;从实践出发,明确数据库构建的目标与原则;开展比对分析,确定空间数据库类型;构建“村域环境”监测内容;按照“人工景观”、“经营景观”、“自然景观”的景观分类,与“土地斑块”、“群体组合”、“单体要素”尺度层级,制定传统村落乡村景观的动态监测数据内容体系;最终完成传统村落现代营建动态监测数据库的设计。数据库可用于比对传统村落“新”、“老”乡村景观的特征,为传统村落现代营建的动态智能监管、档案资料存储、保护规划编制、乡村景观研究等工作,提供数字平台与虚拟模型。     

Web应用安全风险防护分析与防护研究

分析了当前Web应用所面临的安全性问题以及重要性,同时分析了Web应用安全特性,给出了十大安全风险的描述并针对每一个安全风险给出了切实有效的防范措施与解决方案,包括注入式攻击、跨站点脚本攻击、错误的认证和会话管理、不安全的直接对象引用、跨站点伪造请求、不安全的配置管理、不安全的密码存储器、无法限制URL访问、薄弱的传输层保护、未验证的网址重定向.针对当前的各种Web应用安全的问题,给出了常见的安全技术及其描述.     

办公建筑不同窗口形式自然通风规律研究

文章以一个典型的办公建筑房间为基本模型,主要针对窗户开口的几何参数:面积(area)、形状(shape)、位置(position)和角度(angle)进行研究。并采用控制变量的方法,改变一种参数设置,共得到十七种参数模型。使用Autodesk CFD软件对每种情况进行模拟,得到测点风速值和风速差值,并通过等距抽样的方法计算出房间内的平均风速。对比结果分析每种参数条件窗户开口的改变对室内自然通风的影响,从而为建筑窗户设计提供一定的依据。结果表明:开口面积大小是决定室内自然通风的重要参数。同时,形状和位置以及角度对室内风速和气流分布的均匀性均有一定的影响。     

矿山钻机自动取样分析系统的研究及应用*

本文介绍了基于新技术和新方法的矿山钻机自动取样分析系统，不仅可实现钻机取样分析的无人值守，减少人工的劳动强度，同时结合GIS技术和智能配矿系统，自动取样分析数据可精准更新矿山三维地质模型，优化矿山开采计划及爆破计划，精准指导矿山的配矿工作，实现矿山全流程的质量精细化管控，有效提高矿山的利用率及石灰石质量的稳定性。研究成果可用于水泥矿山及其他矿山相关领域成分检测和质量控制，具有极大的市场空间。     

水泥矿山智能质量控制系统的研究

文章介绍基于钻机自动取样分析和石灰石在线中子分析的水泥矿山全流程的智能质量控制系统,该系统通过钻机自动取样分析系统获得高密度、高精度的矿山钻孔数据库,生成更加准确的矿山配矿品位模型,可有效提高配矿作业的品位稳定性,再通过石灰石中子在线分析仪的品位校验,进一步修正进厂石灰石的综合品位与要求值的偏差,有效提高进厂石灰石的品位稳定性。水泥矿山智能质量控制系统使矿山的配矿作业由反馈控制转变为指导控制,形成以配矿品位模型的精细化配矿为主,中子在线分析仪的结果校验为辅的矿山全流程质量闭环控制新模式。     

不同粉磨工艺水泥颗粒分布参数的计算与对比分析

通过对实测的水泥成品颗粒体系分布特征及参数的计算,介绍了采用RRB原型方程直接求解颗粒分布方程参数的方法,选取了辊压机联合粉磨等5种国内的主流粉磨工艺所制备的水泥成品进行颗粒分布测试和分析。结果表明：辊压机联合粉磨、外循环立磨联合粉磨和半终粉磨工艺所制备的水泥成品颗粒均匀性系数均较低,辊压机半终粉磨工艺制备的水泥成品颗粒均匀性系数较高,而外循环立磨终粉磨工艺制备的水泥成品颗粒均匀性系数稍低于辊压机半终粉磨工艺。     

建筑设计决策与能耗模拟协同研究分析

从文献追踪出发,以Scopus数据库中1997—2017年的外文献为研究对象,依托数据库自身文献统计分析和科学计量分析软件HistCite的知识图谱绘制功能,分析国外建筑设计决策与能耗模拟结合研究的理论基础、分布特征与发展趋势。研究表明:国外已形成完整的研究网络体系且仍在迅速拓展,既有体现共同知识基础的关键文献节点,研究主题之间也有延续关系;研究有明显的学科交叉与集成特征,研究内容向复杂问题简单化挖掘发展;专用设计工具与能耗模拟工具相结合辅助建筑师进行设计决策是热点研究领域。     

基于GIS构建的历史文化村镇动态监测系统

我国正处于信息化建设的历史时期,传统的方法已难以满足历史文化村镇保护规划的现代化需求。通过对历史文化村镇进行数据库构建,借助于网络技术以及地理信息系统等现代科学技术成果,建立一套适应历史文化村镇保护规划数据库的技术框架。以提升保护规划的科学性和信息化程度。同时提出可以推广的保护规划数据库应用模式,为我国历史文化村镇保护规划的计算机信息化改造在思路和方式上进行有益的探索性研究。     

粉煤灰对泡沫混凝土气孔结构及抗压强度的影响

结合压汞法和图像分析技术Image-Pro plus等测试手段,对泡沫混凝土气孔结构进行表征,研究了不同粉煤灰对泡沫混凝土抗压强度和孔结构的影响.分析了不同粉煤灰制备的泡沫混凝土孔结构与抗压强度的关系,进而得出粉煤灰对泡沫混凝土的作用机理.研究结果表明:粉煤灰作用于泡沫混凝土主要是对泡沫混凝土孔结构的改善从而影响泡沫混凝土的抗压强度.二级粉煤灰经过机械粉磨之后,虽然其火山灰胶凝活性得到提升但由于其形态效应被破坏,对泡沫混凝土的孔结构的优化作用不及一级粉煤灰,使泡沫混凝土的和易性降低.磨细二级粉煤灰在泡沫混凝土中的掺量应低于20％,一级粉煤灰的合适掺量为40％.