国家科技支撑计划(2012BAH08B02)

作品数：42被引量：172H指数：7
导出分析报告
相关作者：黄少滨赵刚张莉李忱吴天水更多>>
相关机构：北京信息科技大学哈尔滨工程大学东北大学河南师范大学更多>>
相关期刊：《西安电子科技大学学报》《现代管理》《财会月刊（中）》《财会月刊（下）》更多>>
相关主题：风险评估信息安全信息安全风险评估聚类复杂网络更多>>
相关领域：自动化与计算机技术经济管理理学政治法律更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于模型检测的审计方法逻辑正确性验证
《吉林大学学报（理学版）》2017年第5期1261-1268,共8页李雅 黄少滨 关晓康 李艳梅 朱璧如 
国家自然科学基金(批准号:71272216);国家科技支撑计划项目(批准号:2012BAH08B02)
利用模型检测的建模方法,对审计方法及其计算过程和期望的计算结果进行建模,并在模型检测器上对逻辑性较强的凭证断号检查审计方法进行验证,提出一个利用模型检测方法对审计方法逻辑正确性验证的框架.利用模型检测器给出的反例,对验证...
关键词：形式化验证 模型检测 审计方法 
基于Z-Score指标决策树的财务风险预警模型研究被引量：1
《现代管理》2017年第5期185-193,共9页杨蕴毅 孙中和 卢靖 
国家科技支撑计划项目《面向国家审计“免疫系统”的审计模拟与仿真平台研发及应用示范》(批准号:2012BAH08B02);国家自然科学基金项目《基于社会计算的社会保障国家审计政策功能研究》(批准号:71272216)。
财务风险预警模型是预测财务危机的主要手段之一。Z分数模型以其公式严谨、可操作性强等特点,被广泛应用。然而,Z分数模型是否适用于预警中国企业的财务危机仍存在争议。为此,归集了沪市上市公司2007~2013年的财务报表数据,实证发现ST...
关键词：财务风险预警 Z-SCORE 决策树 
多Agent交互策略模型检测方法被引量：3
《电子科技大学学报》2016年第5期802-807,共6页张涛 谢红 黄少滨 
国家科技支撑计划(2012BAH08B02);中央高校基本科研业务费专项基金(HEUCF100603,HEUCF041204);黑龙江省博士后资助项目(3236310148)
提出一种基于模型检测的多Agent交互策略验证方法,首先通过责任政策语言建模多Agent的交互策略,基于责任政策语言的操作语义将政策模型转换为模型检测器Nu SMV的输入,利用时态逻辑声明表征策略冲突的系统性质,然后利用模型检测器Nu SMV...
关键词：形式化方法 模型检测 多AGENT系统 NUSMV 政策建模 
责任政策形式化验证方法
《哈尔滨工程大学学报》2016年第4期585-591,共7页张涛 谢红 黄少滨 
国家科技支撑计划(2012BAH08B02);中央高校基本科研业务费专项基金项目(HEUCF100603;HEUCF041204);黑龙江省博士后基金资助项目(3236310148)
为了验证多Agent系统设计的正确性,将责任政策作为约束多Agent交互行为的高层"需求规格"或"通信协议",对其进行形式化建模及验证。研究了建模责任政策的形式化框架语言,基于责任状态模型建模责任政策的动态演化过程。给出了政策模型形...
关键词：多AGENT系统 形式化方法 政策建模 社会承诺 模型检测 责任政策 
基于服务交互行为的复杂服务协同网络建模被引量：12
《软件学报》2016年第2期231-246,共16页张锡哲 吕天阳 张斌 
国家自然科学基金(60903009;71272216;91546110;61572117);国家科技支撑计划(2012BAH08B02);中央高校基本科研业务费(N140404011)~~
随着分布式计算技术的发展,以自治的服务协同与互操作为主要构造手段、结构与行为随需而变的面向服务的软件系统已成为当前主流的软件架构,分析并理解服务交互行为对于这类复杂软件系统的开发、维护和运营具有重要意义.针对面向服务的...
关键词：服务软件 复杂网络 行为建模 拓扑分析 
跨链间同级库存协作下集群式供应链协调分析被引量：4
《计算机集成制造系统》2015年第12期3282-3291,共10页李宏宽 李忱 
国家自然科学基金资助项目(61272513);国家科技支撑计划资助项目(2012BAH08B02)~~
在跨链间同级库存协作机制下,采用收益共享契约研究了多链式集群供应链系统的协调问题。建立了零售商跨链间库存协作机制下的集群式供应链系统分散决策模型、集中决策模型以及收益共享契约模型,并给出各模型下的最优策略。通过数值仿真...
关键词：集群式供应链 收益共享契约 跨链协作 应急补货 供应链协调 
基于迭代式聚类的审计疑点发现——以上市公司财报数据为例被引量：15
《审计研究》2015年第4期60-66,共7页杨蕴毅 孙中和 卢靖 
国家科技支撑计划项目(项目批准号:2012BAH08B02);国家自然科学基金项目(项目批准号:71272216);教育部人文社会科学研究(项目批准号:13YJCZH143)联合资助
数据库查询技术作为目前计算机审计的主要方法,是一种通过审计人员先验知识发现审计疑点的方法。但当缺乏相关审计知识时,便难以给出从海量数据中发现疑点的方法。为破解这一难题,提出基于迭代式聚类的审计疑点发现方法。该方法可在无...
关键词：计算机审计 聚类 审计疑点 海量数据 
基于模糊C-means的多视角聚类算法被引量：2
《中南大学学报（自然科学版）》2015年第6期2128-2133,共6页杨欣欣 黄少滨 
国家科技支撑计划项目(2012BAH08B02);哈尔滨工程大学中央高校基本科研业务专项资金资助项目(HEUCFZ1212;HEUCF100603)~~
目前多数多视角聚类算法属于"刚性"划分算法,不适用于处理具有聚簇重叠结构的数据集,为此,提出一种基于模糊C-means的多视角聚类算法(简称FCM-MVC),该算法利用隶属度描述对象与类别的关系,能够更真实地描述具有聚簇重叠结构数据集的聚...
关键词：多视角聚类 模糊C-means 数据挖掘 
环境影响评价数据仓库模型的构建研究
《河南师范大学学报（自然科学版）》2015年第3期99-105,共7页车蕾 丁峰 
国家自然科学基金(61272513);北京高等学校青年英才计划(YETP1503);北京市教育委员会科技计划(KM201511232016);环境保护部财政预算(1441100039);国家科技支撑计划(2012BAH08B02)
随着环境影响评价基础数据库数据中心数据量的逐年指数增长,数据库服务器对客户端的响应时间也随之延长,对数据高效管理的要求也日益明显.结合环评基础数据库项目建设过程中数据分析和挖掘预测的需求,提出基于ODS的环评数据仓库的总体架...
关键词：环境影响评价 数据仓库 操作数据存储 文件组 分区 
基于AHP-贝叶斯网络的信息安全风险态势分析模型被引量：7
《北京信息科技大学学报（自然科学版）》2015年第3期68-74,共7页刘健 赵刚 郑运鹏 
国家"十二五"科技支撑计划课题基金资助项目(2012BAH08B02)
依照信息安全风险评估流程,结合威胁、脆弱性和控制措施等风险评估基本要素,以加强要素关联性分析和提高评估结果客观性为目标,提出一种层次分析法与贝叶斯网络相结合的信息安全风险态势分析模型。该模型通过层次分析法计算出各威胁指...
关键词：风险评估 层次分析法 贝叶斯网络 风险态势 
全选清除导出
共5页<12345>
检索报告 对象比较 聚类工具 使用帮助 返回顶部