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

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

普通高校一年级体育课程教学模式的构建

在总结以往多年教学经验的基础上，对目前体育课程发展状况进行了研究和理性思考，淮阴工学院在一年级进行体育课程改革与实践，提出“主项课”的教学模式，取得一定的成效。同时，对存在的一些主要问题提出进一步的设想和改进措施。     

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

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

新的面向对象编程语言Ada95

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

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

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

谈知识经济时代对图书馆人力资源管理的构想

知识经济时代图书馆的地位更加重要，对图书馆员也提出了新的要求，因此，搞好图书馆人力资源管理势在必行。通过分析了图书馆人力资源管理的现状及存在的问题，提出和强调了图书馆在人力资源管理方面要以人为本，引入竞争机制、激励机制的新模式。     

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

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

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

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

高职院校开展野外生存生活训练的可行性

通过对我国大学生野外生存生活训练开展的现状与发展趋势分析，探讨在高职院校开展野外生存生活训练的可行性。开展野外生存生活训练可以完善体育课程体系，拓展体育课程内容，使学生掌握有关野外生存的基本知识和基本能力，促进高职学生身心健康和谐发展。