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

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

基于有色赋时Petri网的半导体生产线建模技术研究

在深入了解半导体制造过程的基础上,为了有效分析半导体生产线调度与控制性能,提出了有色赋时Petri网的半导体生产线建模方法。该模型,根据生产线所存在主要调度子问题及其之间的相互关系,将半导体生产线划分为投料控制模块、路径调度模块和工件调度模块,这样可以有效降低模型的复杂性和提高模型的可重用性。建立以一个拥有3个工作中心、6台设备的半导体生产线Petri网模型,并对模型进行分析。最后指出了下一步的工作目标。     

基于Petri网的行为建模在舰艇CGF中的应用研究

给出行为建模的一种方法,即基于Petri网的行为建模。首先介绍了Petri网的建模原理,并给出了Petri网实现CGF行为建模的一般过程,对Petri网行为模型的框架、实现方法和具体算法进行阐述。结合水面舰艇的作战特点,通过Petri网实现水面舰艇CGF的行为建模,并以水面舰艇机动CGF为例,详细描述其应用过程,该方法在实际应用中表现出良好的作用。     

基于TCPN的装备维修保障资源管理模型

探讨了一种带优先级的时间有色Petri网,并利用其建立了一种装备维修保障资源管理模型,尔后利用CPNTools进行了仿真;分析了维修过程的总体运行、资源利用率等情况,提出了资源优化配置和调度的方法。     

基于Windows CE嵌入式车载导航终端的设计

摘要：对嵌入式操作系统Windows CE．net的源代码进行了大量的修改，同时应用EVC＋＋4．0开发应用软件，实现了车载导航系统的各项功能．在ARM9目标板上下栽操作系统镜像和应用软件，经测试，导航系统的操作系统运行稳定，能准确接收GPS、GPRS数据，且接收到GPS数据后能准确地在电子地图上显示并指示方向．     

西门子DCS系统在大型焦炉中的应用

介绍了西门子DCS系统软件的特征,阐述了西门子DCS系统软件PCS7在现代大型焦--7.63 m焦炉控制系统中的应用.     

银校一卡通网络安全研究与实现

介绍了银校一卡通在学校的应用现状、前景和优势,银校一卡通的运营模式并对其优缺点进行了具体分析．对银校一卡通的网络安全建设进行研究和分析,提出了构架银校一卡通网络的安全解决方案。     

一种应用于高含硫气井的智能取垢器系统设计

油气井生产过程中,受地质环境、生产阶段、矿物成分等多种因素综合影响,井筒上易产生垢物堵塞,影响正常生产;而解堵和工艺措施的有效性由能否精准取样井下垢物直接决定.针对高含硫气井井下垢物样本取样需要,设计研制了 一套智能井下取垢系统,介绍了智能井下取垢器的体系结构及工作原理;详细论述了电路板减震结构、取垢弹爪、容垢篮装置以...     

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%.     

On the relation between the probabilistic characterization of the common cause and Bell׳s notion of local causality

In this paper the relation between the standard probabilistic characterization of the common cause (used for the derivation of the Bell inequalities) and Bell׳s notion of local causality will be investigated in the isotone net framework borrowed from algebraic quantum field theory. The logical role of two components in Bell׳s definition will be scrutinized; namely that the common cause is localized in the intersection of the past of the correlated events; and that it provides a complete specification of the ‘beables’ of this intersection.