系统结构模型分部的底层要素法

本文从系统的底层要素出发，提出并证明了底层要素存在性、底层要素后果集并集的完全性以及它们在同一部分的充分必要条件，由此导出了系统结构模型分部的算法，实际应用进一步说明了这一方法的有效性。     

电子支付安全协议的Petri网模型及分析

通过对电子支付安全协议的研究,利用Petri网描述了电子支付安全协议处理流程;根据可达树分析了电子支付协议Petri网模型的正确性、安全性、公平性、可达性和活性. 基于Petri网理论研究电子支付安全协议的工作,对于指导电子支付相关安全项目的研究以及解决实际安全问题具有一定的理论价值和实践意义.     

计算机化自适应诊断测验新的选题策略

提出了一种既能满足属性平衡又能有效处理相似属性模式的新方法——改进的极大化整体判别认知诊断模型信息量指标法(MGCDI).对无结构型的属性,讨论定长CD-CAT的选题策略.研究结果表明,使用相同选题策略选题时,先选择可达矩阵的所有列对应的项目比不使用这些项目的诊断准确率高.     

刀触点网格上整体光顺五轴数控加工刀轴方向的模型与算法

针对球头铣刀的五轴数控加工,分析了刀轴方向对切削力的影响,根据刀轴方向变化的度量指标,提出了在刀触点网格的可行空间中整体光顺刀轴方向的模型与算法,该方法有两个优势:可以同时保证进给和相邻行两个方向上刀轴方向的整体光顺性;仅需要计算网格点处的可达方向锥,提高了计算效率.用仿真方法分析了整体光顺刀轴方向对加工效率、机床进给运动平稳性和切削力的影响,并用实验验证了规划的刀具路径.     

基于密度结构分析的改进FCM混合矩阵估计

欠定盲源分离问题中,针对传统FCM算法(fuzzy C-means,FCM)需要预先设定聚类数目和初始聚类中心,以及聚类结果易受噪点干扰的问题,提出一种基于密度结构分析的改进FCM聚类算法,并利用改进后的算法实现混合矩阵估计.这一改进算法首先用OPTICS(ordering points to identify the...     

网格计算资源调度方案及其Petri网建模与分析

通过对现有网格计算资源调度方案的分析,提出了网格计算资源的三层调度方案,该方案与已有的方案相比,更能体现网格资源的特点。利用Petri网这一具有描述并发、异步、动态等事件能力的图形与数学工具,对所提出的调度方案进行了模拟与分析。为不同层次的调度者构造了不同的扩展有色时延Petri网模型,并利用Petri网的共享合成技术得到整个系统的Petri网模型。同时给出了资源调度所对应的Petri网的可达任务图的概念,利用可达任务图,分析了诸如吞吐量、负载平衡、调度时间等资源调度的一些重要特性。     

滤波多音调制系统容量及滤波器设计

给出了滤波多音调制系统容量的理论分析,证明滤波多音调制系统的系统容量取决于其原型滤波器的特性.提出了基于滤波多音调制系统原型滤波器的设计准则.仿真实验表明滤波多音调制系统的容量在802.11a的环境下,未编码时系统可达到10Mb/s的速率.     

基于平均换乘的城市公交线网性能评价

评价公交线网性能的指标有多种,其中交通网络的可达性指标是交通系统能否优质、高效完成运输任务的一项综合性评价指标,而平均换乘次数则能很好地反映这一指标．通过依次计算“公交n次换乘矩阵”的方法求出网络平均换乘次数,并根据平均换乘次数对公交线网的结构性能进行评价．     

广义半马尔可夫跳跃系统可达集边界估计

基于Lyapunov泛函方法，研究了一类具有时变时滞的广义半马尔可夫跳跃系统的可达集边界估计问题.先通过分片分析方法和积分不等式技术获得快慢子系统的边界，再利用半马尔可夫转移率的上下界处理转移率非常值的问题，最后以线性矩阵不等式形式给出了系统可达集边界存在的充分条件.