机载托架自动校准系统的设计与实现

为了解决机载托架传统校准方法精度低、耗时、费力等问题,设计了一种高精度、高效率并且操作简单的成品托架自动校准系统。该系统运用调平精度较高的"循环多次"最高点不动调平方法,建立高精度机载托架校准的静力学数学模型,运用VC与Matlab的COM接口编程技术开发机载托架自动校准系统,并建立良好的人机交互界面。试验结果表明,利用该方法对机载托架进行校准,无论是校准精度还是校准效率都较传统方法有很大提高。     

一个说明语言的设计和其子集编译器的开发

基于软件文档可执行的想法，设计了一个适用于指称语义描述的可执行规范说明语言——ＪＺＣ，并对其核心子集编译器进行了设计与开发。该语言设计采用了模式匹配、类型并置和构造函数等概念，使得抽象文法易于在程度中体现。模块概念的引入使得函数型语言书写的程序更加易懂和易于编写。作为对严格开发方法的一个尝试，ＪＺＣ核心子集编译器的开发采用了该种方法，其中一个“结果正确性定理”的证明是开发过程的重点工作。本文通过一个示例语言简介ＪＺＣ的语言特点，给出了编译器开发过程的一个描述框架和证明梗概     

新的面向对象编程语言Ada95

介绍了Ａｄａ９５的主要面向对象特征，分析了Ａｄａ９５对面向对象模型和面向对象逻辑设计的支持。     

无界域上不定二次规划的一个算法

本文给出了无界域上不定二次规划一个算法。该算法将不定规划转化为一系列凸二次规划，并证明了算法的收敛性。     

一个基于WINDOWS环境的网络连接服务

该文介绍了在校园网环境及WINDOWS平台，采用TCP/IP协议设计并开发PING网络连接服务和客户机/服务器功能的VC^ 程序。     

国家财政主要支出项目与各项税收收入的最优化--回归分析在最优化中的应用研究实例

利用回归分析方法得到国家财政部分主要支出项目，部分税收收入与国内生产总值构成的回归方程，由此构成线性规划问题的约束方程组。再用M单纯形法求最优解。     

国际企业社会责任运动对企业文化发展的影响——基于文化与有效性模型的研究

目前,企业社会责任运动从西方向全世界扩散和渗透,日益为人们所认可和接受,成为一种国际潮流,对企业自身的可持续发展以及国际贸易的进步都具有重要的意义。在“文化与有效性模型”等相关理论模型的基础上,简析国际企业社会责任运动的新趋势,并重点阐述其对中国企业文化的深刻而具有长远意义的作用,指出在企业、政府、社会的大力支持下,中国企业文化要向与国际企业社会责任运动相融合的方向前进,才具有生命力。     

广义螺旋运动与复杂回转刀具几何建模

 针对现代机械加工中广泛使用的复杂回转刀具,如模具铣刀、旋转锉、球形滚刀等,提出了任意回转面上的点和线的广义螺旋运动概念,并运用这一概念分别建立了复杂回转刀具广义螺旋线模型和广义螺旋面模型。该模型适用于任意回转刀具,克服了传统的螺旋运动概念和螺旋线、螺旋面理论只是针对圆柱形回转刀具的缺点。最后以球头刀具前刀面几何建模为例说明广义螺旋运动概念和复杂回转刀具几何建模方法的具体应用。     

磁制动对地壳板块运动影响的理论分析与实证研究

太阳和木星的自转是不均匀的，纬度愈高，自转愈慢。据此，作者推测液态外地核的自转，也存在类似的不均匀性，而这种不均匀自转将对地壳板块运动产生影响。利用磁流体力学理论，阐明这类星球自转的不均匀性，是磁制动的不均匀性引起的。研究了磁制动对地壳板块运动影响的途径及表现方式，并举出实例证明这些表现方式的确存在，从而证明磁制动是影响地壳板块运动的一个极为重要的因素。