检索结果-维普期刊中文期刊服务平台

期刊文献⁺

任意字段

题名或关键词

题名

关键词

文摘

作者

第一作者

机构

刊名

分类号

参考文献

作者简介

基金资助

栏目信息

共找到9篇文章

< 1 >

每页显示 20 50 100

已选择0条

导出题录引用分析

统计分析

显示方式：

文摘详细列表

相关度排序被引量排序时效性排序

基于Tableau方法的程序综合系统──DTPS: 1; 作者赵莹全炳哲金淳兆《计算机研究与发展》 EI CSCD 北大核心 1997年第8期577-581,共5页; 本文简单介绍了基于Ｔａｂｌｅａｕ方法的程序综合系统——ＤＴＰＳ．ＤＴＰＳ系统以定理证明为基础，为构造一个满足程序规约的程序，只需证明的确存在一个满足条件的对象．如果这个证明存在，那么从证明中可抽取出一个满足该程序规约... 展开更多; 关键词 tableau方法程序综合系统 DTPS 软件自动化; 在线阅读下载PDF 职称材料

不确定离散多时滞系统的时滞相关鲁棒镇定被引量：34: 2; 作者高会军王常虹《自动化学报》 EI CSCD 北大核心 2004年第5期789-795,共7页; 研究了多面体不确定离散多重时滞系统的稳定性分析和镇定问题.通过定义新的Lyapunov函数,提出了一个时滞相关稳定判据.并将de Oliveira的参数依赖思想引入该判据,得到了适用于多面体不确定系统的参数依赖型时滞相关稳定条件.在此基础上... 展开更多; 关键词多面体不确定性离散系统线性矩阵不等式时滞系统时滞相关; 在线阅读下载PDF 职称材料

块三对角矩阵的并行局部块分解预条件被引量：4: 3; 作者吴建平王正华李晓梅《计算机学报》 EI CSCD 北大核心 2005年第3期414-419,共6页; 该文首先分析了并行局部块分解预条件的特征分布,分析表明其与串行局部块分解预条件的特征分布基本相当,从而从理论上保证了利用该预条件进行并行计算时的高效性.其次分析了利用该预条件进行并行计算时影响加速比的因素,由此说明了当问... 展开更多; 关键词局部块分解预条件并行算法多分裂技术; 在线阅读下载PDF 职称材料

一类分段线性混杂系统的最优控制策略研究被引量：2: 4; 作者翟海峰苏宏业 +2 位作者董利达王肖褚健《控制与决策》 EI CSCD 北大核心 2002年第6期863-866,875,共5页; 针对连续模态驻留的时延是确定性的分段线性混杂系统最优控制问题 ,首先给出该类混杂系统模型 ,采用一种新方法 ,即混合动态规划方法来研究混杂系统的最优控制。然后利用 L yapunov方法证明采用这种控制策略时混杂系统的稳定性。最后通... 展开更多; 关键词分段线性混杂系统最优控制策略 LYAPUNOV稳定性离散事件系统; 在线阅读下载PDF 职称材料

高额医疗费用保险的期权应用被引量：2: 5; 作者谭朵朵杨向群田伟《晓庄学院自然科学学报》 EI CAS 北大核心 2004年第3期7-10,16,共5页; 将高额医疗费用保险视为一种特殊的欧式看涨期权,给出了期权的定价.运用Martingale方法和Gir sanov定理,求出了定价表达式.最后,考虑当无风险利率及投保人累积治疗花费瞬时标准差为随机的情形.; 关键词看涨期权保险定价无风险利率医疗费用投保人 GIRSANOV定理治疗随机方法; 在线阅读下载PDF 职称材料

一类构造性几何定理并行数值检验证明机(英文) 被引量：1: 6; 作者杨路张景中李传中《广州大学学报（自然科学版）》 CAS 2002年第3期29-34,共6页; 为实现构造性几何定理机器证明的数值并行法 ,作者提供了一个证明机 ,它适用于由所谓“直线程序”; 关键词构造性几何定量并行数值检验证明机机器证明数值并行法直线程序构造语句; 在线阅读下载PDF 职称材料

基于模糊模型的大系统关联平衡法的收敛性被引量：1: 7; 作者顾佳晨万百五《自动化学报》 EI CSCD 北大核心 2004年第2期207-213,共7页; 结合模糊规划与非线性规划的收敛性分析方法,给出了基于模糊模型的关联平衡法的收敛性分析.首先证明了经去模糊处理后形成的约束集合与子过程原有的约束集合必有交集,并且此交集是凸集.在此基础上,分析和证明了基于模糊模型的关联平衡... 展开更多; 关键词大系统关联平衡法收敛性模糊模型模糊规划非线性规划; 在线阅读下载PDF 职称材料

中介自动推理的理论与实现(Ⅱ)——中介谓词逻辑的表推演系统被引量：3: 8; 作者朱梧槚张东摩《模式识别与人工智能》 EI CSCD 北大核心 1994年第3期175-180,共6页; 本文以文（１）为基础，继续讨论中介逻辑的自动推理理论。文中给出了中介谓词演算系统ＭＦ及ＭＦ，带等词的中介词演算系统ＭＥ及ＭＥ的表推演系统，通过对表推演概念的扩充，详细证明了ＭＦ的表推演系统的可靠性与完备性，同时给出了... 展开更多; 关键词中介逻辑自动推理表推演系统; 原文传递

中介自动推理的理论与实现(Ⅰ)——中介命题逻辑的表推演系统被引量：3: 9; 作者朱梧槚张东摩《模式识别与人工智能》 EI CSCD 北大核心 1994年第2期87-93,共7页; 本文后其后续文章将系统地探讨中介逻辑诸子系统的自动推理理论及其实现方式。本文着重讨论中介命题逻辑的自动定理证明理论。文中给出了中介命题逻辑ＭＰ及ＭＰ的表推演系统，证明了该系统的可靠性与完备性，并给出利用这一理论实现Ｍ... 展开更多; 关键词自动定理证明中介逻辑表推演方法; 原文传递

已选择0条

导出题录引用分析

统计分析

上一页 1 下一页到第页

使用帮助返回顶部