基于Petri 网软件过程执行机制的研究

在软件过程执行机制中,两种传统的过程执行机制——前摄式和反映式存在模型复杂性和执行灵活性之间的矛盾。分层机制可以缓解这种矛盾,但又缺乏严密的形式化定义。采用基于Petri网的软件过程执行机制的建模和分析方法,给出了准确的形式化定义,很好地描述了软件过程执行机制中的同步、并发和异步等特点,解决了早期"前摄式"机制的过程支持缺陷,降低了反映式机制建模的复杂性。     

最大速度恒定的连续Petri网(CCPN)的性质及判定方法

最大速度恒定的连续Ｐｅｔｒｉ网是由Ｄａｖｉｄ等最早提出的一类时延连续Ｐｅｔｒｉ网模型,但并未对其性质给出确切的定义及相应的判定方法。文「１」中给出了ＣＣＰＮ的演变图及其构造算法,本文在给出ＣＣＰＮ以对扬系统进行性能分析。     

可拓信息的基本理论与方法研究

研究可拓论的重要软体——可拓信息论 .给出可拓信息的基本概念和可拓信息的度量方法 ,其中包括可拓信息的相关距离、相关度以及信息之间的相似度等概念 ,形成信息物元的特征分析法 .在此基础上讨论可拓信息的组织与处理方法、可拓信息的搜索方法及可拓信息的定性与定量结合推理方法等 .     

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.     

社会安全网的编织——福建农村最低生活保障制度的覆盖面与服务递送

1997年,福建省在推进城市最低生活保障制度的同时,开始了农村最低生活保障的实验.2004年,福建省推行了社会救助"新政",在全省范围内建立了农村低保制度,农村低保的覆盖面有了实质性的拓展.在服务递送方面,福建省采用各种适合于当地民情的办法,尽最大可能保证了应保尽保和目标定位的准确性,从而确保有限的社会救助资源分配到最需要的民众.福建省农村低保工作在受益资格确定、服务组织体系建设、综合性社会救助项目间的协调等还有待巩固和加强.     

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

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

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

工作流执行过程中经常会出现非正常终止的情况,对此,将事前分析方法应用于工作流过程模型的验证中,即在工作流过程实例化前进行模型的有效性分析和结构正确性验证。该方法对传统的有向网络图进行扩展并以此来描述工作流过程,确定模型的有效性;进一步将扩展有向网络图转换成工作流网模型,应用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网结合马尔可夫链的方法,确立了系统的配置参数,得出了系统的平均运行时间,机床的平均使用率,系统的生产率,故障概率,对系统的优化和生产效率的提高以及柔性的提高提供了理论支持.最后,通过柔性制造系统实例,对该方法进行了检验.