期刊文献+
共找到9篇文章
< 1 >
每页显示 20 50 100
命题演算系统L~*与谓词演算系统κ~*中统一的近似推理理论 被引量:13
1
作者 王国俊 钱桂生 《中国科学(E辑)》 CSCD 北大核心 2004年第10期1110-1122,共13页
引入了度量R0-代数和R0型Hilbert方体的概念. 从语义和语构两个方面建立了同时适用于命题逻辑系统L*与一阶逻辑系统κ*的近似推理理论,并得到了统一的完备性定理.
关键词 命题演算 近似推理 谓词演算 R0-代数 完备性定理 命题逻辑 一阶逻辑 系统 度量 语义
原文传递
企业应急物资轮换更新行为与政府监管博弈分析 被引量:9
2
作者 张琳 田军 +1 位作者 冯英杰 《系统工程理论与实践》 EI CSSCI CSCD 北大核心 2018年第10期2611-2619,共9页
政府作为社会安全和社会福利保障的责任者,需要监管企业合规储备和轮换更新应急物资与设备的行为,但常常因为受制于企业储备信息不透明而导致监管效果不理想.本文针对应急物资周期性轮换更新这一敏感问题,建立了政府和企业的博弈模型,... 政府作为社会安全和社会福利保障的责任者,需要监管企业合规储备和轮换更新应急物资与设备的行为,但常常因为受制于企业储备信息不透明而导致监管效果不理想.本文针对应急物资周期性轮换更新这一敏感问题,建立了政府和企业的博弈模型,分析了一类质量或性能随时间下降的应急物资和设备按期轮换更新行为的监管策略,采用基于经验学习的强化学习算法求得政企博弈均衡解.算例分析结果验证了经验学习方法解决这一类问题(道德风险问题)的有效性.通过对比分析不同社会损失水平下的企业轮换更新行为和政府监管模式,进一步提出了相应的应对措施,从而对于这一问题的有效解决,提供了较好的管理启示. 展开更多
关键词 应急物资 轮换更新 质量监管 博弈均衡 强化学习
原文传递
求解无约束优化问题的分式模型信赖域算法 被引量:4
3
作者 朱红兰 倪勤 +1 位作者 张浩 《中国科学:数学》 CSCD 北大核心 2018年第4期531-546,共16页
本文提出一个求解无约束优化问题的分式模型信赖域拟Newton算法.在新算法中,分式模型信赖域子问题是用简单折线法求解的.在合理假设条件下,算法的全局收敛性获得了证明.数值实验结果表明新算法是可行、有效的.
关键词 无约束优化 分式模型 信赖域算法 拟Newton算法 全局收敛性
原文传递
分布式整数规划及其在航线扰动问题的应用 被引量:1
4
作者 李奔驰 郑津津 《计算机工程与应用》 CSCD 2013年第14期19-24,共6页
在航空公司的运作中时常会出现干扰它正常运作的现象。在这种情况下,航空公司必须马上制定航线修复计划使受到干扰的航线尽快复原,以防止更大面积的航班取消和航班延误。提出一种基于递增映射迭代方法的分布式整数规划算法来解决由于机... 在航空公司的运作中时常会出现干扰它正常运作的现象。在这种情况下,航空公司必须马上制定航线修复计划使受到干扰的航线尽快复原,以防止更大面积的航班取消和航班延误。提出一种基于递增映射迭代方法的分布式整数规划算法来解决由于机场关闭引起的航线扰动问题。整个问题分成了两个子问题:可行航线的生成和飞机的重指派。第一个子问题的问题空间被初始点分割方法分割成了若干片段。然后在一个分布式的计算网络中使用递增映射迭代方法在分得的每个片段上同时求解第一个子问题。得到的可行航线用来求解第二个子问题。最后的算例结果可以发现提出的方法要好于CPLEX和多目标基因算法。 展开更多
关键词 航空扰动管理 不正常调度 整数规划 分布式计算 字典序 消息传递接口(MPI) OPENMP
下载PDF
数学规划的一种障碍目标罚函数算法(英文) 被引量:1
5
作者 孟志青 沈瑞 +1 位作者 蒋敏 《系统科学与数学》 CSCD 北大核心 2016年第1期75-92,共18页
研究了数学规划的一种障碍目标罚函数算法,首先,针对数学规划问题定义了一种障碍目标罚函数,针对凸规划问题,提出了一种求解近似最优解的算法,并证明了对应的收敛性,然后,针对一般数学规划问题又提出一个改进算法,并证明了对应的收敛性... 研究了数学规划的一种障碍目标罚函数算法,首先,针对数学规划问题定义了一种障碍目标罚函数,针对凸规划问题,提出了一种求解近似最优解的算法,并证明了对应的收敛性,然后,针对一般数学规划问题又提出一个改进算法,并证明了对应的收敛性,最后,数值实验结果表明了提出的改进算法比传统的障碍函数算法有更好的收敛性. 展开更多
关键词 算法 数学规划 障碍目标罚函数 最优解
原文传递
一种修复多机型飞机运行计划的分布式整数规划方法
6
作者 李奔驰 郑津津 《计算机应用与软件》 CSCD 北大核心 2014年第12期80-84,143,共6页
在航空公司各条航线的日常运行中时常会受到飞机故障或极端天气等各种干扰从而引起航班延误或取消等现象。为减少干扰给航空公司带来的损失,一种分布式整数规划方法被用来修复受干扰的飞机运行计划,从而使延误航班或取消航班的数量降到... 在航空公司各条航线的日常运行中时常会受到飞机故障或极端天气等各种干扰从而引起航班延误或取消等现象。为减少干扰给航空公司带来的损失,一种分布式整数规划方法被用来修复受干扰的飞机运行计划,从而使延误航班或取消航班的数量降到最低。首先建立一个基于TSP模型的可行性问题用来生成可行航线。之后在MPI搭建的一个多机分布式计算网络上使用递增映射迭代方法对此问题进行求解。最后将求解得到的可行航线指派给飞机从而得到飞机运行修复计划。通过算例结果比较可以看出此分布式整数规划方法要好于一些文献中同类型方法。 展开更多
关键词 航空扰动管理 不正常调度 整数规划 分布式计算 字典序
下载PDF
基于新的D_1三角剖分的变维数单纯算法 被引量:1
7
作者 陈开周 《应用数学学报》 CSCD 北大核心 1989年第4期466-478,共13页
我们构造了关于 R^n 的一种新的三角剖分——D_1三角剖分,且证明了它比熟知的三角剖分的单纯形个数都少.基于 D_1三角剖分,我们建立了一种新的变维数单纯算法.几个数值例子表明新的 D_1三角剖分及算法的确是更有效的.
关键词 新三角剖分 变维数 单纯算法
原文传递
Synchronising chaotic Chua's circuit using switching feedback control based on piecewise quadratic Lyapunov functions
8
作者 张洪斌 夏建伟 +1 位作者 于永斌 《Chinese Physics B》 SCIE EI CAS CSCD 2010年第3期122-129,共8页
This paper investigates the chaos synchronisation between two coupled chaotic Chua's circuits. The sufficient condition presented by linear matrix inequalities (LMIs) of global asymptotic synchronisation is attaine... This paper investigates the chaos synchronisation between two coupled chaotic Chua's circuits. The sufficient condition presented by linear matrix inequalities (LMIs) of global asymptotic synchronisation is attained based on piecewise quadratic Lyapunov functions. First, we obtain the piecewise linear differential inclusions (pwLDIs) model of synchronisation error dynamics, then we design a switching (piecewise-linear) feedback control law to stabilise it based on the piecewise quadratic Laypunov functions. Then we give some numerical simulations to demonstrate the effectiveness of our theoretical results. 展开更多
关键词 CHAOS Chua's circuit piecewise quadratic Lyapunov functions synchronisation
下载PDF
A mathematical model for environmental risk assessment in manufacturing industry
9
作者 何莉萍 徐盛明 +1 位作者 陈大川 《中国有色金属学会会刊:英文版》 CSCD 2002年第3期555-559,共5页
Environmental conscious manufacturing has become an important issue in industry because of market pressure and environmental regulations. An environmental risk assessment model was developed based on the network analy... Environmental conscious manufacturing has become an important issue in industry because of market pressure and environmental regulations. An environmental risk assessment model was developed based on the network analytic method and fuzzy set theory. The "interval analysis method" was applied to deal with the on site monitoring data as basic information for assessment. In addition, the fuzzy set theory was employed to allow uncertain, interactive and dynamic information to be effectively incorporated into the environmental risk assessment. This model is a simple, practical and effective tool for evaluating the environmental risk of manufacturing industry and for analyzing the relative impacts of emission wastes, which are hazardous to both human and ecosystem health. Furthermore, the model is considered useful for design engineers and decision maker to design and select processes when the costs, environmental impacts and performances of a product are taken into consideration. 展开更多
关键词 数学模型 环境风险评价 制造业
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部