云计算环境中结构化文档形式化建模

结构化文档是云计算环境中实现信息交互与传播的载体,针对已有研究工作缺乏能够描述这种载体的结构化文档模型的问题,在深入分析云计算环境中结构化文档特征的基础上,对文档元素、原子文档元素、连接、文档片段、复杂文档元素等进行形式化定义,建立能够满足这种特征的结构化文档形式化模型。最后,指出云计算环境中结构化文档进一步的研究方向。     

一种基于特征的非结构化数据演化管理建模框架

信息技术的快速发展促使非结构化数据管理成为一个重要的问题.非结构化数据的主要特点是数量巨大和模式滞后.传统的关系数据管理系统在处理非结构化数据上难以提出有效的解决方案.从"现实的数据总是包含着诸多特征(feature)观点出发,提出了"数据-特征模型",建立特征,特征空间以及数据类型等概念.在此基础上提出了基于特征的非结构化数据演化管理建模框架.同时简述了非结构化数据管理原型系统MYUSD的结构.     

基于面板数据的灰色四面体网格关联分析模型及应用

针对现有面板数据关联分析模型中指标的排列顺序变换引起灰色关联序不一致以及面板数据三角曲面构造的不足,提出一种基于面板数据的灰色四面体网格关联分析模型.首先,基于数列的组合原理将样本矩阵分解为二元指标子矩阵;其次,将二元指标子矩阵投射为空间四面体网格,并给出四面体的有向体积;然后,基于有向体积构造二元指标的关联系数,最终得到灰色四面体网格关联分析模型,并对模型的对称性、规范性、平移不变性等性质进行证明;最后,将模型应用到山东省沿海城市的空气质量评价,验证模型的合理性和有效性,并分析了灰色四面体网格关联分析模型不受指标排列顺序变化的影响.     

基于四面体坐标系的三维变形方法及应用

为了直观、精确地控制模型的形变,提出一种基于自定义四面体坐标系的三维变形计算方法.首先从几何上给出四面体坐标系的定义,阐述并证明了其关于几何变换的一些性质,使得拓扑变形易于实现,并可应用在三维变形技术中;然后描述了基于四面体坐标系的2种三维变形算法:嵌入式变形与基于特征的精确变形算法.通过多个变形实例结果证明,该方法能够有效地实现物体的变形以及物体间的渐变.     

非结构化数据的可视化编辑系统

在创新计算中碰到大量的非结构化数据，采用超图模型实现非结构化数据在计算机中的存储与表示，并实现了一个非结构化数据的编辑系统，通过图形界面，用户可以交互式的编辑非结构化数据。     

基于本体的网络威胁情报分析技术研究

网络安全领域中威胁情报的描述方式多种多样,迫切需要一种对威胁情报格式化描述的标准,将非格式化情报信息,转化为格式化数据,为情报的可视化知识图谱提供支撑。针对STIX 2.0的描述规范,提取了适应于网络安全威胁情报中的本体元素,构建了一个可共享、重用、扩展的威胁情报本体模型,并对领域本体、应用本体和原子本体进行了详细分类。将该模型应用在Poisonivy攻击事件中,提取了Poisonivy研究报告中的61个实体,102个关系,并将抽取的格式化数据导入Gephi进行可视化表达。通过对威胁情报本体模型的构建,完成了情报信息从非结构化到结构化的转换,并使用统一的语法进行描述,最终以知识图谱的方式来表达情报中重要元素,可以快速定位网络安全事件中的核心元素及之间关系,为网络安全分析者和决策者,提供重要依据。     

基于主体行为的非结构化数据模型

为满足用户的复杂检索需求,对用户行为特性进行分析,提出一种非结构化数据的星系数据模型.基于对文件系统中属性使用情况的统计结果,通过优化文件属性、增加用户行为特性属性等方法,形成非结构化数据属性集.在此基础上,使用一个数据对象和基本类、内容类、特征类、行为类、环境类等5个属性类表示一个非结构化数据,构建非结构化数据模型.对模型进行了仿真分析,分析结果表明了模型有效且可行,具有轻量级、支持复杂检索、检索结果准确度高等优势,为大数据管理提供支撑.     

Verilog操作语义研究

提出了一个结构化操作语义模型,用于描述Verilog核心子集的语言特征,此子集包含了事件驱动、基于共享变量的并发特性、时间延迟等Verilog的主要语言成分.在此操作语义模型中,所有的Verilog程序将被统一地认为是开放式系统,所以在此操作语义模型的基础上能够进一步提出Verilog开放进程的观察模型,并提出基于互模拟的观察等价概念来判定进程之间的等价关系.最后证明了所定义的观察等价关系对所有的Verilog构造子而言是一个同余关系,从而为发展相应的进程代数理论提供了一个可靠性基础.     

藕节状四面体坐标系网格及其应用

为实现不同模型之间特征对应的光滑渐变,提出一种直接建立模型间对应关系的方法.根据输入模型的结构特点,首先将模型划成对应的若干部分,并对各部分依据特征进行相同的类球状四面体网格划分;然后针对每组四面体内的数据,通过计算确定源模型上的每个点在目标模型中的对应点;最终从整体上实现源模型到目标模型的直接对应.由于各部分类球状四面体网格的连接形似藕节,且对应关系的建立主要基于四面体坐标系,因而称总网格为藕节状四面体坐标系网格.多个实例结果证明,该方法能够有效地实现模型间特征对应的渐变.     

GDSS中Brainstorm的模型与实现

作为CSCW的一个分支，群体决策支持系统（GDSS）是各决策领域结合数据、分析工具和模型以支持半结构化、非结构化决策的计算机系统。文章描述了它的发展概况和模块划分，提出了其中一个关键步骤－集体自由讨论（Brainstorm)的一个模型，并从表示级、系统协同级、存储级等各个级别具体讨论了Tcl/Tk及GroupKit的实现技术细节。