Modeling for parallel scheduling and performance evaluation of MANET using stochastic Petri nets

In this paper, Petri nets technique is introduced into mobile ad hoc networks (MANET) and a packet-flow parallel scheduling scheme is presented using Stochastic Petri Nets (SPN). The flowing of tokens is used in graphics mode to characterize dynamical features of sharing a single wireless channel. Through SPN reachability analysis and isomorphic continuous time Markov process equations, some network parameters, such as channel efficiency and, one-hop transmission delay, can be obtained. Compared with Those of The conventional performance evaluation methods, the above parameters are mathematical expressions instead of test results from simulator.     

力前馈控制的并联机器人自适应系统的研究

针对６—ＤＯＦ并联机器人的液压主关节．设计了一种力前馈控制．结构简单．容易实现的模型参考自适应系统ＭＲＡＣＳ．仿真表明：此系统稳定可靠．有效地抑制了干扰作用．提高了系统的跟踪精度．本文的研究为系统的实际应用奠定了基础．     

A MULTI－PARAMETER SPLITTING EXTRAPOLATION AND A PARALLEL ALGORITHM FOR PARABOLIC PROBLEM

ＡＭＵＬＴＩ－ＰＡＲＡＭＥＴＥＲＳＰＬＩＴＴＩＮＧＥＸＴＲＡＰＯＬＡＴＩＯＮＡＮＤＡＰＡＲＡＬＬＥＬＡＬＧＯＲＩＴＨＭＦＯＲＰＡＲＡＢＯＬＩＣＰＲＯＢＬＥＭＬＩＵＸｉａｏｑｉ（ＤｅｐａｒｔｍｅｎｔｏｆＭａｔｈｅｍａｔｉｃｓ，ＸｉａｎｇｔａｎＴｅａｃｈ...     

基于流水光总线阵列的快速数值计算并行算法

介绍基于流水光总线的可重构线性阵列系统(LARPBS)模型及其快速数值计算并行算法，使人们更加了解光总线并行计算模型及其优越性，为今后进一步研究光总线并行计算模型及其并行算法提供帮助。     

电力电容在电网中的应用

本文详细讨论了如何利用电力电容来改善电网运行状况的问题，并根据实际运行中对电网的不同要求，分别确定了补偿容量计算式。     

相同并行机上工件排序问题的一种新算法

根据工件排序问题的特点,建立了在相同种类的并行机上加工一批相同种类工件的优化数学模型。在蚂蚁系统的基础上对其进行了改进,并把改进的蚂蚁系统用于工件排序问题的优化中。通过与其他算法的仿真比较表明,该基于蚂蚁系统的算法是有效的,特别是问题规模很大时更显示其较快的收敛速度和较高的精度。     

基于动态聚类邻域分区的并行蚁群优化算法

本文算法体现"分而治之"的思想,首先采用动态K均值聚类快速邻域分解,其次应用蚁群算法同时对分区并行优化计算,最后基于分区重心进行邻域全局连接,得到大规模TSP问题的满意解.     

从公理语义看UNITY模型和GAMMA模型的关系

ＧＡＭＭＡ和ＵＮＩＴＹ都是面向问题描述的程序设计语言．ＵＮＩＴＹ开发了一种公理语义规范语言，即ＵＮＩＴＹ逻辑，描述和推导程序的特性．这一规范语言也可以很自然地移植到ＧＡＭＭＡ模型上去．基于上述语义规范，给出一个将ＵＮＩＴＹ程序变换成ＧＡＭＭＡ程序的保语义等价性的程序变换方法，从而证明了ＧＡＭＭＡ模型的描述能力强于ＵＮＩＴＹ模型     

数据库并行访问控制

解决数据库并行访问控制,主要是对检索及修改数据库的并行程序进行互斥设计,以达到并行访问控制不出现问题且数据库的整体效率最为优化。