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

基于有限自动机的软件测试方法被引量：1: 1; 作者吴芬兰胡朝举宋雨《华北电力大学学报（自然科学版）》 CAS 北大核心 2005年第6期60-63,76,共5页; 基于有限自动机的增量一致性测试方法只对实现系统的修改部分进行测试,而被测试部分与规格说明书的修改部分相对应。在系统实现过程中,规格说明书经常改动,而新方法不测试给定系统的重用部分,所以可以大大节省时间,提高测试效率。特别... 展开更多; 关键词软件测试一致性测试有限自动机增量测试; 在线阅读下载PDF 职称材料

基于ECC的有消息关联的可验证的(t,n)门限签密方案被引量：1: 2; 作者胡朝举吴芬兰曹锦纲《华北电力大学学报（自然科学版）》 CAS 北大核心 2006年第5期77-80,共4页; 提出了一种新的有消息关联的可验证的门限签密方案,其中分工签密技术的应用大大降低了签密者的负担。把消息分成若干可读的消息子块,组内任意t个签密者都可以代表整个组对消息签密。每个签密者只需对自己的消息子块操作即可,因此,其工... 展开更多; 关键词门限签密分工签密 ECC; 在线阅读下载PDF 职称材料

一种改进的部分全局规划协调机制: 3; 作者郑顾平曹锦纲吴芬兰《计算机应用与软件》 CSCD 北大核心 2005年第10期113-114,129,共3页; 在多Agent系统(MAS)中,Agent之间的协调是解决Agent间冲突的关键,本文对如何使Agents能够快速解决冲突达成协商进行了研究,在通用部分全局规划的基础上提出了一种步进式部分全局规划模型,该模型使用增量式策略来使Agents尽快达成协商。... 展开更多; 关键词多AGENT系统部分全局规划协商全局规划多Agent系统(MAS) AGENTS 机制规划模型冲突步进式; 在线阅读下载PDF 职称材料