UML状态机到B形式化规约的转换

文章研究在高可信软件工程中集成形式化方法。以软件设计的UML状态机模型为起点．将其转换为B形式化模型，然后在B工具环境中遵循B方法的精化原则和正确性验证方法，开发出可靠的实现模型。提出一套从UML状态机到B形式化规约的转换规则，涵盖UML基本状态图、分层状态图和并发状态图。实例分析表明．这套转换规则行之有效。     

基于后缀树词序列核挖掘Web文档

通过将文档表示为一棵后缀树,文章提出一种基于后缀树索引计算文档相似度的词序列核.首先根据文档的词序列构造出后缀树,然后根据后缀树词序列核计算文档间的相似度,最后利用支持向量机对文档进行分类.理论分析表明后缀树词序列核的计算只与比较文档的长度成线性关系,大大减少了序列核的计算时间.在reuters21578文档集上将后缀树词序列核与词序列核、多项式核进行比较,实验结果表明在改善速度的同时,后缀树词序列核可达到与词序列核相当的性能,优于多项式核,更适于Web文档挖掘等应用.     

关于测量误差与不确定度的几个问题

测量误差与不确定度是计量学中的2个重要基本概念，两者之间既有区别又有联系，通过对两者的比较，指出了使用测量不确定度评价测量结果的意义。     

分位数惩罚整合模型及其在商业银行系统性风险中的应用

大数据通常由不同来源的数据组合而成,且具有高维特征,挖掘不同来源数据间的异质性和关联性并降维是亟需解决的问题.基于此,文章提出了分位数惩罚整合模型,并给出其模型表示和模型算法.该模型既可以对不同来源数据进行建模和变量选择,又同时考虑了不同来源数据间的异质性和关联性.数值模拟结果表明:分位数惩罚整合模型在预测性能和变量选择方面都具有明显的优势.此外,将该模型应用于商业银行系统性风险测度中发现,分位数惩罚整合模型在实际应用中也有较好的表现.     

一种改进的用于并发程序静态切片的程序依赖图

分析了Krinke切片算法，发现当对程序循环体内嵌套有一个或多个线程的结构时会产生切片不精确的现象．原因是Krinke算法的数据结构所定义的线程间数据依赖关系过于粗糙，相应的切片算法对程序执行路径的合法性约束不够严格。提出一种改进的并发程序依赖图，引入跨线程边界循环一承载数据依赖关系。给出了添加跨线程边界循环一承载数据依赖关系的算法。实例分析表明，作用在新的并发程序依赖图上的切片算法克服了Krinke算法的切片不精确现象。     

基于形式语言B的一种新的时态规约方案

提出一套利用B方法中经典AMN记号表达时态规约的函数结构方案以支持实时软件系统的规约和验证。该方案中,时间类型表示为B方法中系统内部支持的非负整数集合,所有依赖于时间的变量都表示成定义域为时间的全函数。该方案可以方便地表达“过去”、“现在”、“稳定”、“跳变”等时态概念。定义了时间类型、“现在”以及与时间有关的变量的宏操作等抽象机,这些抽象机已经通过B工具的一致性验证。可以在实时系统的B形式化规约中直接使用。     

基于承载接触特性的直齿面齿轮滑动摩擦啮合效率研究

为了解决直齿面齿轮滑动摩擦啮合效率的问题,基于弹性流体动力润滑理论,提出了一种计算直齿面齿轮啮合效率的方法.首先,运用轮齿接触分析(TCA)和轮齿承载接触分析技术(LTCA)对直齿面齿轮承载啮合过程进行数值仿真;其次,运用非牛顿准稳态热弹流理论建立滑动摩擦系数的计算模型,从而建立直齿面齿轮啮合效率的计算模型,最后分析了输入扭矩、转速等对啮合效率的影响.结果表明:滑动摩擦系数是影响齿轮啮合效率的重要因素;齿面不同位置滑动摩擦系数也不相同;滑动摩擦系数受输入转速、输入扭矩的影响.该方法为直齿面齿轮的进一步优化计算提供一定的理论依据.     

电信大数据的价值挖掘及关键技术分析与探讨

长期的业务发展为电信行业积累了大量的日志数据，其中既有结构化的，也有非结构化的，涵盖业务日志数据以及运维日志数据等。传统的数据分析手段，往往很难兼顾各类数据的处理，并且数据中隐藏的价值未被充分挖掘。文章采用大数据的技术架构，充分利用Flink的数据处理能力和Elasticsearch的索引机制，开发一个可靠的大数据处理平台，有效挖掘分析各类日志数据，提升电信行业的业务运营水平和自动化运维能力，提高盈利能力。