Rstan包在四参数Logistic模型参数估计中的应用

Stan程序是一种用于估计统计模型的概率编程语言,Stan有命令行Shell的Cmdstan接口、Python的Pystan接口、R的Rstan接口、Matlab的Matlabstan接口,这些接口可以在Windows、MacOSX和Linux上运行,并且是开源许可的。R软件中Rstan软件包主要采用MCMC(Markov chain Monte Carlo)算法,并用来估计四参数Logistic模型(4PLM)。Rstan的实现主要2种MCMC算法:HMC算法和The No-U-Turn采样器算法,计算效率要优于Gibbs抽样和Metropolis算法,不仅如此,这2种算法适用于任何先验分布。首先,介绍了四参数Logistic模型的定义(即在三参数Logistic模型的基础上增加一条小于1的上渐进线,称为失误参数);其次,介绍了Rstan实现的2种计算效率更高的MCMC算法,还介绍了如何使用Rstan包判断估计参数收敛的方法;最后,通过模拟试验验证了Rstan包在四参数Logistic模型参数估计的有效性及可行性。     

缺失数据下等级反应模型参数MCMC估计

项目反应理论(IRT)是教育测量中的重要模型.在被试的项目反应存在缺失的情况下,曾莉等给出了0、1评分的IRT模型参数估计的2种MCMC算法.本文将这2种算法推广到等级反应模型(GRM),并将估计结果与传统的Multilog软件(将缺失统一替换为0)的估计结果进行比较.通过模拟研究,比较了在不同缺失机制、不同参数先验分布、不同被试人数和不同缺失比例下2种MCMC参数估计的结果,为实际应用中GRM的参数估计方法的选择提供参考.     

基于PROFINET IRT的列车通信网络调度算法

提出了一种基于实时以太网PROFINET的列车通信网络模型,采用时分复用的方式将传输周期分为IRT时段、RT时段和NRT时段,传输3种实时性要求不同的列车数据.在此基础上,重点设计了基于资源受限项目调度问题的实时周期数据IRT通信调度算法,通过时态约束得出多个任务的调度时刻表.采用OPNET仿真软件建立了时分复用的PROFINET通信模型,仿真结果表明:采用本文调度算法的IRT时段交付时间,相比单调速率调度后的IRT交付时间减小,且任务量越大,该算法越有优势.     

结合节点计算能力的MapReduce负载均衡方法

MapReduce是大数据计算领域广泛使用的编程模型,默认的Hash分区方法易导致数据倾斜,使各计算节点负载不均衡,影响了整体计算性能并造成了大量集群资源浪费。针对这一问题,提出一种结合节点计算能力的分区方法。通过运行一个独立的抽样作业,利用Reservoir抽样算法抽取待处理数据并统计样本里关键字的位置和频次;根据关键字的统计数据制定分区策略,使各分区负载与节点计算能力达到平衡,同时优化网络开销;以全量数据为输入运行计算作业,并采用已制定的分区策略对中间数据进行分区,得出计算作业的运行结果。实验结果表明,方法使各节点负载更加均衡,可明显提升计算作业执行效率。     

广义泊松计数模型及其统计推断

基于广义泊松分布的性质,提出了广义泊松计数模型,解决了泊松计数模型中对照组数据过度分散和过度集中的问题.在模型的统计推断中,通过引入缺失数据和构建替代函数,研究了使用EM算法、MM算法计算模型中参数极大似然估计的迭代收敛算法.进一步地,通过统计模拟展示迭代算法中参数估计的误差,对模拟结果进行讨论得到有效的信息.     

基于沪深300股指期货合约的日内高频跨期统计套利策略

该文进行沪深300股指期货高频日内跨期统计套利策略研究,设计了沪深300指数期货跨期价差描述模型及套利交易触发与停止模型以及相应的参数估计方法,通过组合以上2个模型构造出了日内高频跨期统计套利策略算法,并使用0.5s取样数据,基于较为严苛的交易成本假设,实证验证了上述套利策略算法的有效性。     

基于BP网络的棉花中异性纤维识别算法

