ER2MD：一种ER模型到多维模型的转换算法

多维模型是数据仓库概念设计不可缺少的工具,将传统数据库实体关系模型直接转换到多维模型,势必在很大程度上缩短数据仓库系统的开发周期.针对数据仓库概念设计需求,在传统数据库基础上,提出一种面向多维模型的转换算法ER2MD.该算法可将满足一定条件的实体关系模型转换到多维模型,产生的多维模型符合广义多维范式,能够确保多维数据库分析计算的有效性,进而有利于物理数据库的设计.     

基于DTRC的形式自动证明平台及其应用

动态项重写计算(DTRC)是项重写系统(TRS)的元计算模型,具有层次化结构和动态重写等特征,可应用于归纳定理的形式自动证明以及项重写系统弱终止性的形式自动证明等方面.文中介绍了一个基于DTRC的形式自动证明平台及其在TRS弱终止性自动证明上的应用.     

城镇化对察布查尔县锡伯族语言发展的影响研究

随着经济发展和社会进步,城镇化也带来了一系列的问题,城镇化进程中的语言问题应当引起高度重视。本文在城镇化背景下,选取新疆察布查尔锡伯自治县的3个城镇区域为样本(爱新舍里镇、察布查尔镇、种羊场),调查城镇化给不同区域的锡伯族人的语言使用所带来的影响。通过数据分析,我们认为城镇化将扩大国家通用语的使用范围,增加国家通用语和锡伯语语言接触的深度,将进一步改变锡伯族的语言观念,城镇化的发展将增加锡伯族语言转用人群。最后提出城镇化与察布查尔县锡伯族语言和谐发展的对策,解决语言生活中的实际问题。     

中国近代军事史研究30年述评

中国近代军事史,按照目前学术界比较一致的看法,其时限界定为1840年至1949年期间。这一阶段,中华大地上充满着外来的侵略和内部的争斗,战争无时无有,无处无有;各类军事力量纷纷登上战争舞台,扮演着各种角色,构成了一幅幅万花筒般的场景。这就为中国近代军事史的研究奠定了基础,创造了条件。建国以来,中国近代军事史研究,就是在这样一种厚实的平台上起步的。从学术研究的层面上看,大抵经历了三个阶段:第一阶段从1949年10月建国之后到1966年5月“文化大革命”开始前。这一阶段主要以史料整理为主,其成果突出表现为一大批中国人民解放军军战史…     

加油机器人操作臂设计及运动学研究

为减少污染和节省人力,使用加油机器人代替人力完成加油工作成为未来发展的必然趋势。为此,专门设计一种加油机器人操作臂的结构形式,在D-H坐标系中建立四自由度加油机器人操作臂的运动学模型,采用变换矩阵方法求解该操作臂正、逆运动学解析表达式,并运用Matlab软件的机器人工具箱对该操作臂正、逆运动学方程进行仿真验证。研究结果证明正、逆方程运动学方程解的正确性以及设计方法的可行性。     

反潜水雷陷阱及其效能模型

针对传统反潜手段的不足,结合水雷武器特点,提出了利用水雷与诱饵相结合,构建反潜水雷陷阱打击潜艇的新思路。以圆弧形反潜水雷陷阱为重点,建立了陷阱的效能计算模型,并根据目标潜艇进入陷阱时的航向、航迹偏差等因素对陷阱打击效能的影响,对陷阱的效能模型进行了修正,以提高模型的适应性。最后,利用陷阱效能模型进行了仿真计算和分析,计算结果表明了这种反潜水雷陷阱的可行性及其效能计算模型的正确性。