检索结果-南通市图书馆

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

基于控制在线错误发现率的异常检测方法

系统科学与数学 2025年第2期 563-586页

作者：张熠凡任好洁上海交通大学数学科学学院

异常检测问题是一个长期受到关注的话题,具有广泛的应用价值和研究意义.处理异常检测问题的机器学习算法有很多,但它们对于检测结果的错误发现的程度没有明确的统计学意义上的保证.文章以在线多重假设检验问题的角度去研究,提出了可控... 详细信息

异常检测问题是一个长期受到关注的话题,具有广泛的应用价值和研究意义.处理异常检测问题的机器学习算法有很多,但它们对于检测结果的错误发现的程度没有明确的统计学意义上的保证.文章以在线多重假设检验问题的角度去研究,提出了可控制在线错误发现率且不依赖模型和分布假设的基于共形推断的异常检测方法,该方法可以内嵌不同的异常检测的机器学习算法和在线多重假设检验算法,是实现异常检测的一般化方法框架.最后通过模拟数据实验验证文章方法的有效性,并将其应用于服务器数据集,实现异常点检测.

关键词：异常检测错误发现率广义alpha投资算法共形推断

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

具有非局部恐惧效应的捕食模型的分支研究

数学学报(中文版) 2025年第1期68.0卷 56-66页

作者：孙秀丽太原理工大学数学学院

已有大量证据表明,捕食者引起的恐惧效应可以对食饵产生间接影响,其效果可与直接捕杀食饵相媲美.本文构建了一个具有非局部恐惧效应的扩散型捕食系统,并对其进行了深入研究.首先考察了系统解的存在性和有界性,随后讨论了常数稳态解的稳... 详细信息

已有大量证据表明,捕食者引起的恐惧效应可以对食饵产生间接影响,其效果可与直接捕杀食饵相媲美.本文构建了一个具有非局部恐惧效应的扩散型捕食系统,并对其进行了深入研究.首先考察了系统解的存在性和有界性,随后讨论了常数稳态解的稳定性,并通过采用Lyapunov-Schmidt方法详细研究了稳态分支现象,最后利用数值模拟验证了理论结果的正确性.

关键词：捕食模型非局部恐惧效应稳定性稳态分支

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

基于多属性决策的一阶逻辑子句选择方法

西南交通大学学报 2025年第1期60卷 185-193页

作者：曾国艳徐扬陈树伟姜世攀西南交通大学数学学院四川成都611756 西南交通大学系统可信性自动验证国家地方联合工程实验室四川成都611756

基于一阶逻辑的自动定理证明器(ATP)在知识表达和自动推理研究中占据重要地位,而启发式策略则是提升ATP性能的关键研究方向.主流的启发式策略通常通过描述子句属性来确定属性优先级,从而选择子句,但属性优先级受人为因素影响,且评估子... 详细信息

基于一阶逻辑的自动定理证明器(ATP)在知识表达和自动推理研究中占据重要地位,而启发式策略则是提升ATP性能的关键研究方向.主流的启发式策略通常通过描述子句属性来确定属性优先级,从而选择子句,但属性优先级受人为因素影响,且评估子句耗时较长.为此,本文基于矛盾体分离(S-CS)规则,提出一种新的多属性决策(MCDM)子句评估方法.首先,利用熵权法对子句属性进行客观赋权;其次,结合偏好顺序结构评估法(PROMETHEEⅡ)对子句进行评估,得到子句的完全排序;最后,将提出的MCDM方法加入自动定理证明器CSE 1.5(contradiction separation extension 1.5)、Vampire 4.7和Eprover(E 2.6)中,分别形成新的证明器MCDM_CSE、MCDM_V和MCDM_E.对MCDM_CSE测试了国际定理证明器问题库TPTP(Thousands of Problems for Theorem Provers)中一阶逻辑格式的定理,并对MCDM_V和MCDM_E测试了2022年CADE(Conference on Automated Deduction)竞赛例(一阶逻辑组).实验表明:MCDM_CSE比CSE 1.5多证明了151个定理(来自TPTP),并且能够证明Vampire 4.7无法证明的5个定理、E 2.6无法证明的41个定理以及Prover9无法证明的293个定理;在更短的平均时间内,MCDM_V比Vampire 4.7多证明了6个定理(来自CADE 2022),MCDM_E比E 2.6多证明了8个定理.

