R&D depreciation rates are critical to calculating the rates of return to R&D investments and capital service costs, which are important for capitalizing R&D investments in the national income accounts and harmonizing BEA statistics with those of the productivity program of BLS. Although important, measuring R&D depreciation rates is extremely difficult because both the price and output of R&D ...

The automation products have been applied in various industries, especially in the water disposing industry. This paper describes the design of the hardware and the software of the monitoring system of sewage treatment which is based on S7-300 PLC (Programmable Logic Controller) and the Profibus bus technology. The hardware of PLC includes the power supply, CPU (Central Processing Unit), analog...

Computer and communication industries develop so rapidly that the demand for software becomes larger and larger and the demand for software protections, such as copyright and anti-tampering defense, are more and more important to software users and developers. There are some technical measures for software protections, such as hardware-based protections, network filters, cryptosystems, etc. Sof...

Logical errors in finite-state concurrent systems such as sequential circuit designs and communication protocols are an important problem for computer scientists. They can delay getting a new product on the market or cause the failure of some critical device that is already in use. My research group has developed a verification method called temporal logic model checking for this class of syste...

Embedded systems support our social life and industries as “brains” in a wide variety of electronic products such as automobiles, home appliances, industrial equipment, and telecommunication devices. Research and development for these systems require innovative ideas to integrate technologies from hardware to software, from fundamentals to applications since embedded systems have to realize new...