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

FKAOS:一种面向Agent需求工程方法被引量：2: 1; 作者刘宗田邵堃 +1 位作者孙志勇刘炜《电子学报》 EI CAS CSCD 北大核心 2003年第z1期2171-2174,共4页; 面向Agent需求工程重点研究软件系统的面向Agent的抽象组织形式 .本文提出一种新的面向Agent需求工程方法———FKAOS方法 .该方法作为较高抽象程度的以Agent为核心的软件系统描述方法能辅助用户和系统设计人员更好地分析和设计系统需求... 展开更多; 关键词面向Agent需求工程 Fkaos方法 DESIRE环境 FUZZY Z语言 kaos方法 AGENT; 在线阅读下载PDF 职称材料

基于领域内KAOS分析的企业目标规划研究被引量：2: 2; 作者钱立宾刘念唐 +2 位作者胡雨田鲁丹邵堃《计算机科学》 CSCD 北大核心 2014年第11期88-93,共6页; 现有企业信息化规划方法的研究都集中于抽象的企业目标与具体的信息系统目标的匹配及转换过程,缺乏对抽象企业目标的形式化描述和深层次的分析。基于KAOS分析方法,提出一种基于领域内KAOS分析的企业目标规划方法,即通过对企业领域内的... 展开更多; 关键词企业信息化规划目标规划 kaos方法目标验证; 在线阅读下载PDF 职称材料

需求模型中目标的关系及其发现方法被引量：3: 3; 作者吴越王智学陈彬《计算机工程》 CAS CSCD 北大核心 2008年第14期35-37,40,共4页; KAOS方法在分析系统目标时只考虑具有负面影响的冲突关系,没有提供支撑作用的判断方法。该文定义一组类似于Tropos中目标间的二元关系,扩展KAOS的目标模型语义框架,使目标间的支撑和抑制作用明朗化。构造目标关系的推理规则和推导算法,... 展开更多; 关键词需求工程 kaos方法面向目标语义框架推理规则; 在线阅读下载PDF 职称材料

大中型高技术企业创新效率测度与分解——基于DEA模型的实证分析被引量：24: 4; 作者孙国锋张婵姚德文《审计与经济研究》 CSSCI 北大核心 2016年第3期111-119,共9页; 把大中型高技术企业科技活动分解为科技成果产出和科技成果转化为生产力两阶段,运用KAO模型和在规模报酬可变的条件下构建的链形关联DEA模型,选取2000年、2005年和2007—2011年的大中型国有控股企业、大中型内资企业、大中型港澳台资企... 展开更多; 关键词大中型高技术企业 KAO模型链形关联DEA模型效率分解产业升级战略性产业技术创新产业创新效率; 在线阅读下载PDF 职称材料

基于消息类型检测的认证测试分析方法被引量：2: 5; 作者李谢华杨树堂 +1 位作者李建华诸鸿文《上海交通大学学报》 EI CAS CSCD 北大核心 2007年第1期85-89,99,共6页; 将消息类型的概念和检测方法引入认证测试的分析过程,提出基于消息类型检测的认证测试分析方法,从而完善了认证测试在对称密钥协议验证中的应用,使其具有发现消息重放攻击和类型攻击的能力.对Neuman-Stubblebine协议和Kao-Chow协议的分... 展开更多; 关键词认证测试消息类型 Neuman—Stubblebine协议 Kao—Chow认证协议; 在线阅读下载PDF 职称材料

UHMWPE/Kaolin复合材料的物性研究——机械性能、耐磨性及其相关关系被引量：2: 6; 作者龚国芳杨华勇 +1 位作者傅新漆宗能《浙江大学学报（工学版）》 EI CAS CSCD 北大核心 2003年第3期299-302,共4页; 按ASTM标准进行拉伸和缺口冲击强度试验,分析釜内聚合和机械混合两种方法制备的高岭土填充超高分子量聚乙烯基(UHMWPE/Kaolin)复合材料的机械性能,分别用MM200磨损试验机和MSH型腐蚀磨损试验机研究这两类复合材料的耐磨性.讨论UHMWPE/Ka... 展开更多; 关键词 UHMWPE/Kao1in复合材料物理性能机械性能耐磨性相关关系高岭土超高分子量聚乙烯; 在线阅读下载PDF 职称材料

