涂钰青
- 作品数:6 被引量:6H指数:2
- 供职机构:华南理工大学机械与汽车工程学院更多>>
- 发文基金:国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域:理学自动化与计算机技术经济管理更多>>
- 基于IEC61499应用模型的形式化定义
- 2011年
- 为解决模型语义不明确导致系统执行行为和结果不确定等问题,利用数学集合论的描述语言,针对与平台无关由功能块网络组成的应用模型,提出了一种形式化定义的方法。在该方法中,定义了基本功能块和服务功能块的类型与实例,将应用模型形式化定义为一个由功能块类型、实例、应用模型的状态空间和外部输入/输出组成的集合,以此方便定制标准化语义,并为应用模型的形式化验证提供早期的形式化描述。以钻孔检测一体机为例,对工件加工的应用模型进行了形式化定义,为语义的形式化描述提供了数学基础。
- 涂钰青李迪李方万加富
- 关键词:模型驱动架构形式化方法钻孔机
- 基于IEC61499标准的组件化模型集成数控系统形式化建模与验证的研究
- 随着信息技术与机械工业的高速发展与紧密结合,装备制造业作为我国工业发展的排头兵与核心力量,已经成为我国实现工业现代化的关键领域。加快发展装备制造业的核心技术,大力开发先进制造技术,尤其针对高档数控机床的控制中枢——计算机...
- 涂钰青
- 关键词:数控系统形式化方法
- 文献传递
- 最小收益约束下的最优投资问题被引量:2
- 2005年
- 在最优投资问题的约束条件为收益不低于市场组合收益(随机收益)与固定保本收益最大者的情况下,采用Black Scholes期权定价框架,构造等价鞅测度求解得到该优化问题的最优投资策略.同时在HARA效用函数下分析该投资问题的性质,发现在不同条件下,该投资策略可以退化为无约束最优投资策略、基于欧式看跌期权及两资产交换期权的套期保值策略.
- 何春雄罗军涂钰青焦健
- 关键词:最优投资策略等价鞅测度
- 利率影响下信用风险的破产概率被引量:3
- 2004年
- 为了研究信用风险下保险公司的生存几率和规避公司破产 ,采用常数利率离散时间下信用风险的破产模型 ,提出公司破产发生的条件和常利率离散时间下信用风险的生存概率 ,并利用该模型推导出公司的破产概率和破产时刻分布 .通过对破产概率的分析 ,得出破产前瞬间的余额分布和破产时的余额分布 ,以及破产前、破产时瞬间余额的联合分布的递推公式 .
- 涂钰青刘深泉
- 关键词:破产信用风险马尔可夫链常利率
- 利率影响下风险模型的破产理论
- 近年来,随着科技进步及经济发展,风险因素越来越复杂,风险的度量与管理日益引起人们的重视。风险理论已经成为保险精算学的一个重要分支,在保险理论与实践中具有重要的作用。而破产理论则是风险理论研究中的一个非常重要的问题,对于保...
- 涂钰青
- 关键词:破产概率马尔可夫链利率保险精算学
- 文献传递
- 带投资收益率的复合二项风险模型
- 2008年
- 通过定义调节系数以及应用累进均值法则和Chebychev不等式,讨论离散时间下带投资收益率的复合二项风险模型的最终破产概率问题和有限时间内的生存问题,提出并讨论含投资因素,和投资收益率为随机序列的复合二项风险模型,得到模型的最终破产概率的表达式。
- 涂钰青
- 关键词:投资收益率复合二项风险模型