专用超大规模集成电路在LED显示系统中的应用

自1976年蒙特利尔奥运会采用了第一块黑白视频显示屏以来，各种大屏幕特别是LED显示屏得到了迅猛发展，在现代信息社会中更是随处可见。在这些显示系统中，应用了大量的不同种类的集成电路作为驱动芯片。本文叙述了运用于LED显示系统中的超大规模集成电路的强大功能。     

北京市部分学校教室采光照明现状分析

近年来我国学生视力不良检出率居高不下,并且呈现明显上升趋势,已经到了极为严重的程度.学校教室的采光照明问题是保护学生视力健康的重要部分.2004年我国重新修订了国家标准〈建筑照明设计标准〉GB50034-2004.本文对北京市部分大中小学校进行采光照明的调查分析,结果显示,北京市学校教室采光照明问题十分严重,与国家标准要求差距很大,在被调查的39间教室中,窗地面积比达标率为20.5%,课桌面照度达标率为25.6%,黑板照度达标率为零.     

建筑业企业税赋负担存在的问题和建议

本文针对我省建筑业企业发展现状,分析了企业税赋负担存在的主要问题,提出了解决问题的建议措施。     

论高校开放式实验教学体系的构建

实施开放式实验教学已成为当前高校实验教学改革的突破口。实施开放式实验教学，必须构建科学的运行体系，主要包括教学目标体系、内容体系、保障体系和效能考评体系四个方面。     

用APACHE+PHP+MYSQL实现网站自动更新

在分析建立自动更新网站必要性的基础上,较详细地说明了如何利用APACHE+PHP+MYSQL工具实现网站自动更新中的权限控制、资料上传、自动更新,并给出了网页的部分源代码.     

结构滑模控制的一种指数趋近律方法

提出了一种指数趋近律 ,当正常运动段远离切换面时 ,能快速地趋向切换面 ;当运动接近切换面时 ,趋近速度又大大降低。这样与常用指数趋近律相比 ,过渡时间、系统的抖动以及所需控制力都能进一步减小。最后将这一理论应用到三层剪切型框架进行数值模拟 ,振动控制效果明显。     

常用激光介质膜的斜入射性能

本文给出了多层介质膜反射率与入射角的关系的计算机程序，并列出了部份常用激光膜片反射率-角度曲线。     

宣钢1260 m3高炉扩容大修改造设计

宣钢l260m^3高炉大修改造时将炉容扩大到l350m^3，对高炉本体系统设备及冷却系统、自动控制及检测系统进行了全面的改造更新，在炉腹、炉腰及炉身下部高热负荷区域采用铜冷却壁，取消炉身中上部铸铁冷却壁凸台，并采用薄内衬等先进、适用、可靠、成熟的技术。     

硫化矿石氧化性的实验室综合评判

探讨了一种硫化矿石氧化性综合评判的新方法 ,并将该方法应用于矿山实际 ,得到了准确的评判结果。该项成果对于硫化矿石自燃防治理论与技术的研究具有很高的参考价值。     

Abstract Implementation of Algebraic Specifications in a Temporal Logic Language

A formal technique for incorporating two specification paradigms is presented,in which an algebraic specification is implemented by a set of abstract procedures specified in pre and post-condition style.The link between the two level specifications is provided via a translation from terms of algebraic specifications into temporal logic formulae representing abstract programs.In terms of translation,a criterion for an abstract implementation satisfying its specification is given,which allows one to check the consistency between the two levels of specifications.The abstract implementations can be refined into executable code by refining each abstract procedure in it.It is proved that the satisfication relation between a specification and its implementations is preserved by such refinement steps.