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

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

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

题名基于Tableau方法的程序综合系统──DTPS: 1; 作者赵莹全炳哲金淳兆; 机构吉林大学计算机科学系; 出处《计算机研究与发展》 EI CSCD 北大核心 1997年第8期577-581,共5页; 基金 "863"计划和国家自然科学基金; 文摘本文简单介绍了基于Ｔａｂｌｅａｕ方法的程序综合系统——ＤＴＰＳ．ＤＴＰＳ系统以定理证明为基础，为构造一个满足程序规约的程序，只需证明的确存在一个满足条件的对象．如果这个证明存在，那么从证明中可抽取出一个满足该程序规约的程序．; 关键词 tableau方法程序综合系统 DTPS 软件自动化; Keywords program synthesis,theorem proving,tableau method; 分类号 TP31 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名不确定离散多时滞系统的时滞相关鲁棒镇定被引量：34: 2; 作者高会军王常虹; 机构哈尔滨工业大学惯导测试设备研究中心; 出处《自动化学报》 EI CSCD 北大核心 2004年第5期789-795,共7页; 基金国家自学科学基金(69874008)资助~~; 文摘研究了多面体不确定离散多重时滞系统的稳定性分析和镇定问题.通过定义新的Lyapunov函数,提出了一个时滞相关稳定判据.并将de Oliveira的参数依赖思想引入该判据,得到了适用于多面体不确定系统的参数依赖型时滞相关稳定条件.在此基础上,研究了鲁棒镇定状态反馈控制器的设计方法.采用El Ghaoui提出的锥补线性化思想将控制器的设计转化为一个受线性矩阵不等式约束的非线性规划问题.; 关键词多面体不确定性离散系统线性矩阵不等式时滞系统时滞相关; Keywords Delay control systems Lyapunov methods Nonlinear programming Robustness (control systems) State feedback System stability theorem proving; 分类号 TP13 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

题名块三对角矩阵的并行局部块分解预条件被引量：4: 3; 作者吴建平王正华李晓梅; 机构国防科技大学并行与分布处理重点实验室装备指挥技术学院; 出处《计算机学报》 EI CSCD 北大核心 2005年第3期414-419,共6页; 基金国家自然科学基金重点项目(69933030) 计算物理实验室基金(51479040103KG0201)资助.~~; 文摘该文首先分析了并行局部块分解预条件的特征分布,分析表明其与串行局部块分解预条件的特征分布基本相当,从而从理论上保证了利用该预条件进行并行计算时的高效性.其次分析了利用该预条件进行并行计算时影响加速比的因素,由此说明了当问题规模不大而处理机台数增加时,计算效率必然逐渐下降的原因.最后在由 6台微机连成的机群系统上将该预条件与利用多分裂技术构造的多种预条件进行了比较,实验结果说明该预条件效率高于其它预条件方法.同时在某巨型机上进行的实验表明对处理机台数比较多时,该预条件也仍然很有效.; 关键词局部块分解预条件并行算法多分裂技术; Keywords Iterative methods Matrix algebra Parallel algorithms program processors theorem proving; 分类号 TP301 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名高额医疗费用保险的期权应用被引量：2: 4; 作者谭朵朵杨向群田伟; 机构湖南师范大学数学与计算机科学学院数学系湖南大学电气与信息工程学院; 出处《湖南师范大学自然科学学报》 EI CAS 北大核心 2004年第3期7-10,16,共5页; 基金国家自然科学基金资助项目(10071019); 文摘将高额医疗费用保险视为一种特殊的欧式看涨期权,给出了期权的定价.运用Martingale方法和Gir sanov定理,求出了定价表达式.最后,考虑当无风险利率及投保人累积治疗花费瞬时标准差为随机的情形.; 关键词看涨期权保险定价无风险利率医疗费用投保人 GIRSANOV定理治疗随机方法; Keywords Mathematical models Matrix algebra Numerical methods Set theory Stochastic programming theorem proving; 分类号 F830 [经济管理—金融学] R197 [医药卫生—卫生事业管理]; 在线阅读下载PDF 职称材料

题名基于模糊模型的大系统关联平衡法的收敛性被引量：1: 5; 作者顾佳晨万百五; 机构冶金自动化研究设计院西安交通大学系统工程研究所; 出处《自动化学报》 EI CSCD 北大核心 2004年第2期207-213,共7页; 文摘结合模糊规划与非线性规划的收敛性分析方法,给出了基于模糊模型的关联平衡法的收敛性分析.首先证明了经去模糊处理后形成的约束集合与子过程原有的约束集合必有交集,并且此交集是凸集.在此基础上,分析和证明了基于模糊模型的关联平衡法可用于求解基于模糊模型的稳态大工业过程递阶优化问题.继而通过定义迭代序列的A-内积,证明了基于模糊模型的关联平衡法是收敛的.同时给出了保证迭代收敛的迭代系数取值范围.; 关键词大系统关联平衡法收敛性模糊模型模糊规划非线性规划; Keywords Algorithms Constraint theory Convergence of numerical methods Fuzzy sets Mathematical models Nonlinear programming Optimization theorem proving; 分类号 TP11 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于Tableau方法的程序综合系统──DTPS	赵莹全炳哲金淳兆	《计算机研究与发展》 EI CSCD 北大核心	1997	0	在线阅读下载PDF 职称材料
2	不确定离散多时滞系统的时滞相关鲁棒镇定	高会军王常虹	《自动化学报》 EI CSCD 北大核心	2004	34	在线阅读下载PDF 职称材料
3	块三对角矩阵的并行局部块分解预条件	吴建平王正华李晓梅	《计算机学报》 EI CSCD 北大核心	2005	4	在线阅读下载PDF 职称材料
4	高额医疗费用保险的期权应用	谭朵朵杨向群田伟	《湖南师范大学自然科学学报》 EI CAS 北大核心	2004	2	在线阅读下载PDF 职称材料
5	基于模糊模型的大系统关联平衡法的收敛性	顾佳晨万百五	《自动化学报》 EI CSCD 北大核心	2004	1	在线阅读下载PDF 职称材料