基于符号模型检测的Web服务组合形式化验证

随着经济的发展和市场竞争的加剧,企业必须能够快速且准确地满足市场和用户的各种需求。Web服务组合正是由于单个Web服务不能满足企业及用户的需求而产生的一种技术,而如何确保组合的正确性来实现服务增值是一个尚未完全解决的问题。针对此问题,提出了一种基于符号模型检测器NuSMV对Web服务组合进行验证的方法,并提出了基于消息会话的Web服务有限状态自动机的形式化定义。最后实例验证了Web服务组合交互的正确性和有无死锁状态现象,进一步证明了方法的可行性。     

面向计算思维培养的小学3D建模设计教学实践

计算思维是人类经济和社会发展的一种基本思维方式,是指个体运用计算机科学领域的思想方法,在形成问题解决方案的过程中产生的一系列思维活动。研究指出,计算思维与学生的创造力、批判性思维、问题解决等诸多技能高度相关。因此,笔者根据在3D模型设计教学中的实践和探索,同时结合小学生的年龄特点和发展规律,通过对所在学校中高年级学生计算思维能力、信息技术应用能力现状进行调查、分析,找出发展学生计算思维能力的制约因素,研究发展学生计算思维能力的可行性策略,并进行系统归类,使研究具有针对性和实践性。     

使用三层模型提升学科思维水平的实验研究——基于高中一年级信息技术课程

三层教育(教学)目标体系以皮亚杰发生认识论(专指其哲学认识论内涵)的两个范畴说为依据,对教育(教学)目标的描述思路问题进行了分析,并给出了分层结构的教育目标描述方案,它由双基、问题解决、学科思维三层构成。考虑到源自皮亚杰两个范畴说,针对具体学科来说,双基实质上是“学科知识”。而将外在的学科知识内化为内部的学科思维,则是问题解决层要解决的事情,这是学习者自己的体验、领悟的过程。     

电力大数据的智能电表远程误差分析和诊断

针对电力大数据的智能电能表远程在线误差较大、故障诊断较为缓慢的问题,本文采用筛查法进行在线数据误差分析,使误差控制在0.1％以下;采用相似性匹配法对故障数据进行诊断,精准判断出故障类型;采用点云配准算法对误差数据和故障数据进行整合传输,保证数据能够及时连接到远程在线控制中心.最后通过记录电能表数据得到误差数据和故障类型,发现本研究误差不会超过0.1％;通过与传统误差分析方法进行仿真对比,本研究相对误差稳定在0.03％.     

川中地区龙王庙组颗粒滩储层关键参数计算及评价

四川盆地乐山-龙女寺古隆起中段下古生界寒武系龙王庙组主要为局限台地沉积,优质储层主要分布于颗粒滩亚相.颗粒滩储层经历多期改造作用,为典型的深埋藏滩相岩溶储集层,呈现孔隙度低、非均质性强、孔隙结构复杂的特点.从岩心入手,结合高分辨电成像测井资料,根据滩相沉积学理论,建立龙王庙组颗粒滩相识别模式.利用特殊的处理技术,建立储层溶洞、孔隙结构和渗滤能力3个关键参数的计算和评价方法,构建储层品质分级评价模型及标准,并在100余口井的实践中效果显著,测井解释符合率达95.8％.该技术方法为中国单体规模最大的特大型海相碳酸盐岩整装气藏的发现和探明提供支撑.     

滨海旅游建筑信息模型中建筑材料的渲染浅析

骑楼等滨海旅游建筑是我国南方滨海省份的建筑形式之一,应用建筑信息模型(BIM)技术,有利于对滨海旅游建筑施工工程进行项目说明与介绍,有利于提高滨海旅游建筑实际施工工程的施工精度。本文主要分析了滨海旅游建筑信息模型中建筑材料的渲染,为滨海旅游建筑信息模型的设置及应用提供了一定的参考。     

基于物理-数据融合的数字化楼宇用电模型构建方法

随着智能终端和传感器的广泛应用,结构、环境、电气以及人员行为等多元参数的实时采集与传输使楼宇具有了数字化特性,从而使对数字化楼宇的电能利用进行动态精细化分析成为了可能。然而,基于单一物理或数据建模的楼宇用电分析方法在实际应用中均存在一定计算误差。提出一种基于物理-数据融合思路的数字化楼宇用电模型构建方法,结合静态与动态的多元数据,在保留楼宇热-电转换的因果关系基础上,可通过真实量测数据修正楼宇用电物理模型,实现精细化的楼宇用电能效分析。通过某数字化楼宇实测数据验证,表明所提出的方法具有准确性和合理性。