Can computer reason? Reasoning requires the individual to take a given set of facts and draw correct conclusions. Unfortunately, errors frequently occur. Now, or at least soon, computers will be able to do logical reasoning in a variety of areas without making errors. The key to avoiding errors is to use a computer program that relies on the recent research in this field. AURA(Automated Reasoning Assistant) is the program that is the best example of this use of the computer.

AURA solves a program by drawing conclusions from a given set of facts about the problem. The program reaches logical conclusions perfectly as it uses various types of reasoning and solves almost all problems by using advanced techniques to find a contradiction（矛盾）.

One generally starts with a set of assumptions and adds a statement that the goal is unreachable. For example, if the problem is to test a safety system that automatically（自动地） shuts down a nuclear reactor when instruments indicate a problem, AURA is told that the system will not shut the reactor down under those circumstances. If AURA finds a contradiction between the statement and the system’s design assumptions, then this aspect of the reactor’s design has been proved satisfactory. This strategy lets AURA concentrate on the problem at hand and avoid many fruitless steps.

The chief use for AURA at this time is for electronic circuit（电路）design check, but a number of other uses will arise. For example, there already exist “expert systems” that are special purpose programs designed to automate reasoning in a specific area such as medical diagnosis. These expert systems continue to improve and have an endless life. Moreover, they can be reproduced just for pennies. A human who can expertly predict where to drill for oil is in great demand. A program that can predict equally well would be invaluable and could be reproduced any number of times.

Will the computer replace the human being? It seems likely that computer programs will reproduce more clever programs, such programs will assist, rather than replace, humans. Reasoning assistants will enable human minds to turn to deeper and far more complex ideas, which will be partially prepared and then checked for reasoning flaws by a reasoning program. Many errors will be avoided.

1．The way AURA works is to            .

A．explore the faults in designing.              B．discover the viruses in a program.

C．find out what is against the set programs                               D．predict by reasoning.

2．All of the following are mentioned as areas for the use of AURA EXCEPT            .

A．electronic engineering.                          B．search for oil

C．identification of diseases.                      D．mental logic

3．All of the following are advantages of expert programs EXCEPT           .

A．they can be reproduced endlessly          B．they are featured by self analysis.

C．they may be enriched in contents.          D．they are reproduced almost free.

4．What’s the best title for the passage?

A．Practical Uses of computers.                B．Suggested applications for AURA.

C．The technical perfection of AURA.        D． Computer aid to human reasoning.

While Jennifer was at home taking an online exam for her business law class, a monitor（监控器）a few hundred miles away was watching her every move.
Using a web camera equipped in Jennifer’s Los Angeles apartment, the monitor in Phoenix tracked how frequently her eyes moved from the computer screen and listened for the secret sounds of a possible helper in the room. Her Internet access was locked - remotely - to prevent Internet searches , and her typing style was analyzed to make sure she was who she said she was: Did she enter her student number at the same speed as she had in the past? Or was she slowing down?
In the battle against cheating, this is the cutting edge and a key to encourage honesty in the booming field of online education. The technology gives trust to the entire system, to the institution and to online education in general. Only with solid measures against cheating, experts say, can Internet universities show that their exams and diplomas are valid - that students haven’t just searched the Internet to get the right answers.
Although online classes have existed for more than a decade, the concern over cheating has become sharper in the last year with the growth of "open online courses." Private colleges, public universities and corporations are jumping into the online education field, spending millions of dollars to attract potential students, while also taking steps to help guarantee honesty at a distance.
Aside from the web cameras, a number of other high-tech methods are becoming increasingly popular. Among them are programs that check students’ identities using personal information, such as the telephone number they once used.
Other programs can produce unique exam by drawing on a large list of questions and can recognize possible cheaters by analyzing whether difficult test question are answered at the same speed as easy ones. As in many university classes, term papers are scanned against some large Internet data banks for cheating.
【小题1】Why was Jennifer watched in an online exam?

While Jennifer was at home taking an online exam for her business law class, a monitor（监控器）a few hundred miles away was watching her every move.

Using a web camera equipped in Jennifer’s Los Angeles apartment, the monitor in Phoenix tracked how frequently her eyes moved from the computer screen and listened for the secret sounds of a possible helper in the room. Her Internet access was locked - remotely - to prevent Internet searches , and her typing style was analyzed to make sure she was who she said she was: Did she enter her student number at the same speed as she had in the past? Or was she slowing down?

In the battle against cheating, this is the cutting edge and a key to encourage honesty in the booming field of online education. The technology gives trust to the entire system, to the institution and to online education in general. Only with solid measures against cheating, experts say, can Internet universities show that their exams and diplomas are valid - that students haven’t just searched the Internet to get the right answers.

Although online classes have existed for more than a decade, the concern over cheating has become sharper in the last year with the growth of "open online courses." Private colleges, public universities and corporations are jumping into the online education field, spending millions of dollars to attract potential students, while also taking steps to help guarantee honesty at a distance.

Aside from the web cameras, a number of other high-tech methods are becoming increasingly popular. Among them are programs that check students’ identities using personal information, such as the telephone number they once used.

Other programs can produce unique exam by drawing on a large list of questions and can recognize possible cheaters by analyzing whether difficult test question are answered at the same speed as easy ones. As in many university classes, term papers are scanned against some large Internet data banks for cheating.

1.Why was Jennifer watched in an online exam?

A．To correct her typing mistakes.

B．To find her secrets in the room.

C．To prevent her from slowing down.

D．To keep her from dishonest behaviors.

2.The underlined expression cutting edge in Paragraph 3 is closest in meaning to______.

A．advanced technique                     B．sharpening tool

