期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
多项式程序模型的互模拟等价 被引量:1
1
作者 邓辉 吴尽昭 《北京交通大学学报》 CAS CSCD 北大核心 2011年第5期73-77,88,共6页
针对程序的行为等价性,提出多项式程序模型的互模拟等价,适用于代数程序模型描述的软件系统设计和验证分析.给出多项式程序模型互模拟等价概念,建立互模拟等价的符号计算方法,选取结构简单的模型,简化程序设计,缓解状态爆炸导致的形式... 针对程序的行为等价性,提出多项式程序模型的互模拟等价,适用于代数程序模型描述的软件系统设计和验证分析.给出多项式程序模型互模拟等价概念,建立互模拟等价的符号计算方法,选取结构简单的模型,简化程序设计,缓解状态爆炸导致的形式化验证方法计算复杂度过高而难于实现的问题.最后给出并发程序的相关实例. 展开更多
关键词 互模拟等价 多项式程序模型 非确定性 并发
下载PDF
Conditional Quantile Polynomial Distributed Lag Model with an Application to Rubber Price Returns
2
作者 Kwadwo Agyei Nyantakyi 《Journal of Physical Science and Application》 2015年第2期108-115,共8页
Impacts of returns on assets are not instantaneously felt, since there is lag period. In this paper we consider the problem of developing a model for the conditional QPDL (quantile polynomial distributed lag) and in... Impacts of returns on assets are not instantaneously felt, since there is lag period. In this paper we consider the problem of developing a model for the conditional QPDL (quantile polynomial distributed lag) and investigate the influences of the conditioning variables on the location, scale and shape parameters of the QPDL model. As an economic application, we consider the production of rubber and its price returns ofSri Lanka. From the analysis we observed that the QPDL model applications were better estimators than the PDL (Polynomial Distributed Lag) models. 展开更多
关键词 Asset returns PERCENTILES parameter estimators production.
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部