期刊文献+
共找到3篇文章
< 1 >
每页显示 20 50 100
并发加权μ-演算的若干性质
1
作者 余寒 《计算机科学与探索》 CSCD 北大核心 2018年第10期1684-1690,共7页
最近,针对为组合性标记加权转移系统建模的需要,Larsen等人提出了并发加权逻辑。该逻辑是多模态的,包含了反映给定状态的资源总量和限制转换过程的模态词,以及能够应对组合性系统的二元模态词,可以有效地表达系统的质化、量化和模块化... 最近,针对为组合性标记加权转移系统建模的需要,Larsen等人提出了并发加权逻辑。该逻辑是多模态的,包含了反映给定状态的资源总量和限制转换过程的模态词,以及能够应对组合性系统的二元模态词,可以有效地表达系统的质化、量化和模块化的性质。为了增强并发加权逻辑的表达能力,对带不动点算子的并发加权逻辑——并发加权μ-演算进行了研究,给出了并发加权μ-演算的语法和标记加权转移语义,在表达能力与复杂性之间建立了良好的平衡。研究了并发加权μ-演算与轮替树自动机之间的联系,构建了一种特定的用于并发加权μ-演算的轮替树自动机模型。该自动机模型在表达能力上与并发加权μ-演算互模拟等价。在此基础上,进一步证明了并发加权μ-演算的可判定性及小模型性。 展开更多
关键词 并发加权逻辑 μ-演算 轮替树自动机 可判定 小模型性
在线阅读 下载PDF
Thickness distribution of multi-stage incremental forming with different forming stages and angle intervals 被引量:1
2
作者 李军超 杨芬芬 周志强 《Journal of Central South University》 SCIE EI CAS CSCD 2015年第3期842-848,共7页
Although multi-stage incremental sheet forming has always been adopted instead of single-stage forming to form parts with a steep wall angle or to achieve a high forming performance, it is largely dependent on empiric... Although multi-stage incremental sheet forming has always been adopted instead of single-stage forming to form parts with a steep wall angle or to achieve a high forming performance, it is largely dependent on empirical designs. In order to research multi-stage forming further, the effect of forming stages(n) and angle interval between the two adjacent stages(Δα) on thickness distribution was investigated. Firstly, a finite element method(FEM) model of multi-stage incremental forming was established and experimentally verified. Then, based on the proposed simulation model, different strategies were adopted to form a frustum of cone with wall angle of 30° to research the thickness distribution of multi-pass forming. It is proved that the minimum thickness increases largely and the variance of sheet thickness decreases significantly as the value of n grows. Further, with the increase of Δα, the minimum thickness increases initially and then decreases, and the optimal thickness distribution is achieved with Δα of 10°.Additionally, a formula is deduced to estimate the sheet thickness after multi-stage forming and proved to be effective. And the simulation results fit well with the experimental results. 展开更多
关键词 incremental forming multi-stage forming angle interval thickness distribution
在线阅读 下载PDF
Slope displacement prediction based on morphological filtering 被引量:4
3
作者 李启月 许杰 +1 位作者 王卫华 范作鹏 《Journal of Central South University》 SCIE EI CAS 2013年第6期1724-1730,共7页
Combining mathematical morphology (MM),nonparametric and nonlinear model,a novel approach for predicting slope displacement was developed to improve the prediction accuracy.A parallel-composed morphological filter wit... Combining mathematical morphology (MM),nonparametric and nonlinear model,a novel approach for predicting slope displacement was developed to improve the prediction accuracy.A parallel-composed morphological filter with multiple structure elements was designed to process measured displacement time series with adaptive multi-scale decoupling.Whereafter,functional-coefficient auto regressive (FAR) models were established for the random subsequences.Meanwhile,the trend subsequence was processed by least squares support vector machine (LSSVM) algorithm.Finally,extrapolation results obtained were superposed to get the ultimate prediction result.Case study and comparative analysis demonstrate that the presented method can optimize training samples and show a good nonlinear predicting performance with low risk of choosing wrong algorithms.Mean absolute percentage error (MAPE) and root mean square error (RMSE) of the MM-FAR&LSSVM predicting results are as low as 1.670% and 0.172 mm,respectively,which means that the prediction accuracy are improved significantly. 展开更多
关键词 slope displacement prediction parallel-composed morphological filter functional-coefficient auto regressive predictionaccuracy
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部