亚洲人成网站18禁止中文字幕,国产毛片视频在线看,韩国18禁无码免费网站,国产一级无码视频,偷拍精品视频一区二区三区,国产亚洲成年网址在线观看,国产一区av在线

World

Hot Link

Computer Guru Saluted

Already recognized by Britain, an East China Normal University professor of computer science was to be honored this morning by the city for his work in developing an algebraic system that checks the accuracy of systems and application software.

He Jifeng, 58, who was trained as a mathematician, is one of the 10 first-place winners in the Science and Technology Commission's annual competition.

He will receive 60,000 yuan (US$7,229).

The commission is also honoring 256 other scientists.

He received Britain's Queen Award in 1989 and 1992 for his work on the software system, which took him 17 years to develop, including 14 years at the Oxford University Computer Laboratory. His work there was funded by a grant of US$5 million from the European Union and the British Natural Science Foundation.

He's Design Techniques for Safety-Critical System makes it possible to decode computers' binary "language" of sequences of zeros and ones into a "drawing sheet."

"When we want to raise a skyscraper, we have to work out a blueprint first. Similarly, it is also necessary to take down our computer programs before they become numerous zeros and ones," he said. "For me, the most challenging part of my job is merging my mathematics major with computer science."

In a world powered by information technology, software and programs are crucial. But their developers have to spend much of the "designing time" ferreting out defects in their products. They have to design another program, sometimes even longer and much more complicated than the main one, to detect problems with it, he said.

Even so, the "cleanup" might not be perfect, which would have grave implications in fields such as aerospace, nuclear power and E-commerce.

"If some bugs were found later, it's pretty tough to efficiently debug them," He said.

He's system's "blueprint" examines system or application software, rather than having to wait until bugs are discovered.

Officials of IBM, which used He's system to check its new software, said it cut their project cost by 11 percent.

He said he wants to help government develop the city's software industry.

(Eastday.com.cn 04/16/2001)


In This Series

Proposals to Safeguard Computer Networks

Wu Leads the World in Mathematical Mechanization

New Policies to Aid Software Industry

IBM to Supply Chips for Chinese Internet Hardware

References

Archive

Web Link

    1. <ul id="556nl"><kbd id="556nl"><form id="556nl"></form></kbd></ul>
      <thead id="556nl"></thead>

      1. <em id="556nl"><tt id="556nl"></tt></em>
        <ul id="556nl"><kbd id="556nl"><form id="556nl"></form></kbd></ul>

        <ul id="556nl"><small id="556nl"></small></ul>
        1. <thead id="556nl"></thead>

          亚洲人成网站18禁止中文字幕,国产毛片视频在线看,韩国18禁无码免费网站,国产一级无码视频,偷拍精品视频一区二区三区,国产亚洲成年网址在线观看,国产一区av在线 人妻无码久久影视 日韩久久久久久久久久久久 精品国产香蕉伊思人在线 无码国产手机在线a√片无灬 91在线视频无码