R_wtt/ M_wtt中的枝点元素

下载全文  

该文证明了在 R_wtt/ M_wtt中除了最大元和最小元外 ,每个元 c是枝点元素 ,即为某两个大于 c的元素的最大下界 ,其中 R_wtt/ M_wtt是递归可枚举弱真值表归约度集 R_wtt模可盖递归可枚举弱真值表归约度集 M_wtt的商.… …   相似文献

张再跃  眭跃飞 《软件学报》2000,11(4):441-452

求解过程中约束一致性维护的多层次策略研究^*

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

约束满足问题广泛出现于人工智能领域。在问题求解过程中保持局部约束一致性以缩小问题搜索空间是十分必要的,过去研究对约束一致性算法的研究仅着眼于改进单个约束关系的维护,该立足于更高点,提出从求解层次、维护层次和约束层次优化约束一致性维护的原则及其相应策略,算法ＭＡＣ－Ｈ和ＡＣ－Ｉ＾＋… …   相似文献

韩靖  陈恩红  蔡庆生 《软件学报》1998,9(8):622-627

情景演算及其在工作流引擎中的应用

  

以情景演算理论为基础来研究工作流管理系统,形式化地将LR的状态对象扩展为状态表集合对象。给出了情景演算的归结算法和算法分析,说明了如何将情景演算应用到工作流引擎中,给出了实际应用系统,并分析了基于情景演算的工作流引擎的优点。  相似文献

章陶  黎亮  黄巍  李磊 《计算机应用研究》2005,22(2):158-160

基于案例模糊的无人机故障诊断系统

下载全文  

无人机是一个结构复杂的机电一体化系统,为了满足故障诊断的需求,以模糊数学理论为基础,并将案例推理融合到模糊推理机中.重点论述如何确定模糊关系矩阵和案例式推理的原理,详细介绍了案例匹配流程,提出了一种新的模糊推理机制,并最终设计实现系统功能,提高了无人机故障诊断效率、准确度、可靠性… …   相似文献

季文韬  陈汶滨  张平 《计算机系统应用》2011,20(1):32-35

基于SPEM2XPDL模型转换的软件过程执行

下载全文  

SPEM(software process engineering metamodel)是国际标准化组织制定的标准元模型,正日益成为软件过程建模领域的行业标准,但在过程执行方面,SPEM还存在不足.将软件过程看作是一种特殊的工作流,提出了一种应用工作流运行机制支持软件过程执行的方… …   相似文献

袁峰  李明树 《软件学报》2007,18(9):2141-2152

基于源目的IP地址对数据库的防范DDos攻击策略

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

