南京晓庄学院数学与信息技术学院
- 作品数：334 被引量：613H指数：11
- 相关作者：郭广泉曲波赵霞张兰萍叶新涛更多>>
- 相关机构：南京信息工程大学数学与统计学院辽宁师范大学数学学院南京理工大学计算机科学与技术学院更多>>
- 发文基金：国家自然科学基金江苏省高校自然科学研究项目辽宁省教育厅高等学校科学研究项目更多>>
- 相关领域：理学自动化与计算机技术文化科学经济管理更多>>
- 广义对称正则长波方程的守恒差分格式被引量：2
- 2012年
- 文章考虑了具有齐次边界条件的广义对称正则长波方程的有限差分格式.提出了一个守恒并且线性非耦合的三层有限差分格式,由于格式在计算中只需要解三对角线性方程组,从而避免了其中的迭代计算.文中先讨论了一个离散守恒量,然后我们利用离散泛函分析方法证明了格式的收敛性和稳定性,从理论上得到了收敛阶为O(h^2+τ~2).通过数值试验表明,所提的方法是可靠有效的.
- 柏琰张鲁明
- 关键词：广义对称正则长波方程有限差分格式收敛性稳定性
- α-对称环
- 2012年
- 引入α-对称环的概念,讨论了它与其它相关环的关系,证明环R是α-对称环当且仅当R上的n×n上三角矩阵环T_n(R)是α-对称环;若R是α-对称环,则R[x]/(x^n)是α-对称环,其中(x^n)是由x^n生成的理想,n为任意正整数.
- 王伟亮王尧庞羽任艳丽
- 相对于幺半群的α-斜Armendariz环
- 2016年
- 引入了α-斜M-Armendariz环的概念。讨论了α-斜M-Armendariz环与相关环的关系,证明了在α-斜M-Armendariz环条件下,Baer环(右p.p.-环,右zip环)的斜幺半群环扩张仍然是Baer环(右p.p.-环,右zip环)。
- 耿道宏王尧任艳丽
- 关键词：BAER环
- 一类幂等元模J(R)可强提升的环
- 2009年
- 将Nicholson提出的幂等元强提升概念进行了推广,定义了L-环,弱L-环,使用通常环论方法研究了L-环中本原幂等元的Local性和L-环与potent环之间的关系,证明了一个环是L-环的充分必要条件是R/J(R)是Boole环,且幂等元模J(R)可强提升,同时对具有一对零同态的Morita Context环C=A VW B,关于L-性讨论了C与A,B之间的关系.
- 任艳丽王丹
- 关键词：幂等元
- 幂级数弱McCoy环被引量：2
- 2016年
- 引入了幂级数弱McCoy环的概念。证明了:(1)设{Ri|i∈I}是一族环,如果每一个Ri(i∈I)是幂级数弱McCoy环,则∏i∈I Ri是幂级数弱McCoy环;(2)如果环R是一个诣零半交换环,则R[x]是幂级数弱McCoy环当且仅当R是幂级数弱McCoy环;(3)设环R是一个α-相容的诣零半交换环,则R[x;α]是幂级数弱McCoy环。
- 李敏王尧任艳丽
- 关键词：幂级数
- 从教育技术发展角度看计算机网络教育被引量：1
- 2001年
- 信息化浪潮席卷全球 ,网络的触角将延伸至世界的各个角落。全球化的计算机网络为教育提供了一种新资源 ,网络教育已成为教育技术发展过程中的一种新的模式 。
- 陈维维
- 关键词：网络教育
- 具有强对称自同态的环及其扩张被引量：3
- 2014年
- 设α为环R的自同态,如果对任意的a,b,c∈R,由abα(c)=0可推出acb=0,则称R是强右α-对称环.研究强α-对称环与对称环、强α-可逆环、强α-半交换环等相关环的关系及强α-对称环的扩张性质,证明了:1)环R是强α-对称环当且仅当R是对称环且是α-compatible环;2)设R是约化环,则R是强α-对称环当且仅当R[x;α]是强α-对称环;3)设α是右Ore环R的自同构,则环R是强α-对称环当且仅当Q(R)是强α-对称环.
- 王尧薛岭任艳丽
- 关键词：斜多项式环
- 具有自反条件的环自同态被引量：2
- 2013年
- 研究了具有自反条件的环自同态,拓展了自反环的概念,引入α-rf环,讨论其与相关环的关系.证明了若R是半素的α-rf环,则R[x]/〈xn〉是珔α-rf环,其中〈xn〉是由xn生成的理想;对于右Ore环R和环R的自同构α,若R是α-rf环,则R的经典右商环Q(R)是珔α-rf环.推广了Kwak和Lcc的一些研究结果.
- 王尧沈青任艳丽
- 关键词：平凡扩张多项式环
- 模态顺序图uMSD的形式语义被引量：6
- 2011年
- UML 2.0顺序图已广泛应用于业界,但其语义模糊,以至于不能有效地加以使用.模态顺序图(modal sequence diagram,简称MSD)是对UML 2.0顺序图的模态扩展,区分了强制场景(用universal MSD表示,简称uMSD)和可能场景(用existential MSD表示,简称eMSD).其中,uMSD具有较强的表达能力,能够用于表示并发系统的时态性质,故主要工作围绕uMSD展开.为了使uMSD用于形式化分析、验证和监控,给出基于自动机的uMSD语义解释,并给出各种操作符的算法,用性质规约模式度量uMSD的表达能力.最后进行了实例研究,并讨论了其应用前景.
- 李雯睿王志坚张鹏程
- 基于L1范式的分块2DPCA人脸识别方法被引量：4
- 2011年
- 在人脸识别中,增强人脸图像的重构效果和识别方法的鲁棒性一直是其中的技术难点。为了提高识别性能,先对图像矩阵进行分块,同时用一种新的图像信息熵自适应加权模式对人脸不同分块区域赋予不同的权值,然后直接应用L1范式代替L2范式进行图像特征抽取,最后用最近邻分类器进行分类。实验结果表明,新方法在识别性能上优于基于L1范式的2DPCA方法(2DPCA-L1),比2DPCA-L1更具有鲁棒性,显著地提高了有遮挡图像的重构效果。
- 郑豪
- 关键词：人脸识别特征提取分块信息熵
