肖锟
- 作品数:10 被引量:18H指数:3
- 供职机构:武汉大学更多>>
- 发文基金:国家高技术研究发展计划更多>>
- 相关领域:自动化与计算机技术经济管理文化科学更多>>
- BOT项目资产归属及会计处理被引量:5
- 2009年
- BOT(建设-运营-移交)项目是为了缓解公共基础设施建设项目增加与投资资金紧张的矛盾而发展起来的一种投资模式。政府就某个基础设施项目与非政府部门的投资者签订特许权协议,授予投资者承担该项目的融资、建设、经营和维护的权力。在协议规定的特许期内,投资者通过向设施使用者收取费用,来回收项目投资、经营和维护成本,并获取合理回报;同时,政府部门拥有对这一基础设施项目的监督权。特许期届满后,投资者将该基础设施项目无偿地移交给政府部门。
- 胡莹王芸肖锟
- 关键词:BOT项目会计处理资产归属非政府部门建设-运营-移交特许权协议
- 电子教育资源整合综述
- 2008年
- 电子学习平台在依据用户特性提供合适的教育资源整合成高质量的课件上仍存在一些挑战,教育资源利用率低和不同电子学习平台上的教育资源交互不便等问题仍未完全解决。解决这些问题的一个办法就是高质量的教育资源整合。本文对教育资源整合中的几个关键性环节做了介绍,探讨了教育资源描述语言和教育资源整合中的知识表示问题,分析了几种教育资源开发方法,最后指出了今后教育资源整合的研究方向。
- 肖锟陈世鸿胡莹
- 关键词:教育资源资源整合描述语言知识表示
- 会计师事务所审计质量与规模化探讨被引量:2
- 2009年
- 审计质量包括两层含义:一是单项审计业务的质量,二是会计师事务所总体执业质量,它体现为特定会计师事务所在一定时期内所有审计业务的质量。人们通常认为,总体执业质量较高的事务所,预期其单项审计业务质量也较高。本文分析了事务所规模与事务所总体审计质量的关系,在此基础上,探讨通过规模化提高事务所竞争力的思路。
- 王芸胡莹肖锟
- 关键词:会计师事务所审计质量审计业务质量执业质量事务所规模
- 面向学习目标的学习对象柔性整合研究
- 肖锟
- 关键词:电子学习知识点知识关系
- 基于TPM的一种扩展结构
- 2006年
- TCG规范了TPM结构,并据此提出了可信链的传递过程,但在实际应用中,存在着两个问题:一是BIOS先于TPM启动,TPM验证BIOS可信困难;二是可信状态二元化,只是简单地把可信状态分为可信与不可信.通过分析TCG规范中的TPM及可信链传递过程,针对可信链传递过程中的TPM难以校验BIOS和可信二元性的不足,扩展TPM形成E-TPM.通过E-TPM与BIOS的相互验证及提出可信分级来解决TPM与BIOS的相互验证和可信评估问题.
- 肖锟陈世鸿徐明
- 关键词:TPM
- 基于MVC体系结构的文件保密柜研究被引量:3
- 2006年
- 软件体系结构研究是目前软件工程领域研究的新一轮热潮,是对软件的更高层次抽象。该文在分析MVC(Model/View/Controller)模式机理的基础上,给出了Linux的MVC文件系统体系结构,并讨论了Linux下文件保密柜的几种具体设计和实现形式。
- 肖锟毋国庆
- 关键词:软件体系结构
- 基于TPM的一种扩展结构
- TCG规范了TPM结构,并据此提出了可信链的传递过程,但在实际应用中,存在着两个问题:一是BIOS先于TPM启动,TPM验证BIOS可信困难;二是可信状态二元化,只是简单地把可信状态分为可信与不可信.通过分析TCG规范中...
- 肖锟陈世鸿徐明(頔)
- 关键词:TPM
- 文献传递
- 课件知识点操作的形式化研究被引量:1
- 2008年
- 知识点关系是连接知识点的纽带。教学系统智能性体现的一个重要方面是能够根据知识点之间的关系组织教学内容。受学生学习知识的能力和课时影响等原因,知识点之间的关系会经常发生动态变化。本文通过分析知识点之间的基本关系,形式化知识点的操作语义,通过操作语义检查,能保知识点动态变化情况下知识点间的关系依旧能保持一致性,为课件的动态生成提供理论依据。
- 肖锟李晓建陈世鸿
- 关键词:形式化课件
- 基于标注的一种积件查询匹配算法(英文)
- 2007年
- 基于树的包容匹配思想,把积件的查询转化为查询树与积件标注树之间的匹配.通过研究积件查询的特点,提出积件标注树匹配的3个定理.在此基础上,提出积件查询的逆路径字符串匹配算法.该算法从叶节点开始进行匹配查找,同时考虑从叶节点到根节点的路径长度关系,能尽早终止不能匹配成功的路径,避免了字符串的循环反复查找,同时利用同一路径长度下字符串按字典排序,跳过大量不可能匹配的路径.实验结果表明,此方法在保持积件查找速度的前提下,能有效提高积件的查全率和查准率.
- 肖锟陈世鸿
- 关键词:积件查询
- 从软件开发的历史探讨其发展趋势被引量:7
- 2005年
- 1945年,冯·诺依曼提出二进制方案,建立多级存储结构和并行计算原理,确立20世纪计算机的基本数学构型,宣告计算机时代的来临,软件开发的历史也从此正式开始.软件开发的过程就是人们使用各种计算机语言将人们关心的现实世界映射到计算机世界的过程.实质上就是程序员们对客观世界问题域的形式化的过程,即开发人员对客观世界问题域的认识在二进制代码世界内的重现过程:问题域→建立模型→编程实现→执行求解.
- 肖锟
- 关键词:软件开发计算机语言二进制代码问题域