提出了一种基于源目的IP地址对数据库的防范分布式拒绝服务攻击(distributed denial of service attacks,简称DDos)攻击策略.该策略建立正常流量的源目的IP地址对数据库(source and destination IP address dat… …   相似文献

孙知信  李清东 《软件学报》2007,18(10):2613-2623

Zodiac 算法的不可能差分和积分攻击

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

重新评估了Zodiac算法抗不可能差分攻击和积分攻击的能力.已有结果显示,Zodiac算法存在15轮不可能差分和8轮积分区分器.首先得到了算法概率为1的8轮截断差分,以此构造了Zodiac算法完整16轮不可能差分和9轮积分区分器.利用9轮积分区分器,对不同轮数Zodiac算法实施… …   相似文献

孙兵  张鹏  李超 《软件学报》2011,22(8):1911-1917

上海港散杂货码头BPR规划和信息流程的设计^①

下载全文  

通过对上海港自身散杂货码头信息化的发展阶段进行分析,确定了米歇和诺兰模型中的阶段,在此基础上对港口进货管理、出货管理、转栈管理的业务流程进行梳理和优化,并形成了散杂货码头信息化的功能需求和总体业务的信息流程。  相似文献

魏忠  俞金木 《计算机系统应用》2009,18(10):6-9

MVC架构在ASP页面中的实现

下载全文  

MVC技术是为合理解决代码和视图设计而产生的一种理论.目前,在JAVA开发环境中广泛采用Structs架构实现MVC技术.对于开发存在大量用户界面,并且业务逻辑复杂的大型应用程序,MVC将会使软件在健壮性、代码重用和结构方面上一个新的台阶.尽管在最初构建MVC框架时会花费一定的工… …   相似文献

沈才梁 《计算机系统应用》2006,15(7):84-86

基于B/S的水土保持信息查询系统的设计和实现

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

地理空间信息技术(WebGIS)的飞速发展,给水土保持信息监测和管理提供了新的手段和方法。为有效管理水土保持信息,在对水土保持信息的数据库设计和数据组织、关键功能设计等的基础上建立了一个基于B/S的水土保持信息查询系统,系统采用Oracle＋ArcSDE+ArcIMS体系构架实现… …   相似文献

黄健熙  吴炳方 《计算机应用研究》2006,23(7):138-140

基于云的概念划分及其在关联采掘上的应用

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

将数量型属性转换为布尔型属性是数量型属性关联规则采掘的主要方法,但如何使区间的划分合理一直是研究的热点.传统的划分方法由于不能反映数据间的实际分布规律或者是划分的边界过硬,使得最终都不能得到令人容易理解的关联知识.提出了一种基于云模型的新划分方法——云变换,可以有效地根据数据的实… …   相似文献

杜益鸟  李德毅 《软件学报》2001,12(2):196-203

散列高阶字典编码及其实现^*

下载全文  

该文引入了散列高阶字典的概念,提出了一个使用散列高阶字典实现数据压缩的模型.实验数据表明,该模型比传统的数据压缩字典方法具有更高的数据压缩能力.  相似文献

谭兆信 《软件学报》1998,9(8):632-636

MD5算法在农业数据消重中的应用

下载全文  

垂直搜索引擎的数据来源于各大相关网站。随着互联网用户越来越多,相互转载,重复发布的数据也越来越多,由于这些重复及相似数据的存在,严重影响了搜索引擎的检索结果。针对这一问题本文提出了一种解决方法,即利用MD5算法在数据处理阶段有效的消除冗余数据。结果表明该方法很好的提高了检索质量。… …   相似文献

刘峰  王儒敬 《计算机系统应用》2009,18(1):104-106

考虑时间和价格因素的Web客户需求协同推荐模型

下载全文  

协同过滤推荐算法是电子商务个性化推荐系统中采用最为广泛的推荐技术,但是传统的推荐方法在进行商品推荐时忽略了交易时间和产品的价格因素,从而导致推荐质量下降。针对这一问题,提出了考虑时间和价格因素的协同过滤模型,通过实验表明在计算Pearson相关系数时考虑时间和价格因素对算法的改进… …   相似文献

赵宏霞  杨皎平  万君 《计算机系统应用》2011,20(8):91-94

无线传感器网络仿真模拟技术比较分析*

  

分析了仿真模拟技术在无线传感器网络研究领域的重要性,对现在比较流行的几种仿真模拟器的应用背景、设计思路、性能优缺点、使用时应注意的问题等进行了详细的分析,归纳总结出一个成熟的无线传感网络仿真模拟器应该具备的基本功能和特性,指出了今后的研究方向.  相似文献

李长连  王福豹  何戟 《计算机应用研究》2007,24(3):6-9

基于运动矢量差（MVD）的CABAC新算法*

  

在H.264/AVC视频编码标准中,基于上下文的自适应二进制算术编码（CABAC）主要应用于主要档次中,并且具有较高的压缩效率。首先分析了CABAC编码原理和运动矢量差（MVD）各分量的上下文模型选择原理,而后提出了在帧间编码分割块尺寸下,充分地利用当前块MVD与当前块MV的相关性、当前块MVD与已编码相邻块MVD的相关性以及当前块MVD中各分量之间相关性的CABAC优化算法（CABAC₁算法）。通过实验表明:较基准CABAC算法,CABAC₁算法一方面能有效地降低2%左右的编码时间及确保了编码序列的视觉质量;另一方面能够有效地节约在编码中帧间编码帧的码流（比特流）,其中P帧平均节约了10%左右的比特流,B帧节约了5%左右的比特流。因此,CABAC₁算法是一种有效的优化算法。… …   相似文献

李康顺  金晶  王峰 《计算机应用研究》2012,29(2):744-748

Java.一种基于ARM7的嵌入式Java虚拟机性能优化技术研究

  

分析了Java字节码的解释执行和基于解释执行的Direct Threaded Interpreter性能优化技术.以Direct Threaded Interpreter为基础,提出并实现了一种针对ARM7平台的嵌入式Java虚拟机解释器性能优化方案.对嵌入式Java虚拟机的参考… …   相似文献

马嘉  周明天  陈虹 《计算机应用研究》2007,24(5):97-100

一种高效的无证书多重签名方案*

  

为了满足多个人对同一份文件签名的高效性,将无证书密码体制与多重签名方案相结合,提出一种高效的无证书多重签名方案。该方案有效地削弱了可信第三方的权力,并且被证明了在适应性选择消息攻击下是存在性不可伪造的,其安全性基于CDH问题的困难假设。与现有方案相比,该方案需要计算的双线性对计算… …   相似文献

冯蕾  彭长根  彭延国a 《计算机应用研究》2012,29(2):644-645

基于Transputer网络的进程迁移技术研究

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

进程迁移是分布式系统研究的重要内容,它对实现系统容错和负载平衡起到很重要的作用．本文描述了Ｔｒａｎｓｐｕｔｅｒ网络系统中进程迁移的设计思想、方法及技术实现．首先对所采用的硬件环境及整个容错并行操作系统的层次结构进行了介绍,然后对进程迁移所涉及的关键技术进行了详细讨论．该平台的建立… …   相似文献

陈勇  刘心松  苏森 《软件学报》1996,7(5):286-291

具有无损联结性且保持依赖性关系模式的BCNF完备分解算法

下载全文  

本文给出一种具有完备性的合成方法,来把一个关系模式分解成具有无损性和保持依赖性的ＢＣ范式关系数据库模式,只要这个模式“本质上能作这种分解的话”;同时对这种“本质上能分解为保持某些性质的某一范式”提法进行了形式化描述;最后,讨论了这种合成法的固有复杂度．  相似文献

徐庆生  周行仁 《软件学报》1994,5(9):44-48