变长非参数认知诊断自适应测验终止规则

该文借鉴传统变长参数CD-CAT的终止规则,结合DWIR方法的指标提出2种非参数变长CD-CAT的终止规则:最大距离比例终止规则(MDRM)和距离比例双重标准终止规则(DRDSM).模拟研究发现:1)2种非参数终止规则MDRM和DRDSM适用于0-1计分和混合计分情境下的非参数CD-CAT测验; 2)当研究目的在于获得更加准确分类结果时,可在 MDRM 规则下的增大d_1st值,或者在DRDSM规则下增大d_1st值和减小d_2nd值; 反之,可以减小d_1st值或者增大d_2nd值; 3)当测验终止的条件愈发严格时,即当d_1st和P_1st不断接近1或者d_2nd和P_2nd不断接近0时,采用MDRM或DRDSM作为测验终止规则的测验结果和采用后验概率作为终止规则的测验结果逐渐接近.     

不定长认知诊断计算机化自适应测验终止规则研究

目前大多数认知诊断计算机化自适应测验采用定长终止规则,该文提出3种不定长终止规则。通过实验对比,新方法较已有方法具有如下优势:i）能够较好地保障测验精度;ii）大幅降低了人均测验用题数;iii）人均测验用时也有所下降;iv）项目调用均衡性和题库安全性有所增强。     

一种改进的规则终止性分析方法的研究

提出一种新的规则终止性静态分析方法REG,它在全面考虑触发图、活化图和惰化图的基础上引入事务的思想。对于规则的终止性分析,采用REG方法比基于进化图的分析方法更具体、精确,接着给出了REG的算法并证明其正确性。     

主动数据库的规则终止性分析

提出一种基于进化图的规则终止性静态分析的方法，全面考虑了触发图、活化图和惰化图。这种基于进化图的分析方法比传统基于图的分析方法分析更为精确，之后提出了规则终止性分析算法并证明了其正确性。     

主动规则可终止性分析的规则缩减算法

研究主动数据库系统中规则终止特性的静态分析技术,通过对基本触发图分析方法的研究,根据主动规则的可终止性给出了将触发图和激活图结合的一种规则终止分析方法,并将其运用于主动面向对象数据库系统AO2DB的规则终止分析中,该方法与基本触发图分析方法相比能够更准确的判定规则的可终止性。     

基于Petri网的ECA规则集终止性分析

对于ECA(event-condition-action)规则集,由于其行为特性较为复杂,终止性分析比较困难.在Petri网理论的基础上,提出了一种扩展Petri网系统,建立了ECA规则集模型,能够较好地表示ECA规则的行为特性;利用Petri网分析方法,对ECA规则行为进行了分析,并利用可达图和T_不变量方法对ECA规则集的终止性进行了分析.经过实例验证,该方法效果良好.     

一种关系数据库系统中主动规则的实现策略

在关系数据库系统ＤＭ２的基础上,提出了一种实用的主动规则语法定义和语义执行模型,在事件定义中加入了时间事件,给出了加入主动规则后的数据库系统的体系结构,以及在创建规则时,为了保证规则执行的可终止性,用于分析规则之间解发关系的三个原则。     

基于不同CDM视角的CD-CAT题库建设

在CD-CAT题库建设过程中,选择合适的认知诊断模型(CDM)标定题库参数是一个关键的步骤.若一个题库均采用一个CDM来标定题库所有参数,则可能会造成模型资料失拟.提出了一种基于混合模型的题库建设思路,通过Monte Carlo 模拟研究验证了基于混合模型建立题库的效果,并与传统的基于单一模型的题库建设进行了比较,为CD-CAT在选用合适的模型方面提供了理论借鉴.     

可达阵在认知诊断选题策略中的运用研究

在香农熵选题策略的基础上,采用4种不同的测验蓝图考察运用可达阵对诊断精度的影响.Monte Carlo模拟试验表明:选择可达阵所有列对应的项目对改进计算机化自适应诊断测验(CD-CAT)的诊断精度有着重要的作用,而且对于CD-CAT的选题策略有重要的参考价值.在CD-CAT过程中选择较多可达阵的列对应的项目能够明显提高模式判准率,项目质量对结果的影响不大;而未包含所有可达阵的列对应的项目时,项目质量对于模式判准率有较大的影响.     

一种关系数据库系统中主动规则的实现策略

在关系数据库系统ＤＭ２ 的基础上，提出了一种实用的主动规则语法定义和语义执行模型，在事件定义中加入了时间事件，给出了加入主动规则后的数据库系统的体系结构，以及在创建规则时，为了保证规则执行的可终止性，用于分析规则之间触发关系的三个原则     

CAT分层终止规则探究

分层的不定长 CAT 各分层信息量的控制界点设置问题,到目前为止的研究还是经验性的探索,对此问题提出了新终止规则解决方案。实验结果表明:新终止规则对于提高题库的安全性及测验效率均有较好的效果。     

Neural network based scheduling for variable-length packets in Gigabit router with crossbar switch fabric and input queuing

A high-speed and effective packet scheduling method is crucial to the performance of Gigabit routers. The paper studies the variable-length packet scheduling problem in Gigabit router with crossbar switch fabric and input queuing, and a scheduling method based on neural network is proposed. For the proposed method, a scheduling system structure fit for the variable-length packet case is presented first, then some rules for scheduling are given, At last, an optimal scheduling method using Hopfield neural network is proposed based on the rules. Furthermore, the paper discusses that the proposed method can be realized by hardware circuit. The simulation result shows the effectiveness of the proposed method.     

关于无约束最优化问题的计算终止准则

讨论常用的无约束最优化问题的计算终止准则的可靠性，并且构造出一种新计算终止准则，数值试验的结果表明，新计算终止准则的可靠性高     

基于离散型粒子群优化算法的分类系统构建

离散型粒子群优化(DPSO)算法具有收敛速度快、参数少、能够适用于动态环境的能力等优点。借鉴已有的基于粒子群算法的分类系统,以离散型PSO为基础构建分类系统,在操作的过程中使用变长的方法来表示粒子,对法则集进行合理的表示并进行适当的删减,使用预设法则来提高分类效果等。通过实验证明,系统能够正确对法则进行删减并使用较少的法则数目达到理想的分类准确率,该分类系统具有较好的性能。     

关于非线性规划数值算法停止准则的讨论

本文评述并讨论了几种非线性规划数值算法的停止准则 ,并在此基础上提出了一种较好的停止准则 .     

不定长整数乘法的算法研究

通过对整数乘法的研究给出了基于移位运算和加法运算的不定长整数乘法的算法,根据所提算法给出了基于双链表整数的乘法算法实现的程序设计,计算结果表明,该算法能够提高乘法运算的效率.