针对原棉中的异性纤维种类繁多、特征各异,很难建立一个统一的异性纤维识别模型问题.提出了应用神经网络识别异性纤维的算法.在RGB颜色空间下,提取原棉图像中每个像素的R、G、B分量,采用统计纹理分析方法,计算R、G、B分量的纹理强度信息作为特征值.用MATLAB软件创建BP网络识别模型,对有代表性的原棉图像进行识别实验.实验结果表明该算法可以有效地识别出原棉中存在的有色和无色异性纤维.     

称名反应模型项目参数的打折似然估计方法

项目反应理论(Item response theory, IRT)是教育心理测量理论中发展较快的理论之一,称名反应模型是IRT中一个基本的项目反应模型. 该文借助2015年de la Torre提出的一种参数估计方法—打折似然方法,将它与拟牛顿法中的BFGS方法结合对称名反应模型的参数进行估计. 模拟研究表明：新的估计方法可有效地减少计算量.     

Excel在教学效果调查统计中的应用

该文通过在实际应用中的一个统计表格设计实例介绍了EXCEL软件在数据统计中的应用技巧。重点是活用函数和数据保护,通过在公式中引用单元格进行计算可以大大简化人工计算工作,提高统计正确性。     

一种多向CPLS方法及其在间歇过程监控中的应用

将并行偏最小二乘（CPLS）算法引入到间歇过程监控中,提出一种多向并行偏最小二乘（MCPLS）监控方法.CPLS算法可以提取过程变量与质量变量的相关信息,也能对彼此不相关的信息进行主元提取.与基于PLS的监控方法不同,基于CPLS的过程监控方法提供了一个完整的监控框架,不仅能够监控过程变量,而且也能监控质量变量的信息,更好地反映了过程的运行状态.文中首先将间歇过程三维数据转换为二维数据,然后应用CPLS算法建立过程监控模型,构建T2c,T2x,Qx,T2y,Qy监控指标,并通过间歇过程批次间的统计特性计算出监控指标控制限,分别监控过程变量与质量变量的相关信息、彼此无关信息以及残差信号等.最后将MCPLS算法应用到青霉素发酵过程的监控中,应用结果表明了该方法在间歇过程监控中的有效性和优越性.     

一种高效的可扩展的GUI开发工具—Tcl／Tk

Tcl/Tk是一种简明,高效,可移植性好的具有C／C＋应用编程接口的编程语言。本文介绍其特点、优势和结构,并详细描述了如何用C语言创建新的Tcl/Tk命令。     

RSMC:A Safety Model Checker for Concurrency and Memory Safety of Rust

Rust is a system-level programming language that provides thread and memory safety guarantee through a suite of static compiler checking rules and prevents segmentation errors. However, since compiler checking is too strict to confine Rust's programmability, the developers prefer to use the keyword "unsafe" to bypass compiler checking, through which the caller could interact with OS directly. Unfortunately, the code block with "unsafe" would easily lead to some serious bugs such as memory safety violation, race condition and so on. In this paper, to verify memory and concurrency safety of Rust programs, we present RSMC(Safety Model Checker for Rust), a tool based on Smack to detect concurrency bugs and memory safety errors in Rust programs, in which we combine concurrency primitives model checking and memory boundary model checking. RSMC, with an assertion generator, can automatically insert assertions and requires no programmer annotations to verify Rust programs. We evaluate RSMC on two categories of Rust programs, and the result shows that RSMC can effectively find concurrency bugs and memory safety errors in vulnerable Rust programs, which include unsafe code.     

多维二参数Logistic项目反应模型的Gibbs抽样法

项目反应理论主要有3个基本假设：单维性,局部独立性和单调性。但是这3个假设存在一些弊端亟待解决。一些科学研究表明,用单维模型来模拟多维测量数据往往会增大测量误差,导致对学生的能力做出不正确的推论。因此,研究者基于各种不同的测验背景,将单维项目反应模型推广到多维项目反应模型。多维项目反应模型涉及到的参数较多,如果采用传统的估计方法,如边际最大似然法和贝叶斯众数估计法处理起来比较困难。然而,在项目反应理论中,Gibbs抽样法可以作为一种高效灵活的估计方法加以应用。基于Gibbs抽样的增加数据的技巧,给出了多维二参数Logistic项目反应模型的Bayes估计方法。随着潜在变量的引入,每个参数的满条件分布都很容易得到,并且不受先验分布选取的限制,这样Gibbs抽样的方法就很容易实施。     

