企业推行会计电算化应注意的问题

由于会计电算化是一新生事物,大多数企业在推行过程中深感盲目,不知所措,针对此现象,本文提出在推行过程中应注意的几个问题,并加以分析,阐述,对企业推行会计电算化有一定的理论指导作用。     

柱锤冲扩桩（DDC法）加固湿陷性黄土地基

柱锤冲扩桩（DDC法）是一种消除黄土地基湿陷性的地基处理技术,在郑西客运专线中首先采用,属于复合地基的一种,文章就此详细介绍了柱锤冲扩桩的施工方法和处理黄土地基湿陷性的效果。     

普通话水平测试员信度的统计分析

湖北省普通话水平测试中心2001年对全省的国家级测试员进行了测评能力的考核,基于这组考核数据,利用统计方法对普通话水平测试员的信度进行了定量分析,并且对其中系统偏差的测试员的评分给出了修正方法．     

箱形钢构件半熔透对接焊缝的强度验算

针对郑州市某人行天桥工程中箱形钢构件焊缝的设计变更进行了分析,采用了4种方法对变更后的半熔透焊缝强度进行了验算,结果证明强度可以满足要求．为类似的半熔透焊缝计算提供了一些思路和算法,对这类问题的分析具有一定参考价值．     

线性混合系统的一种验证方法

混合系统是指嵌入于物理环境中的数字实时系统．由于计算机技术的快速发展,混合系统在各行各业中都得到广泛应用,但是由于混合系统涉及到连续时间,因此其验证问题始终没有得到完善的解决．近年来,人们普遍采用模型检验方法对混合系统进行验证．由于线性混合系统在实际应用中可以表示大多数的嵌入式实时系统,因此我们着重研究这类混合系统的验证算法．本文首先介绍了混合系统的模型—混合自动机,然后提出了一种针对线性混合系统的基于区域的先划分再遍历的半确定性验证方法．经实例检验,该方法能够有效地验证线性混合系统．最后将本文的方法同有关的其它算法进行了比较     

业务流程的形式化设计与验证

针对如何保证业务流程设计模型与业务需求的一致性问题,在研究有限自动机模型的基础上,提出了一种业务流程的自动机模型构建和验证方法.采用扩展的带约束条件的确定有限自动机对业务流程设计模型进行形式化描述,使用线性时序逻辑表示业务需求,分别给出业务流程设计模型到自动机模型和自动机模型到Promela描述的转换算法,并通过模型检测技术,使用Spin工具验证设计模型是否满足需求性质.若不满足性质,则能够获得反例执行的路径.实例分析表明,该方法可用于业务流程设计的正确性验证.      

基于FP-tree最大频繁模式超集挖掘算法

数据挖掘应用中的最大频繁项集挖掘算法大多存在候选项目集冗余问题,造成时间和空间的浪费.针对此问题,通过构造条件FP-tree,对不符合要求的项目进行剪除并对MFIT算法进行改进,提出一种基于FP-tree的最大频繁模式超集挖掘算法.此算法无需产生大量的候选集,同时减少数据集扫描次数,降低数据库遍历时间,提高算法效率.实验证明,此算法在降低候选项目集冗余度的同时有效减少了算法运行时间.     

扩展Tempura语言统一模型检测算法

针对扩展区间时序逻辑目前没有可用的统一模型检测算法的问题,找到了该逻辑可执行子集即扩展Tempura语言的可判定子集——首先限定该逻辑一阶部分的常量与变量均为有穷可枚举类型,然后加上该逻辑的命题部分.在此基础上,提出了扩展区间时序逻辑统一模型检测算法,以判定由上述定义的语言子集所书写的规范程序是否满足命题版扩展区间时序...     

高校图书馆图书验收质量控制研究

探讨了图书验收质量控制的意义,分析了图书验收质量得不到保证的原因,论述了提高图书验收质量的原则,提出了控制图书验收质量的措施。     

电能表计量故障接线检测仪建模研究

以目前电网测量实际接线情况,建立识别估计电能表错误接线的逆向数学模型,结果表明,应用该数学模型较好的解决了传统电工式和程控式电能表接线的不足,满足市场需求.