Petri网模型参数化可达图研究

Petri网是一种对并发系统进行描述和建模的重要数学工具,可达图是Petri网模型的主要分析方法。为了解决由于系统参数化造成的Petri模型可达图难以构造并且无法进行模型性质检验的问题,在分析现有参数化可达图方法的基础上,利用参数化标识提出一种新的Petri网模型完全参数化可达图构造方法。同时给出了这种可达图的有关特性及其证明,并举例说明了如何利用这种参数化可达图对系统进行模型性质检测。     

计算网格任务调度的随机高级Petri网模型与分析

针对一种包含全局调度器和本地调度器的分布式计算网格体系结构,建立了该系统的随机高级Petri网（SHLPN）模型,并进行了模型精化设计以降低模型求解的复杂性,使用基于SHLPN的性能分析技术,对一种基于优先级的任务调度综合控制策略进行了性能分析与评价,数值结果显示了基于SHLPN的建模和分析方法的有效性。     

LDPC码最优化译码算法

为了提高离散高斯信道下二进制低密度奇偶校验码（low-density parity-check code, LDPC）最优化译码算法的性能和效率,提出了一种改进的LDPC码最优化译码算法。首先,通过理论分析和数学推导,构建了译码问题的数学模型;然后,论证并给出了针对该模型的最优化译码算法;最后,基于VC6.0平台进行了译码的性能和效率仿真并与其他算法进行比较。仿真结果表明,在误码率性能和译码效率上,新算法优于改进前的算法;在误码率性能上,新算法也优于常用的最小和译码算法。仿真结果与理论分析吻合。     

基于链路保持时间的认知移动自组网拓扑算法

针对认知移动自组网中认知用户（cognitive user,CU）移动性和主用户（primary user,PU）优先通信导致网络不稳定,基于改进的移动模型,运用概率原理预测链路平均保持时间,并给出邻域拓扑保持时间的计算公式。用最大生成树的思想设计拓扑生成算法,以邻域拓扑保持时间为周期设计拓扑重构机制。证明算法保证了网络连通,同时可在各节点分布运行。仿真结果表明,算法简化了网络拓扑,对PU具有认知能力,有效减少链路断裂导致的拓扑重构和路由开销,提高了网络端到端传输效率。     

基于扰动观测器的终端角约束滑模导引律

为了对导弹攻击机动目标时的终端角进行约束,提出了一种基于扰动观测器的滑模导引律。将导弹速度的时变、运动目标的机动逃逸等视为对导弹目标相对运动系统的总扰动,采用扰动观测器对总扰动进行有效估计,结合滑模控制理论提出了一种对导弹终端角进行约束的导引律,并基于李雅普诺夫稳定性原理证明了该导引律的渐进稳定性。为满足制导精度并有效地抑制抖振,运用边界层法对该导引律进行了改进,分析并确定了制导精度、边界层厚度和导引律系数之间的关系。仿真结果表明,该导引律具有良好的导引性能和鲁棒性,且与普通的滑模导引律相比,具有较小的导弹最大法向加速度和较平缓的法向加速度变化过程,有利于工程实现。     

基于Voronoi图的物流园区腹地的界定

为了更加科学合理的确定物流园区的规模,提出了在物流园区规划建设的前期应先行界定物流园区腹地的理念.针对引力模型、势能模型和断裂点模型等传统腹地界定方法所存在的划分过程缺乏精确连续性的缺陷,引入了计算几何中的Voronoi图理论对物流园区的腹地进行了界定,并运用GIS软件中的Voronoi图生成工具,结合成都市物流园区规划的实例进行了理论模型的应用.结果证明基于GIS软件运用该方法的操作较为简便,具有较高的应用价值.     

知识转移的心理基础探析

介绍了知识转移的概念及过程,以管理心理学相关理论为基础,重点分析了知识转移过程中涉及的人的心理动机因素,提出了相关激励措施.     

含两参数的三阶非线性常微分方程Robin边值问题的奇摄动（Ⅰ）

研究含两参数的三阶非线性常微分方程Robin边值问题的奇摄动，在适当的条件下讨论了当（ε/μ^2)→0（μ→0）时解的存在性并获得其一致有效的渐近估计。     

试析高校学籍管理工作

本文对高校学籍档案的特点及管理方面的问题谈了些浅显的认识，对于提高教学质量和增进办学效益有着一定的促进意义。     

锺嵘《诗品》体论探析

体是《诗品》中的一个核心范畴，以体论诗是锺嵘诗歌批评的重要特点。它集中反映了文体论是六朝文学理论与批评的一个热点。但同时应该看到，与前人的谈论相比，锺嵘的体论表现出鲜明的独特性：就对象言，他只论诗体且是五言诗体；从内容上看，他主要从明确体制规范和辨析体貌特点两个方面展开论述；从行文逻辑说，《诗品》序文重在明体制，正文重在辨体貌。剖析锺嵘的体论，既有利于我们更好地把握《诗品》一书的理论体系，又能帮助我们更全面地了解六朝文体论的实况。