利用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文件)的方法来修改部分图素,使图素保持原样。     

海南省高校科研资助项目（Hjkj200326）

记δ和α分别表示图G的最小度和独立数，1991年Faudree等人得到图G不相邻的任意2点x,y均有|N(x)∪N(y)|≥n-δ的Hamiltonian结果。1993年美国乔治亚州立大学的陈冠涛教授深化Fan条件并且得到满足1≤|N (x)∩N(y)|≤α-1的不相邻的任2点x，y均有max{d(x),d(y)}≥n/2的Hamiltonian结果。进一步改进Faudree等人的条件和综合陈冠涛教授的思路,研究满足1≤|N(x)∩N(y)|≤α-1的不相邻的任2点x,y均有|N(x)∪N(y)|≥     

正则图邻接矩阵的非奇异性

证明了当n,k中至少有一个为偶数(0相似文献   

Struts和JDO的Web应用

网络技术的发展促使应用系统结构由C／S结构到B／S结构的转变，因而要构建一个具有高稳定性、可扩展性、可维护性的应用系统，B／S结构的设计就极为重要．在简要介绍MVC软件设计模式和存储层设计的基础上，提出了Struts和JDO两种技术相结合的B／S开发结构，而这种B／S结构可以用于构建强壮的中小型Web应用系统．     

关于丢番图方程工x^4＋mx^2y^2＋ny^4=z^2（Ⅲ）

利用Fermat无穷递降法,证明了方程x4+mx2y2+ny4=z2在(m,n)=(±18,54),(36,-108),(±36,108),(±18,-108),(-18,108),(±36,756)时均无正整数解,并且获得了方程在(m,n)=(±6,-24),(±12,132),(-36,-108),(18,108)时无穷多组正整数解的通解公式.