土地使用证管理计算机辅助系统设计

介绍了《土地使用证申报、调查、审核与颁发计算机辅助系统》(软件 )的开发背景 ,软件的需求 .功能、特点及实施过程 ,并提出土地管理信息系统建设的一点思考 .     

二连通二部图的偶泛圈性

范更华证明了如下结论:设G是具有n个点的二连通图(n≥3),若对任一对使d(u,v)=2的点有max{d(u),v(v)}≥π/2,则G是哈密顿圈的。将范氏条件限制在二部图上,已经得到二连通的二部图是哈密顿圈的一个类似充分条件。本文证明该充分条件亦保证了二部图的偶泛圈性:设二连通的平衡二部图G=(X,Y;E)每部有n个点,若对任一对使d(U,v)=2的点有max{d(u),d(v)}>π/2,则G为偶泛圈的。该结果是最好的可能。     

水电站能量指标计算软件的更新与扩展

2000年实施的《水电工程水利计算规范》明确指出：依据水库调度图按平均水头计算的电量可能与实际差别较大。因此，运用快速发展的计算机硬件、软件技术对相关软件进行全面更新，以适应新的国家标准，并在功能上予以扩展，涵盖能量指标计算、复核、考核、调峰优化排序、发电量预测、MIS等功能。     

广义Ramsey数p(n,k)的若干性质

设n ,k≥ 3为自然数 ,p(n ,k)是最小的正整数p ,使得对任何阶图G ,或者G有n点导出子图至少有n - 1条边 ,或者G有k点独立集 ,则本文证明 :( 1 )p(n ,k) ≥max{p(n ,k-1 ) ,p(n- 1 ,k) },( 2 )当n<3k - 4时有p(n ,k) ≥ 2k- 2 + [n/3],这里 [·]是最大取整函数 .     

相交柱锥表面展开图的计算机绘制

根据曲面到平面的等距变换原理，运用可展曲面及其曲面上的截交线或相贯线变换到平面上的方法，使曲面展开变得更为简捷、精确，且更有利于计算机辅助几何设计中建立曲面展开的数学模型和合理的算法，尤其对开展精度要求高的曲面展开更为有利。通过对轴线相交的圆柱体和圆锥体数学模型的研究，建立了展开曲线方程，用VBA语言结合Atutomation技术编制了通用的计算机程序，将展开图在AutoCAD2000上加以绘制，实现了任意大小的圆柱与圆锥展开图的参数化CAD，从而在理论上开发了面向对象的参数化设计系统，并介绍了具体实现的方法、过程。在实际工程中，对计算机在相贯件下料中的应用，具有快速、准确、修改方便的特点。     

PN群与半完全群的关系及性质

引入纯非交换群的概念，利用自同构群与完全群的密切关系，得到了纯非交换群与半完全群两者之间的关系。     

LM（S）空间中加权K—泛函与光滑模的等价性

证明了单形上的Ｏｒｌｉｃａ空间中的加权Ｋ－泛函与光滑模的等价性。     

自由C*-代数与非交换Hahn-Banach定理中的完全收缩扩张的唯一性问题

1 引言及主要结果Arveson 把经典的Hahn—Banach扩张定理推广到了C-代数的自伴线性闭子空间上.从此,许多数学工作者对Arveson扩张定理作了推广,下述结果属于G,Wittstock,命题1.1(见文献[2]定理4.2)设X是-算子空间,A是一有单位元的 C-代数且A(?)X,若(?):X→B(H)是一完全收缩映射,则存在完全收缩映射(?):A→(H)使得(?)|X=(?)且||(?)||_cb=||(?)||_cb利用该命题易得:推论1.1 设X与Y均为算子空间且Y(?)X,若(?):Y→(H)是一完全收缩映射,则存在完全收缩映射(?):x→B(H)使得(?)|Y=(?)且||(?)||_cb=||(?)||_cb但命题1.1中的(?)的唯一性问题从未被人涉及,本文用自由C-代数和遗传C-代数为工具,给出了命题1.1中扩张(?)对任何Hilbert空间H均具唯一性的一个充要条件,即下述的:定理1.1 设X和Y均为算子空间,且Y(?)X,1∈X,则下述等价:(1)对每个Hilbert空间H及每个完全收缩映射(?):Y→B(H),都唯一存在完全收缩扩张映射(?):x→B(H)使得(?)|Y=(?)且||(?)||_cb=||(?)||_cb(2)C(Y)是C(X)的遗传C-子代数,定理1.2 记号同于命题1.1,则对每个Hilbert空间H,(?)均唯一存在的充要条件为:I(X)是A的遗传C-子代数,其中I(X)是由X生成的A的C-子代数,     

AR箭图—类连通分支中的几乎分裂序列

<正>设A是代数闭域F上一个有限维基连通代数,modA为有限维右A-模范畴,ΓA为代数A的AR箭图.由于modA中成立Krull-Schmidt定理,通常将modA中模与它的同构类看作一回事.Auslander和Reiten在研究Artin代数的表示理论时,引进了几乎分裂序列和既约映射的概念.今天,几乎分裂序列理论已成为代数表示论的一大基石.     

2＋1维Kadomtsev—Petviashvili方程的Baecklund变换和精确解

采用一种新的方法并借助计算机代数的符号运算，求出了２＋１维Ｋａｄｏｍｔｓｅｖ－ＯＰｅｔｖｉａｓｈｖｉｌｉ（ＫＰ）方程的一种自Ｂａｅｃｋｌｕｎｄ变换，并得到ＫＰ方程的三组精确解，其中一组为孤波解。