期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
一种优化的可能性测度计算树逻辑检测模型
1
作者
陈燕升
张赞波
+1 位作者
吴忠坤
任江涛
《中山大学学报（自然科学版）》
CAS
CSCD
北大核心
2015年第4期49-54,共6页
可能性测度计算树逻辑模型检测验证中存在诸多问题,例如低性能效率和高时间复杂度。针对上述问题,基于传统的模型检测标记算法,为满足高复杂性、大规模的公式标记检测,设计并实现了I-PM_CTL算法。其基本步骤如下:第一步,先利用相关可能...
可能性测度计算树逻辑模型检测验证中存在诸多问题,例如低性能效率和高时间复杂度。针对上述问题,基于传统的模型检测标记算法,为满足高复杂性、大规模的公式标记检测,设计并实现了I-PM_CTL算法。其基本步骤如下:第一步,先利用相关可能性测度对逻辑树公式进行计算,预处理标识公共子表达式的唯一性;第二步,在充分确保模型检测空间平衡状态下设定公共子表达式与可能性测度计算树逻辑模型状态;第三步,实施验证,为可能性测度计算树逻辑公式以极大概率一次性实现验证提供了保证。经过模拟实验发现,这一种方法一方面在很大程度上减小了相关时间复杂度,另一方面还使验证性能有所提升。
展开更多
关键词
可能性测度
模型检测
公共子表达式
计算树逻辑
在线阅读
下载PDF
职称材料
建构植基于平衡计分卡之医疗资料仓储
被引量：
2
2
作者
王崇安
陈泽生
《管理学报》
2005年第S2期29-33,48,共6页
探讨医疗资料仓储的建构方法,以实务应用与未来发展为首要考量。采用螺旋型生命周期开发方法,以平衡计分卡财务、顾客、内部流程及学习与成长4个构面为分析指针,规划医疗资料仓储所需的主题目标、设计实体关连表格的星状纲要(starschem...
探讨医疗资料仓储的建构方法,以实务应用与未来发展为首要考量。采用螺旋型生命周期开发方法,以平衡计分卡财务、顾客、内部流程及学习与成长4个构面为分析指针,规划医疗资料仓储所需的主题目标、设计实体关连表格的星状纲要(starschema);并透过萃取、转换、加载(extracttransformload,ETL)机制,定时从线上医院信息系统萃取资料,经过转换与清理等处理后,加载资料仓储。最后,利用线上分析处理工具,以多维度的方式呈现平衡计分卡的指针,并提供了图表化的接口、资料向下钻取、资料向上汇合、灯号控制等功能,藉以加强异常信息的警示,让决策者可以在第一时间掌握最新状况,做出最佳决策。
展开更多
关键词
商业智能
平衡计分卡
资料仓储
螺旋型生命周期
线上实时交易系统
线上分析处理工具
在线阅读
下载PDF
职称材料
题名
一种优化的可能性测度计算树逻辑检测模型
1
作者
陈燕升
张赞波
吴忠坤
任江涛
机构
广东轻工职业技术学院环境工程
系
昆
山
科技
大学
资讯
管理
系
广东轻工职业技术学院计算机工程
系
中
山
大学
软件学院
出处
《中山大学学报（自然科学版）》
CAS
CSCD
北大核心
2015年第4期49-54,共6页
基金
国家自然科学基金资助项目(11471342)
广东省教育科研"十二五"规划2012年度研究资助项目(2012JK089)
+1 种基金
广东省高职教育教改资助项目(201401034)
校级自然科学基金资助项目(KJ201311/KJ2014)
文摘
可能性测度计算树逻辑模型检测验证中存在诸多问题,例如低性能效率和高时间复杂度。针对上述问题,基于传统的模型检测标记算法,为满足高复杂性、大规模的公式标记检测,设计并实现了I-PM_CTL算法。其基本步骤如下:第一步,先利用相关可能性测度对逻辑树公式进行计算,预处理标识公共子表达式的唯一性;第二步,在充分确保模型检测空间平衡状态下设定公共子表达式与可能性测度计算树逻辑模型状态;第三步,实施验证,为可能性测度计算树逻辑公式以极大概率一次性实现验证提供了保证。经过模拟实验发现,这一种方法一方面在很大程度上减小了相关时间复杂度,另一方面还使验证性能有所提升。
关键词
可能性测度
模型检测
公共子表达式
计算树逻辑
Keywords
possibility measure
model checking
common sub-expression
computation tree logic
分类号
TP301.2 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
建构植基于平衡计分卡之医疗资料仓储
被引量：
2
2
作者
王崇安
陈泽生
机构
成功
大学
工程科学
系所
崑山科技大学资讯管理系所
出处
《管理学报》
2005年第S2期29-33,48,共6页
文摘
探讨医疗资料仓储的建构方法,以实务应用与未来发展为首要考量。采用螺旋型生命周期开发方法,以平衡计分卡财务、顾客、内部流程及学习与成长4个构面为分析指针,规划医疗资料仓储所需的主题目标、设计实体关连表格的星状纲要(starschema);并透过萃取、转换、加载(extracttransformload,ETL)机制,定时从线上医院信息系统萃取资料,经过转换与清理等处理后,加载资料仓储。最后,利用线上分析处理工具,以多维度的方式呈现平衡计分卡的指针,并提供了图表化的接口、资料向下钻取、资料向上汇合、灯号控制等功能,藉以加强异常信息的警示,让决策者可以在第一时间掌握最新状况,做出最佳决策。
关键词
商业智能
平衡计分卡
资料仓储
螺旋型生命周期
线上实时交易系统
线上分析处理工具
Keywords
business intelligence
balance score card
data warehouse
spiral life cycle
online transaction processing
online analytical tool
分类号
R197.3 [医药卫生—卫生事业管理]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
一种优化的可能性测度计算树逻辑检测模型
陈燕升
张赞波
吴忠坤
任江涛
《中山大学学报（自然科学版）》
CAS
CSCD
北大核心
2015
0
在线阅读
下载PDF
职称材料
2
建构植基于平衡计分卡之医疗资料仓储
王崇安
陈泽生
《管理学报》
2005
2
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
