在管理信息系统中单据设计的新方法

在分析PowerBuilder中用户对象的基本概念与特点基础上，提出了利用用户对象技术实现MIS(管理信息系统)中单据设计功能的方法，并给出了详细的实现过程。实际应用表明，该方法可使用户按企业的实际需要对单据的录入界面进行自由设计，无需修改软件即可满足不同用户的需求，适合各种管理信息系统的单据设计，具有通用性。     

图族S_(r(k+m)+1)~ψ∪(rk-1)K_1的补图的色等价性定理

设ψ( k,m)表示把星图 Sk+ 1的 k度点与路 Pm的一个 1度点重迭后得到的图 ,Sψ*r(k+ m) + 1表示把星图 Srk+ 1的 rk个 1度点分别与 rψ( k,m)的每个分支的 k个 1度点 (均邻接于ψ( k,m)的 k +1度点 )依次重迭后得到的图。证明了图族 Sψ*r(k+ m) + 1∪ ( rk -1 ) K1的补图的色等价性及非色唯一性 ,进而推广了这一结果     

"厦门技术市场网站"建设

改革开放以来,尽管厦门市技术市场从无到有,大批有志于促进科技成果转化的科技人员进入市场,科技与经济的结合日益明显,技术交易额逐年有较大幅度增长,但厦门市大部分科技中介服务机构信息网络基础设施薄弱,信息收集水平低,服务手段落后,急需进一步加强技术供需信息网络基础设施建设,以便逐步实现中介服务组织网络化,功能社会化,服务产业化,形成全市乃至全国的电子网络技术市场,服务于厦门市的技术创新,因此有必要建立厦门市网上技术交易市场,使之适应市场经济发展的需要,适应厦门市科技信息业不断发展的需要.2000年12月,厦门市科技局支持并批复本项目的研究,目前已按项目任务要求完成了第一期工程.     

边剖分、点扩张与图的最大亏格的可约性

设γM（G）是连通图G=（V，E）的最大亏格，记EM^-（G）={e∈E(G)|G\e连通，且γM（G\e）=γM（G）}。若EM^-(G)≠0，则称G是γ（G）-可约的；否则称G是γM（G）-不可约的。本文证明了边的剖分不改变图的最大亏格可约性，点的扩张不改变上可嵌入图的最大亏格可约性；并给出了两类满足EM^-（G）=E（G）的非4-边连通图。     

G谱估计的渐近性质

本文首次证明了G谱估计用来估计实正态的ARMA模型的谱密度时是渐近正态的。同时,进一步给出一个例子,说明它不是优效渐近正态的。     

用有限元法计算光学玻璃退火温度的分布

本文首次把求解温度场的有限元法用于计算玻璃退火时的温度分布,提出了在微机上计算第一类光学不均匀性的方案,并解决了计算问题。