Kao's有机化合物与T维生素对小麦幼胚胚性愈伤组织发生的影响被引量：3: 7; 作者朱晋云杨丽萍 +2 位作者许玉娟杨三维王随保《中国生态农业学报》 CAS CSCD 2005年第4期44-47,共4页; 试验研究MS基本培养基中加入Kao's有机化合物与T维生素对小麦幼胚胚性愈伤组织发生的影响结果表明,加入Kao's有机化合物与T维生素的MC和MD诱导培养基可显著提高胚性愈伤组织诱导率,且ME与MF分化培养基明显增加绿原基分化率和出... 展开更多; 关键词小麦幼胚胚性愈伤组织 Kao’S有机化合物 T维生素愈伤组织发生有机化合物维生素胚性愈伤组织诱导率基本培养基; 在线阅读下载PDF 职称材料

基于串空间的Kao Chow加密协议形式化验证被引量：1: 8; 作者陆超周颢 +1 位作者陈波赵保华《中国科学技术大学学报》 CAS CSCD 北大核心 2007年第12期1529-1533,共5页; Kao Chow加密协议是由Kao和Chow提出的,他们利用BAN逻辑证明了该协议的认证性,但没有证明该协议的保密性,而且没有说明协议参与实体间得到的新会话密钥是否一致.事实上,由于BAN逻辑自身的缺陷,它无法用于证明加密协议的保密性.基于此,... 展开更多; 关键词串空间 Kao Chow加密协议协议正确性证明; 在线阅读下载PDF 职称材料

墨鱼大“火+靠”: 9; 《中国水产》北大核心 2003年第2期78-78,共1页; 关键词材料调味料操作技术墨鱼大Kao; 在线阅读下载PDF 职称材料

题名FKAOS:一种面向Agent需求工程方法被引量：2: 1; 作者刘宗田邵堃孙志勇刘炜; 机构上海大学计算机工程与科学学院合肥工业大学计算机系; 出处《电子学报》 EI CAS CSCD 北大核心 2003年第z1期2171-2174,共4页; 基金国家自然科学基金 (No .60 2 750 2 2 No .699850 0 4 .); 文摘面向Agent需求工程重点研究软件系统的面向Agent的抽象组织形式 .本文提出一种新的面向Agent需求工程方法———FKAOS方法 .该方法作为较高抽象程度的以Agent为核心的软件系统描述方法能辅助用户和系统设计人员更好地分析和设计系统需求 .FKAOS方法通过引入FuzzyZ语言 ,扩展经典的KAOS方法 ,描述多Agent系统中的非确定需求问题 .FKAOS方法中的描述视图引入了KAOS方法的目标和责任视图 ,并添加了一些新的专门描述面向Agent的需求问题的视图和表 .本文重点介绍了FKAOS方法的基本元模型概念和相关的主要视图描述模型等内容。; 关键词面向Agent需求工程 Fkaos方法 DESIRE环境 FUZZY Z语言 kaos方法 AGENT; Keywords AORE Fkaos DESIRE Fuzzy Z kaos Agent; 分类号 TP396.81 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名基于领域内KAOS分析的企业目标规划研究被引量：2: 2; 作者钱立宾刘念唐胡雨田鲁丹邵堃; 机构合肥工业大学计算机与信息学院; 出处《计算机科学》 CSCD 北大核心 2014年第11期88-93,共6页; 基金国家自然科学基金资助项目(60975033 60575035 60275022)资助; 文摘现有企业信息化规划方法的研究都集中于抽象的企业目标与具体的信息系统目标的匹配及转换过程,缺乏对抽象企业目标的形式化描述和深层次的分析。基于KAOS分析方法,提出一种基于领域内KAOS分析的企业目标规划方法,即通过对企业领域内的抽象企业目标、目标之间关系以及目标不一致性分析,获取更加完善、清晰一致的企业目标,建立起符合现代企业领域特征和信息化业务需求的企业目标模型,并且定义目标支撑度来对企业目标进行定量的分析与验证,以确保规划出的企业目标的正确性与可靠性。; 关键词企业信息化规划目标规划 kaos方法目标验证; Keywords Enterprise information planning Goal programming kaos method Goal verification; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名需求模型中目标的关系及其发现方法被引量：3: 3; 作者吴越王智学陈彬; 机构解放军理工大学指挥自动化学院; 出处《计算机工程》 CAS CSCD 北大核心 2008年第14期35-37,40,共4页; 文摘 KAOS方法在分析系统目标时只考虑具有负面影响的冲突关系,没有提供支撑作用的判断方法。该文定义一组类似于Tropos中目标间的二元关系,扩展KAOS的目标模型语义框架,使目标间的支撑和抑制作用明朗化。构造目标关系的推理规则和推导算法,以发现模型中隐含的关系,进而分析目标模型的一致性和可行性,为需求可行性评估奠定了理论基础。; 关键词需求工程 kaos方法面向目标语义框架推理规则; Keywords requirements engineering kaos approach goal-oriented semantic framework reasoning rules; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名大中型高技术企业创新效率测度与分解——基于DEA模型的实证分析被引量：24: 4; 作者孙国锋张婵姚德文; 机构南京审计大学经济与贸易学院; 出处《审计与经济研究》 CSSCI 北大核心 2016年第3期111-119,共9页; 基金国家社会科学基金一般项目(15BJL040) 教育部人文社会科研项目(14YJC790088) +1 种基金江苏省重点序列学科-应用经济学资助项目(苏政办发[2014]37号); 文摘把大中型高技术企业科技活动分解为科技成果产出和科技成果转化为生产力两阶段,运用KAO模型和在规模报酬可变的条件下构建的链形关联DEA模型,选取2000年、2005年和2007—2011年的大中型国有控股企业、大中型内资企业、大中型港澳台资企业和大中型外资企业的数据,具体分析计算各类企业的技术效率、纯技术效率和规模效率。实证研究表明:大中型国有控股企业、大中型内资企业的表现普遍弱于大中型港澳台资企业和大中型外资企业;科技成果转化为生产力的能力低和规模效率低是制约大中型国有控股企业和大中型内资企业发展的两大障碍。; 关键词大中型高技术企业 KAO模型链形关联DEA模型效率分解产业升级战略性产业技术创新产业创新效率; Keywords large and medium hi-tech enterprises KAO model relational network DEA model efficiency decomposition industry updating strategic industry technology innovation industry innovation efficiency; 分类号 F270 [经济管理—企业管理]; 在线阅读下载PDF 职称材料

