太原武宿机场总平面图的形成

太原武宿机场是国内干线机场,是首都国际机场的备降机场,是经国务院批准的航空口岸,也是中国通用航空公司的基地。该机场自1971年投入使用以来,经过20多年,现已远远不能满足航空运输的需要,影响飞行安全和航班的正常运行,制约着山西省与其他省市的联系和经济发展。1992年山西省政府和民航总局协商,由民航和地方政府分区立项共同扩建武宿机场。山西省投资扩建候机楼及     

四色猜想—四色定理

在完全平面围中引进顶点分割与合并的概念,根据完全平面图的特征,对其顶点数采用归纳法证明了平面围是四可着色的。     

四色定理论证

用离散数学之图论证明"四色猜想",巧妙而深层次地应用数学归纳法和换色法,解决了肯泊(A.Kempe)百多年前提出"不可避免构形集"中的一个地域有五个邻域的情况的所谓"可约性"问题,同时指出了1890年希伍德(P.Heawood)举出的25阶反例(当时,他以此说明"四色猜想"不成立,而"五色定理"成立)与本文中的一种可换色(即"可约性")的典型实例类同,进而简捷而理想地证明了"四色猜想"是成立的,使"四色定理"得到科学的论证。     

用VisualLisp动态设计建筑施工总平面图

本文介绍了一种采用VisualLisp语言对施工图进行动态绘制的方法。本文从该方法的特点、设计思想和设计过程等方面进行了论述，作为一种适用的动态绘制方法，为快速绘制建筑施工总平面图提供了一种手段。     

基于三维光场的静态场景前景分割

为解决复杂场景中的前景提取问题提出一种基于三维光场分析的静态场景前景分割方法.首先,通过在一条直线等间距的不同视点上拍摄场景的序列图像构建密集采样的三维光场.其次,用线段检测(LSD)直线检测算法从对极平面图(EPI)中分析提取出场景边缘及其深度信息.借助分段三次Hermite多项式(PCHIP)快速插值算法恢复整个场景的深度信息.最终,通过阈值法实现对不同深度的前景物体的分割.初步实验结果表明,本方法能够较准确地恢复场景中多个物体之间的空间关系,前景分割结果较好地克服了现有基于区域聚类和数学形态学等方法在复杂场景应用中存在的过分割问题.      

2边连通3正则正面图的边着色

对具有正常边着色的２边连通３正则平面图的顶点定义了方向，并且在这样的图上建立了路径上的积发，进一步给出了２边连通３正则平面图是３边可着色的等价条件 。     

冲孔模动态演示操作编程设计

将计算机技术引入机械加工动态模拟教学；以冲孔模具制造为例，实现机械工艺过程的透视、分解、仿真与智能化，从而大大缩短技术工人的培训周期，在生产中亦可降低成本，提高效率。     

跨音速机翼结构动力响应的计算研究

通过交替求解流体运动方程和结构动力方程来计算时域内二维机翼的结构动力响应,并研究了结构参数对系统稳定性的影响,使用控制中的相平面图对计算结果进行分析,来判断系统的结构稳定性。计算中流体运动方程采用二维非定常Ｅｕｌｅｒ方程,并用Ｊａｍｅｓｏｎ提出的有限体积方案,四步Ｒｕｎｇｅ－Ｋｕｔｔａ时间推进求解;结构模型采用二自由度ＰＡＰ模型。经分析,计算结果合理。     

2边连通3正则平面图的边着色

对具有正常３边着色的２边连通３正则平面图的顶点定义了方向，并且在这样的图上建立了路径上的积分，进一步给出了２边连通３正则平面图是３边可着色的等价条件。     

用VisualLisp动态设计建筑施工总平面图

本文介绍了一种采用VisualLisp语言对施工图进行动态绘制的方法.本文从该方法的特点、设计思想和设计过程等方面进行了论述,作为一种适用的动态绘制方法,为快速绘制建筑施工总平面图提供了一种手段.