【摘 要】
：
OpenGL图形系统的开发难度随着OpenGL应用的不断发展和深入而日益增大,潜在的错误也越来越多,其中不能准确理解OpenGL规范是重要原因之一。由于OpenGL规范的描述主要是以自然
论文部分内容阅读
OpenGL图形系统的开发难度随着OpenGL应用的不断发展和深入而日益增大,潜在的错误也越来越多,其中不能准确理解OpenGL规范是重要原因之一。由于OpenGL规范的描述主要是以自然语言为主,而且规范繁多,使用形式化描述规范可增加规范的准确性。本文选择描述OpenGL光照规范。通过列举光照的实例,利用Z语言给出了OpenGL中光照的规格说明,为规范的一致性测试提供了依据。
其他文献
<正> 人们认识世界归根到底是为了改造世界,因此,在认识世界获得理论知识以后,还必须向改造世界的实践飞跃。但是,人们所获得的理性认识并不能直接指导人们改造世界的实践。这是由于理性认识是关于事物的外部结构方式、内外联系形式及属性、本质、规律等等为内容(具有客观真理性)的知识理论,它只揭示外部世界是什么,而没有告诉人们应当怎样创造出具有符合于人的需要的形式和规定的“应当如此”的客体。
<正> 《水浒传》的作者是谁?——施耐庵?罗贯中?施、罗合作?集体创作?80年来,众说纷纭,莫衷一是。笔者认为,小说的真正作者既不是“施耐庵”这个假托的名字;又不是山西太原的罗贯中。而是山东东原(东平县)的罗贯中。论证如下:(一)罗故乡“梁山泊”的英雄故事吸引着作家们广泛注意
<正> 查继佐,号伊璜,自号与斋,学者称为东山先生。人们从他一百零二卷的《罪惟录》以及《国寿录》、《鲁春秋》、《东山国语》等宏篇巨著中,知道他是一位著名的历史学家。近期笔者读史查阅资料,又发现了查继佐一些鲜为人知的佚事。现提笔成文,以飧读者,借此对其人有更深的了解。
教师课程调适是由课程实施调适取向结合教师课程权力所衍生而出,是将新课程理念与课程实践有效结合的手段。随着课程研究以及教师课程权力研究的不断深入,有关教师课程调适的
<正> 我读过你撰写的《奥尼尔创作论》、《当代美国戏剧》等专著以及您主编的《西方现代戏剧流派作品选》,知道您在外国戏剧领域里作了长期的探索。想请您谈谈品特的创作风格
在企业参与公益活动的潮流中，确保企业的核心优势与公益机构的需求相符是至关重要的，而沃尔沃建筑设备与姚基金关于“篮球季”的合作也正是对此最好的诠释。
基于弹道修正理论对火箭弹弹道进行修正和控制以提高火箭弹射击精度,本文阐述了其工作原理和发展历史及现状,并对它们采用的弹道修正技术进行了分析,继而论述了弹道修正火箭
最近头儿让我制作一份问卷调查,为了使调查不影响同事们正常的工作,咱决定以选择题为主。动手后才知,制作这貌似简单的选择题,如果按常规方法逐题输入,还有点难办：每题都得重
马克思的土地产权理论是一个科学的理论体系，在《资本论》、《剩余价值理论》、《政治经济学批判》等经典著作中均蕴藏着十分丰富的土地所有制理论。在《政治经济学批判》中，马