Petri网建模工具的面向对象设计

Petri网建模环境的开发有利于Petri网应用理论的验证和实现。介绍一个Petri网建模工具的面向对象设计方法 ,并且主要给出了该建模工具的结构组成、建模工具条、Petri网图形元素的构造方法以及Petri网点火机制的计算机实现方法。成果为基于Petri网的系统分析方法的研究提供了一个灵活可用的辅助工具。     

双C50多模同步采集高速目标识别系统

研究了红外多模采集转换的系统模型 ,分析了功能状态。研究了基于并行DSP、数据并行通信芯片和可编程逻辑器件构架的可行性系统实现 ,论证了系统的实时并行处理能力。研究了数字锁相实施玫瑰线扫描同步采集方位转换和红外多帧配准图像模糊分割识别系统实现。实验表明 ,该系统具有 2 5 6× 2 5 6像素场景 ,2 5 6级灰度级实时监测和复杂背景下实时识别目标的能力。     

天线主瓣大地照射圆内的多普勒谱分布

安装在高速运动载体上的雷达高度表 ,其地面回波被一宽带多普勒信号所调制 ,从而使回波表现出新的特征 ,如何提取和充分利用这些特征对于雷达高度表的设计是非常重要的。首先介绍了大地回波宽带多普勒信号模型的建立 ,然后给出了在MATLAB下建立的仿真框架 ,最后对仿真结果进行了初步分析。     

冗余系统费用模型及优化

根据冗余设计的不同形式 ,在Tillman并联系统费用模型的基础上引入了系统功能指标 ,并将其推广至其它形式的冗余系统 ,从而得到了一个较为完整的冗余系统费用模型。在此基础上 ,建立了用于优化并串联冗余系统设计的非线性混合整数规划模型 ,分别使用了模式搜索与启发式算法的组合算法以及遗传算法对其进行求解 ,着重讨论了两种方法的实现关键及各自的优劣。最后 ,经计算比较 ,提出了遗传算法与模式搜索、启发式算法相结合的求解方法 ,并说明了该方法的有效性。     

数乘变换下GM(0,N)模型中的参数特征

在灰色系统理论中 ,生成是一个重要的概念和方法 ,而数乘变换则是灰色建模的基础。讨论了原始数据的数乘变换对GM( 0 ,N )模型的影响问题 ,指出了系统的预测值只与系统主行为原始数据的数乘变换方式有关 ,而与系统行为因子的数乘变换无关。该结果对评价系统的参数变化有重要意义。     

基于神经网络数据融合的目标识别方法研究

综合应用图像识别、神经网络和数据融合技术是多传感器ATR系统的一个重要研究方向。设计了一种基于BP网络和多传感器数据融合的图像识别系统。从信息论的观点出发 ,在理论上探讨了BP网络数据融合用于图像目标识别 /分类的机理。以此理论对实验结果的合理解释证明了该理论的正确性。理论分析和实验结果都证明了神经网络数据融合用于图像目标识别 /分类的有效性和可行性     

一种基于BDD求解PIS的新方法

提出了基于双择判决有向图 (BinaryDecisionDigraph ,BDD)求解故障树的全部PIS的新方法 ,该方法将故障树转化为BDD ,通过反对称规律将故障树的BDD转化为对偶BDD ,再基于该对偶BDD用迭代算法实施第二次对偶运算 ,从而达到求原故障树全部质蕴涵集的目的     

企业激励机制设计与代理成本分析

阐述企业激励机制的基本内涵 ,研究探讨了基于代理人的货币需求、闲暇需求和努力程度等因素的最优契约设计 ,分析对称信息与非对称信息条件下的契约差异和代理成本.     

福建省经济增长的效率评价

为了定量地评价经济运行质量,应用数据包络分析(DEA)的理论和方法,对福建省改革开放以来经济增长效率进行评价,得到一些对促进经济增长有益的结论。     

商品流转过程中动态成本优化控制方法与实践

针对商品进销存流转过程的费用问题 ,提出了建立费用数学模型的方法 ,并对经销过程中的动态成本优化问题给出了一系列算法 ,其中的保本保利模型与算法揭示了经营成本变动与商品在库时间的内在联系 ,为成本的优化控制奠定了基础 ,具有很好的理论研究意义和实际应用价值 .