WeChat Mini Program
Old Version Features

Ruan Jian Xue Bao/Journal of Software Journal

Papers
In pervasive computing environment, applications available for end-users are abundant, distributed and heterogeneous. In order to share these applications, this paper presents a user-centric applications sharing model which called U-ASM. The basic concepts and structure of U-ASM ...
Cited22Views9
22
9
BibtexChatPaperRate
Compared with other parallel computation models, the Log P model reflects the characteristics of MPC(massively parallel computers) more reasonably. In this paper the authors try to use the Log P model to write portable algorithms for MPC. They first propose a general recurrence f...
Cited0Views0
0
0
BibtexChatPaperRate
给出Petri网弱活性(无死锁)与活性的两个语言刻画,讨论了同步合成Petri网的语言性质,基于Petri网语言,给出了判定Petri网活性的充分必要条件。同时研究了Petri网同步合成过程中活性保持问题,给出保持活性的充分必要条件。这些结果为讨论网的活性测试和控制提供了形式语言的方法。
Cited23Views3
23
3
BibtexChatPaperRate
在集群软件无线电系统中,当宽带大容量信号数据进入系统后通过在节点上的并行计算实现对强衰弱信号的高增益、低延迟处理.结合集群软件无线电系统中信号处理的特点,研究了以下任务调度方面的问题:1) 提出了一种适合集群软件无线电系统中信号处理的调度器模型.该模型简单、高效,避免了瓶颈问题.2) 提出了一种新的包含3个步骤的调度策略--RQBB,其中第1步采用已有的DASAP算法.3) 提出了两种启发式算法--MQB和MSD,分别用在RQBB的第2步和第3步操作.MQB是一种公平算法,用于使所有接收的任务具有较高的QoS收益(较高的QoS级别和较小的QoS级别差异)...
Cited5Views8
5
8
Download
BibtexChatPaperRate
王骏, 王士同
提出了一种基于DI-FCM(double indices fuzzy C-means)算法框架的无监督距离学习算法——基于混合距离学习的双指数模糊C均值算法HDDI-FCM(double indices fuzzy C-m eans with hybrid distance).数据集未知距离度量被表示为若干已有距离的线性组合,然后执行HDDI-FCM,在对数据集进行有效聚类的同时进行距离学习.为了保证迭代算法收敛,引入了Steffensen迭代法来改进计算簇中心点的迭代公式.讨论了算法中参数的选择.基于UCI(University of Californ...
Cited18Views4
18
4
Download
BibtexChatPaperRate
提出了无线传感器网络上的一种查询——极值区域查询(peak region query,简称PRQ),即用户指定查询区域的大小和形状,例如半径为R的圆形区域,然后需要查询传感器网络中的某个区域,使得区域内传感器节点数据的某种聚集值最大.定义了极值区域查询的概念,并提出一种集中式算法以求解查询结果.由于传感器节点的能量有限,为了降低查询处理过程中的能耗,提出了分布式算法EXQ(an algorithm for extreme value query processing).与集中式算法相比,EXQ不但显著降低了能耗,而且使得每个传感器的能耗更加平均,从而延长...
Cited1Views41
1
41
Download
BibtexChatPaperRate
分布式数据库系统出现了支持多协调器和多副本存储的新架构,?这给事务调度的正确性带来了新的挑战,?包括缺少中心协调器带来的新数据异常以及多副本机制带来的读取数据一致性等问题.?基于事务隔离级别和分布式系统一致性协议的定义,?为多协调器多副本分布式数据库的事务多级一致性构建了一个混合依赖图模型.?该形式化模型为事务的正确调度提供具有鲁棒性的评价标准,?可以方便地对数据库事务调度情况进行动态或静态分析检验.
Cited0Views51
0
51
BibtexChatPaperRate
与真实感绘制技术关注于传统的3D图形学不同,非真实感绘制技术更加强调艺术表现力、主观意识与情绪的传递以及强化重要信息、忽略非关键信息等方面.提出了一种自动的、基于流体模拟的方法来生成具有凡高后期风格的油画图像.提出以流体线条参考图颜色梯度的法线方向作为画笔方向,对原图进行多层绘制;同时,提出一种改进的多光源局部光照模型,以有效地反映不同光照条件下艺术图像的不同表征力.另外,设计了一种在光照条件下模拟画笔物理特征的方法,该方法通过bump-mapping增强绘制图像的涂料层叠感.为了使生成的绘制图像具有凡高油画的色彩风格,采用了一种颜色转换方法,将特定的艺...
Cited9Views4
9
4
BibtexChatPaperRate
LI Zhi-Jun,LIAO Ming-Hong
文档安全性对于信息共享Peer-to-Peer(或P2P)系统而言是一项重要的性能指标,以P2P系统的文档安全性优化为目标.P2P系统的文档安全性主要取决于两方面的因素:其载体的安全性和文档相关机制的构造,如副本管理等.对于P2P这样高度自主的分布式系统而言,文档安全性的提高无法依赖于结点安全性的提高,而应依靠对文档相关机制的控制来实现.首先设计了一个对文档安全性敏感的查询协议,以该查询协议为基础,与文档相关的机制就可以形式化地表述为函数,而系统文档安全性的提高就转化为函数空间上的数学分析.基于函数分析的结果,设计了一套旨在提高文档真实性的副本管理算法集...
Cited4Views2
4
2
BibtexChatPaperRate
SONG Ji-qiang, SU Feng, CHEN Ji-bing, CAI Shi-jie
准确而高效的矢量化是工程图纸理解的基础.现有方法普遍存在3个不足:(1) 通过中心点链拟合生成线段的计算量大;(2) 相交或噪音的影响将一条完整的直线先分段矢量化,然后再拼接起来,需要大量遍历操作;(3) 对斜线的处理能力明显低于对水平或垂直线的处理能力.该文提出了一种基于种子段的直线整体矢量化方法,此方法可以一次性识别一条完整的直线,既适用于任意方向的直线,又避免了拼接所需的反复遍历操作.性能分析和实验结果均表明,该方法明显提高了直线矢量化的性能.
Cited2Views4
2
4
BibtexChatPaperRate
朱孟潇, 宋志伟, 蔡庆生
近些年,多主体系统的理论及应用得到了人们的广泛关注,并得以迅速发展.研究者提出了很多基于多主体系统理论的模型,用于求解各种问题.AER(Agent-environment-rules)模型正是一个用于求解约束满足问题较为成功的例子.但是,主体的静态策略选择在一定程度上限制了模型的求解性能.将模拟退火算法与多主体系统思想相结合,并赋予主体更为高效的动态策略选择的能力,提出了SAAER模型(simulated annealing based AER model).基于约束满足问题经典实例--N-Queen问题和染色问题的实验表明,改进后的模型较之原模型获得了...
Cited3Views45
3
45
BibtexChatPaperRate
针对传统支持向量机方法中存在对噪声或野值敏感的问题,提出了一种基于紧密度的模糊支持向量机方法.在确定样本的隶属度时,不仅考虑了样本与类中心之间的关系,还考虑了类中各个样本之间的关系.通过样本之间的紧密度来描述类中各个样本之间的关系,利用包围同一类中样本的最小球半径大小来度量样本之间的紧密度.样本的隶属度依据样本在球中的位置,按照不同的规律确定与基于样本与类中心之间关系构建的模糊支持向量机方法相比,该方法有利于将野值或含噪声样本与有效样本进行区分.实验结果表明,与传统支持向量机方法及基于样本与类中心之间关系的模糊支持向量机方法相比,基于紧密度的模糊支持向量...
Cited103Views23
103
23
Download
BibtexChatPaperRate
聚类算法广泛应用于生物芯片数据分析中,用于寻找表达相似的基因或样本.大多数已有算法都需要人为地给出一些参数,然而在没有先验知识的情况下,人为地确定这些参数是十分困难的.为了解决这一难题,提出了一种迭代的聚类算法,首先用主集方法对原有基因进行重新排序,使高度相似的基因排列在特定区域.类的分割界线通常难于确定.提出一种标准,根据类内元素间的距离远小于类外元素间的距离的性质,从排序后的数据集中划分出一个类.将找到的类从当前数据集中排除以后,对剩下的数据重复以上处理,直到满足所提出的徨停止条件为止.从多方面分析了该算法的性能,并将该算法应用于酵母细胞周期的芯片表...
Cited2Views20
2
20
BibtexChatPaperRate
李建中, 张冬冬
讨论当数据流系统的数据流流速或连续查询发生变化时,滑动窗口规模的动态调整问题.根据可用内存空间大小和连续查询需求,提出了3类动态调整滑动窗口规模的算法,实现了对连续查询3种服务质量级别的支持,提高了连续查询处理的效率和效果.理论分析与实验结果表明,提出的算法可以有效地应用于数据流系统.
Cited9Views3
9
3
Download
BibtexChatPaperRate
针对无线移动通信的特点,提出了一种在移动IPv6网络中保障用户通信服务质量的资源预留新方案Fast RSVP.该方案采用跨层设计的思想,将两个不同层次的模块:移动IPv6模块和RSVP模块结合起来,通过在两个模块之间增加一些原语使得二者配合工作以保证移动用户的通信业务质量.Fast RSVP方案引入了邻居隧道提前资源预留、优化路径资源预留、切换预留、路径融合等一系列新机制.仿真实验结果表明,与其他移动环境中的RSVP扩展方案相比,该Fast RSVP方案在支持无线移动通信方面具有如下优势:(1) 能够实现移动节点带有服务质量保证的快速切换;(2) 能够避...
Cited8Views1
8
1
Download
BibtexChatPaperRate