期刊文献+
共找到9篇文章
< 1 >
每页显示 20 50 100
Intelligent Tutoring System of Linear Programming
1
作者 Amor Hasic Samed Jukic 《Advances in Linear Algebra & Matrix Theory》 2022年第2期39-66,共28页
There is a growing technological development in intelligent teaching systems. This field has become interesting to many researchers. In this paper, we present an intelligent tutoring system for teaching mathematics th... There is a growing technological development in intelligent teaching systems. This field has become interesting to many researchers. In this paper, we present an intelligent tutoring system for teaching mathematics that helps students understand the basics of linear programming using Linear Program Solver and Service for Solving Linear Programming Problems, through which students will be able to solve economic problems. It comes down to determining the minimum or maximum value of a linear function, which is called the objective function, according to pre-set limiting conditions expressed by linear equations and inequalities. The goal function and the limiting conditions represent a mathematical model of the observed problem. Working as a professor of mathematics in high school, I felt the need for one such work and dealing with the study of linear programming as an integral part of mathematics. There are a number of papers in this regard, but exclusively related to traditional ways of working, as stated in the introductory part of the paper. The center of work as well as the final part deals with the study of linear programming using programs that deal with this topic. 展开更多
关键词 Intelligent Tutoring System MATHEMATICS linear Program Solver service for solving linear programming problems
在线阅读 下载PDF
我国结核病防治主要成就回眸及亟待解决的问题与建议 被引量:48
2
作者 徐彩红 周向梅 +1 位作者 范伟兴 赵雁林 《中国防痨杂志》 CAS CSCD 2020年第12期1263-1267,共5页
结核病是我国乃至全球关注的重大公共卫生问题。本文作者回顾和总结了我国结核病防治工作主要进展和成效,系统梳理了当前我国结核病防控存在的问题和挑战,特别是多部门合作、人畜共患和中医药防治结核病等领域存在的短板,提出了我国下... 结核病是我国乃至全球关注的重大公共卫生问题。本文作者回顾和总结了我国结核病防治工作主要进展和成效,系统梳理了当前我国结核病防控存在的问题和挑战,特别是多部门合作、人畜共患和中医药防治结核病等领域存在的短板,提出了我国下一步结核病防治工作的对策和建议。 展开更多
关键词 结核 国家卫生规划 卫生服务管理 问题解决
暂未订购
一种基于连续线性规划技术的在线静态安全校正算法 被引量:35
3
作者 赵晋泉 江晓东 张伯明 《电网技术》 EI CSCD 北大核心 2005年第5期25-30,共6页
提出了一种电力系统在线静态安全校正算法。该算法基于连续线性规划技术,将安全校正问题分解为非线性潮流和线性控制灵敏度计算子问题以及基于灵敏度的线性规划控制子问题。在线性规划控制子问题中采用了扩大参与约束集策略、主导约束... 提出了一种电力系统在线静态安全校正算法。该算法基于连续线性规划技术,将安全校正问题分解为非线性潮流和线性控制灵敏度计算子问题以及基于灵敏度的线性规划控制子问题。在线性规划控制子问题中采用了扩大参与约束集策略、主导约束预测策略、筛选参与控制集策略和限制部分控制的有效可控区间策略等来提高在线计算的效率。对 3个大型实际系统进行的数值分析表明文中所提算法是十分有效的。 展开更多
关键词 电力系统 在线静态安全校正算法 连续线性规划 潮流计算
在线阅读 下载PDF
大规模线性优化求解系统的设计与实现 被引量:5
4
作者 孙吉贵 曹晓威 《吉林大学学报(信息科学版)》 CAS 2004年第3期256-262,共7页
从建立实用系统出发,以解决实际中各类大规模线性优化问题为目标,研究了大规模线性优化求解技术,设计实现了用于大规模线性规划、整数规划及运输模型的线性优化求解系统LOSS(LinearOptimizationSolvingSystem),并结合具体应用实例做了... 从建立实用系统出发,以解决实际中各类大规模线性优化问题为目标,研究了大规模线性优化求解技术,设计实现了用于大规模线性规划、整数规划及运输模型的线性优化求解系统LOSS(LinearOptimizationSolvingSystem),并结合具体应用实例做了模拟实验研究。大规模测试数据样例实验结果证明,该系统在求解线性优化类问题时,效果优良,并具有灵活性、友好性、可移植性、可扩充性和可重用性等特点。 展开更多
关键词 线性优化求解系统 线性规划 整数规划 运输模型
在线阅读 下载PDF
一种区分等级的可生存服务功能链映射方法 被引量:4
5
作者 刘艺 张红旗 +1 位作者 杨英杰 常德显 《计算机研究与发展》 EI CSCD 北大核心 2018年第4期748-767,共20页
针对在底层网络可能发生单点和单链路故障情况下的服务功能链(service function chain,SFC)映射问题,提出一种区分等级的可生存SFC映射方法,为提供重要服务的关键SFC预先分配备用资源,为提供普通服务的普通SFC快速重映射失效部分,从而... 针对在底层网络可能发生单点和单链路故障情况下的服务功能链(service function chain,SFC)映射问题,提出一种区分等级的可生存SFC映射方法,为提供重要服务的关键SFC预先分配备用资源,为提供普通服务的普通SFC快速重映射失效部分,从而兼顾提高SFC可生存能力和降低底层网络资源开销的需求.首先,在考虑最小化SFC服务时延的条件下,分别为关键SFC和普通SFC的可生存映射问题建立混合整数线性规划模型.其次,提出2种启发式的模型求解算法,其中,面向关键SFC的主备服务路径构建算法采用贪心思想交替进行节点和链路映射,以减小SFC服务时延,并在主备服务路径之间建立桥接路径,以提高路径切换速度和降低路径切换过程的丢包率;面向普通SFC的失效服务路径重建算法引入最大流问题求解失效节点的最佳重映射位置,以提高成功恢复的失效普通SFC数目,并利用改进的Dijkstra最短路径算法选择时延低的重映射路径.最后,在不同网络条件下实验验证了启发式算法的性能,并且在模拟网络环境中所提可生存SFC映射方法能保证SFC的成功运行率在59.2%以上. 展开更多
关键词 服务功能链 可生存服务功能链映射 混合整数线性规划 最大流问题 服务时延
在线阅读 下载PDF
义务教育就近入学优化建模研究 被引量:6
6
作者 王玉璟 孔云峰 《地球信息科学学报》 CSCD 北大核心 2021年第9期1608-1616,共9页
就近入学是国内外义务教育的基本共识,也是我国义务教育制度的重要组成部分。为满足就近入学需求,引入优化建模方法进行义务教育空间布局规划。首先,定义了4种就近入学场景:严格就近入学、学额限制的相对就近入学、学区连续的就近入学,... 就近入学是国内外义务教育的基本共识,也是我国义务教育制度的重要组成部分。为满足就近入学需求,引入优化建模方法进行义务教育空间布局规划。首先,定义了4种就近入学场景:严格就近入学、学额限制的相对就近入学、学区连续的就近入学,以及学校布局调整下的就近入学,并构造了相关的优化模型,讨论了每个模型的优势与局限。其次,以河南省某县516个居民区和31所初级中学为例,尝试进行多个实验情景下的最优就近入学安排,并进行比较分析。案例研究发现:①基于现有学校的布局,严格就近入学缺乏可行性;②打破乡镇行政边界招生,能够显著地降低学生入学距离;③考虑学校学额限制后,学生入学距离比严格就近入学增加40.75%;④空间连续的学区划分方便义务教育管理,对学生入学距离影响不明显;⑤通过模拟少数学校扩建、新建或撤销,学校布局明显改善,学生入学距离比学区连续入学将下降31.32%。整体上,本文将空间指派、服务区划分、设施选址等优化模型用于义务教育就近入学分析,能够为基层义务教育管理提供规划决策建议,也能为其他公共服务设施规划提供参考。 展开更多
关键词 义务教育 就近入学 优化 指派问题 设施服务区问题 区位问题 整型线性规划 案例研究
原文传递
一种基于特征向量提取的FMDP模型求解方法 被引量:3
7
作者 张双民 石纯一 《软件学报》 EI CSCD 北大核心 2005年第5期733-743,共11页
在诸如机器人足球赛等典型的可分解马尔可夫决策过程(factored Markov decision process,简称FMDP)模型中,不同状态属性在不同的状态下,对于状态评估的影响程度是不同的,其中存在若干关键状态属性,能够唯一或近似判断当前状态的好坏.为... 在诸如机器人足球赛等典型的可分解马尔可夫决策过程(factored Markov decision process,简称FMDP)模型中,不同状态属性在不同的状态下,对于状态评估的影响程度是不同的,其中存在若干关键状态属性,能够唯一或近似判断当前状态的好坏.为了解决FMDP模型中普遍存在的“维数灾”问题,在效用函数非线性的情况下,通过对状态特征向量的提取近似状态效用函数,同时根据对FMDP模型的认知程度,从线性规划和再励学习两种求解角度分别进行约束不等式组的化简和状态效用函数的高维移植,从而达到降低计算复杂度,加快联合策略生成速度的目的.以机器人足球赛任意球战术配合为背景进行实验来验证基于状态特征向量的再励学习算法的有效性和学习结果的可移植性.与传统再励学习算法相比,基于状态特征向量的再励学习算法能够极大地加快策略的学习速度.但更重要的是,还可以将学习到的状态效用函数方便地移植到更高维的FMDP模型中,从而直接计算出联合策略而不需要重新进行学习. 展开更多
关键词 群体Agent合作求解 可分解马尔可夫决策过程 线性规划 再励学习 维数灾
在线阅读 下载PDF
设施服务分区问题的求解算法框架设计 被引量:2
8
作者 王玉璟 孔云峰 《武汉大学学报(信息科学版)》 EI CAS CSCD 北大核心 2021年第5期726-735,共10页
设施服务分区问题(facility service districting problem,FSDP)是指在一个地理区域内,根据服务设施位置和服务能力为其划分服务区,满足供需平衡、形状紧凑和空间连续等要求。空间连续约束使FSDP能更好地满足学区划分、医疗区划分等问... 设施服务分区问题(facility service districting problem,FSDP)是指在一个地理区域内,根据服务设施位置和服务能力为其划分服务区,满足供需平衡、形状紧凑和空间连续等要求。空间连续约束使FSDP能更好地满足学区划分、医疗区划分等问题的政策需求,但同时增加了它的求解难度。构造了一个FSDP混合整型线性规划模型,并设计了一个算法框架。框架包括问题定义、初始解、搜索算子和策略等基本模块,支持精确算法、元启发算法和混合算法设计。基于算法框架,实现了数学模型、模拟退火算法、迭代局部搜索算法和数学启发混合算法,并使用4个中大规模案例进行算法测试。实验结果表明,算法框架能够很好地处理空间连续约束的FSDP,支持多种算法快速实现,且求解质量接近案例目标值下界。 展开更多
关键词 设施服务分区问题 空间连续 混合整型线性规划 算法框架 算法设计
原文传递
基于MILP的轻量级密码算法ACE与SPIX的线性分析 被引量:1
9
作者 刘帅 任小广 +4 位作者 王世雄 关杰 张啸川 谭捷 王军 《电子学报》 EI CAS CSCD 北大核心 2024年第9期3065-3074,共10页
研究了轻量级密码算法ACE与SPIX的线性性质.给出了环型与门组合结构精确的混合整数线性规划下的线性性质刻画,并将算法ACE与SPIX的非线性操作转化为环型与门组合.基于此构建了ACE置换与SLISCP置换的混合整数线性规划下的线性模型,求解... 研究了轻量级密码算法ACE与SPIX的线性性质.给出了环型与门组合结构精确的混合整数线性规划下的线性性质刻画,并将算法ACE与SPIX的非线性操作转化为环型与门组合.基于此构建了ACE置换与SLISCP置换的混合整数线性规划下的线性模型,求解模型得到了2至4步ACE置换与2至5步SLISCP置换最优的线性迹.证明了7步、12步ACE置换分别达到了128比特与320比特的安全目标,7步、13步SLISCP置换分别达到了128比特与256比特的安全目标.对于任意步数的ACE置换与SLISCP置换,认证加密算法ACE-AE-128与SPIX均能够抵抗明文处理阶段的线性区分攻击. 展开更多
关键词 混合整数线性规划 约束求解 轻量级密码算法 线性分析
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部