从Scenarios到状态图的算法分析*

下载全文  

采用Scenarios进行需求建模能够反映从用户角度观察到的系统的行为,状态图是系统行为的精确描述。从Scenario到状态图的自动转换是指软件开发过程中从UML需求模型自动生成行为模型的过程,其研究对于细化系统行为,保持开发过程中模型间的一致性有重要意义。对其研究现状及进展进行… …   相似文献

王洪媛  张可  张家晨 《计算机应用研究》2006,23(3):55-56

OASSF：一个灵活的Web应用服务器安全框架*

下载全文  

安全框架OASSF是在安全参考模型OASSRM的基础上提出来的一个分层结构的框架,它通过各种可配置的安全策略提供WAS（Web应用服务器）的安全服务,为在WAS中集成和管理不同的安全机制提供了高度的灵活性和扩展性。该框架在中科院软件所自主研制的OnceAS应用服务器中得到了实现。… …   相似文献

陈华荣  陈宁江  樊会锋 《计算机应用研究》2006,23(2):89-91

基于牛顿法的并行优化算法

下载全文  

针对非线性数值优化问题,提出一种在分布式环境下的基于牛顿法的并行算法。引入松弛变量,将不等式约束转换为等式约束,利用广义拉格朗日乘子将约束优化问题转换为无约束子优化问题。为了并行地求解这些子优化问题,将Newton迭代法中的Hessian矩阵进行适当的分裂,采用简单迭代法求解Ne… …   相似文献

汪保  孙秦 《计算机应用研究》2011,28(11):4118-4120

面向云计算数据中心的能耗建模方法

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

云计算对计算能力的需求,促进了大规模数据中心的飞速发展.与此同时,云计算数据中心产生了巨大的能耗.由于云计算的弹性服务和可扩展性等特性,云计算数据中心的硬件规模近年来极度膨胀,这使得过去分散的能耗问题变成了集中的能耗问题.因此,深入研究云计算数据中心的节能问题具有重要意义.为此,… …   相似文献

罗亮  吴文峻  张飞 《软件学报》2014,25(7):1371-1387

基于结构相似度的稀疏编码模型

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

已有的稀疏编码模型采用误差的平方和作为信息保持的客观评价标准,但最近的研究表明,人眼视觉系统的主要功能是从视觉区域提取图像和视频中的结构化信息.引入结构相似度来衡量信息保持的程度,通过对改进的目标函数进行优化,获得与初级视皮层中具有局部性、朝向性和带通性的感受野相类似的基函数集.… …   相似文献

李志清  施智平  李志欣  史忠植 《软件学报》2010,21(10):2410-2419

基于防火墙的双出口路由策略的设计与实现^①

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

根据校园网双出口的接入实际,设计并实现一种基于防火墙的双出口路由策略。分析原有网络接入现状,指出优化出口路由的必要性,提出了基于防火墙的双出口路由优化策略,利用静态路由与NAT技术,均衡双出口流量。最终给出接口与区域、NAT转换与路由通信以及防火墙日志记录等的配置过程,实现了该优… …   相似文献

崔萌  于承斌 《计算机系统应用》2010,19(6):131-134

面向可信服务选取的基于声誉的推荐者发现方法

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

为了满足开放系统的高度动态性,特别是系统在线演化对服务评估高效性提出的要求,提出了一种基于声誉的推荐者发现方法,首先引入一个相关因子量化不同上下文中的推荐信任关系,得到信任可传递空间,然后应用信任子网分割算法得到评估发起者的可信推荐者群,最后通过主体群内的信任传递与迭代计算,确定… …   相似文献

潘静  徐锋  吕建 《软件学报》2010,21(2):388-400

基于环境敏感的植物动态生长模型研究*

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

在对林学中的植物生长模型和环境模型综合研究的基础上,提出了一个基于环境敏感的植物动态生长模型,并对此模型的原理和实现方法进行了分析和研究,最后通过相应的可视化技术将该模型应用于虚拟森林的动态仿真系统.  相似文献

施干卫  范菁  董天阳 《计算机应用研究》2007,24(3):223-225

隐私保护数据发布中身份保持的匿名方法

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

在隐私保护的数据发布研究中,目前的方法通常都是先删除身份标识属性,然后对准标识属性进行匿名处理.分析了单一个体对应多个记录的情况,提出了一种保持身份标识属性的匿名方法,它在保持隐私的同时进一步提高了信息有效性.采用概化和有损连接两种实现方式.实验结果表明,该方法提高了信息有效性,… …   相似文献

童云海  陶有东  唐世渭  杨冬青 《软件学报》2010,21(4):771-781

XLM文档转换为关系数据的一种方法

下载全文  

本文介绍了一种将DTD转换成ER图,并用XMLApplication将ER图描述成转换标准,然后根据该转换标准将XML文档转换为关系模型的方法.  相似文献

张哲 《计算机系统应用》2003,12(1):62-65

BACH:线性混成系统有界可达性模型检验工具

下载全文  

混成自动机的模型检验问题非常困难,即使是其中相对简单的一个子类--线性混成自动机,它的可达性问题仍然是不可判定的.现有的相关工具大都使用多面体计算来判定线性混成自动机状态空间的可达集,复杂度高、效率低,无法解决实际应用规模的问题.描述了一个面向线性混成系统有界可达性模型检验工具-… …   相似文献

