-
题名信息化条件下国家审计业务组织管理模式创新研究
被引量：39
- 1
-
-
作者
河南省审计厅课题组
-
出处
《审计研究》
CSSCI
北大核心
2013年第2期3-9,共7页
-
基金
审计署2011至2012年度重点科研课题“信息化条件下国家审计业务组织管理模式创新研究”阶段性研究成果
-
文摘
在信息化条件下,应当充分利用信息技术,依托审计信息管理平台,实行"中长期审计计划与年度审计计划相协调+全程监管"的审计计划管理模式,"矩阵式组织+头盔式管理+多层级联网联动"的审计业务实施管理模式,"在线获取审理数据+两次审理"的审理工作模式,"统一落实审计整改+审计结果信息共享"的审计整改管理模式,审计项目多行业数据平台联网审计模式。信息化的快速发展及云计算在审计信息化建设中的应用,必将进一步推进审计业务组织管理模式的变革。
-
关键词
信息化
国家审计
业务组织管理
-
Keywords
informatization, national audit, professional work management
-
分类号
F239.44
[经济管理—会计学]
-
-
题名面向跨组织业务流程的角色行为验证方法
- 2
-
-
作者
叶鑫
马俊锋
-
机构
大连理工大学信息与决策技术研究所
-
出处
《计算机工程与设计》
CSCD
北大核心
2011年第10期3368-3373,共6页
-
基金
国家自然科学基金项目(71001013)
教育部高等学校博士学科点专项科研基金项目(200801411060)
中央高校基本科研业务费基金项目(DUT09RC(3)060)
-
文摘
为了更有效地保证跨组织业务流程模型的正确性和合理性,应用Pi演算提出了一种基于状态的角色行为的验证方法。基于Pi演算提出了跨组织业务协作中的角色模型,设计了角色描述表,以清晰、直观地描述角色的权利、职责和义务,进而应用Pi演算验证工具MWB(移动工作平台)的check和step命令提出了单角色验证方法,并在此基础上从业务对象状态和业务操作角度提出了多角色验证方法。实现了角色行为的验证,并为跨组织业务流程的可达性、一致性和死锁等分析奠定基础。
-
关键词
跨组织业务流程管理
角色模型
业务流程分析
PI演算
模型验证
-
Keywords
inter-organizational business process management
role model
business process analysis
Pi-calculus
model checking
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
-
题名关键业务中内存数据库的T树索引优化
被引量：7
- 3
-
-
作者
林鹏
李航
徐学洲
-
机构
西安电子科技大学软件工程研究所
-
出处
《计算机工程》
CAS
CSCD
北大核心
2004年第17期75-76,97,共3页
-
基金
国家"十五"预研基金资助项目(413150501)
-
文摘
在关键业务中,提高DBMS性能的一个途径是把数据库放在主存中而不是硬盘中,这样便可以设计新的数据结构和算法,来提高内存数据库(MMDB)的效率。该文列举了当前MMDB研究中关于索引结构的一些成果, 并设计了一个新的索引结构——T-tail 树, 最后给出了T-tail 树的主要算法和这些算法的性能分析。结果表明在内存数据库中, T-tail 树具备非常好的性能。
-
关键词
应用服务器
T树
T-tail树
内存数据库
业务对象组织与管理
-
Keywords
Application server
T tree
T-tail tree
Main memory database(MMDB)
BOOM
-
分类号
TP311.12
[自动化与计算机技术—计算机软件与理论]
-
