模型开发方法及其原型工具系统MTOOL

下载全文  

本文根据作者近年来研讨软件开发方法的工作和开发软件工具的经验,总结了模型开发方法,提出了模型方法的支持工具MTOOL,文章归纳了模型方法的开发过程和描述手段,详细介绍了MTOOL的组成和工作过程,给出了模型描述语言MSL的主要文法内容,讨论了MTOOL的设计思想和有关实现技术。… …   相似文献

丁茂顺  易章雄  冯玉琳 《软件学报》1993,4(2):1-8

分布式嵌入式系统的自适应能耗管理和分析

下载全文  

以降低分布式嵌入式系统整体能耗为目标,立足设备属性及其关系,从系统的启动设备集和设备动态供电电压两个方面着手,提出一种基于Agent的自适应能耗管理及其分析方法.在此基础上,给出分布式嵌入式能耗网(DE-Net),并利用DE-Net模型对系统的基本组件进行建模,根据组件间关系形成… …   相似文献

范贵生  虞慧群  陈丽琼  刘冬梅 《软件学报》2014,25(2):419-438

基于谱聚类的多数据流演化事件挖掘

下载全文  

为解决从多数据流挖掘演化事件这一难题,提出了一种多数据流上的谱聚类算法SCAM(spectral clustering algorithm of multi-streams),其相似矩阵基于耦合度构造,而耦合度衡量了两个数据流的动态相似性.提出了算法EEMA(evolutionary events mining algorithm),该算法基于聚类模型的演变挖掘多数据流的演化事件.定义了聚类模型凝聚度,用以衡量聚类的紧凑程度,并证明了凝聚度的上界.基于到上界的距离和规范化相似矩阵的特征间隙,定义了聚类模型质量,并作为EEMA的优化目标自动地确定聚簇数k.设计了O-EEMA作为EEMA的优化实现,其时间复杂度为O(cn²/2).在合成和真实数据集上的实验结果表明,EEMA和O-EEMA是有效的、可行的.… …   相似文献

杨宁  唐常杰  王悦  陈瑜  郑皎凌 《软件学报》2010,21(10):2395-2409

ST OFDM载波间干扰线性均衡技术

  

分析了频率非选择性衰落信道下STOFDM系统载波间干扰的具体内容,利用连续发射已知ST-OFDM符号来估计ST-OFDM中各个子载波对其他子载波的干扰,然后通过特定的线性均衡方法达到STOFDM载波间干扰的抑制。在莱斯衰落信道下的仿真结果表明,选择6个相邻子载波12个干扰系数… …   相似文献

苗睿锋  王永生  姚如贵 《计算机应用研究》2006,23(1):164-167

尺度不变单样本人脸识别方法

下载全文  总被引：1，自引：0，他引：1

人脸识别是近年来图像处理、模式识别等领域的研究热点,但其面临的小样本空间、图像旋转、尺度变化等难题一直制约着人脸识别技术的发展与应用。为此,提出一种针对单样本人脸识别,提取尺度不变特征和样本脸进行匹配的识别方法:通过提取并匹配人脸图像的尺度不变特征得到特征点匹配关系,用以估计和校… …   相似文献

王炜强  张晓阳  曹春芹  付奎生 《中国图象图形学报》2012,17(3):380-386

基于用户日志的查询扩展统计模型

下载全文  总被引：24，自引：0，他引：24

信息检索长期存在着用词歧义性问题,在Web搜索上的表现更加突出.提出了一种基于用户查询日志的查询扩展统计模型,将用户查询中使用的词或短语与文档中出现的相应词或短语以条件概率的形式连接,利用贝叶斯公式挑选出文档中与该查询关联最紧密的词加入原查询,以达到扩展优化的目的.实验结果表明,… …   相似文献

崔航  文继荣  李敏强 《软件学报》2003,14(9):1593-1599

大型ISP网络拓扑多点测量及其特征分析实例

下载全文  总被引：27，自引：2，他引：25