关键词：一阶逻辑矛盾体分离规则启发式策略多属性决策熵权法

维普期刊数据库

基于Cobb-Douglas及递归效用函数的养老金最优资产配置策略研究

在线全文

学校读者我要写书评

暂无评论

新疆大学学报(自然科学版中英文) 2025年第1期42卷 24-35,47页

作者：刘伟丁逸康赵睿杰杜俐马玉梅新疆大学数学与系统科学学院新疆乌鲁木齐830017

研究考虑长寿趋势的目标收益型养老金的最优投资和收益调整问题.采用改进的死亡力模型,将养老金计划参与者的长寿趋势引入养老金的决策管理问题中.以期望效用最大为优化准则,建立随机控制模型,其中效用函数分别采用Cobb-Douglas效用函... 详细信息

研究考虑长寿趋势的目标收益型养老金的最优投资和收益调整问题.采用改进的死亡力模型,将养老金计划参与者的长寿趋势引入养老金的决策管理问题中.以期望效用最大为优化准则,建立随机控制模型,其中效用函数分别采用Cobb-Douglas效用函数以及递归效用函数.针对金融市场模型不确定的特点,采用鲁棒方法求解最优控制策略.运用动态规划方法,通过求解相应HJB(Hamilton-Jacobi-Bellman)方程,得到值函数和控制策略的显式表达式.最后通过数值分析,给出两类效用下重要参数对最优控制策略的影响.

关键词：目标收益养老金 Cobb-Douglas效用函数鲁棒控制长寿趋势

维普期刊数据库

在线全文

学校读者我要写书评

暂无评论

图片模糊集的减法和除法算子研究

山东大学学报(理学版) 2025年第1期60卷 45-62页

作者：孟伟伟郑婷婷刘钧歌吴孝宇安徽大学数学科学学院

针对图片模糊环境下完备的减法和除法问题，构造加法和乘法的方程，定义了图片模糊数(picture fuzzy numbers, PFNs)的减法和除法运算。基于距离最近导出各种情形下方程的最优解，得出更加完备的PFNs的减法和除法运算法则。分析了2种PFN... 详细信息

针对图片模糊环境下完备的减法和除法问题，构造加法和乘法的方程，定义了图片模糊数(picture fuzzy numbers, PFNs)的减法和除法运算。基于距离最近导出各种情形下方程的最优解，得出更加完备的PFNs的减法和除法运算法则。分析了2种PFNs算子及与加法、乘法混合运算的相关性质。将改进的2种算子以逐点的方式拓展到图片模糊集上，讨论了基本性质。通过算例分析验证该算子的适用性和可行性。

关键词：图片模糊集线性规划减法算子除法算子模式识别

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

新型多粒度变精度(*,·)-模糊粗糙集

山东大学学报(理学版) 2025年

作者：李心如李令强贾成昭聊城大学数学科学学院

本文引入一种新型变精度(*,·)-模糊粗糙集,结合多粒度思想,提出了包含乐观、悲观和折中3个基本模型的多粒度变精度(*,·)-模糊粗糙集,研究了模型的代数性质和拓扑性质,证明了模型满足包含性、幂等性、对偶性等性质,并且能诱导模糊拓扑... 详细信息

本文引入一种新型变精度(*,·)-模糊粗糙集,结合多粒度思想,提出了包含乐观、悲观和折中3个基本模型的多粒度变精度(*,·)-模糊粗糙集,研究了模型的代数性质和拓扑性质,证明了模型满足包含性、幂等性、对偶性等性质,并且能诱导模糊拓扑、模糊余拓扑结构。

关键词：模糊粗糙集变精度多粒度三角模

TBPCS：基于区块链的可信跨部门业务过程协同机制

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

计算机集成制造系统 2025年

