吉林省科技发展计划基金(20050527)

作品数：22被引量：74H指数：5
导出分析报告
相关作者：刘磊金龙飞付燕宁吴芬芬郭德贵更多>>
相关机构：吉林大学北京航空航天大学青岛理工大学河南交通职业技术学院更多>>
相关期刊：《电子学报》《计算机应用研究》《小型微型计算机系统》《计算机研究与发展》更多>>
相关主题：语义语义WEBWEB服务分析方法文本分块更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于控制流的Mobile Safe Ambients演算的静态分析策略
《吉林大学学报（理学版）》2008年第4期704-710,共7页张红 刘磊 
教育部博士学科点专项科研基金(批准号:20060183044);吉林省科技发展计划项目基金(批准号:20050527)
在Mobile Safe Ambients演算进程的拓扑结构抽象表示基础上,通过识别可被激活的移动原语和通讯原语,计算系统运行的所有动态进程拓扑结构,并在文法规则中显示地标识约束名字和变量,使分析结果在α变换下保持不变.该策略可被应用于静态...
关键词：MOBILE SAFE Ambients演算 控制流分析 静态分析 
测试脚本自动生成器的设计与实现被引量：7
《计算机科学》2008年第6期276-279,共4页赵斌飞 刘磊 
国家自然科学基金青年基金(60603031);博士学科点专项科研基金(20060183044);吉林省科技发展计划项目(20050527)
分析了现有的几种测试脚本生成技术,按照Mosley的同步数据驱动测试框架(CSDDT)框架设计并实现了一个针对面向对象程序的测试脚本生成器,通过实例验证了方法的可行性和工具的有效性,降低了产生测试脚本的工作量,对已知测试脚本产生过程...
关键词：软件测试自动化 测试脚本 面向对象的测试 
基于特征和隐马尔可夫模型的文本信息抽取被引量：3
《河南科技大学学报（自然科学版）》2008年第2期55-57,70,共4页常军林 吴笑伟 吴芬芬 刘磊 
吉林省科技发展计划项目(20050527)
基于文本分块提出一种新的文本信息抽取技术,该技术利用文本的语义特征和结构特征,抽取具有特征的状态,以此结果为基础,进一步运用改进的隐马尔可夫模型,抽取剩余的无特征状态。对美国CMU大学CORA搜索引擎研制组提供的数据集中的100篇...
关键词：文本分块 特征提取 隐马尔可夫模型 
一种基于描述逻辑的Web服务动态组合算法被引量：5
《吉林大学学报（理学版）》2008年第2期259-264,共6页刘磊 宋雅娟 张银平 
国家自然科学基金青年基金(批准号:60603031);博士学科点专项科研基金(批准号:20060183044);吉林省科技发展计划项目基金(批准号:20050527)
针对W eb服务组合,给出了输出分解匹配度、服务关联图等概念,并提出一种基于描述逻辑的W eb服务动态组合算法.该算法综合考虑了服务的语义、服务组合的质量和效率等因素,可以自动地根据用户的服务请求实现服务的动态组合.
关键词：WEB服务 服务组合 描述逻辑 匹配度 语义 
Seal演算的偶图语义被引量：2
《计算机学报》2008年第3期522-528,共7页金龙飞 刘磊 
教育部高等学校博士学科点专项科研基金(20061083044);吉林省科技发展计划项目基金(20050527)资助
偶图反应系统是一种新的理论工具,其基础是一种强调位置和连接的移动计算图形化模型——偶图,偶图范化了π演算和移动Ambient演算的特征,能够表示具有位置和移动性质的复杂系统.偶图反应系统为普适计算不同层次的设计和实现提供了统一...
关键词：SEAL演算 偶图 偶图反应系统 结构对应 操作对应 
C/ATLAS单动作测试语句实现的操作语义描述
《吉林大学学报（理学版）》2008年第1期55-61,共7页郭德贵 刘磊 张晶 
吉林省科技发展计划项目基金(批准号:20050527)
针对C/ATLAS单动作信号语句的一个子集,提出一种其实现过程的基于抽象机的形式化操作语义描述方法,并分别给出了各单动作测试语句的状态转换规则.根据该描述,可较清晰地理解各单动作语句的功能及其制约关系.由于该操作语义基于抽象机,...
关键词：ATLAS C/ATLAS 操作语义 单动作语句 
ABC转运器的π-演算模型及其验证
《计算机研究与发展》2008年第z1期118-123,共6页张红 刘磊 
吉林省科技发展计划基金项目(20050527)
将描述并行、分布式和可移动系统的进程代数应用于系统生物学的形式化描述和行为模拟,给出了SBP依赖式ABC转运器的π-演算模型,分析了其基于状态迁移规则的动态行为演变和构象变化过程,并用自动验证π-演算、通信系统演算CCS的移动工作...
关键词：进程代数 Π-演算 系统生物学 ABC转运器 
Pi演算与动态描述逻辑DDL的关系研究被引量：1
《计算机研究与发展》2008年第z1期131-136,共6页刘磊 汪美玲 高艳华 张长海 于哲舟 
国家自然科学基金项目(60603031);教育部博士学科点专项科研基金项目(20060183044);吉林省科技发展计划基金项目(20050527)
分析了Pi演算与动态描述逻辑DDL之间的关系:DDL分别从静态结构与动态结构两方面对Pi演算的若干过程定义进行描述,体现了过程的逻辑结构及过程间逻辑关系的变化;以一种基于Pi演算的过程模型为基础,分析了ALC描述逻辑、TBox和ABox的语义,...
关键词：PI演算 动态描述逻辑DDL 关系 
两种业务流程建模方法的分析与比较
《吉林大学学报（理学版）》2007年第6期990-994,共5页付燕宁 刘磊 陈伟 
吉林省科技发展计划项目基金(批准号:20050527)
通过对同一业务流程两种不同实现版本的分析与比较,给出了业务流程定义语言(BPDL)在业务流程定义上的优缺点.分析结果表明,虽然采用BPDL开发活动流的效率不如传统方法,但BPDLs在活动流开发及修改上均优于传统方法,并且BPDL流程的执行效...
关键词：业务流程定义语言 业务流程 活动流 
ATLAS语言实现中的设备分配算法研究被引量：1
《电子学报》2007年第11期2205-2210,共6页郭德贵 刘磊 金英 程斌 
吉林省科技发展计划项目基金(No.20050527);博士学科点专项科研基金(No.20060183044)
ATLAS是一种专业领域测试语言,其特有的设备分配给该语言的实现带来一定困难.本文提出了一种基于剥夺的启发式双重回溯搜索静态设备分配算法;并针对实际应用中ATE的特点,给出了两个实用的启发函数指导设备分配过程.通过若干实例表明,该...
关键词：设备分配 启发函数 双重回溯搜索算法 设备分配请求 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部