题名基于消息类型检测的认证测试分析方法被引量：2: 5; 作者李谢华杨树堂李建华诸鸿文; 机构上海交通大学电子工程系; 出处《上海交通大学学报》 EI CAS CSCD 北大核心 2007年第1期85-89,99,共6页; 基金国家高技术研究发展计划(863)项目(2005AA145110); 文摘将消息类型的概念和检测方法引入认证测试的分析过程,提出基于消息类型检测的认证测试分析方法,从而完善了认证测试在对称密钥协议验证中的应用,使其具有发现消息重放攻击和类型攻击的能力.对Neuman-Stubblebine协议和Kao-Chow协议的分析结果表明,基于消息类型检测的认证测试方法能够发现对Neuman-Stubblebine协议的类型攻击,并且为Kao-Chow协议提供更为准确的证明.; 关键词认证测试消息类型 Neuman—Stubblebine协议 Kao—Chow认证协议; Keywords authentication tests message type Neuman-Stubblebine protocol Kao-Chow protocol; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名UHMWPE/Kaolin复合材料的物性研究——机械性能、耐磨性及其相关关系被引量：2: 6; 作者龚国芳杨华勇傅新漆宗能; 机构浙江大学流体传动与控制国家重点实验室中国科学院化学研究所工程塑料国家重点实验室; 出处《浙江大学学报（工学版）》 EI CAS CSCD 北大核心 2003年第3期299-302,共4页; 基金国家自然科学基金资助项目(50005019) 固体润滑国家重点实验室开放基金资助项目(9905).; 文摘按ASTM标准进行拉伸和缺口冲击强度试验,分析釜内聚合和机械混合两种方法制备的高岭土填充超高分子量聚乙烯基(UHMWPE/Kaolin)复合材料的机械性能,分别用MM200磨损试验机和MSH型腐蚀磨损试验机研究这两类复合材料的耐磨性.讨论UHMWPE/Kaolin的机械性能和耐磨性与制备方法和高岭土含量的关系.结果表明:UHMWPE/Kaolin的机械性能与制备方法显著相关,由于高度细化和均匀分散的高岭土颗粒的增强作用及较强的界面结合强度,釜内聚合方法制备的UHMWPE/Kaolin的综合性能比熔融机械混合方法制备的成分相同的复合材料的明显要好.进一步的数据分析发现,UHMWPE/Kaolin的耐磨性与机械强度综合指标有显著的相关关系.; 关键词 UHMWPE/Kao1in复合材料物理性能机械性能耐磨性相关关系高岭土超高分子量聚乙烯; Keywords UHMWPE composite kaolin filler mechanical property wear behavior relativity; 分类号 TB332 [一般工业技术—材料科学与工程]; 在线阅读下载PDF 职称材料

