量子退相干解释的再思考

量子测量退相干解释,在解决量子测量难题上正在取得进展。但量子测量退相干解释的具体模型,被测系统与宏观仪器所形成的纠缠态,在退相干解释理论体系中逻辑上并不自恰,退相干解释的应用模型仍存在重新建立的必要。     

Lipschitz条件题设的完善

本文给出了函数单侧极值点的定义,并证明了连续函数的单侧极值点所成之集与实数集等势,且利用此完善了函数满足Lipschitz 条件的题设。     

小麦群体连续选择效应的综合分析

本试验对由信谷核不育基因构成的异效群体内４个性状进行连续两轮歧化选择，并将所得数据进行群体综合分析。结果表明：整个群体的平均表现和变异程度未发明显变化；但群体分布状况有一定改变，尤其是每穗粒数的分布数化较为明显；株高和千粒重的有效因子数估计基本符合小麦遗传实际表现，每穗粒数的有效有效因子数估计略低，说明此性状遗传背景较为简单。     

泛Loeb可测集的S-饱和性

在 K-饱和的非标准模型中,研究了泛 Loeb 可测集 m(A),pns(~*X),cpt(~*X),fin(~*X),ns(~*X)的 S-饱和性.当 A 是紧致 Hausdorff 空间 X 的子集时,得到了 st~(-1)(A)是标准集的充分条件.     

关于极限的几个定理

给出了极限的几个定理及其推论，可以解决或简化某类极限问题。推论2修正了数学通报11（1963）《关于极限的一个定理》。     

一种信息审计系统中的多关键字匹配算法

针对审计系统中搜索大量审计数据的需要,设计了一种基于哈希表机制的多关键字匹配算法.该算法把关键字集合储存到哈希表中,并为关键字集合建立了两个过滤表和一个关键字长度类型表.在查找过程中,对未经过滤表验证的字符串不再进行匹配查找,同时,关键字长度类型表的使用减少了循环的次数.测试结果表明,该算法在速度和精度上都优于BM和mgrep算法.     

广义不确定原理对一般静态黑洞熵的影响

把广义不确定原理引入黑洞熵的计算,采用薄膜brick-wall模型,对一般静态黑洞外部标量场的熵进行了计算,得到了熵计算公式.应用该公式结果表明,可以得到已知所有静态黑洞的Bekenstein-Hawking熵.作为比较和进一步研究,对视界面上的二维膜的熵进行计算,可以更方便和一般性地得到熵与视界面积成正比的结论,该讨论可直接表明黑洞熵就是其视界面上的量子态的熵.与原始brick-wall模型不同的是,这一结论是有限的,计算中无需引入截断,且小质量近似也可以避免.     

中小企业ERP实施成因初探

通过对一个中小企业实施ERP的典型案例分析，归纳出了中小企业实施ERP失败的主要原因。并给出了中小企业实施ERP成功的要点。     

筒型基础系缆平台沉／拔过程侧摩阻力原型测试

介绍了1999年首次安装在渤海锦州9－3地区多筒基础平台安装施工过程中的侧摩阻力原型测试研究，描述了简型基础上沉和上拔过程中筒壁侧摩阻力的测试系统和测试方法，给出了主要测试结果并与现行规范进行了对比分析，这项成果对筒型基础平台的设计和施工具有直接的参考意义。     

联邦接口规范测试方法研究

高层体系结构（HLA：High Level Architecture)可以支持各种类型仿真之间的互操作，同时便于建模与仿真部件的可重用。开发HLA应用必须根据联邦开发与执行过程模型进行，其中联邦测试是FEDEP模型的重要组成部分，主要包括三级测试，即：一致性测试，集成测试，联邦测试。一致性测试主要包括接口规范测试，OMT测试，RTI测度等内容，本文对联邦接口规范测试的方法进行了研究，根据接口规范的测试标准，制定了测试顺序，给出了联邦接口规范的测试顺序，给出了联邦接口规范的测试顺序模型，使接口规范测试更加系统，清晰。