没有相邻短圈的平面图的3-染色

研究了平面图的3-染色问题.运用粘点变换,研究外圈上部分3-染色能进行色延拓的极小反例的结构性质,证明了8--圈不相邻的平面图是3-可染的.这一结果和所使用的方法对进一步研究Steinberg猜想和Havel问题具有参考价值.     

Duffus闪的结果的一个推广

证明了下述结果：设Ｆ是度序列为（１，１，１，３，３，３）的简单图，Ｆ中度为１的点记为ａ１，ａ２，和ａ３；Ｇ为连通无爪图。若Ｇ的每一个与Ｆ同构的导出子图均满足性质φ（ａ１，ａ２）和φ（ａ１，ａ３），或φ（ａ１，ａ２）和φ（ａ１，ａ３）和φ（ａ２，ａ３），则Ｇ有哈密顿路。     

基于MFC的Essbase数据库权限导出工具的设计开发

Hyperion Essbase是一个多维的数据库服务器,多运用于商业软件,提供基于角色的用户权限管理.在实际商业运作中,每一个月的审计报告中都要有相对于整个数据库的权限方面的数据,因此开发出快速,有效,针对用户需求的权限数据导出工具是十分必要的.目前Hyperion Essbase自带的导出工具速度比较缓慢,效率不高,为了改善导出效率,本文阐述了如何自行开发基于MFC的权限导出工具.     

浅谈Prote199SE的使用技巧

本文介绍了利用电路设计软件Prote199SE绘制电路图的一些经验和技巧。如：汉化版菜单的恢复、电源管脚的连接、图纸导出到Word等。     

批量数据入库在ASP中筛选重复的处理方法——以湘西民族职业技术学院新生信息录入库为例

在建立数据库时,重复数据的判断对于数据库管理至关重要,没有准确关键词作为对比,重复数据的判断将变得非常困难.传统的哈稀技术、固定分块技术、滑动块技术、可变分块技术和数据指纹等对重复数据进行查找与删除时,占用了大量系统处理时间,且准确性较低.为提高数据处理效率,提出了ASP批量数据在入库时的查重筛选方法,实践验证了该方法的鲁棒性与可靠性,极大地减轻了操作员对数据库管理的繁重工作.     

Pro/ENGINEER文件的转换

以文件导出的模式,介绍了将pro/ENGINEER文件转换为AutoCAD文件和输出到MicrosoftWord文件的方法,并举例说明了如何将pro/ENGINEER图档导出,以便在AutoCAD格式中处理或将其在MicrosoftWord文件中显示     

椭圆曲线点阵群：同时实施密钥交换与保密性的一种新途径

密钥交换及保密性是现代密码学和信息安全领域中的两个重要安全服务．Climent等人提出了基于“形式矩阵”的椭圆曲线密码学（Elliptic curve cryptography,ECC）的新研究思路,但其形式矩阵的概念是不完善的,并非真正的矩阵,严重缺乏数学机理,且未能提供加密服务．在本文里,首先运用群论的观点严格构建一类具有密码学意义的椭圆曲线点阵群．接着结合Hughes协议及椭圆曲线集成加密方案（the Elliptic Curve Integrated Encryption Scheme,ECIES）,提出了同时在Intemet上实施密钥交换与保密性的混合密码系统,具有如下三个特点：为在标准模型中提高共享秘密的比特安全性,从椭圆曲线点阵中所有点之和及一个密码散列函数导出了对称密钥;面向实时网络应用,发送者能在密钥协商之前加密大块数据;为提高系统安全性,可灵活选取系统参数的尺寸．最后,作出了相应的若干密码分析．     

二维随机变量联合分布函数的性质

给出二维随机变量联合分布函数的性质2,性质3和性质4的证明,然后由性质3与性质4证明性质1,最后以反例说明性质4无法由其它性质导出.性质2,性质3和性质4是二维随机变量的联合分布函数的基本性质,性质1是导出性质,不是基本性质.二维随机变量的联合分布函数的基本性质只有三个.     

一类线性约束非线性规划问题的一个凸集分离算法

本文应用凸分析理论与方法对一类带线性约束的非线性规划问题提出了一种算法,并就本算法对二次规划问题进行了探讨。计算实例表明本文提出的算法是有效的,计算量较小。     

论Lipschitz连续性在各种可微定义下的充要条件

讨论在不同的可微性定义下（通常意义下的．导出值或Ｄｉｎｉ意义下的和粘性意义下的）ＬＩＰＳＣｈｉｔＺ连续的充要条件．