检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

并发程序的切片模型检验方法

计算机学报 2003年第3期26卷 266-274页

作者：董威王戟齐治昌国防科学技术大学计算机学院长沙410073

提出了一种对并发程序进行切片以缩减模型检验状态空间的方法 .首先针对并发程序中的同步与通信定义了一组依赖关系 ,包括并发分支与接合、非确定性、信道、共享变量等特征 .对于从要验证的时态逻辑性质中提取的关于多个程序点的切片标... 详细信息

提出了一种对并发程序进行切片以缩减模型检验状态空间的方法 .首先针对并发程序中的同步与通信定义了一组依赖关系 ,包括并发分支与接合、非确定性、信道、共享变量等特征 .对于从要验证的时态逻辑性质中提取的关于多个程序点的切片标准 ,文中给出算法根据相应的依赖关系通过不动点运算得到并发程序切片 .

关键词：并发程序模型检验程序切片自动验证 Java语言 SPL语言

UML statecharts的测试用例生成方法

在线全文

学校读者我要写书评

暂无评论

计算机研究与发展 2001年第6期38卷 691-697页

作者：李留英王戟齐治昌国防科学技术大学计算机学院长沙410073

测试用例生成是软件测试的关键 .根据 U ML statecharts的层次和并发结构 ,研究相应的测试用例产生方法 .它视复合状态为抽象状态 ,分别构造主 UML statecharts和复合状态所对应的子 UML statecharts的测试基 ,并依据一定的合成规则和 ... 详细信息

测试用例生成是软件测试的关键 .根据 U ML statecharts的层次和并发结构 ,研究相应的测试用例产生方法 .它视复合状态为抽象状态 ,分别构造主 UML statecharts和复合状态所对应的子 UML statecharts的测试基 ,并依据一定的合成规则和 Wp-方法生成整个 U ML statecharts的测试用例 .这种方法能够支持递增式测试用例的生成 .理论和实验结果说明 ,如果满足测试条件 ,它们保证全故障覆盖 ,且产生较少的测试用例 .这种改进对大型复杂系统尤其有效。

关键词：测试用例产生软件测试面向对象软件开发 UML statecharts

在线全文

学校读者我要写书评

暂无评论

分布式协作工作流技术研究

电子学报 2005年第B12期33卷 2498-2502页

作者：黄秀国王戟国防科技大学计算机学院湖南长沙410073

工作流是实现企业业务过程建模、优化、管理、集成和自动化的核心技术．作为分布式的应用平台，工作流管理系统任务处理能力即吞吐能力是一个重要的性能指标．目前，已有的工作流管理系统在这方面存在较大的不足，成为工作流管理系统广... 详细信息

工作流是实现企业业务过程建模、优化、管理、集成和自动化的核心技术．作为分布式的应用平台，工作流管理系统任务处理能力即吞吐能力是一个重要的性能指标．目前，已有的工作流管理系统在这方面存在较大的不足，成为工作流管理系统广泛应用的严重障碍．本文研究了工作流系统的协作方式和负载平衡技术，定义了工作流系统的负载因子，给出了一个分布式协作工作流系统模型，并结合业务流程逻辑，提出了分布式协作工作流系统负载平衡调度算法．实验表明该分布式协作工作流系统有效地扩展了单个工作流系统的吞吐能力。

关键词：工作流负载平衡负载因子协作方式

一种基于成对字向量和噪声鲁棒学习的同义词挖掘算法

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

自动化学报 2023年第6期49卷 1181-1194页

作者：张浩宇王戟国防科技大学高性能计算国家重点实验室长沙410072 军事科学院国防科技创新研究院人工智能研究中心北京100071

同义词挖掘是自然语言处理中一项重要任务.为了构建大规模训练语料,现有研究利用远程监督、点击图筛选等方式抽取同义词种子,而这几种方式都不可避免地引入了噪声标签,从而影响高质量同义词挖掘模型的训练.此外,由于大量实体词所具有的... 详细信息

同义词挖掘是自然语言处理中一项重要任务.为了构建大规模训练语料,现有研究利用远程监督、点击图筛选等方式抽取同义词种子,而这几种方式都不可避免地引入了噪声标签,从而影响高质量同义词挖掘模型的训练.此外,由于大量实体词所具有的少样本特性、领域分布差异性和预训练词向量训练目标与同义词挖掘任务的不一致性,在同义词挖掘任务中,词级别的预训练词向量很难产生高质量的实体语义表示.为解决这两个问题,提出了一种利用成对字向量和噪声鲁棒学习框架的同义词挖掘模型.模型利用预训练的成对字向量增强实体语义表示,并利用自动标注的噪声标签通过交替优化的方式,估计真实标签的分布并产生伪标签,希望通过这些改进提升模型的表示能力和鲁棒性.最后,使用WordNet分析和过滤带噪声数据集,并在不同规模、不同领域的同义词数据集上进行了实验验证.实验结果和分析表明,该同义词挖掘模型在各种数据分布和噪声比例下,与有竞争力的基准方法相比,均提升了同义词判别和同义词集合生成的效果.

关键词：同义词挖掘噪声标签学习自然语言处理成对字向量信息抽取

同方期刊数据库博看期刊评论

在线全文

学校读者我要写书评

暂无评论

三种PROLOG扩充之比较

计算机科学 1992年第6期19卷 27-34页

作者：贲可荣王戟国防科技大学长沙410073

nH-PROLOG,SPRF 和 N-PROLOG 是 PROLOG 的三种典型扩充,本文介绍了它们之间的异同。这三个系统采用不向方法扩充了 PROLOG,但是均使用情况分析法做为非 Horn 推理机制尽管它们的出发点、目的、表达形式各异,但在使用情况分析法这一点... 详细信息

