高伟
- 作品数：7 被引量：2H指数：1
- 供职机构：厦门大学更多>>
- 相关领域：自动化与计算机技术经济管理更多>>
- 大股东股权质押对其注入资产的评估增值率的影响
- 在公司治理问题的相关研究中,大股东行为研究往往备受青睐,许多学者试图从大股东身份出发研究其行为动机。值得注意的是,无论是分析控股股东的“掏空”动机还是“支持”动机,都应该结合控股股东自身的财务状况来考虑,而大股东股权质押...
- 高伟
- 关键词：股权质押资产注入
- Linux系统下基于I^2C接口的数据通信的实现
- 2007年
- 介绍在Linux系统下I2C总线结构、驱动编写以及I2C总线的软、硬件实现方式,并介绍了多线程技术在驱动调用过程中的应用。该方案已在以MPC850芯片为核心的监控平台上实现。
- 高伟石江宏
- 关键词：I^2C总线多线程LINUX系统
- G觟del语言的说明性语义简述
- 2009年
- Gdel语言是在Prolog语言基础上发展而来的一种新型逻辑程序设计语言。本文基于类型一阶谓词逻辑的模型论,阐明了Gdel语言的说明性语义,为该语言的实现模型奠定了一定的理论基础。
- 高伟
- Gdel语言控制机制的研究与实现
- 2009年
- Gdel语言是在Prolog语言基础上发展而来的一种新型逻辑程序设计语言,而控制机制是逻辑程序设计语言的核心内容.针对Prolog语言控制机制存在的问题,引出了Gdel语言中新的控制机制,包括DELAY延迟机制和剪枝操作然后通过实例分析,表明了这些新机制能有效地避免递归谓词的低效或无限循环调用,并能够实现子目标的协同执行,从而提高系统的运行效率.针对这一有效改进,在对Gdel语言控制机制比较深入研究的基础上,最后给出了Gdel语言控制机制的实现算法.该算法已在研发的Gdel语言编译系统中得以实现,通过实例测试,验证了算法具有较高的效率.
- 高伟赵致琢李慧琪昌杰
- 关键词：剪枝
- 逻辑程序设计语言Godel的说明性语义
- Godel语言是继Prolog语言之后出现的逻辑程序设计语言，它建立在多态多类的一阶逻辑基础之上，摒弃了Prolog语言中的非逻辑成分，集成了许多语言的有效成分和优点，引入了类型系统，这使得它成为一种高效的说明性逻辑程序...
- 高伟
- 关键词：逻辑程序程序设计设计语言
- 文献传递
- 逻辑程序设计语言G(？)del的说明性语义
- G(o|¨)del语言是继Prolog语言之后出现的逻辑程序设计语言,它建立在多态多类的一阶逻辑基础之上,摒弃了Prolog语言中的非逻辑成分,集成了许多语言的有效成分和优点,引入了类型系统,这使得它成为一种高效的说明性...
- 高伟
- 文献传递
- 逻辑程序设计语言Gdel与Prolog的比较
- 2009年
- 在多态多类的一阶逻辑基础之上,围绕类型系统、模块系统、控制机制、元程序设计和输入/输出部分对Gdel语言功能进行分析.重点比较了逻辑程序设计语言Gdel与Prolog的联系与区别,通过比较分析,表明由于摒弃了Prolog语言中的非逻辑成分,引入了多种新的语言成分,Gdel语言具有更好的说明性语义和执行效率.
- 昌杰赵致琢李慧琪高伟
- 关键词：PROLOG语言模块系统元程序设计
