国家自然科学基金(10926104)
- 作品数：10 被引量：17H指数：3
- 相关作者：孙向荣吕佳萍刘芳芳周介南范丽红更多>>
- 相关机构：南京邮电大学南京中医药大学台州学院更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：理学医药卫生自动化与计算机技术更多>>
- 关于Locale的紧零维反射的注记
- 2021年
- 本文在locale中引入B-紧的定义,给出紧零维反射和零维反射一致的充要条件。关于n维欧氏空间,我们得到了紧零维反射的一个有趣结论。
- 王旭天孙向荣姜亚琴
- 基于Sendograph度量的连续逼近
- 2010年
- 证明En中的模糊数关于Sendograph度量可以用具有连续截集函数的模糊数任意逼近,并给出连续映射下由扩张原理导出的函数关于Sendograph度量也是连续的。特别地,具有连续的截集函数的模糊数在严格单调的连续函数之下的象也具有连续的截集函数。
- 范丽红
- Locale范畴中的弱反射子范畴
- 2010年
- 反射性是范畴论中研究的重要内容,反射的复合性是构造反射性的重要途径。引入了弱反射子范畴的概念,并在此基础上给出反射性的弱形式的复合定理。在locale范畴中,证明了一个locale A的理想格Idl(A)是其限制在紧正则locale范畴上的弱反射子范畴。利用弱形式的反射复合定理,从不同的角度系统的讨论了locale范畴中各种紧性反射。
- 孙向荣
- 关键词：反射性
- 数学模型在糖尿病诊断预报方面的应用被引量：1
- 2016年
- 数学模型是对现实问题的抽象和简化,可以用来讨论变量与变量之间的关系。微分方程模型和统计模型属于数学模型。讨论了微分方程在轻微糖尿病诊断方面的应用,同时讨论了多元线性回归方程在糖尿病人血糖预报方面的应用。
- 吕佳萍孙向荣
- 关键词：糖尿病数学模型微分方程
- 图像修复TV模型的快速算法研究被引量：7
- 2014年
- 关于图像修复的全变分(TV)模型的求解有很多方法。在图像修复的全变分(TV)模型中,文中针对含有非光滑项的凸优化问题提出了一种基于交替方向乘子法(ADMM)的快速求解算法。ADMM方法对迭代公式中具体的子问题求解过程一般采用Gauss-Seidel方法,文中通过分析TV修复模型的性质,对ADMM算法进行了相应的改进,使得具体的数值求解可以用快速傅里叶变换方法,并证明了该算法的收敛性。实验结果表明,文中所提出的新算法与采用Gauss-Seidel迭代的方法相比较,不但修复效果更好,而且修复速度更快。
- 孙向荣刘芳芳
- 关键词：变分方法偏微分方程图像修复快速傅里叶变换
- 关于完备布尔代数的一点注解(英文)
- 2010年
- 给出了完备布尔代数是原子的等价刻画。同时,证明了一个完备的布尔代数是原子的当且仅当每一个真子代数是原子的。
- 孙向荣
- 关键词：原子子代数
- 数学方法在中药研究方面的应用被引量：6
- 2011年
- 介绍了目前中药研究方面采用的数学方法:数学模型,聚类分析法,主成分分析法,因子分析法,模糊数学。
- 吕佳萍孙向荣周介南
- 关键词：中药研究数学模型主成分分析法
- 局部紧正则Locale的紧正则反射
- 2019年
- 关于如何给出locale的紧正则反射构造一直是locale理论中最重要研究课题,通过给出补紧元的定义,进而给出局部紧正则locale的紧正则反射的一个构造性描述,并保证了局部紧正则定义在locale上和在拓扑空间上的一致性.同时证明了若A是局部紧locale,则CR(A)(由A的所有理想组成的理想格Idl(A)的子frame)是紧正则locale;并对于局部紧正则locale A,CR(A)是A的紧正则反射,并给出了具体的反射关系图.
- 李雨珈孙向荣
- Locale中的插入性(英文)
- 2010年
- 对于‘■’关系满足插入性的locale,我们给出了Banaschewski-Mulvey式紧正则反射的构造性描述。进一步,证明了正规locale满足插入性;从而,给出了其紧正则反射。
- 孙向荣吕佳萍
- 关键词：代数注解原子
- 可逆矩阵的高次伴随矩阵被引量：3
- 2014年
- 用数学归纳法推出了可逆矩阵的高次伴随矩阵的公式,并结合可逆矩阵的基本公式得出了可逆矩阵的高次伴随矩阵的行列式和逆矩阵,给出了可逆矩阵的高次伴随矩阵的特征值和特征向量的表示公式,最后讨论了若干个可逆矩阵的乘积的高次伴随矩阵.
- 吕佳萍孙向荣
- 关键词：可逆矩阵行列式伴随矩阵
