The paper begins by discussing various approaches to hardware specification and verification. The main emphasis is on using mechanical verification tools to assist the verification process. The case study is the verification of a seven-segment LED display decoder circuit design, in which two popular verification tools, HOL and PVS, are compared and evaluated.

In order to solve the problems of large energy consumption existing in tunnel lighting control system, an automatic control system of tunnel lighting is designed based on stepless control method. The tunnel lighting control model is established based on “Specifications for Design of Ventilation and Lighting of Highway Tunnel (China)”. Simulation of tunnel lighting control based on the establish...

In this paper, we present a new design of a sweptvolume 3D-360-degree display system with rotating LED panel. This system, which adopts the idea of modular design, is constituted of a mechanical part, a circuit part and a software part. The circuit part is mainly composed of synchronous control module, high speed data transmission module, display module and display control module, etc. The mech...

LED backlight for LCD is an emerging technology with vast performance potential compared to CCFL backlight. The key performance which directly impacts the consumer is the image quality on LCD screen. This paper will review some of the performance enhancements in image quality arising from LED backlight.

Using detailed data from garment factories in Bangalore, India, we estimate large, negative impacts of temperature on productive efficiency (actual over target output). The introduction of LED lighting, which emits less heat than standard lighting, attenuates the temperatureproductivity gradient by 75 percent. Our estimates suggest that productivity returns to LEDs are more than four times larg...

The digitization of clock has brought us enormous conveniences and the development of the special-purpose clock chip would extend the traditional functions of clock. In this article, we design a new calendar clock based on DS12C887 chip and AT89C52 SCM. The system includes 5 parts: the AT89C52 SCM module, the calendar clock module, the LED display module, serial communication module and the C51...

This paper presents the design of a capacitive power transfer (CPT) system by using the Class-E amplifier approach. The Class-E amplifier approach is chosen to be adopted since it produces high efficiency as close as to 100%, theoretically. Based on the Class-E approach, a design of wireless power transfer system is used to transfer power to a LED lamp. The system has an output around 4.2 watts...

مادة آلی محلول رنگی (CDOM) مقیاس مهمی در سنجش کیفیت آب است. می‌توان اذعان کرد CDOM نور موجود لایه‌های را کاهش می‌دهد و فعالیت‌های بیولوژیکی فتوسنتز مختل می‌کند سرانجام، مانع رشد جمعیت فیتوپلانکتون‌‌هایی می‌شود که برای زنجیرة غذای آبزیان ضروری‌اند. بیشتر تحقیق‌هایی تا کنون به انجام رسیده، از طول موج خاصی اندازه‌گیری ضریب جذب استفاده شده است اما، این تحقیق، امکان گسترة‌ وسیعی باندهای طیف مرئی، تع...

Many of the documents in this series are prepublication/preprint articles, which may subsequently appear (part or whole) in peer reviewed journals and books. In most cases they are draft documents, the purpose of which is to foster discussion and debate, prior to publication elsewhere, whilst ideas are still fresh. Further information about the research programme and other papers in this series...