一种确认控制的形式化方法

提出了一种基于事务的确认控制形式化方法.该方法在数据流图的基础上引入了数据流事务的概念,通过施加控制数据流规则和FSM语法,将数据流事务转换为FSM事务,消除了数据流图的歧义性;同时,将有限状态机作为FSM事务的控制原语,使事务的控制部分得以形式化,从而可实现确认控制自动化     

浅谈在工业企业中有效推行测量体系的要点

文章结合测量体系在单位中推行的实践经验,从管理、培训、计量确认、关键测量过程控制等角度介绍了测量体系有效运行的工作重点。     

EMD-Tnorm得分规整策略在说话人确认中的应用

从两个方面对确认系统进行了改进,在模型方面,扩展了MixMax模型,对复杂的背景噪声等干扰因素在训练说话人模型的同时也进行了建模,最大程度上消除噪声的影响,对说话人的特征分布进行了更真实的表征;在得分方面,提出了一种改进的得分规整策略,基于EMD距离从所有背景说话人集合中自适应选择最接近的一定数量的模型构成说话人特定的背景集合,从而进行得分归一化。实验结果表明,该方法能够同时针对说话人和测试环境的不同进行补偿,进一步降低了误识率和漏警率,获得了很好的确认性能。     

正整数有序分拆的几个计数公式及n-colour有序分拆的一些新的组合性质

本文首先给出了正整数分别恰含一个奇分部量和一个偶分部量的有序分拆数的计数公式．其次还利用正整数的“偶-奇”无序分拆给出了正整数的n-colour有序分拆的几个新的组合性质．     

n进制下一个数论函数均值计算

引入概念矩函数、方差函数、高阶方差,运用组合数学与概率论相关知识得到3个引理与1个定理,从而解决了n进制数字和函数的p次均值问题,得到几个均值计算公式.     

科学计算程序的验证和确认

针对科学计算中工程应用程序的研制和预测能力的评估,基于应用程序研制的过程与软件开发的生命周期,提出了一种科学计算程序验证与确认(VV)模型.论述了物理建模、数值模拟与科学计算程序验证与确认的关系,以及科学计算程序验证与确认的方法,为科学计算程序验证与确认提供一种置信度评估方法.     

基于高维空间映射失配补偿方法的说话人确认

针对电话手机语音的文本无关说话人确认中,训练集语音和测试集语音来自不同信道所产生失配而导致系统性能下降的问题,采用一种基于高维空间映射的方法对系统进行补偿.在分析了已有的说话人确认系统的基础上,提出了一种基于特征参数映射支持向量机模型(PSVM)的说话人确认系统.首先用大量已知信道类型的语音训练出信道空间及映射矩阵,然后训练语音和测试语音都通过映射,消除因信道不同而导致的失配影响.在NIST数据库上的实验结果表明,这种方法弥补了训练语音和测试语音的失配,说话人确认系统的性能有了明显的提高.     

一类不含分部量2的有序分拆

利用组合双射的方法研究正整数互为共轭的分拆均不含分部量2的有序分拆, 得到了该有序分拆数与Fibonacci数之间的一个关系式, 并利用该关系式给出这类分拆数与分部量是1,2的有序分拆数, 分部量是奇数的有序分拆数, 分部量大于1的有序分拆数之间的几个分拆恒等式.     

购物类APP用户持续使用影响因素的实证研究

购物类APP在电商市场有着巨大发展潜力,但其高下载量与高卸载量形成鲜明对比.因此,用户持续使用成为购物类APP应用成功的关键.鉴于此,探究用户持续使用影响因素就成为破解上述问题的有效之道.本文基于技术接受模型(TAM),引入计划行为理论(TPB)和期望确认模型(ECM)的要素,结合各类购物类APP特征,构建用户持续使用影响因素概念模型,并对南京10所高校的807名学生展开问卷调查.实证检验表明,个人创新、感知娱乐性、感知有用性、服务质量、结构保证、主观范式和用户满意度是影响用户持续使用的重要因素.     

基于out-of-bag样本的随机森林算法的超参数估计

随机森林是一种有效的分类树集成算法,但为了使它具有较高的预测精度,要采用某种方法确定其超参数的最优值.在不额外增加计算复杂性的前提下,提出了一种基于out-of-bag样本估计其超参数取值的方法.仿真试验的结果表明,利用文中提出的方法所选取的超参数在多数情况下都能使随机森林算法的分类效果达到最优.