皮料优化排样的有效方法

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

根据汽车内饰等行业需求,对皮制品加工的优化排样问题进行了研究.创新地采用离散化处理方式,同时引进边界约束,使排样过程与皮料和样片的几何信息无关,使用基于顺序的启发式底左布局将样片顺次布置到皮料上,样片的最优布置顺序和角度依靠随机优化算法来实现.设计了简洁、实用的操作算子,并提出了… …   相似文献

张玉萍  张春丽  蒋寿伟 《软件学报》2005,16(2):316-323

一种基于状态转换图的Ajax爬行算法

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

传统Web爬虫无法解决爬行Ajax应用所面临的JavaScript执行、状态识别与切换、重复状态检测等问题。为此,首先定义Ajax应用的状态转换图,并设计了一种基于状态转换图的Ajax爬行算法,通过该算法可以获取Ajax应用状态信息和后台Deep Web资源。为了提高Ajax爬行… …   相似文献

郭浩  陆余良  刘金红 《计算机应用研究》2009,26(11):4266-4269

HEWN算法的复杂性分析——一点商榷意见

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

对最大团问题的HEWN(hierarchical edge-weight network)算法进行复杂性分析.首先通过分析HEWN的结构特点和所需进行的操作,设计了一种实现HEWN算法的数据结构,指出了在HEWN算法中HEWN的存储宜采用邻接多重表和二叉链表相结合的链表表示法,然后从HEWN的存储结构入手,剖析了HEWN的构造过程,在剖析过程中,通过与MCST(maximum complete sub-graphtree)比较,指出了当2j>n时潜在的、指数的生成和修改GM的次… …   相似文献

韩爱丽  杨志敏 《软件学报》2002,13(12):2337-2342

基于D-S证据理论的城市航拍道路提取方法

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

针对有复杂场景的城市航拍图像,提出了一种基于D-S证据理论的道路提取方法.首先建立道路模型;然后将图像分块,建立灰度连通集,并选取子图像中较大的灰度连通集作为候选道路段;根据道路模型从候选道路段中提取特征来定义多个概率分配函数BPAF(basic probability assi… …   相似文献

王莉莉  郝爱民  何兵  赵沁平 《软件学报》2005,16(9):1534-1541

一种认证密钥协商协议的安全分析及改进

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

针对用于移动通信的可证安全的双向认证密钥协商协议MAKAP给出了一种有效攻击,指出该协议存在安全缺陷,它不能抵抗未知密钥共享攻击.分析了这些安全缺陷产生的原因,并给出了一种改进的协议MAKAP-I.改进后的MAKAP-I协议不但是可证安全的,而且无论从计算开销、通信开销、存储开销… …   相似文献

周永彬  张振峰  冯登国 《软件学报》2006,17(4):868-875

在消息传递并行机上的高效的最小生成树算法

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

基于传统的Borǔ vka串行最小生成树算法,提出了一个在消息传递并行机上的高效的最小生成树算法.并且采用3种方法来提高该算法的效率,即通过两趟合并及打包收缩的方法来减少通信开销,通过平衡数据分布的办法使各个处理器的计算量平衡.该算法的计算和通信复杂度分别为O(n²/p)和O((t_sp+t_wn)n/p).在曙光-1000并行机上运行的实际效果是,对于有10 000个顶点的稀疏图,通过16个节点的运行加速比是12.… …   相似文献

王光荣  顾乃杰 《软件学报》2000,11(7):889-898

飞行器下视景像边缘提取和定位方法研究

下载全文  

针对图像匹配受几何变形的影响,提出了一种基于相邻像素间的灰度差异来提取图像多像素边缘的方法。采用该方法,能够显著改善因边缘偏移、旋转、尺度变化等原因造成的基准图与实时图的变形对匹配定位的影响。实验结果表明,该方法具有模型简单、实时性强和抗几何变形等特点,且便于实现。  相似文献

刘煜  李言俊  张科 《中国图象图形学报》2008,13(11):2170-2175

扩充角色层次关系模型及其应用

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

基于网络的大规模软件应用系统面临着日益复杂的数据资源安全管理的难题.基于角色的访问控制方法(role-based access control,简称RBAC)实现用户与访问权限的逻辑分离和构造角色之间的层次关系,从而方便了数据的安全管理.该文在RBAC96模型的基础上,对角色之间… …   相似文献

钟华  冯玉琳  姜洪安 《软件学报》2000,11(6):779-784

循环对称化简及在三值模型上的扩展

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

为了将对称化简扩展到更多的非对称系统上,扩展了传统的基于自同构的对称性,提出了一种称为循环对称的新的对称性.证明了采用循环对称置换群或者由一组循环对称置换所生成的置换群仍可得到与原模型互模拟的对称商结构,从而达到化简系统规模的目的.进一步地,研究如何将对称化简应用于多值模型.多值… …   相似文献

魏欧  袁泳  蔡昕烨  黄志球  徐丙凤 《软件学报》2011,22(6):1169-1184

网上证券交易系统的时序Petri网描述及验证

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

基于时序Petri网对我国现行网上静态和动态证券交易系统进行了模拟、形式描述及功能正确性验证.应用时序逻辑推理规则,从形式上严格证明了证券交易系统需求规范及其时序Petri网模型动态行为的一致性.结果表明,时序Petri网能够清楚而简单地描述事件间的因果关系和时序关系以及并发系统… …   相似文献

杜玉越  蒋昌俊 《软件学报》2002,13(8):1698-1704