nH-PROLOG,SPRF 和 N-PROLOG 是 PROLOG 的三种典型扩充,本文介绍了它们之间的异同。这三个系统采用不向方法扩充了 PROLOG,但是均使用情况分析法做为非 Horn 推理机制尽管它们的出发点、目的、表达形式各异,但在使用情况分析法这一点上有着惊人的相似性,这说明它们的推理在本质上是—般的和直观的。它们的区别在于:一个系统的性质要加入另一系统,必须做较大的变形。

关键词： PROLOG 扩充程序设计语言

融合描述文档结构和参引特征的Web服务发现

在线全文

学校读者我要写书评

暂无评论

软件学报 2011年第9期22卷 2006-2019页

作者：魏登萍王挺王戟国防科学技术大学计算机学院并行与分布处理国家重点实验室湖南长沙410073

首先分析研究Web服务描述文档(WSDL文档)的两大特征——结构特征和参引特征,然后根据各个特征对Web服务功能语义描述的影响,提出相应的Web服务表示模型——多向量表示模型.区别于通用文本表示模型,该模型能够显式地表示Web服务描述文档... 详细信息

首先分析研究Web服务描述文档(WSDL文档)的两大特征——结构特征和参引特征,然后根据各个特征对Web服务功能语义描述的影响,提出相应的Web服务表示模型——多向量表示模型.区别于通用文本表示模型,该模型能够显式地表示Web服务描述文档的本质特征.其中,结构特征语义表现在多向量空间的划分上,参引特征语义映射到子向量模型中特征权重的计算上.提出了基于多向量模型的Web服务相似度计算方法,并实现了基于该模型的Web服务发现原型系统.最后,在真实Web服务描述文档集合上构造了一个具有不完全相关性判断且涵盖了1576个WSDL文档的Web服务发现测试集,并在该测试集上进行了基于多向量模型的Web服务发现实验评估.实验结果表明,基于多向量模型的Web服务发现方法的检索效果比基于简单文本向量空间模型发现方法的检索效果在95%的置信度下有了显著提高.

关键词： Web服务 Web服务发现 WSDL 向量空间模型不完全信息平均准确率

在线全文

学校读者我要写书评

暂无评论

并发和实时系统的模型检验技术

计算机研究与发展 2001年第6期38卷 698-705页

作者：董威王戟齐治昌国防科学技术大学计算机学院长沙410073

模型检验是一种重要的自动验证技术 ,通过显式状态搜索或隐式不动点计算来验证并发或实时系统的模态 /命题性质 ,以保证通信协议、数字电路等设计的正确性 .详细阐述了模型检验技术的发展与研究现状 .首先描述了并发系统分别基于自动机... 详细信息

模型检验是一种重要的自动验证技术 ,通过显式状态搜索或隐式不动点计算来验证并发或实时系统的模态 /命题性质 ,以保证通信协议、数字电路等设计的正确性 .详细阐述了模型检验技术的发展与研究现状 .首先描述了并发系统分别基于自动机理论和符号化的两种主要模型检验策略 ,并给出解决状态爆炸问题的主要方法 ;然后介绍了针对实时系统以及面向对象设计的模型检验方法 ;对每种方法都介绍了相应的典型工具 .

关键词：模型检验形式化验证并发系统实时系统自动机理论软件工程

UMLStatecharts的模型检验方法

在线全文

学校读者我要写书评

暂无评论

软件学报 2003年第4期14卷 750-756页

作者：董威王戟齐治昌国防科学技术大学计算机学院湖南长沙410073

统一建模语言UML已广泛应用于软件开发中,验证UML模型是否满足某些关键性质成为一个重要问题.提出了对UML Statecharts进行模型检验的方法.首先用扩展层次自动机结构化地表示UML Statecharts,然后给出其操作语义,通过寻找最大无冲突迁... 详细信息

统一建模语言UML已广泛应用于软件开发中,验证UML模型是否满足某些关键性质成为一个重要问题.提出了对UML Statecharts进行模型检验的方法.首先用扩展层次自动机结构化地表示UML Statecharts,然后给出其操作语义,通过寻找最大无冲突迁移集可以保证语义的正确性.对于具有无穷运行的系统,该操作语义可以映射到一个Bchi自动机.使用基于自动机理论的模型检验方法来验证UML Statecharts的线性时态逻辑性质,并给出方法验证由Statecharts和协同图建模的复杂多对象系统.

关键词： UMLStatecharts 模型检验方法软件开发统一建模语言

在线全文

学校读者我要写书评

暂无评论

一种软件故障诊断过程框架

计算机学报 2011年第2期34卷 371-382页

作者：单锦辉徐克俊王戟北京特种工程设计研究院北京100028 中国酒泉卫星发射中心甘肃酒泉732750 国防科学技术大学计算机学院长沙410073

软件在国民经济和社会生活中发挥着重要作用.软件出现故障给人们的工作、生活带来不便,甚至造成严重危害.但是当前所进行的多为软件故障诊断中单项活动的研究,较少有对各项诊断活动及其相应方法进行有效集成的研究.文中分析软件失效机... 详细信息

软件在国民经济和社会生活中发挥着重要作用.软件出现故障给人们的工作、生活带来不便,甚至造成严重危害.但是当前所进行的多为软件故障诊断中单项活动的研究,较少有对各项诊断活动及其相应方法进行有效集成的研究.文中分析软件失效机理和软件故障产生原因,讨论软件故障模型,提出一种由故障检测、故障定位、故障排除、交付等组成的集成化的软件故障诊断过程框架,研究软件故障检测、定位和排除中所采用的方法及相应的过程,并且将该框架应用于实际的软件故障诊断.

关键词：软件故障故障诊断故障检测故障定位故障排除