吐哈油田网络岩心观察描述平台的建立及应用

吐哈油田集中开展了网络岩心观察描述平台的建设应用工作，将吐哈油田岩心图像在网络平台上高清展示，加载了重点井的岩心描述，改进岩心观察、岩心描述平台的功能，建立了专家岩心描述成果展示平台及地质知识参考平台。     

云制造环境下基于本体的资源虚拟化方法

针对云制造环境下资源的描述及虚拟化问题,分析了现有文献存在的局限性,充分考虑了云制造中制造资源的分类和特点,分析了资源描述及虚拟化需求,提出了基于本体的资源描述及虚拟化方法.在本体开发过程中,通过分析比较现有本体描述语言的优缺点,选用了有较好综合性能的OWL-S,建立了制造资源本体模型.在此基础上,给出了虚拟资源的定义,并描述了其与制造资源本体的关系.最后,通过一个基于本体描述的虚拟资源查找和调度的应用案例,验证了本文所提的资源描述及虚拟化方法的正确性.     

岩体粗糙单裂隙流体渗流机制的实验研究

岩体的天然裂隙结构与渗流行为异常复杂，岩体裂隙渗流机制与定量描述一直是岩土、矿业、地质、石油及天然气工程高度关注的难点问题．为了探究岩体粗糙裂隙的渗流机制和粗糙结构的影响，本文通过岩体单裂隙物理模型的水渗流实验，利用Weierstrass-Mandelbrot分形函数和PMMA材料制作了不同分形维数粗糙单裂隙的物理模型，利用高速摄相机记录了粗糙裂隙水渗流的全过程，分析了水渗流性质随裂隙粗糙性的变化规律及粗糙结构对渗流机制的影响，阐述了粗糙结构中水渗流的流动阻力构成，建立了水流阻力与裂隙粗糙性关系的分形模型，提出了粗糙单裂隙分形等效渗透系数和计算公式，为理解和定量描述岩体粗糙单裂隙渗流性质及其与裂隙结构之间的关系提供了实验依据和参考．     

分离机制下一种互联网安全接入方法

重点研究身份与位置分离机制下源地址真实性保障方面的方法,提出了身份与位置分离网络中唯一且不变的终端身份标识EID结构,并设计了一种保障源地址真实性的安全接入方法,并且给出了相应的协议流程和协议格式,保证了身份与位置分离网络中源地址即终端身份标识EID的真实性.最后使用SVO形式化逻辑对其安全性进行了证明.     

学习分析系统构建研究

学习分析目前应用于教育的多个方面,但是还缺乏一个完整、清晰、可实施的学习数据系统.本文尝试构建一个开放的、全面的学习分析系统.综述了该领域研究近年的发展,并对若干重要概念进行了定义,给出了学习分析系统和数据的时空与交互演化.着重分析了学习分析系统论域(LASUoD)、形式化建模学习分析系统信息空间模型[ΣR,ΣCR,ΣMT,ΣA,ΣW,ΣC],构建了学习分析系统架构,并分析了该系统中数据流程.提出了学习分析对象数据模型、学习分析系统本体(LASO)框架及学习分析系统标准组谱,以实现学习分析系统应用的互操作.最后,为了说明学习分析系统应用情况,展示了一个基于开源学习管理系统Sakai的学习分析实例.     

基于傅里叶描述子的图像检索技术研究

物体的形状分析和识别是模式识别的重要研究方向,其中傅立叶描述子是其重要方法之一,归一化傅立叶描述子具有旋转、平移、放缩不变性和对起始点的选取不敏感的特点.利用傅里叶描述子对二值图像轮廓进行处理得到特征向量,在获得特征向量后,对待检索图像的特征向量和数据库中的图像用过使用相关系数的度量方法进行相似性比较.在P100数据库上进行实验,通过对实验结果进行分析,表明傅里叶描述子在图像检索准确率方面与保留傅里叶描述子点个数的多少有很强的相关性.     

Z++a:Z++的AOP扩展

为了适应面向Agent技术的发展及其系统设计的需求，提出一种基于面向Agent程序设计(AOP)风范的形式描述语言具有重要的理论指导价值和实际意义。在Z++的基础上，讨论其AOP扩展问题，从而提出具有AOP风范的形式描述语言Z++a,同时还给出了一个关于高度智能化、人格化生物机器人的Z++a形式描述简例。     

论形式化教育中的民办学校

学校教育是主要的形式化教育，随着改革开放的深化，民办学校充分发挥优势，以其灵活、自主的办学模式成为公办学校的有益补充，并且在发展中体现出其特有的生机与活力。     

大众数学思想下数学分析教学的几点思考

就推行“大众数学”将成为今后数学教育发展的方向，提出在大众数学思想影响下数学分析教学实施的一些看法。     

基于多色集合的概念设计产品模型形式化描述

为了实现计算机辅助概念设计,必须对概念设计产品模型进行形式化处理,以获得计算机仿真所要求的数学描述。本文针对现有模型的不足,提出了基于公理化设计的概念设计产品模型-域结构模板,并采用多色集合的方法对其进行了形式化描述,使得模型便于计算机表达和操作。