基于事前分析方法的工作流过程模型的验证

工作流执行过程中经常会出现非正常终止的情况,对此,将事前分析方法应用于工作流过程模型的验证中,即在工作流过程实例化前进行模型的有效性分析和结构正确性验证。该方法对传统的有向网络图进行扩展并以此来描述工作流过程,确定模型的有效性;进一步将扩展有向网络图转换成工作流网模型,应用Petri网技术分析该模型的冲突结构,以确保工作流过程的逻辑合理性。     

基于HTCPN的飞机维修保障资源配置方法

针对飞机基层级维修保障资源配置问题,提出了一种基于分层赋时着色Petri网(hierarchical timed colored Petri net, HTCPN)的维修保障资源配置方法。首先,根据飞机基层级维修保障工作内容及流程,运用CPN Tools软件,构建飞机维修保障全过程的HTCPN仿真模型,设计仿真时钟折算方法。其次,提出维修保障资源配置规则,建立基于飞机出动架次率的维修保障资源配置模型。最后,算例分析结果表明所提方法能够迅速、准确地完成飞机基层级维修保障资源配置。所提方法为科学制定飞机基层级维修保障配置方案提供了技术支撑,具有一定的工程应用价值。     

Short‐term salmon price forecasting

This study establishes a benchmark for short‐term salmon price forecasting. The weekly spot price of Norwegian farmed Atlantic salmon is predicted 1–5 weeks ahead using data from 2007 to 2014. Sixteen alternative forecasting methods are considered, ranging from classical time series models to customized machine learning techniques to salmon futures prices. The best predictions are delivered by k‐nearest neighbors method for 1 week ahead; vector error correction model estimated using elastic net regularization for 2 and 3 weeks ahead; and futures prices for 4 and 5 weeks ahead. While the nominal gains in forecast accuracy over a naïve benchmark are small, the economic value of the forecasts is considerable. Using a simple trading strategy for timing the sales based on price forecasts could increase the net profit of a salmon farmer by around 7%.     

基于GSPN方法的柔性制造系统过程模型和性能分析

应用广义随机Petri网方法,对柔性制造系统进行建模和分析,提出了控制策略和优化方法.针对柔性制造系统的离散性,对整个系统的过程模型进行分析.利用广义随机Petri网结合马尔可夫链的方法,确立了系统的配置参数,得出了系统的平均运行时间,机床的平均使用率,系统的生产率,故障概率,对系统的优化和生产效率的提高以及柔性的提高提供了理论支持.最后,通过柔性制造系统实例,对该方法进行了检验.     

基于MCMC模拟的相关系数平稳序列模型及其应用

提出了基于MCMC方法来估计相关系数平稳序列模型的参数;给出基于贝叶斯分布的相关系数平稳序列模型参数的算法;在无信息先验分布下,模拟证明了用此方法估计相关系数平稳序列模型参数的优良效果。最后对实际的广西电网-月负荷数据,分别用基于相关系数平稳序列模型的MCMC方法和极大似然估计法以及基于经典的ARMA模型建模,结果表明采用MCMC方法得到的模型给出的预测是最好的。     

Data fusion control and guidance of surface-to-air missile under the complex circumstance based on neural-net technology

Under the complicated electromagnetism circumstance, the model of data fusion control and guidance of surface-to-air missile weapon systems is established. Such ways and theories as Elman-NN, radar tracking and filter＇s data fusion net based on the group method for data-processing （GMRDF） are applied to constructing the model of data fusion. The highly reliable state estimation of the tracking targets and the improvement in accuracy of control and guidance are obtained. The purpose is optimization design of data fusion control and guidance of surface-to-air missile weapon systems and improving the fighting effectiveness of surface-to-air missile weapon systems.     

航空电子综合化数据传输网络建模方法研究

采用Petri网理论对航空电子综合化数据传输网络系统的建模方法进行研究。通过对研究对象的基本假设、研究对象与Petri网理论之间的关系,给出了航空电子综合化数据传输网络系统的Petri网模型     

数据库多重条件查询的方法探讨

从实用的角度出发,讨论了利用VB6．0的ADO技术及SQL语句实现对数据库的多重条件组合查询的技巧和方法,其关键在于获取标准SQL语句中的查询字符串．由于模块具有通用性,因此可以缩短程序开发周期．     

互联网骨干网互联决策分析

为了分析两个互联网骨干网运营商（IBP：Internet Backbone Provider）在互联过程中的行为表现,文章建立了一个合作博弈模型来分析他们的互联决策,决策是建立在厂商利润最大化基础上的,在合作博弈情况下两个IBP选择互联质量追求联合利润最大化,这个合作博弈模型的结论不仅适用于互联网中两个IBP或互联网服务提供商（ISP：Internet Service Providers）之间的互联决策,而且适用于IBP和ISP之间以及其他具有网络外部性产业中的两个厂商的互联决策。     

带协同约束弧的微分Petri网及其仿真

为使Petri网中单个库所对变迁的简单逻辑约束关系扩展到多个库所对变迁复杂的协同约束关系,提出了协同约束弧的概念,并将它与微分Petri网相结合,用以对具有状态反馈控制的混杂系统建模.结合一个二阶线性系统的实例,给出了它的带协同约束弧的微分Petri网模型,并用Stateflow和Simulink结合起来对这种带有协同约束弧的微分Petri网描述与仿真.仿真结果表明:在协同约束弧控制下,适时改变控制策略,将系统切换到不同的相空间,从而使不稳定系统最终在目标区域内稳定运行.