题名Kao's有机化合物与T维生素对小麦幼胚胚性愈伤组织发生的影响被引量：3: 7; 作者朱晋云杨丽萍许玉娟杨三维王随保; 机构山西省农业科学院小麦研究所; 出处《中国生态农业学报》 CAS CSCD 2005年第4期44-47,共4页; 基金山西省回国留学人员基金重点项目(97-1-非11) 山西省农业科学院高新技术项目(02YGX06)资助; 文摘试验研究MS基本培养基中加入Kao's有机化合物与T维生素对小麦幼胚胚性愈伤组织发生的影响结果表明,加入Kao's有机化合物与T维生素的MC和MD诱导培养基可显著提高胚性愈伤组织诱导率,且ME与MF分化培养基明显增加绿原基分化率和出苗率。; 关键词小麦幼胚胚性愈伤组织 Kao’S有机化合物 T维生素愈伤组织发生有机化合物维生素胚性愈伤组织诱导率基本培养基; Keywords Wheat immature embryo, Embryogenic callus, Kao＇s organic compound, T vitamins; 分类号 S792.950.1 [农业科学—林木遗传育种] O621.2 [理学—有机化学]; 在线阅读下载PDF 职称材料

题名基于串空间的Kao Chow加密协议形式化验证被引量：1: 8; 作者陆超周颢陈波赵保华; 机构中国科学技术大学计算机科学与技术系; 出处《中国科学技术大学学报》 CAS CSCD 北大核心 2007年第12期1529-1533,共5页; 基金国家自然科学基金(60602016 60241004) +2 种基金华为基金(YJCB2006044TS)资助; 文摘 Kao Chow加密协议是由Kao和Chow提出的,他们利用BAN逻辑证明了该协议的认证性,但没有证明该协议的保密性,而且没有说明协议参与实体间得到的新会话密钥是否一致.事实上,由于BAN逻辑自身的缺陷,它无法用于证明加密协议的保密性.基于此,给出了Kao Chow加密协议的串空间模型,这个模型不仅验证了该协议的认证性,还验证了它的保密性及新会话密钥的一致性.; 关键词串空间 Kao Chow加密协议协议正确性证明; Keywords strand spaces Kao Chow cryptographic protocol protocol correctness proof; 分类号 TP309 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名墨鱼大“火+靠”: 9; 出处《中国水产》北大核心 2003年第2期78-78,共1页; 关键词材料调味料操作技术墨鱼大Kao; 分类号 TS972 [轻工技术与工程]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	FKAOS:一种面向Agent需求工程方法	刘宗田邵堃孙志勇刘炜	《电子学报》 EI CAS CSCD 北大核心	2003	2	在线阅读下载PDF 职称材料
2	基于领域内KAOS分析的企业目标规划研究	钱立宾刘念唐胡雨田鲁丹邵堃	《计算机科学》 CSCD 北大核心	2014	2	在线阅读下载PDF 职称材料
3	需求模型中目标的关系及其发现方法	吴越王智学陈彬	《计算机工程》 CAS CSCD 北大核心	2008	3	在线阅读下载PDF 职称材料
4	大中型高技术企业创新效率测度与分解——基于DEA模型的实证分析	孙国锋张婵姚德文	《审计与经济研究》 CSSCI 北大核心	2016	24	在线阅读下载PDF 职称材料
5	基于消息类型检测的认证测试分析方法	李谢华杨树堂李建华诸鸿文	《上海交通大学学报》 EI CAS CSCD 北大核心	2007	2	在线阅读下载PDF 职称材料
6	UHMWPE/Kaolin复合材料的物性研究——机械性能、耐磨性及其相关关系	龚国芳杨华勇傅新漆宗能	《浙江大学学报（工学版）》 EI CAS CSCD 北大核心	2003	2	在线阅读下载PDF 职称材料
7	Kao's有机化合物与T维生素对小麦幼胚胚性愈伤组织发生的影响	朱晋云杨丽萍许玉娟杨三维王随保	《中国生态农业学报》 CAS CSCD	2005	3	在线阅读下载PDF 职称材料
8	基于串空间的Kao Chow加密协议形式化验证	陆超周颢陈波赵保华	《中国科学技术大学学报》 CAS CSCD 北大核心	2007	1	在线阅读下载PDF 职称材料
9	墨鱼大“火+靠”		《中国水产》北大核心	2003	0	在线阅读下载PDF 职称材料