C．effective rule                          D．dividing line

3. For Internet universities, exams and diplomas will be valid if _____.

A．they can attract potential students          B．they can defeat academic cheating

C．they offer students online help             D．they offer many online courses

4.Some programs can find out possible cheaters by _____.

A．checking the question answering speed

B．producing a large number of question

C．scanning the Internet test question

D．giving difficult test question

5. Which of the following is the best title of this passage?

A．The Advantages of Online Exams

B．The High-tech Methods in Online Courses

C．The Fight against Cheating in Online Education

D．The War against the Booming of Online Education

While Jennifer was at hose taking an online exam for her business law class, a monitor（监控器）a few hundred miles away was watching her every move.

Using a web camera equipped in Jennifer’s Los Angeles apartment, the monitor in Phoenix  tracked how frequently her eyes moved from the computer screen and listened for the secret sounds of a possible helper in the room. Her Internet access was locked — remotely — to prevent Internet searches, and her typing style was analyzed to make sure she was who she said she was: Did she enter her student number at the same speed as she had in the past? Or was she slowing down?

In the battle against cheating, this is the cutting edge and a key to encourage honesty in the  booming field of online education. The technology gives trust to the entire system, to the  institution and to online education in general. Only with solid measures against cheating, experts  say, can Internet universities show that their exams and diplomas are valid— that students  haven’t just searched the Internet to get the right answers.

Although online classes have existed for more than a decade ，the concern over cheating  has become sharper in the last year with the growth of "open online courses." Private colleges，public universities and corporations are jumping into the online education field . spending millions of dollars to attract potential students，while also taking steps to help guarantee honesty at a distance.

Aside from the web camers, a number of other high-tech methods are becoming increasingly  popular. Among them are programs that check students’ identities using personal information, such as the telephone number they once used.

Other programs can produce unique exam by drawing on a large list of questions and can recognize possible cheaters by analyzing whether difficult test question are answered at the same speed as easy ones, As in many university classes ,term papers are scanned against some large Internet data banks for cheating.

44.Some programs can find out possible cheaters by _____.

A.checking the question answering speed

B.producing a large number of question

C.scanning the Internet test question

D.giving difficult test question

41. Why was Jennifer watched in anonine exam ?

A.To correct her typing mistakes.

B.To find her secrets in the room.

Cto prevent her form slowing down.

D.To keep her from dishonest behaviors.

42. The underlined expression cutting edge in Paragraph 3 is closest in meaning to ______.

A.advanced teachique

B.sharpening tool

C.effective rule

D.dividing line

43.For internet universities, exams and diplomas will be valid if _____.

A.they can attract potential students

B.they can defeat academic cheating

C.they offer students online help

D.they offer many online courses

44.Some programs can find out possible cheaters by _____.

A.checking the question answering speed

B.producing a large number of question

C.scanning the Internet test question

D.giving difficult test question

45.Which of the following is the best title of this passage?

A.The Advantages of Online Exams

B.The High-tech Methods in Online Courses

C.The Fight against Cheating in Online Education

D.The War against the Booming of Online Education

While Jennifer was at home taking an online exam for her business law class, a monitor（监控器）a few hundred miles away was watching her every move.
Using a web camera equipped in Jennifer’s Los Angeles apartment, the monitor in Phoenix tracked how frequently her eyes moved from the computer screen and listened for the secret sounds of a possible helper in the room. Her Internet access was locked - remotely - to prevent Internet searches , and her typing style was analyzed to make sure she was who she said she was: Did she enter her student number at the same speed as she had in the past? Or was she slowing down?
In the battle against cheating, this is the cutting edge and a key to encourage honesty in the booming field of online education. The technology gives trust to the entire system, to the institution and to online education in general. Only with solid measures against cheating, experts say, can Internet universities show that their exams and diplomas are valid - that students haven’t just searched the Internet to get the right answers.
Although online classes have existed for more than a decade, the concern over cheating has become sharper in the last year with the growth of "open online courses." Private colleges, public universities and corporations are jumping into the online education field, spending millions of dollars to attract potential students, while also taking steps to help guarantee honesty at a distance.
Aside from the web cameras, a number of other high-tech methods are becoming increasingly popular. Among them are programs that check students’ identities using personal information, such as the telephone number they once used.
Other programs can produce unique exam by drawing on a large list of questions and can recognize possible cheaters by analyzing whether difficult test question are answered at the same speed as easy ones. As in many university classes, term papers are scanned against some large Internet data banks for cheating

1. 1.

   Why was Jennifer watched in an online exam?

   1. A.
      To correct her typing mistakes
   2. B.
      To find her secrets in the room
   3. C.
      To prevent her from slowing down
   4. D.
      To keep her from dishonest behaviors
2. 2.

   The underlined expression cutting edge in Paragraph 3 is closest in meaning to______

   1. A.
      advanced technique
   2. B.
      sharpening tool
   3. C.
      effective rule
   4. D.
      dividing line
3. 3.

   For Internet universities, exams and diplomas will be valid if _____

   1. A.
      they can attract potential students
   2. B.
      they can defeat academic cheating
   3. C.
      they offer students online help
   4. D.
      they offer many online courses
4. 4.

   Some programs can find out possible cheaters by _____

   1. A.
      checking the question answering speed
   2. B.
      producing a large number of question
   3. C.
      scanning the Internet test question
   4. D.
      giving difficult test question
5. 5.

   Which of the following is the best title of this passage?

   1. A.
      The Advantages of Online Exams
   2. B.
      The High-tech Methods in Online Courses
   3. C.
      The Fight against Cheating in Online Education
   4. D.
      The War against the Booming of Online Education