基于语料库的语言建模

语料库语言学的发展的核心问题是语言模型的建立问题。常用的语言模型可以概括为三类：（１）ｎ元模型（及隐马尔可夫模型）；（２）基于分布理论的模型；（３）基于规则的模型。基于语料库的建模过程就是对语言模型的参数进行求解的过程，也可以认为是一个机器学习的过程。它可分为两大类别：（１）有指导学习；（２）无指导学习。本文着重论述了近年发展的热点——无指导学习的各种技术和影响参数可信度的数据稀疏问题及其解决办法。     

大尺寸三维激光测量系统标定方法

研究了一种基于平面几何射影变换原理的三维激光测量系统标定方法. 根据测量系统中激光扫描平面的旋转特点,基于平面射影变换中直线不变的映射关系建立了标定对象表面被测点在不同参考系之间变换的约束关系,并采用封闭运动链思想定义系统参考系空间刚体变换关系,将系统标定问题转化为世界坐标系下系统内参数矩阵和外参数矩阵的求解. 通过空间变换关系得到上述2个矩阵的解,实现系统的标定. 该方法标定装置简单、速度快、稳定性好,能够满足实际工程应用中的需求.     

关于(S-1,S)订货策略的随机库存最优解

本文运用G/M/1排队论方法，对(S-1，S)订货策略中当需求是一般分布，到货(生产时间)是指数分布的随机库存问题进行了研究，给出了在考虑库存费，缺货损失费，订货附加费等因素下的库存模型的最优存储量S^*的求解公式。     

用Excel求解线性规划及线性方程组的方法

对利用美国微软公司开发的Office组件中的电子表格软件Excel求解线性规划的方法给予了介绍 ,并将该功能给予扩充 ,给出了用该软件求解线性方程组的方法     

行列式的一种计算法

1Vandermonde行列式下述行列式Vn称为n阶Vandermonde行列式[1],其可表示为Vn=1 1…1b1b2…bnb21b22…2bn┇┇┇┇b1n-1b2n-1…bnn-1=∏1≤j相似文献   

对平面激波的数值研究

从数学分析的角度，定量地研究造成平面激波脱体的物理条件。将来流Mach数M1、壁面转折角δ以及激波角β所满足的函数关系式转换为代数方程，建立完整的平面激波激波角的数值计算方法，给出激波前后气流物理量的变化关系。     

LINGO在关键路径规划求解中的应用

文章首先介绍了关键路径的相关概念,然后给出了求关键路径的算法,最后使用L INGO软件求解工程规划中经常使用的关键路径规划实例,结果显示：使用该方法求解模型简便,能大大提高优化求解关键路径的效率.     

极限limx→∞（1＋1/x）~x=e的灵活运用

极限理论是数学分析中研究函数的重要工具,能否掌握和灵活应用极限的各种运算,对学好高等数学非常重要,求函数极值最主要也是最困难的内容是确定各种类型不定式问题的值以及如何应用初等变换及重要极限公式求解极限问题。     

面向虚拟装配操作的交与辅助技术

针对虚拟装配系统中装配操作精度和效率低的问题,本文提出了基于约束元素包围盒的装配意图捕捉方法,根据约束元素的特征参数和配合类型,将位姿变换分解为点到线上、点到面上和直线平行三种位姿变换情况,提出基于位姿变换元素分解的约束精确定位求解算法,并通过对零件自由度的求解和目标约束方向上的运动分量映射,实现了零件的装配运动引导。最后通过一个典型装配结构的实例给出了装配操作的交互辅助流程,验证了算法的有效性。该算法已应用到面向航天产品的桌面虚拟装配系统中。     

一种基于网络的分布式计算求解器的研究

随着网络技术的巨大成功及其飞速发展,对计算机处理数学问题能力的要求也越来越高.提出了"一种基于网络服务的分布式计算求解器"方案,目的是充分利用网络的软硬件资源,将网络上的多个求解器通过互相协调,共同解决本地计算机不能解决的等式约束问题.