泛型编程与JAVA实现

该文对泛型编程的核心思想和技术特征进行了较为深入的分析,介绍了泛型编程在语言实现上的现状与不足,着重论述了作者针对这些不足做出的改进工作,即对类型参数及其约束机制进行扩展以支持通用、高效的算法和数据结构的设计,并以JAVA语言作为实施例,详细介绍了如何通过现有对象技术来实现比较完整的泛型编程,是现有面向对象语言类泛型编程的首例.     

基于Java多线程机制实现读者/写者问题的拓展研究

简要描述Java语言多线程机制，阐述了操作系统中读者/写者这个经典同步问题，独创性地提出该问题三种算法的新思路，针对各算法作了较深入的拓展探究，并通过Java语言的多线程编程技术给出此问题各相应算法的关键解决策略，最后对各算法进行分析比较。     

等级反应模型的Gibbs抽样方法

探讨了MCMC算法在多级评分项目反应模型参数估计中的实现及其估计精度.针对等级反应模型,基于数据扩充技术,提出了一种高效灵活的Gibbs抽样方法,得到了各个参数的Markov链.随着潜在变量的引入,每个参数的满条件分布为相应参数的先验分布的截断分布.这种抽样方法适用于任何类型的先验分布,不受先验分布形式的约束.对应每个...     

MATLAB下的馈电网络测量数据的导出与验证

将互联网络子结构分析理论应用于馈电网络的设计中,通过将复杂的通信系统划分为子结构级联的形式,然后设计和建立不同子结构的有效精确的参数测量数据库,并运用测量数据库的变换、级联技术来实现对馈电网络的设计和优化是一种简单有效快捷的方法.以MATLAB为编程语言和开发平台对馈电网络子结构的S参数测量数据如何导入到ACCESS数...     

基于多元回归模型下人体吸氧效率的预测

研究人体吸氧效率与人体重要指标因素的相关性,首先利用R统计软件对人体吸氧效率与重要指标因素进行多元线性回归建模,其次,对该模型及回归系数的显著性分别进行F检验和t检验,剔除掉冗余及共线性指标,确立一个合理且有效的的多元回归模型.最后,利用回归模型进行预测并分析该模型的实效性.为指导人体生理健康及研究应用提供了较好的参考价值.     

单片机C与汇编混合编程在DS18B20温度采集中的应用

在嵌入式程序设计中,C语言和汇编语言是两种应用最广泛的编程语言,它们各有突出的优点。本文中详细介绍了这两种编程语言混合调用的方法,并以DS18B20温度采集系统为例,在程序设计中灵活运用这两种编程语言,使程序简洁而高效,对学生学习、运用单片机C语言与汇编语言的混合调用,解决实际问题具有一定的参考价值。     

将专业课知识融入高级语言程序设计教学

“高级语言程序设计”作为计算机专业的基础课程,在计算机专业教学中占有十分重要的地位。同时, 该课程也是“数据结构”、“算法设计与分析”、“编译原理”、“操作系统”等课程的先修课程,它们之间又存在着密切的关系。从高级语言程序设计课程与其后续课程的融合问题入手,以操作系统课程为例,分析了计算机专业课的相关理论对程序设计课程的影响,提出了在语言类课程教学中初步渗透专业课的基本知识、在适当时机用适当的教学案例将专业课相关理论介绍学生的基本理念。目的是帮助学生从更深的层次上理解程序设计的相关概念和原理,为促进程序设计课程的开展、树立学生学习的兴趣和信心、提高程序设计的质量找到新的解决途径。以实例分析为手段,分析了这种方法的可行性,讨论了该方法实施的相关条件。