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

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

分布式数据库中海量数据采集完整性约束

在分布式数据库系统的建立过程中,需要把大量的异构信息转化成数据库管理系统可以识别和处理的数据.在把信息装载到数据库前,需要对这些源数据进行完整性校验.利用数据库关系的偏序性把数据划分成不相交的子集,给出了一种描述数据库统计概貌的模型,把全局完整性约束局部化,对以文件形式存在的源数据进行分布武完整性检查,然后在后台将其批量装载到数据库中.此种方法在黑龙江省防洪决策数据库系统的建立过程中,明显提高了数据的可信度及装载效率.     

点、边带约束成本的最短路问题及其算法

提出了点和边都带有成本约束的最短路问题，证明了该问题是NP－完全的，建立了这类问题的数学规划模型，并采用拉格朗日松弛算法对模型进行求解，给出了次梯度优化求解算法的一般步骤，考虑到算法在实际求解过程中收敛速度较慢的问题，进一步对拉格朗日松弛算法进行了2个方面的改进，一方面确定适当的迭代步长，另一方面选择较好的迭代方向，算法实例表明，改进后的拉格朗日松弛算法迭代步数显著较少，证明算法是有效的。     

约束最优化的改进中心算法

以最优化问题为核心，对中心算法进行了研究．该算法是解决非线性凸约束数学规划的有效算法．在此对其作了几个方面的改进．实例计算分析表明，改进后算法的收敛速度大大加快，迭代的次数大大降低．     

基于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相似文献