期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
DFA模型及其语言的结构化代数规约
被引量：
1
1
作者
张维石
《小型微型计算机系统》
CSCD
北大核心
1999年第7期517-520,共4页
本文首先阐述了利用ＤＦＡ模型技术进行状态转换系统描述存在的主要问题，提出了利用代数规约技术解决这些问题的可行性．然后介绍了新一代具有松散语义的代数规约语言ＳＰＥＣＴＲＵＭ及其主要规约操作符的语法和语义，并根据ＤＦＡ模...
本文首先阐述了利用ＤＦＡ模型技术进行状态转换系统描述存在的主要问题，提出了利用代数规约技术解决这些问题的可行性．然后介绍了新一代具有松散语义的代数规约语言ＳＰＥＣＴＲＵＭ及其主要规约操作符的语法和语义，并根据ＤＦＡ模型及其语言的数学定义，给出了它们的结构化代数规约。
展开更多
关键词
代数规约
dfa模型
代数规约语言
在线阅读
下载PDF
职称材料
保险偿付能力评估中的DFA方法研究
被引量：
6
2
作者
崔惠贤
《财经问题研究》
CSSCI
北大核心
2010年第1期106-110,共5页
动态财务分析代表了保险偿付能力评估的最新发展趋势,我国也正式启动了动态偿付能力测试规则,但由于技术积累及使用经验不足,与国际水平仍存在较大差距。本文对动态财务分析的模型构架进行了较为深入的剖析,结合国外的应用经验对我国引...
动态财务分析代表了保险偿付能力评估的最新发展趋势,我国也正式启动了动态偿付能力测试规则,但由于技术积累及使用经验不足,与国际水平仍存在较大差距。本文对动态财务分析的模型构架进行了较为深入的剖析,结合国外的应用经验对我国引入DFA模型评估保险偿付能力的几个关键问题如模型方法的选用、情景选择和时间架构等进行了探讨,并提出了相应的改进建议。
展开更多
关键词
动态财务分析
偿付能力
dfa模型
架构
在线阅读
下载PDF
职称材料
题名
DFA模型及其语言的结构化代数规约
被引量：
1
1
作者
张维石
机构
大连海事大学信息工程学院
出处
《小型微型计算机系统》
CSCD
北大核心
1999年第7期517-520,共4页
基金
国家留学回国科研基金
辽宁省博士启动基金
文摘
本文首先阐述了利用ＤＦＡ模型技术进行状态转换系统描述存在的主要问题，提出了利用代数规约技术解决这些问题的可行性．然后介绍了新一代具有松散语义的代数规约语言ＳＰＥＣＴＲＵＭ及其主要规约操作符的语法和语义，并根据ＤＦＡ模型及其语言的数学定义，给出了它们的结构化代数规约。
关键词
代数规约
dfa模型
代数规约语言
Keywords
Specification language techniquesAlgebraic specification
dfa
分类号
TP312 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
保险偿付能力评估中的DFA方法研究
被引量：
6
2
作者
崔惠贤
机构
华东理工大学商学院
出处
《财经问题研究》
CSSCI
北大核心
2010年第1期106-110,共5页
文摘
动态财务分析代表了保险偿付能力评估的最新发展趋势,我国也正式启动了动态偿付能力测试规则,但由于技术积累及使用经验不足,与国际水平仍存在较大差距。本文对动态财务分析的模型构架进行了较为深入的剖析,结合国外的应用经验对我国引入DFA模型评估保险偿付能力的几个关键问题如模型方法的选用、情景选择和时间架构等进行了探讨,并提出了相应的改进建议。
关键词
动态财务分析
偿付能力
dfa模型
架构
分类号
F840.4 [经济管理—保险]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
DFA模型及其语言的结构化代数规约
张维石
《小型微型计算机系统》
CSCD
北大核心
1999
1
在线阅读
下载PDF
职称材料
2
保险偿付能力评估中的DFA方法研究
崔惠贤
《财经问题研究》
CSSCI
北大核心
2010
6
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
