中央高校基本科研业务费专项资金(HEUCF100603)
- 作品数：3 被引量：10H指数：2
- 相关作者：邱玉慧董冰霖黄少滨谢红张涛更多>>
- 相关机构：吉林大学哈尔滨工程大学中华人民共和国审计署更多>>
- 发文基金：中央高校基本科研业务费专项资金教育部人文社会科学研究基金黑龙江省哲学社会科学研究规划更多>>
- 相关领域：自动化与计算机技术经济管理更多>>
- 多Agent交互策略模型检测方法被引量：3
- 2016年
- 提出一种基于模型检测的多Agent交互策略验证方法,首先通过责任政策语言建模多Agent的交互策略,基于责任政策语言的操作语义将政策模型转换为模型检测器Nu SMV的输入,利用时态逻辑声明表征策略冲突的系统性质,然后利用模型检测器Nu SMV自动验证政策模型对性质的可满足性,并根据模型检测器产生的反例分析交互策略中的各种错误。该方法可提高交互策略的验证效率,确保多Agent系统设计的正确性。
- 张涛谢红黄少滨
- 关键词：形式化方法多AGENT系统NUSMV
- 面向国家治理的社会保险政策执行情况审计探索被引量：7
- 2012年
- 国家审计服务于国家治理,而国家治理通过公共政策来实现。社会保险审计必须发挥政策执行监督功能,由基金财务收支的合法合规性监督深化拓展至社会保险政策执行情况监督。文章阐释了当前社会保险政策执行情况审计的必要性及其对国家治理的重要作用,分析了社会保险政策执行情况审计的合法性依据,对其进行了职能定位,提出社会保险政策执行情况审计对国家治理的作用机制包括政策执行一致性审计、政策执行成本审计、政策执行效果审计、政策执行预测审计和政策执行反馈与跟踪审计,并以城镇企业职工基本养老保险政策为例,基于真实的养老保险审计数据进行了研究探索,阐释了社会保险政策执行情况审计的实现路径。
- 邱玉慧董冰霖张琼凯
- z轴旋转不变的三维形状描述子
- 2010年
- 针对现有三维模型内容特征提取过程中很难实现精准的预处理这一问题,提出了一种具有z轴旋转不变性质的三维形状描述子.此描述子基于模型体素化、球采样和傅里叶变换.在将模型体素化后,对体素模型进行多个同心球面采样,最后对采样数据应用三维傅里叶变换并提取其低频系数后形成模型的形状特征.在标准通用三维模型测试库Princeton Shape Benchmark上的实验结果表明:对于通用三维模型库,在无需模型位姿标准化的情况下,z轴旋转不变的三维形状描述子即可取得较好的检索效果,其表现优于形状分布、球面调和分析和直接傅里叶变换3种特征提取方法.
- 程言志吕天阳王森王钲旋
- 关键词：三维模型检索体素化
