您的位置: 专家智库 > >

肖锟

作品数:10 被引量:18H指数:3
供职机构:武汉大学更多>>
发文基金:国家高技术研究发展计划更多>>
相关领域:自动化与计算机技术经济管理文化科学更多>>

文献类型

  • 8篇期刊文章
  • 1篇学位论文
  • 1篇会议论文

领域

  • 8篇自动化与计算...
  • 2篇经济管理
  • 1篇文化科学

主题

  • 2篇知识
  • 2篇知识点
  • 2篇会计
  • 2篇TPM
  • 1篇代码
  • 1篇电子教育
  • 1篇电子学习
  • 1篇形式化
  • 1篇形式化研究
  • 1篇移交
  • 1篇政府
  • 1篇政府部门
  • 1篇知识表示
  • 1篇知识关系
  • 1篇执业
  • 1篇执业质量
  • 1篇软件开发
  • 1篇软件体系结构
  • 1篇审计
  • 1篇审计业务

机构

  • 10篇武汉大学
  • 3篇华东交通大学

作者

  • 10篇肖锟
  • 5篇陈世鸿
  • 3篇胡莹
  • 2篇王芸
  • 1篇李晓建
  • 1篇徐明
  • 1篇毋国庆

传媒

  • 2篇财会通讯(上...
  • 2篇计算机科学
  • 1篇电脑开发与应...
  • 1篇计算机研究与...
  • 1篇计算机工程
  • 1篇Journa...
  • 1篇第二届中国可...

年份

  • 3篇2009
  • 2篇2008
  • 1篇2007
  • 3篇2006
  • 1篇2005
10 条 记 录,以下是 1-10
排序方式:
BOT项目资产归属及会计处理被引量:6
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年
知识点关系是连接知识点的纽带。教学系统智能性体现的一个重要方面是能够根据知识点之间的关系组织教学内容。受学生学习知识的能力和课时影响等原因,知识点之间的关系会经常发生动态变化。本文通过分析知识点之间的基本关系,形式化知识点的操作语义,通过操作语义检查,能保知识点动态变化情况下知识点间的关系依旧能保持一致性,为课件的动态生成提供理论依据。
肖锟李晓建陈世鸿
关键词:形式化课件
Matching algorithm for label-based integrable-ware query
2007年
Based on tree-inclusion matching, retrieval may be transformed into matching between the query tree and the integrable-ware label tree. Considering the retrieval specialities of integrable-ware, three theorems of matching are given. On this basis, the inverted-path string algorithm for the integrable-ware label tree query is proposed. This algorithm searches from leaf nodes rather than from root nodes, and considers about the path length and the total number of leaf nodes. It can terminate the failed matching as early as possible and avoid spending too much time on loop comparisons in character string matching. It utilizes the dictionary suffix order to skip much of the impossibility matching path. The experimental results show that this algorithm enhances the recall and the precision of integrable-ware query efficiency while maintaining the searching speed of the integrable-ware.
肖锟陈世鸿
关键词:LABEL
从软件开发的历史探讨其发展趋势被引量:6
2005年
1945年,冯·诺依曼提出二进制方案,建立多级存储结构和并行计算原理,确立20世纪计算机的基本数学构型,宣告计算机时代的来临,软件开发的历史也从此正式开始.软件开发的过程就是人们使用各种计算机语言将人们关心的现实世界映射到计算机世界的过程.实质上就是程序员们对客观世界问题域的形式化的过程,即开发人员对客观世界问题域的认识在二进制代码世界内的重现过程:问题域→建立模型→编程实现→执行求解.
肖锟
关键词:软件开发计算机语言二进制代码问题域
共1页<1>
聚类工具0