高等数学中一类证明题的解题方法

在专升本高等数学的考试中,证明题占有举足轻重的地位。总结在考试中常见的两种类型证明问题,并给出一种构造辅助函数的方法,最后通过例题检验该方法的有效性。     

用EXCEL—VB建立一个实用的程序库

本文介绍了一个以EXECL和EXCEL VB建立的直升机实用程序库及其建立和使用方法。     

CX600车铣加工中心的回换刀点过程控制

本文介绍了在CX600车铣加工中心的制造过程中,利用用户程序和Part程序相配合，实现主轴刀具回换刀点过程的控制方案，该方案实际可行，并已用于生产实践。     

"精工在线"电子商务系统研究

通过对电子商务开发技术现状的分析,给出了“精工在线”电子商务系统的构架。并对该系统的特点、功能及实现技术进行了详细的论述。     

结合中国气温特点建立上升程序

 结合中国气温特点,用动态规划的方法,兼顾操作简便,建立了上升程序。经试飞证实,4种战斗机及三叉戟2E运输机上升到1万米高度,改进程序比飞行手册中的原程序省时约1min,省油占上升耗油5％左右。     

基于粒子群优化算法的飞机维修计划编制优化

针对国内航空公司的维修生产管理,分析了维修计划的编制流程,建立了相应的整数规划数学模型,该模型采用维修停场损失、维修加班费用和维修外包费用的和作为目标函数,可用于混合机型机队的定检维修计划的制定。同时分析研究了粒子群优化算法,并采用该算法对模型进行求解。数据仿真结果表明,建立的模型和求解算法切实可行。     

基于8031单片机的发动机转速测量

发动机转速的实时测量已成为高性能航空发动机研制的重要内容。本文介绍了用8031单片机系统对某型发动机转速进行实时测量的方法,给出了测量系统的硬件结构、实现技术及其实时软件设计。系统时效性强,性能可靠,使用方便。     

多媒体课件写作环境MCAE的设计与实现

ＭＣＡＥ是一个基于多媒体数据库的课件写作环境，它以多媒体数据库为基础并在其上建立一组开发工具形成的一个开放的，集成化的课件开发环境，开发工具主要有写作工具、查询导航工具，数据输入输出工具等。     

异质网上互操作—从数据交换到程序交换

对分布式计算和软件集成中的互操作性问题进行了讨论，叙述了遵循特定的标准解决互操作性的办法，比较几种常见的互操作标准，包括ＳＴＥＰ／ＳＤＡＩ，ＣＯＲＢＡ和Ｊａｖａ，描述了Ｊａｖａ语言出现后程序交换的新特点，并对互操作标准的现状作了评述。     

矿用隔爆型电机的水冷结构设计与温升计算

针对矿用隔爆电机体积小、功率大、发热严重等应用特点,合理地设计水冷结构可以有效地平衡电机发热量,保证电机的安全运行。基于流体力学及电机传热学理论开发编制了水冷电机水路结构设计与温升计算程序。以YBSD矿用隔爆型三相电动机为研究对象,对其机壳水路进行了结构设计与热力计算,并进一步计算了电机的温升情况。通过将程序计算结果与实际电机数据进行对比分析,验证了所提方法的可行性和计算的准确性,为矿用隔爆型水冷电机设计提供了技术手段。