第二小阶数的点本原1/2-弧传递图

通过研究群PSL(3,3)在二维射影空间PV(2 ,3)中极大独立点集之集合上的本原作用的次轨道结构 ,构造了一个阶数为 2 34,度数为 48,自同构群为Aut(PSL(3,) )的点本原 12 弧传递图 ,从而发现了第二小阶数的点本原 12 弧传递图 .     

3连通图生成树上的可去边

摘要：设G是3连通图，e是G中的一条边．若G—e是3连通图的一个剖分．则称e是3连通图G的可去边．否则，称e是G的不可去边．本文给出某些3连通图的生成树上可去边的分布情况及数目。     

两类图同构的充分必要条件

给出了两类图同构的充分必要条件，结果对研究图的重构猜想有重要意义．     

利用SPOT5数据制作正射影像图并辅助更新土地利用现状图的方法

对利用SPOT5卫星数据制作正射影像图的方法进行了研究，并以扬中市为例，对使用正射影像图辅助更新土地利用基础图件的可行性进行了探讨。研究发现此方法易于掌握，辅助更新效果显著。     

基于语义网络的方案设计过程表达与推理

从基于机械运动方案设计的表达方法必须能支持概念设计全过程的思想出发，提出计算机辅助概念设计系统必须能够表达设计方案、产生方案、产生多个方案和确定最优方案．根据方案表达方法应具备的基本功能要求，选用语义网络技术表达设计方案过程、工艺动作、机构及其相互间的关系，通过对设计方案中机构时间配合及其影响的表达和调整实现了方案设计运动循环图表达的计算机辅助化．利用基于语义网络表示的不确定性推理技术构造待求问题的语义网络片断，通过已有设计实例与设计要求的属性值与属性值、属性值与属性值域、属性值域与属性值域三者的匹配比较构造贴近度计算公式，并对工业平缝机中的挑线机构进行了机构选型．实例证明了击模型的正确、实用性．     

多值依赖无分裂覆盖问题的研究

基于函数依赖规范化理论及多值依赖基本概念，给出了多值依赖的分裂、无分裂多值依赖集等定义，提出了满足无分裂多值依赖集的良好特性，以及无分裂多值依赖集的判定算法，并且提出分裂多值依赖集存在无分裂覆盖满足的条件及其算法．这对于多值依赖集化简、规范化设计和无环数据库设计提供了理论基础．     

基于Fourier变换非一致间距阵列的一种合成法

基于阵列图及其分布间的Fourier关系，作者提出了非一致间距阵列的一种合成方法。在Fourier关系下，通过抽样一个给定的阵列图，就能使用FFT(快速Fourier变换)得到其近似连续的阵列分布。为提高改善阵列图的性能，提出一个算式用于决定非一致间距阵列的空间间隔，从而在合成的阵列中保持更多的能量。该方法简单且易于应用。     

关于丢番图方程x2±xy+y2=p

设p是形如6k+1的正素数,运用数论方法及计算机程序,获得了丢番图方程x2-xy+y2=p在p<100000时的满足x相似文献   

地质勘探图的矢量化方法研究

根据地质图中的图形元素的特点 ,给出了具有地质属性的工程图矢量化方法 ,从而将地质勘探图纸信息转化为具有地质信息的矢量数据。分块细化方法提高了大幅图纸的细化处理速度 ;数据优化处理从整体上考虑了勘探图素间的相关性 ,减少了矢量化过程中人为造成的误差 ;图形元素的部分非几何属性的自动识别提高了矢量化的自动化程度。这些方法在地质勘探图的矢量化系统中得到实现 ,并已在油田实际工作中应用。     

利用VC++修改地形地籍成图软件的因素

介绍如何利用VC++程序设计直接读写AutoCAD的数据交换文件(DXF文件)的方法来修改部分图素,使图素保持原样。