深入了解Internet拓扑的结构性质有利于更好地设计和发展Internet.由于Internet规模巨大,以及获得完整的路由器级Internet拓扑方面的困难,目前无法研究整个路由器级Internet拓扑.因此,分别研究每个国家级或跨国因特网服务供应商(Internet ser… …   相似文献

姜誉  方滨兴  胡铭曾  何仁清 《软件学报》2005,16(5):846-856

结构化P2P网络上可靠的基于内容路由协议

下载全文  总被引：5，自引：0，他引：5

在结构化P2P网络上构建基于内容的发布/订阅系统,可以很好地支持大规模、高度动态的分布式应用.然而,现有的基于内容的路由协议在P2P网络上只能提供弱的可靠性保证.根据结构化P2P网络的路由协议的特点,设计了一种新型的基于内容的路由协议--基于编码区间的路由(identifier … …   相似文献

汪锦岭  金蓓弘  李京 《软件学报》2006,17(5):1107-1114

基于STATA的FA-DEA与PCA-DEA

  

针对应用FA-DEA与PCA-DEA模型时, 一般都需要同时使用统计分析软件与数据包络分析软件, 提出了在STATA中的实现过程与方法, 并进行了案例分析. 方便了在实际应用过程中使用FA-DEA与PCA-DEA的过程, 并为在统一STATA的环境下设计与应用新的数据包络法提供解… …   相似文献

彭江平 《计算机系统应用》2015,24(9):269-271

考虑不完美排错情况的NHPP 类软件可靠性增长模型

下载全文  总被引：5，自引：0，他引：5

针对现有NHPP类软件可靠性增长模型对故障排错过程中不完美排错情况考虑不完全的现状,提出了一种新的软件可靠性增长模型.该模型全面考虑了不完美排错的两种情况:既考虑了排错过程中引入新错误的可能性,又考虑了不完全排错的情况,并且引入了一种故障排除率随时间变化的故障排除率函数,使模型更… …   相似文献

谢景燕  安金霞  朱纪洪 《软件学报》2010,21(5):942-949

基于Petri网的模型检测研究

下载全文  总被引：12，自引：2，他引：10

模型检测是关于系统属性验证的算法和方法.它通常采用状态空间搜索的方法来检测一个给定的计算模型是否满足某个用时序逻辑公式表示的特定属性.系统模型的状态空间的爆炸问题是模型检测所面临的主要问题,其主要原因是系统自身的并发特性和状态变迁的语义交织对基于Petri网的模型检测理论和验证技… …   相似文献

蒋屹新  林闯  曲扬  尹浩 《软件学报》2004,15(9):1265-1276

LANDSAT-8卫星影像长条带数据处理

下载全文  总被引：1，自引：1，他引：0

目的 LANDSAT-8卫星发射以来,美国地质调查局(USGS)向全球发布WRS(world reference system)分幅体系下的标准景产品,该产品覆盖区域较小。针对面向区域遥感应用需要较大覆盖范围长条带卫星影像的问题,提出一种长条带数据处理方法。方法 长条带处理分为预处理、辐射校正和几何校正3个部分,包含了预处理、长条带数据辐射一致性纠正和姿轨数据精化等过程,解决了长条带影像处理的关键技术。结果 利用3组LANDSAT-8数据进行实验,本文方法处理得到的长条带影像,辐射均一性得到提高,整体精度同单幅标准景产品的精度相当,且效率较传统的分景处理再镶嵌的方式提高了45.9%。结论 本文LANDSAT-8长条带处理方法能够得到高质量的长条带影像,且处理效率较高,能够有效满足大区域遥感应用的数据需求。… …   相似文献

李亚林  李山山  冯钟葵  张洪群  陈勃 《中国图象图形学报》2015,20(7):963-972

在不确定数据集上挖掘优化的概率干预策略

下载全文  

提出了不确定干预分析模型,主要工作包括:(1)建立了用于多维不确定数据分析的不确定监测点模型(uncertain surveillance);(2)建立了基于不确定监测点的不确定干预策略及挖掘评价算法;(3)在真实数据及仿真数据上对所提出的两种算法作了大量实验比较,验证了所提出的… …   相似文献

王悦  唐常杰  杨宁  张悦  李红军  郑皎凌  朱军 《软件学报》2011,22(2):285-297

普适计算中信任模型的研究*

  总被引：2，自引：1，他引：2

首先概述了现有两种主要的信任模型以及其存在的问题,然后结合不确定概率理论和普适计算的特点,提出了普适环境下一种新的信任模型——基于属性凭证的信任模型。最后给出了它在实际中的应用。  相似文献

王益涵  陶莉  曹奇英 《计算机应用研究》2006,23(1):122-124

一个两层马尔可夫链异常入侵检测模型

下载全文  总被引：2，自引：1，他引：1

在现有的单层马尔科夫链异常检测模型基础上,提出一种崭新的两层模型.将性质上有较大差异的两个过程,不同的请求和同一请求内的系统调用序列,分为两层,分别用不同的马尔可夫链来处理.两层结构可以更准确地刻画被保护服务进程的动态行为,因而能较大地提高异常的识别率,降低误警报率.而且异常检测… …   相似文献

徐明  陈纯  应晶 《软件学报》2005,16(2):276-285

基于时间抽象状态机的AADL模型验证

下载全文  

提出了一种基于时间抽象状态机(timed abstract state machine,简称TASM)的AADL(architecture analysis and design language)模型验证方法.分别给出了AADL子集和TASM的抽象语法,并基于语义函数和类ML的… …   相似文献

杨志斌  胡凯  赵永望  马殿富  Jean-Paul BODEVEIX 《软件学报》2015,26(2):202-222

一种快速的基于占优树的多目标进化算法

下载全文  总被引：7，自引：0，他引：7

为了解决多目标进化算法中适应值指派(fitness assignment)的耗时问题,提出了一种新颖的适应值指派方法--占优树.占优树保存了个体之间的必要信息,暗含了个体的密度信息,而且显著减少了个体之间的比较.此外,基于占优树的淘汰策略没有花费额外的代价就保存了种群多样性.在此… …   相似文献

石川  李清勇  史忠植 《软件学报》2007,18(3):505-516

可信关联规则及其基于极大团的挖掘算法

下载全文  总被引：4，自引：1，他引：3

目前的关联规则挖掘算法主要依靠基于支持度的剪切策略来减小组合搜索空间.如果挖掘潜在的令人感兴趣的低支持度模式,这种策略并非有效.为此,提出一种新的关联模式—可信关联规则(credible association rule,简称CAR),规则中每个项目的支持度处于同一数量级,规则的… …   相似文献

肖波  徐前方  蔺志青  郭军  李春光 《软件学报》2008,19(10):2597-2610

混合禁忌搜索算法求解关联运输调度问题

  

考虑到实际生活中车辆受发车时间限制以及道路路况影响运输成本等因素,建立了带客户软时间窗、车场硬时间窗、多车型、道路路况等约束的关联运输调度问题模型.结合禁忌搜索与遗传算法的优势,构造了混合禁忌搜索算法,以通过构造多个初始解来增大搜索空间;设计了两种禁忌表,分别为局部禁忌表和全局禁… …   相似文献

蔡延光  汤雅连  朱君 《计算机科学》2015,42(4):230-234, 273

移动通信中可证安全的双向认证密钥协商协议

下载全文  总被引：12，自引：1，他引：11

在基于无线网络的分布式环境中,带认证的密钥协商协议对通信双方是否能够建立安全的会话至关重要.同时,协议的可证安全也逐步得到重视.在借鉴以往无线通信密钥建立协议的基础上,提出了一个可相互认证的密钥协商协议MAKAP(mutual authenticated key agreemen… …   相似文献

邓红素  左益强  赵一鸣  鲍振东 《软件学报》2003,14(8):1489-1494