卜磊  李游  王林章  李宣东 《软件学报》2011,22(4):640-658

服务等级协议SLA及其实现模型研究*

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

简要介绍了服务等级协议（Service Level Agreement,SLA）的重要性及概念,分析了两种不同侧重的SLA模型,在此基础上提出了SLA综合模型,为今后的具体实现提供了理论框架。  相似文献

张春芳  李红辉  汪齐贤  孙文辉 《计算机应用研究》2005,22(9):69-71

基于动态描述逻辑的网构软件系统故障诊断

下载全文  

提出了一种应用动态描述逻辑对被诊断系统进行分析的方法.动态描述逻辑的语法和语义非常适宜刻画系统的正常行为和异常行为.给出了算法使用动态描述逻辑的可满足性检测来测试离散事件系统的可诊断性.同时,给出了故障诊断器的构造算法.该故障诊断器通过实时地观察系统的行为完成故障诊断.以例子对算… …   相似文献

王竹晓  杨鲲  史忠植 《软件学报》2010,21(2):248-260

基于滤波的运动向量的快速估计算法*

下载全文  

基于块匹配的运动向量的估计算法被多种国际视频编码标准所采用,其计算复杂度一直是一个研究的热点。为了提高运动向量估计算法的速度和精度,从运动向量的均匀性出发,提出了一种由宏块分类、运动向量滤波和高效搜索中止准则等策略构成的运动向量场自适应搜索算法,从而实现了块运动向量快速而有效地估… …   相似文献

张逸溦  王剑  张福新 《计算机应用研究》2005,22(5):27-29

一种TCP/IP卸载结构的设计与实现

下载全文  

为了将处理器从繁重的通信任务中解脱出来,解决通信系统中的瓶颈部分,适应高速通信网络,本文研究了一种新的TCP/IP卸载引擎（TOE）的原理和设计方法,并提供了TOE网络接口卡（NIC）的一套参考实现方案,此方案以Intel IOP310 I/O为处理器芯片组,在Linux上搭建自… …   相似文献

陈续喜  曾文海  程扬军 《计算机系统应用》2009,18(1):125-128

ICN中的一种协作缓存机制

下载全文  

为了克服现有 Internet 架构存在的众所周知的缺点,未来网络的研究成为热点.ICN(information-centric networking)在众多新架构中正逐渐被公认为最有前途的方案.它把传输的内容缓存到沿途的节点.高效的缓存机制是它的一个重要研究方面.为此,提出了一… …   相似文献

刘外喜  余顺争  蔡君  高鹰 《软件学报》2013,24(8):1947-1962

一种有效的隐私保护关联规则挖掘方法

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

隐私保护是当前数据挖掘领域中一个十分重要的研究问题,其目标是要在不精确访问真实原始数据的条件下,得到准确的模型和分析结果.为了提高对隐私数据的保护程度和挖掘结果的准确性,提出一种有效的隐私保护关联规则挖掘方法.首先将数据干扰和查询限制这两种隐私保护的基本策略相结合,提出了一种新的… …   相似文献

张鹏  童云海  唐世渭  杨冬青  马秀莉 《软件学报》2006,17(8):1764-1774

基于聚类分解的高维度量空间索引B⁺-Tree

下载全文  

为了提高索引性能,高维度量空间索引通常采用K-Means等聚类技术来获取数据的分布信息.但是,已知的工作需要根据经验来确定聚类参数,缺乏对聚类与查询性能之间关系的理论分析.提出了一种基于聚类分解的高维度量空间B⁺-tree索引,通过聚类分解,对数据进行更细致的划分来减少查询的数据访问.对聚类与查询代价的关系进行了讨论,通过查询代价模型,给出了最小查询代价条件下的聚类分解数目等理论的计算方法.实验显示,提出的索引方法明显优于iDistance等度量空间索引,最优聚类分解数的估计接近实际最优查询时所需的聚类参数.… …   相似文献

张军旗  周向东  王梅  施伯乐 《软件学报》2008,19(6):1401-1412

改进粒子群算法对BP神经网络的优化

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

介绍一种基于改进粒子群算法优化BP网络的权值调整综合方法。该算法在传统BP算法的误差反传调整权值的基础上,引入粒子群算法的权值修正,并且在训练神经网络权值的同时优化其连接结构,删除冗余连接,从而建立了基于粒子群算法优化的BP网络新模型。结果表明,改进算法不仅可以克服传统BP算法收… …   相似文献

沈学利  张红岩  张纪锁 《计算机系统应用》2010,19(2):57-61

无线多媒体传感器网络中一种自适应的报头压缩机制

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

无线多媒体传感器网络传输大数据量的音频、视频、图像等数据,需要高效地利用宝贵的无线信道资源.报头压缩技术能够减小传输的数据量,提高信道利用效率.提出一种自适应的报头压缩机制AAHC,基于对信道状态的准确估计,动态调整压缩算法的参数,并使用UDP(user datagram pro… …   相似文献

周新运  孙利民  皇甫伟  牛建伟 《软件学报》2007,18(5):1122-1129