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具有认知能力,有效减少链路断裂导致的拓扑重构和路由开销,提高了网络端到端传输效率。     

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

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

一种两亲性酞菁的合成及其光谱研究

用硅胶负载法合成了一种两亲性不对称取代酞菁三-α-(2,2,4-三甲基-3-戊氧基)-β-(4’-羧基苯氧基)酞菁铜.紫外可见吸收光谱的研究表明,与脂溶性的四-α-(2,2,4-三甲基-3-戊氧基)酞菁铜相比,该两亲性酞菁的最大吸收波长和吸收带的形状受溶剂的影响更大,在水中其聚集态可以被阳离子表面活性剂解聚,而受阴离子表面活性剂的影响不大.     

计算机辅助螺纹钢孔型设计系统的开发及应用

型钢孔型设计是制定型钢轧制工艺的重要内容之一.传统孔型设计过程以人工经验为主,其计算繁琐,原材料消耗大.为提高生产效率,通过对螺纹钢延伸孔型系统、精轧孔型系统及成品孔型的构成和设计方法的分析,结合螺纹钢孔型系统的基本设计理论和实际生产经验,对以往孔型设计过程中所使用的数学模型、经验公式等进行了修正,并以结构化程序设计方法为基础,采用可视化编程工具Visual Basic6.0建立了计算机辅助螺纹钢孔型设计系统.试用效果表明,缩短了新产品的设计周期,降低了轧机能耗和生产成本.     

松杉灵芝多糖的抗突变作用

通过小鼠骨髓细胞微核试验、 小鼠睾丸染色体畸变和Ames 试验观察了松杉灵芝多糖的抗突变作用. 结果表明, 松杉灵芝多糖对TA98, TA100两株试验菌株, 加与不加S-9均对阳性物致突变作用有抑制作用; 口服不同剂量的药液30 d, 能明显拮抗环磷酰胺所致小鼠骨髓细胞微核率, 但对于丝裂霉素C诱发小鼠睾丸染色体畸变无明显抑制作用.     

层式通风房间垂直温度分布预测方法

基于层式通风房间室内空气流动特性建立了室内垂直温度分布预测模型.该模型将室内空气流动特性与热质平衡方程有机结合,并反映了室内热源强度、墙体辐射及送风参数等边界条件对室内垂直温度分布的影响.通过将模型计算结果与实验数据进行对比分析,发现室内垂直温度预测值与实验数据吻合较好,并在趋势上反映出层式通风房间室内垂直温度的变化特征.因此,本文提出的模型具有较好的预测精度,能够很好地用来指导层式通风系统的实际应用及能耗分析.     

基于关联规则的文档智能查寻算法研究

针对经典关联规则在解决与其他应用领域相关的概念、完备频繁项目集和高效算法的定义等问题上的缺陷,提出了一种关联规则算法,在文档智能查询的应用问题上,此算法有效地解决了这些问题,实验表明此关联规则算法在文档智能查询项目中,得到了良好的应用效果.