主动数据库的规则终止性分析

提出一种基于进化图的规则终止性静态分析的方法，全面考虑了触发图、活化图和惰化图。这种基于进化图的分析方法比传统基于图的分析方法分析更为精确，之后提出了规则终止性分析算法并证明了其正确性。     

关于几类图的L(3,2,1)-标号问题

图G的L(2，1)-标号是一个从顶点集V(G)到非负整数集的函数f(x)，使得若d(x，y)=1，则|f(x)-f(y)|≥2；若d(x，y)=2，则|f(x)-f(y)|≥1．图G的三(2，1)-标号数λ(G)是使得G有max{f(v)：v∈V(G)}=k的L(2，1)-标号中的最小数k．该文将L(2，1)-标号问题推广到更一般的情形即L(3，2，1)-标号问题，并得出了Kneser图、高度不正则图、Halin图的λ3(G)的上界．     

卡诺图法化简异或逻辑函数

探讨了卡诺图化简异或逻辑函数的原理，提出了化简异或逻辑函数的新方法。     

P2×C5的全染色

令Pm=u1u2...um,Cn=ν1ν2...vnν1,则定义图Pm×Cn,(m≥2,n≥3)为V(Pm×Cn)={wij|i=1,2,…,m;j=1,2,…,n},E(Pm×Cn)={wijwrs|wij,wrs∈V(Pm×Cn),且i=r,νjνs∈E(Cn)或j=s,νiνr∈E(Pm)}.从而得到了图P2×C5的全色数.     

一种ad hoc网络可靠性度量——网络均衡度

通过网络节点的重要性,定义了网络的均衡度,从而用来衡量网络的可靠性.该度量反映了网络的抗毁性、生存性以及有效性,是一种衡量网络可靠性的有效尺度.     

试论应收账款的风险管理

由于企业缺乏风险意识．内部控制不严及未对应收账款按风险程度进行信用管理等致使企业应牧账款产生风险。因此，应从建立科学高效的资信评估机制、建立科学严密的决策审批机制、建立应牧账款风险的监督预警机制和建立有效的财务与法律融合机制入手，完善应收账款风险管理机制。     

天津市地面沉降地理信息系统通过评审

天津多年来由于过量开采地下水导致大面积的平原地区产生了地面沉降，给城市的规划建设、国民经济的可持续发展以及生态环境带来了诸多影响，成为天津市主要地质灾害之一。天津市地矿局开发的“天津市地面沉降地理信息系统”利用现代计算机技术，为控制天津地面沉降的科学管理服务，为地下水资源的合理开发利用及监督管理提供决策信息，     

二元变系数欧拉函数方程φ(ab)=15φ(a)+17φ(b)的正整数解

目的研究欧拉函数方程φ(ab)=15φ(a)+17φ(b)正整数解的问题,其中a,b为不小于2的正整数。方法利用初等数论方法和欧拉函数的性质。结果与结论得到该方程所有80组正整数解,并解决了张四保等在文献中(张四保,席小忠.有关方程φ(ab)=k(φ(a)+φ(b))的正整数解[J].南京师大学报(自然科学版),2016,39(1):41-47.)所提出的一个数学问题。     

经典Ramsey数R（5,23）和R（5,24）的新下界

构造了２个新的素数阶循环图,从而得到了２个Ｒａｍｓｅｙ数的新下界：Ｒ（５,２３）≥４２２,Ｒ（５,２４）≥４３４。     

幂和不等式与Bowen猜想

获得了等幕和的几个新的不等式,并利用所得结果对连续丢番图方程进行了讨论,得到了埃斯特猜想与波文猜想的新结果。