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

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

基于FDTD的孔缝金属箱屏蔽效能分析

为了分析与解决复杂平台上的天线与其周围指挥舱等金属结构之间的电磁干扰问题,以期将天线对指挥舱内的电子设备的干扰降到最小.应用时域有限差分算法计算了2根振子天线辐射下带孔缝金属箱子的屏蔽效能.通过计算金属箱内部一点的电场强度和频谱特性,研究了形状不同、尺寸不同、面积相同和数目不同等窗口状态对带孔缝金属箱的屏蔽效能的影响,得出了提高带孔缝金属箱的屏蔽效能的一些方法手段.能有效解决工作于车、船和飞机等复杂电磁环境的天线干扰其周围指挥舱等金属结构内电子设备的电磁问题.     

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.     

基于PVM的m-Step Jacobi PCG方法网上并行求解有限元方程

针对基于PVM的桌面PC机联网而成的网络并行计算环境中,处理机的运算速度较快而处理机间的通信相对较慢,以及微机的内存有限的实际情况,从实用的角度出发,给出了基于PVM的网上求解有限元方程组的并行m-Step Jacob i PCG方法,该算法的矩阵和向量采用行元素相邻单元贡献法实现有限元总体刚度矩阵和荷载向量的并行计算与组装,分块储存在各处理机上,其处理机间通信较少。并在1-4台桌面PC机连接成的局域网,PVM3.4 on W indow2000,VC 6.0并行计算平台上编程对该算法进行了数值试验,得到了较理想的结果。     

激光作用生成的纳晶硅与氧化硅界面态发光模型

我们结合量子受限效应,提出纳硅晶与氧化硅界面态发光模型来解释激光作用生成的纳米网孔壁结构的强荧光效应.将功率为50W、波长为1 064nm的YAG激光束(束斑直径0.05mm)照射在硅样品表面打出小孔,在孔内的侧壁上,有很特殊的网孔形结构,其中的网孔壁厚为纳米尺度,这里有很强的受激荧光发光效应,发光峰中心约在700nm处.我们将激光与硅样品的作用隔离于无氧化的环境里,分别比较了将硅样品浸入酒精、氢氟酸和水中的激光加工结果,其发光情况证实了该发光模型的真实性.优化激光加工的条件,我们获得了较强发光的样品.     

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

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

基于遗传算法的制造网络服务质量优化

服务质量的合成是面向服务架构系统面临的重要挑战,评价面向服务架构制造网络最优化的典型标准是加工时间成本和系统响应时间.文中提出了一种应用遗传算法解决制造网络服务质量优化问题的新方法.首先用着色Petri网和排队论分别对制造网络的物流和信息流进行建模,然后应用遗传算法对该模型进行调度并获取服务质量的近似最优解.在该算法中,染色体采用分段基因编码,它们分别是制造网络物流和信息流调度方案的规则与加权系数的组合;遗传操作包括选择、交叉、变异3种类型.在每一代种群中,通过仿真得到与每个染色体相对应的各项性能指标值,以模糊综合评判方法求取制造网络服务质量适应度的函数值.实验结果表明,该方法能有效优化制造网络的服务质量.     

重新构建技术经济评价指标体系的思考

现有技术经济学理论的观点是内部收益率法与净现值法的评价结论必须一致,本文探讨得出的结论是依据此观点给出的有关内部收益率指标及其评价理论没有存在的理论与实际意义。在此基础上,提出了依据不同投资人的期望要求构建经济性评价指标体系的观点,并上升理论探讨了不同投资人期望要求的六种类型,同时给出了满足不同类型投资期望要求的评价指标体系。从而揭示了内部收益率法存在的意义及应有的定位。     

结合冠层密度的森林净初级生产力遥感估测

【目的】 森林冠层密度与林分年龄、植被生长状况有关,在区域森林净初级生产力遥感估测中,结合森林冠层密度以期提高估测精度。【方法】 以广东省韶关市为研究对象,选用2017年Landsat-8 OLI影像、2017年357块森林资源连续清查固定样地数据为主要信息源,分别采用随机森林、多元线性回归、人工神经网络和K最近邻分类法等4种模型,结合森林冠层密度制图器(FCD)进行区域森林净初级生产力特征变量的选取、参数建模、模型精度评价和森林净初级生产力空间制图。【结果】 特征变量中,红光波段(B4)、归一化植被指数(NDVI)、比值植被指数(RVI)、叶面积指数(LAI)、缨帽变换土壤植被因子、纹理特征和地形特征在森林净初级生产力反演中有重要作用。将森林冠层密度因子加入反演模型后,4种遥感估测模型精度均有大幅度提高。对4种遥感估测模型进行性能比较,随机森林模型精度最高,其次是多元线性回归模型、人工神经网络模型,K-最近邻分类模型精度最低。研究区内森林净初级生产力平均值为10.689 t/(hm²·a),高森林净初级生产力 [≥18 t/(hm²·a)]林分面积仅占研究区的19.61%,主要分布在海拔较高的西北部。【结论】 结合冠层密度进行森林净初级生产力的建模,可有效提高模型估测精度。