基于身份的门限密码体制

描述一个公钥密码体制,其中参与者的公钥是一个公开值,例如他的身份,这个体制由很多可信中心联合产生一个大合数N=pq,p,q为素数且p≡q≡3(mod 4),任意其中一个可信中心都不知道N的分解.另外,每一个可信中心拥有一个秘密指数的一个分享,这样产生一个门限解密.本文将讨论所提出的方案的安全性,并证明它与解决二次剩余问题的困难性有关.     

一个不可定向曲面的极小禁用子图的构造

曲面S的一个极小禁用子图是这样的一个图,它的任何一个顶点的度都不小于3,它不能嵌入在S上,但是删去任何一条边后得到的图能嵌入在S上.本文给出了四种构造一个不可定向曲面的极小禁用子图的方式,即粘合一个顶点,一个图的边被其它的图替换,粘合两个顶点,将一个图放在另一个图的一个曲面嵌入的面内.     

关于(g,f)-2-消去图

一个图G称为一个(g,f)-2-消去图,如果G的任何两条边不属于它的一个(g,f)-因子.本文给出了当g＜f时一个图是(g,f)-2-消去图的一个充要条件.     

一个三角不等式的推广及加强

本文对一个三角不等式进行推广,得到一个新的结论,最后加强新结论,形成一个不等式链.     

一个Lie代数的子代数及其相关的两类Loop代数

本文构造了Lie代数A2的一个子代数A2,通过选取恰当的基元阶数得到相应的一个loop代数A2,由此设计一个等谱问题,利用屠格式得到了一个新的Liouville可积的Hamilton方程族.作为其约化情形,得到了一个非线性有理分式型演化方程.再由一个矩阵变换,得到了换位运算与A2等价的Lie代数A1的一个子代数A1,将A1再扩展成一个新的高维loop代数G,利用G获得了所得方程族的一类扩展可积系统.     

利用拉格朗日乘数法证明两个不等式

文中利用利用拉格朗日乘数法证明了两个不等式,其中一个不等式验证了发表文献中一个类比猜想不成立,另一个不等式验证了发表文献中一个类比猜想成立.     

均衡问题和不动点问题的粘滞近似方法及其应用

用粘滞近似方法产生了一个新的迭代序列,并证明了该迭代序列强收敛于一个非扩张映射的不动点,同时该不动点也是一个变分不等式和一个均衡问题的共同解.作为应用,另外证明了一个关于非扩张映射和严格伪压缩映射的定理.     

群环上的强J-clean矩阵

设R是一个环,J(R)表示R的Jacbson根.R的一个元素称为强J-clean的,如果能够表示成一个幂等元和一个J(R)中元素的和且这两个元素可交换.对于一个可交换局部环R满足2∈J(R),得到一个在RG上2×2矩阵是强J-clean的充要条件,其中G={1,g}是一个群.同时给出了强clean性的上应用.     

一个代数的预投射分支和τ-预投射分支

设A是一个Artin代数,Γ_A是A的Auslander-Reiten箭图。我们得到:如果Γ是Γ_A的一个不包含有向循环的预投射分支,那么Γ是Γ_A的一个τ-预投射分支,且对一个拟倾斜代数A,Γ是Γ_A的一个预投射分支当且仅当Γ是Γ_A的一个,τ-预投射分支。     

三对角矩阵求逆问题的思考——从一道课本习题谈起

矩阵求逆是矩阵代数中的一个重要运算,逆矩阵的获得却困难重重.文中介绍一个三对角形矩阵求逆的新思路,它可以作为求解逆矩阵问题的一个"解题模块",学习线性代数课程的一个"认知结构",也可以作为教育数学的一个案例.     

Souslin树在特殊的力迫扩张中是保持的

如果M是ZFC的一个模型,在M中T是一个Souslin树,而P是一个满足Knaster条件的偏序,那么在P的力迫扩张M|G|中T仍是一个Souslin树.因此在random扩张中一个Souslin树保持不变.我们还讨论一些相关问题.     

一个带约束的拟线性椭圆特征问题

通过构造伪梯度向量场和下降流的方法, 证明了一个带约束的拟线性椭圆特征值问题至少有一个正解、一个负解和一个变号解.     

求极大T-传递内部的新方法

利用Fodor等的基本思想,从另一个角度构造了一个有限论域上模糊关系的极大T-传递内部,求得另一个与Fodor等的方法不同的极大T-传递内部,并在计算机上加以实现,从而为将一个非传递的模糊关系改造为传递的模糊关系提供了一个新的方法.     

线型/圈型网络上单台车辆分群调度问题

本文研究线型/圈型网络上单台车辆分群调度问题。给定一个线型/圈型网络,若干客户分布其中。所有客户被划分成若干个子集,每个子集称为一个群。每个客户有一个释放时间和一个服务时间。给定一台车辆,其需要服务所有客户,且每个群内的客户连续服务。问题的要求是计算一个时间表,使得车辆能够按要求服务完所有客户并返回初始出发位置所花费的时间最少。针对该问题,就线型网络和圈型网络,分别给出一个7/4和一个13/7近似算法。     

一个关于近-三角剖分嵌入的内插定理

一个近三角剖分嵌入是指一个图嵌入在一个曲面上,使得至多可能有一个面不是三角面。在本文中我们证明了如下结果：如果一个图G在某个可定向曲面S_h上有三角剖分嵌入,那么G在S_k上有一个近三角剖分嵌入,这里k=h,h 1,…,[β(G)/2],而β(G)是图G的Betti数。     

学会调整思维触角

同学们知道,数学是思维的体操.解决任何一个数学问题,都需要伸出你思维的触角,而思维的触角可以是多方位的,找出最佳的思维触角常常有一个不断调整的过程.所以,解决一个数学问题(尤其是有一定难度的数学问题)的过程,就是一个不断调整思维触角的过程.下面,我们通过对一个具体的问题的思维历程加以说明,供同学们参考.     

一个代数的预投射分支和т-预投射分支

设A是一个Artin代数,ΓA是A的Auslander-Reiten箭图.我们得到如果Γ是ΓA的一个不包含有向循环的预投射分支,那么Γ是ΓA的一个τ-预投射分支,且对一个拟倾斜代数A,Γ是ΓA的一个预投射分支当且仅当Γ是ΓA的一个τ-预投射分支.     

一类带有偏差量及两个参数的非线性分数阶积分边值问题的正解及其性质

本文研究一类分数阶非线性微分方程边值问题,其中微分方程里含有一个偏差量和一个参数,且边界条件中含有一个非线性积分项及一个扰动参数.利用锥理论及带有参数的算子不动点定理获得了该边值问题存在唯一正解的充分条件,并讨论了唯一正解对参数的连续依赖性.作为应用,给出一个具体的例子.     

学会调整思维触角

同学们知道,数学是思维的体操．解决任何一个数学问题,都需要伸出你思维的触角,而思维的触角可以是多方位的,找出最佳的思维触角常常有一个不断调整的过程．所以,解决一个数学问题（尤其是有一定难度的数学问题）的过程,就是一个不断调整思维触角的过程．下面,我们通过对一个具体的问题的思维历程加以说明,供同学们参考．     

截断切割问题的参数规划模型

对一个截断切割问题,本文给出了一个参数网络规划模型,总结了[3]中的解法,并给出了一个实例.