作者：苏岳瀚孔兰菊郑永清崔立真张宝晨闵新平山东大学软件学院

解决跨部门业务过程协作中的失信行为是当前研究的重点。业务过程的失信不仅导致业务数据的滥用和泄露，还会导致业务过程参与者的欺骗行为。针对上述问题，提出了一种基于区块链的可信跨部门业务过程协作服务机制。首先将业务过程的参... 详细信息

解决跨部门业务过程协作中的失信行为是当前研究的重点。业务过程的失信不仅导致业务数据的滥用和泄露，还会导致业务过程参与者的欺骗行为。针对上述问题，提出了一种基于区块链的可信跨部门业务过程协作服务机制。首先将业务过程的参与者、数据以及数据所有权映射到区块链上，防止业务过程被篡改，使业务过程参与者在可信环境的约束下行动，避免业务数据被非法使用。然后将业务过程以智能合约的形式映射到区块链上，保证跨部门业务过程协作的可信性，降低业务数据的验证成本。创新性地提出了一种支持业务中断的回滚机制，该机制确保即使在异常情况下业务过程也是可信的。实验结果证明本文提出的机制的事务吞吐量可达9920笔/秒，能够满足跨部门业务过程协作的需求.

关键词：区块链智能合约业务过程数据一致性权限控制

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

引入集群效应的跨领域推荐新方法

中国科学院大学学报(中英文) 2025年第02期 153-158页

作者：翟浩然张三国中国科学院大学数学科学学院

近年来,推荐系统在网络平台上得到了广泛的应用,它可以从巨量的数据中提取有用的信息,并根据用户的喜好向用户推荐合适的项目。基于此,提出一种利用相似用户对不同项目的评分数据作为源域对目标域的跨领域推荐表现方法,在研究的目标域... 详细信息

近年来,推荐系统在网络平台上得到了广泛的应用,它可以从巨量的数据中提取有用的信息,并根据用户的喜好向用户推荐合适的项目。基于此,提出一种利用相似用户对不同项目的评分数据作为源域对目标域的跨领域推荐表现方法,在研究的目标域中引入项目集群效应,提取与某个项目相关的具有相似特征的信息。该方法可有效解决数据稀疏性的问题,由于目标域的稀疏性,目标域的测试集中多数项目是拥有很少评分的,它们的信息难以从训练集中获得。所提模型的一个优点是,能够通过基于每个用户对项目的评分和缺失情况相关的变量的聚类,将来自缺失机制和特定项目集群特征的信息结合起来。MovieLens数据分析表明,与现有推荐方法和跨领域推荐方法相比,所提出的引入集群效应跨领域推荐新方法在预测精度上有着有效的提升。

关键词：跨领域推荐奇异值分解算法集群效应数据稀疏性

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

习近平文化思想“七种思维能力”的辩证阐释

理论探索 2025年第1期 31-39页

作者：郑敬斌董在全山东大学济南250100

贯穿习近平文化思想的“七种思维能力”,是在宣传思想文化领域中保持高度理论自觉和实践主动的新时代思维框架。具体来看,它涵括着洞察时与势的战略思维、审视得与失的历史思维、贯通体与用的辩证思维、统筹纲与目的系统思维、通达守与... 详细信息

贯穿习近平文化思想的“七种思维能力”,是在宣传思想文化领域中保持高度理论自觉和实践主动的新时代思维框架。具体来看,它涵括着洞察时与势的战略思维、审视得与失的历史思维、贯通体与用的辩证思维、统筹纲与目的系统思维、通达守与变的创新思维、深化制与治的法治思维、观照危与机的底线思维,显扬着立场与方法的内在结合、理论与现实的有机衔接、真理与价值的高度统一。在唯物辩证法的统领下阐释习近平文化思想的“七种思维能力”,能够更加坚实地将宣传思想文化事业奠立于辩证唯物主义和历史唯物主义的基础之上,更为科学地在习近平文化思想的指引下解答新时代文化建设的重大理论和实践问题。

关键词：习近平文化思想科学思维文化建设辩证阐释文化事业

维普期刊数据库