微机符号解析系统的研制和其用例

 参照REDUCE系统,在PC微机上,建立了一个用于非数值处理的符号解析系统和语言。本系统具有较为完备的系统控制功能与错误处理能力,允许作业嵌套,并可随时打断作业的运行。窗口和功能键的设置为使用者提供了很大的方便。最后,给出两个非数值用例。     

在火箭发动机燃烧室中气相湍流流动的理论计算

本文用单流体湍流模型对液体火箭发动机突扩燃烧室中冷态气相流动的速度场和湍流强度分布进行了数值计算并与实验数据进行了对比和分析.     

首都机场行李分拣统计分析系统的设计与实现

介绍了行李分拣统计分析系统的设计与实现过程,给出了实现该系统的软硬件环境。对一些主要的模块给出了详细的说明,给出了关键技术的解决方案。同时,还介绍了系统的主要功能,并对这项技术的实际应用效果做出总结。     

虚构解方法程序验证

对求解偏微分方程问题的程序的严格验证,一直以来由于其精确解有限,较难进行,针对这种情况,本文给出了一种新的程序验证方法,虚构解方法,该方法旨在解决大型科学计算程序如何较严格地进行程序验证这一问题;该方法通过构造虚构解,修改原控制方程,然后通过对计算结果的分析处理达到对程序的精确验证;文中给出了一组通用的虚构解的选取办法,解决了虚构解方法验证过程中确定虚构解的问题;同时还给出了运用该方法对非结构二维Euler计算程序进行验证的具体例子,网格收敛分析结果表明该方法是一种有效的程序验证方法,并且具有较好的通用性。     

一种多目标随机决策方法及其应用

本文通过引进决策方案的可行度和决策者参考目标水平的满足度等概念,提出了一种不确定条件下的多目标随机决策方法——交互式参考目标满足度与可行度决策分析中,取得了较好的效果。     

GPS载波相位在大型载体姿态测量中的应用

本文针对舰船等大型栽体的姿态测量，采用GPS载波相位双差测量法来确定载体的姿态，应用载波相位确定栽体的姿态需要解决的关键问题是整周模糊度的确定。文中利用空间几何关系，来压缩模糊度的搜索空间，以加快模糊度的解算速度。通过静态和动态试验对文中的方法进行了检验，在静态用3．48米长的基线其偏航角精度优于0．06度，动态时用3．48米长基线来验证了算法的正确性。通过试验该测姿系统在实时性、精度、可靠性等方面能满足精确定姿要求，是实现动基座惯性导航系统快速初始对准的重要手段之一。     

四阶非线性常微分方程四点边值问题解的存在性、唯一性

本文利用格林函数、Banach空间中的压缩映象原理及Schauder不动点定理证明了四阶方程y( 4 ) =f(t,y ,y′,y″,y ) ( 1 )满足下列四点边界条件y(i) ( t1) =a1,y(j) ( t2 ) =a2 ,y(k) ( t3) =a3,y(l) ( t4 ) =a4 ( 2 )的边值问题解的存在性和唯一性。其中 t1, t2 , t3, t4 ,∈ {t1,t2 ,t3,t4 }且互不相同 ,a 相似文献   

在非结构网格上求解非线性航空声学问题的高精度有限体积法

介绍了有限体积数值方法,该方法适用于在任意非结构网格上求解线性和非线性的航空声学问题.本方法基于角点-中心的多参数格式,可在笛卡尔网格上达到六阶精度,对于可能的不连续性采用了自适应耗散.通过一系列算例研究了该方法的特性,结果表明:在模拟谐振型管中的噪声抑制中,所提出的方法是很有效的.     

大展弦比直机翼双机身飞机中机身与机翼的最佳布置问题

为了探讨双机身大展弦比直机翼无人机中基于翼面弯曲刚度下机身与机翼的最佳布置问题,本文采用工程梁对这一问题进行建模,并利用MATLAB6．5的优化工具箱给出数值优化解。在此工作的基础上,研究了翼面扭转刚度,计算结果表明,与单机身布局相比,双机身布局中的翼面结构扭转刚度提高了4倍。结合文献[1]的工作,可以得出结论：就结构刚度(弯曲和扭转)而言,双机身布局具有一定的优势,值得做进一步的分析。     

复合棒弯曲振动的一种简单数值解法

把组合柱按材料和截面大小的不同分成若干单元，每单元两端的位移、截面转角、弯矩以及剪力的关系用一矩阵表示，各单元矩阵相乘即得到组合柱总的矩阵，最后由此求解组合柱的共振频率，并进行一一些验证。