期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到10篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
Hooke-Jeeves方法在简单约束优化中的推广 被引量：4
1
作者 简金宝 罗雁 徐庆娟 《广西科学》 CAS 2005年第2期81-84,共4页
分别将无约束优化的线搜索和离散步Hooke-Jeeves算法推广到带广义界的简单约束优化,产生2个新算法,得到可行区间的计算公式.在适当条件下,证明线搜索的Hooke-Jeeves算法推广后仍具有全局收敛性,算法有效数值试验表明2个算法均是有效的.
关键词 简单约束 最优化 Hooke—Jeeves方法 线搜索 离散步
在线阅读 下载PDF
简单单调约束逻辑程序的良基语义研究
2
作者 常万军 郭祖华 魏昆鹏 《计算机工程与设计》 CSCD 北大核心 2013年第6期2180-2184,共5页
在介绍约束逻辑程序的相关概念的基础上,研究了简单单调约束逻辑程序约束原子的正文字前缀幂集展开方法,并证明展开后的正规逻辑约束与约束逻辑程序的等价特性。分析了正规逻辑程序的交替不动点良基模型建立的原理,将简单单调约束逻辑... 在介绍约束逻辑程序的相关概念的基础上,研究了简单单调约束逻辑程序约束原子的正文字前缀幂集展开方法,并证明展开后的正规逻辑约束与约束逻辑程序的等价特性。分析了正规逻辑程序的交替不动点良基模型建立的原理,将简单单调约束逻辑程序等价展开为与其等价的正规逻辑程序,以求展开后的逻辑程序中的给定算子的最小不动点为切入,给出了简单单调约束逻辑程序的交替不动点的良基模型。论证了文中提出的简单单调约束逻辑程序良基模型定义的合理性,说明把约束逻辑程序转化为正规逻辑程序是可行的。 展开更多
关键词 逻辑程序 简单单调约束逻辑 回答集 稳定模型 良基语义
在线阅读 下载PDF
三个多元正态总体在简单半序约束下均值估计 被引量：2
3
作者 罗平 李树有 《统计研究》 CSSCI 北大核心 2013年第3期101-105,共5页
多元保序回归理论对统计学中研究多维参数在序约束下的估计理论起着关键性作用。本文讨论了当协方差矩阵已知,在简单半序约束下,对三个多元正态总体均值的估计问题,给出了估计的算法。并证明了在多元均方损失条件下,给出的均值估计优于... 多元保序回归理论对统计学中研究多维参数在序约束下的估计理论起着关键性作用。本文讨论了当协方差矩阵已知,在简单半序约束下,对三个多元正态总体均值的估计问题,给出了估计的算法。并证明了在多元均方损失条件下,给出的均值估计优于无序约束的均值估计。 展开更多
关键词 多元正态均值 简单半序约束 极大似然估计 风险函数 PAVA算法
在线阅读 下载PDF
基于时间约束网络的空中编队冲突检测方法研究 被引量：3
4
作者 陈榕 严建钢 邹杰 《电光与控制》 北大核心 2013年第4期7-9,26,共4页
研究了采用图论方法检测空中编队对岸打击协同作战时序安排合理性的方法。论述了空中编队协同对岸打击作战的时间约束特点,结合简单时间约束网络理论,建立了任务的简单时间约束网络模型。借鉴图论的相关理论,将任务简单时间约束网络模... 研究了采用图论方法检测空中编队对岸打击协同作战时序安排合理性的方法。论述了空中编队协同对岸打击作战的时间约束特点,结合简单时间约束网络理论,建立了任务的简单时间约束网络模型。借鉴图论的相关理论,将任务简单时间约束网络模型转化为权值矩阵的形式。分析网络中回路权值与权值矩阵元素的对应关系,提出一致性检测的新方法——权值矩阵法。理论分析表明:该方法可同步并行计算所有回路的权值之和,有效减小了时间复杂度,显著提高了检测效率,更加适合动态协同过程的需求。仿真结果表明该方法可行、有效。 展开更多
关键词 空中编队 简单时间约束网络 一致性检测 权值矩阵法
在线阅读 下载PDF
基于EM算法约束条件下参数的估计 被引量：6
5
作者 孟丽新 刘洪 《东北师大学报（自然科学版）》 CAS CSCD 北大核心 2008年第4期28-32,共5页
讨论了多元正态模型中的参数估计问题.利用EM算法和ECM算法给出了多元正态模型在协方差阵已知或未知的情况下,参数在简单序约束、伞型序约束和递增的凸序约束条件下的极大似然估计.当参数向量不多于三个分量时,给出了显式结果;当参数向... 讨论了多元正态模型中的参数估计问题.利用EM算法和ECM算法给出了多元正态模型在协方差阵已知或未知的情况下,参数在简单序约束、伞型序约束和递增的凸序约束条件下的极大似然估计.当参数向量不多于三个分量时,给出了显式结果;当参数向量高于三个分量时,给出了求参数极大似然估计的相应线性变换. 展开更多
关键词 简单序约束 伞型序约束 递增的凸序约束 EM算法
在线阅读 下载PDF
序贯k-out-of-n系统在序约束下参数的假设检验 被引量：2
6
作者 杜宇静 姜丽萍 《吉林大学学报（理学版）》 CAS CSCD 北大核心 2016年第3期487-492,共6页
考虑带有协变量的序贯k-out-of-n模型,假设给定协变量寿命的分布是指数分布族,对指数分布的刻度参数建立对数线性模型,研究在序约束下模型参数的两个假设检验问题,并讨论在序约束下检验统计量的渐近分布为χ^2分布.
关键词 序贯k-out-of-n系统 简单序约束 假设检验 χ2分布
在线阅读 下载PDF
基于时间约束网络的智能活动规划 被引量：6
7
作者 李永峰 周兴社 +2 位作者 杜可君 於志文 毛睿 《计算机科学》 CSCD 北大核心 2011年第2期179-183,共5页
老年人认知能力的下降导致其无法正常规划日常生活的问题已经越来越受到社会的关注。利用信息技术辅助老年人独立完成日常活动,已成为目前一个新的研究领域,其中对其活动的规划和提醒是该领域的一个研究热点。在传统基于时间的活动约束... 老年人认知能力的下降导致其无法正常规划日常生活的问题已经越来越受到社会的关注。利用信息技术辅助老年人独立完成日常活动,已成为目前一个新的研究领域,其中对其活动的规划和提醒是该领域的一个研究热点。在传统基于时间的活动约束表示和冲突检测的基础上,提出一种更为宽松合理的时间约束,其使活动时间更为灵活,同时引入活动规划中新的活动时间冲突问题。通过时间约束网络的相关概念和理论,将活动规划中冲突检测问题转化为简单时间约束网络是否满足一致性的问题。给出时间约束一致性的一般性检测算法,分析得出活动数较大时其算法复杂度呈指数增长。针对一般性检测算法,提出新的检测时间约束一致性的算法,以降低算法复杂度,解决活动规划中的时间冲突问题。最后通过实验对两种算法的时间复杂度进行了比较。 展开更多
关键词 活动规划 时间约束 简单时间约束网络 一致性
在线阅读 下载PDF
STCN的对岸打击时间协同冲突消解研究 被引量：2
8
作者 陈榕 严建钢 周小程 《火力与指挥控制》 CSCD 北大核心 2013年第8期21-24,共4页
为验证航空兵对岸打击中时间协同计划的可行性以及快速地调整时间协同计划,建立了任务间的简单时间约束网络(STCN),并转化成权值矩阵的形式。根据权值矩阵特点,提出了一种检测STCN一致性的权值矩阵法,大大降低了算法复杂度。为加快时间... 为验证航空兵对岸打击中时间协同计划的可行性以及快速地调整时间协同计划,建立了任务间的简单时间约束网络(STCN),并转化成权值矩阵的形式。根据权值矩阵特点,提出了一种检测STCN一致性的权值矩阵法,大大降低了算法复杂度。为加快时间协同计划的调整速度,基于检测结果,提出了一种代价最小的冲突消解方法,避免了消解过程中的重复检测问题,提高了效率,使计划调整更加快捷高效。 展开更多
关键词 时间协同 简单时间约束网络 一致性检测 权值矩阵法 冲突消解
在线阅读 下载PDF
基于Bellman-Ford算法的空中编队协同对岸打击 被引量：1
9
作者 陈榕 严建钢 吉礼超 《兵工自动化》 2012年第9期24-26,共3页
为提高空中编队协同对岸打击作战能力,基于Bellman-Ford算法对空中编队协同对岸打击进行研究。为解决空中编队协同对岸打击作战中的时间协同问题,针对空中编队协同对岸打击作战的时间约束特点并结合简单时间约束网络理论,将其时间约束... 为提高空中编队协同对岸打击作战能力,基于Bellman-Ford算法对空中编队协同对岸打击进行研究。为解决空中编队协同对岸打击作战中的时间协同问题,针对空中编队协同对岸打击作战的时间约束特点并结合简单时间约束网络理论,将其时间约束网络模型转化为简单时间约束网络模型;为克服传统简单时间约束网络一致性检测算法时间耗费大的缺点,提出借鉴Bellman-Ford算法检测一致性的新方法,并以实例进行检测、分析。结果表明:该方法能有效解决空中编队对岸打击作战中的时间协同问题,能减小时间复杂度,提高协同效率。 展开更多
关键词 空中编队 协同对岸打击 简单时间约束网络 一致性检测 Bellman-Ford算法
在线阅读 下载PDF
基于STCN的机动岸导与航空兵合同对海突击时间规划 被引量：1
10
作者 曾家有 刘天庆 谢宇鹏 《兵工自动化》 2021年第4期54-59,共6页
为增强对海突击作战的整体效能,提出一种基于简单时间约束网络(simple temporal constraint network,STCN)的突击任务时间规划方法。根据STCN的定义,建立多火力打击任务的STCN模型,借鉴图论相关知识,将STCN网络转化为有向加权图形式,利... 为增强对海突击作战的整体效能,提出一种基于简单时间约束网络(simple temporal constraint network,STCN)的突击任务时间规划方法。根据STCN的定义,建立多火力打击任务的STCN模型,借鉴图论相关知识,将STCN网络转化为有向加权图形式,利用Floyd算法处理权值矩阵,进行一致性检验和时间规划方案求解。实例分析结果表明:该方法实现简单、行之有效,可以使多个火力打击任务紧凑有序、不冲突地执行。 展开更多
关键词 简单时间约束网络 机动岸导 航空兵 合同对海突击 时间规划
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
关于我们 | 版权声明 | 联系我们 | 帮助中心| 意见反馈
主办单位：上海市教育委员会
技术支持：重庆维普资讯有限公司
渝公网安备 50019002500403号
使用帮助 返回顶部