美国全国性职业认证机构的院校认证 ——以独立院校认证委员会(ACICS)为例

美国独立院校认证委员会作为全国性职业认证机构,在认证中,鉴定独立院校教育质量,诊断独立院校教育得失,直接调控与间接调控相结合,监督与自我监督相链接.但在2016年由于认证工作的不规范,从2017年起不再得到美国教育部的认可.这对我国新建本科院校合格评估的发展有着一定的警醒,合格评估中要完善评估内容,构建动态科学的评估指标体系,评估为手段,诊断问题是目标,打造良好的评估生态,真正落实以评促建,推动新建本科院校的国际化发展,合理运用评估结果,施行对合格评估的元评估.     

HLA联邦的桥接扩展和影响时空一致性的实例分析

随着计算机技术和仿真应用的发展 ,越来越需要组建大规模分布仿真系统 ,HLA框架的定义和应用为此提供了很好的契机。使用桥接技术把不同的联邦连接起来是构建大规模联邦的有效方法 ,其中桥接邦元更适合于不同RTI的异地连接。桥接HLA联邦会带来影响系统时空一致性和性能的新问题 ,时间推进和所有权转移是两个有代表性的例子 ,需要重点解决     

矩形带簇的推广

本文将矩形带簇的概念扩张到了广义矩形带簇,讨论了广义矩形带簇的若干性质.     

一个多层的 context 逻辑

本文介绍了ｃｏｎｔｅｘｔ研究的现状,定义了一个新的ｃｏｎｔｅｘｔ逻辑ＣＬ,定义并证明了与之相关的一些概念和定理。     

模糊格中的有补元

模糊格概括了模糊集理论的运算规律,随着计算机等学科的发展,越来越需要对该学科进行完善。有补元是模糊格中的一种特殊元素;首先,给出了有补元在模糊格中的四个重要性质;第二,给出了有补元与模糊格分明元的关系定理;第三,通过有补元,建立了模糊格“分支”的两个刻划定理。     

弹道数据处理融合算法的并行计算

针对参考文献[1]中提出的融合多信源信息的融合算法,讨论了其中大计算量的测元遴选问题,并给出了它的并行算法。最后详细地分析了此并行算法的高效性和可扩展性,给出了加速比的仿真结果     

一种高精度六面体广义协调元

在八节点六面体等参单元的基础上在其各个面的法向方向上增加一个自由度 ,同时为了提高精度 ,改善其性能 ,消除几何敏感性 ,又引入七个非协调的内部位移函数和一个泡状函数作为附加位移。数值计算表明该单元的性能良好。     

一种捷联惯导系统姿态测量新算法的应用研究

为改进捷联惯导系统姿态矩阵的解算、实时计算等问题,本文引入四元数三阶泰勒展开递推式作为捷联惯导系统的姿态更新算法,着重解决了使用三阶泰勒展开递推式进行姿态计算的方法,并对某陆地捷联惯导系统的量测数据,用C语言进行了相应的仿真.本文的工作为改进捷联惯导系统算法提供了参考依据.     

具有规范化的四元数递推计算的公式误差估计

对捷联式制导系统中目前常用的四元数递推公式进行误差估计,给出利用观测数据计算四元数的误差界的公式,还介绍了保持四元数范数不变的一类递推公式。     

防空导弹对目标拦截的模糊二元对比排序

确定对空袭兵器的拦截次序是防空导弹火力分配的重要内容.定性分析和定量计算相结合,利用模糊数学中的模糊二元对比排序法确定防空导弹对多个目标拦截的优先次序,先对模型进行描述,给出模糊相似关系矩阵及相应的计算方法,再以4种空袭兵器为作战对象,运用模型进行计算,得出直观的目标拦截排序结果,变模糊的、复杂的问题为直观的结论.为指挥员科学分配防空火力,最大限度地发挥防空导弹的制空效能奠定基础.