自动化程式验证器

INTRODUCTION TO ACT I Today on TUNING IN THE U.S.A., Susan Stewart is at her parents home in Riverdale. There is a special reason for her visit today. A newspaper reporter from the Riverdale paper is coming to talk to her. He wants to know about Susa

发表于:2018-11-30 / 阅读(389) / 评论(0) 分类 欢乐美语

By David McAlary The U.S. space agency is planning to conduct its first completely automated rendezvous in space Tuesday. In a test of new technology, a spacecraft is scheduled to be launched to track

发表于:2019-01-03 / 阅读(93) / 评论(0) 分类 VOA2004(下)--健康科技

English-Only Coding Program Seeks Change in Japan Code Chrysalis offers a computer coding training program in Tokyo. Kani Munidasa is the companys chief. He used to be based in Silicon Valley in California a place where many of the worlds biggest tec

发表于:2019-01-03 / 阅读(83) / 评论(0) 分类 2018年VOA慢速英语(七)月

EDUCATION REPORT – July 11, 2002: School Vouchers By Jerilyn Watson This is the VOA Special English Education Report. The United States Supreme Court has made an important decision about American ed

发表于:2019-01-06 / 阅读(71) / 评论(0) 分类 教育与新闻

THIS IS AMERICA - Deep Space Is Next Aim for NASA After Shuttles SHIRLEY GRIFFITH: Welcome to THIS IS AMERICA in VOA Special English. I'm Shirley Griffith. CHRISTOPHER CRUISE: And I'm Christopher Cruise. This week on our program, we look at the Ameri

发表于:2019-01-12 / 阅读(287) / 评论(0) 分类 2011年VOA慢速英语(七)月

By Franz Wild Korhogo 27 July 2006 At least two have died in a series of violent clashes between political activists in Ivory Coast during the past week. The groups cannot agree over a national identification scheme, which is meant to pave the way f

发表于:2019-01-12 / 阅读(163) / 评论(0) 分类 2006年VOA标准英语(七月)

By David McAlary Washington 12 September 2006 The International Space Station has received a new pair of giant solar energy panels that will double the amount of power to the outpost. Spacewalking astronauts have begun the task of connecting them to

发表于:2019-01-12 / 阅读(145) / 评论(0) 分类 2006年VOA标准英语(九月)

Legislation to revise U.S. surveillance law survived a key test vote in the Senate Wednesday, despite opposition from some majority Democrats to a provision protecting telephone companies from possible privacy lawsuits. The Senate could give final a

发表于:2019-01-13 / 阅读(67) / 评论(0) 分类 VOA标准英语2008年(六月)

The United States, in a policy shift, says it will play a full role in future big-power talks with Iran over its nuclear program. Diplomats of the five permanent U.N. Security Council member countries and Germany, the so-called P5+1, meeting in Lond

发表于:2019-01-13 / 阅读(91) / 评论(0) 分类 VOA标准英语2009年(四月)

Scientists at the Massachusetts Institute of Technology have turned to Mother Nature for inspiration, inventing a device that mimics photosynthesis, the process plants use to convert sunlight and water into usable energy. MIT chemistry professor Dani

发表于:2019-01-14 / 阅读(159) / 评论(0) 分类 VOA标准英语2011年(四月)

Somali Famine Defies Easy Answers 解决索马里饥荒困难重重 The famine sweeping southern Somalia is posing a painful challenge to humanitarian organizations. Children are dying by the thousands just a few kilometers from warehouses full of em

发表于:2019-01-14 / 阅读(94) / 评论(0) 分类 VOA标准英语2011年(八月)

As part of the Seoul government's effort to make the city more accessible for women, it has created thousands of parking spaces just for women. Jason Strother | Seoul 24 November 2009 As part of the Seoul government's effort to make the city more ac

发表于:2019-01-14 / 阅读(58) / 评论(0) 分类 VOA标准英语2009年(十一月)

South Africa Service Uses Text Messaging to Help Expectant Mothers By 2014, there will be more phones on this planet than there are people, according to the United Nations telecoms agency. That startling comparison gave birth to an idea: Why not use

发表于:2019-01-14 / 阅读(56) / 评论(0) 分类 VOA标准英语2013年(五月)

EDUCATION REPORT – September 12, 2002: 'Liberty’s Kids' Television Show By Jerilyn Watson This is the VOA Special English Education Report. A new public television program is helping American chil

发表于:2019-01-19 / 阅读(102) / 评论(0) 分类 教育与新闻

PEOPLE IN AMERICA – April 28, 2002: Milton Berle By George Grow VOICE ONE: I’m Mary Tillotson. VOICE TWO: And I’m Doug Johnson with the VOA Special English program PEOPLE IN AMERICA. Today, we t

发表于:2019-01-30 / 阅读(194) / 评论(0) 分类 People in America

By Scott Bobb Johannesburg 21 November 2007 South Africa's President Thabo Mbeki says citizens convicted of political crimes during the apartheid era may apply for presidential pardons. He indicated the program was to complete the work of a reconcili

发表于:2019-01-31 / 阅读(64) / 评论(0) 分类 VOA常速英语2007年(十一月)

By Jim Stevenson Washington 11 January 2006 American speedskater Chris Witty seems to have accomplished what many Olympic athletes dream about. She has competed in three Olympics, winning a gold, silv

发表于:2019-02-04 / 阅读(148) / 评论(0) 分类 2006年VOA标准英语(一月)

Negotiators from six nations are preparing to meet in Beijing for talks on eliminating North Korea's nuclear programs. Discussions will focus on how to verify that Pyongyang is not hiding any nuclear materials or facilities. Daniel Schearf reports f

发表于:2019-02-04 / 阅读(68) / 评论(0) 分类 VOA标准英语2008年(七月)

Premier Li Keqiang visited Shenzhen on Monday and told the local government that the city should take a pioneering role in China's reforms and opening-up. Li said that role should include developing a Shenzhen-Hong Kong Stock Connect program to follo

发表于:2019-02-07 / 阅读(82) / 评论(0) 分类 cctv9英语新闻2015年

U.S. President George Bush is urging the North Korean government to agree to a strong verification of its nuclear program. VOA White House correspondent Paula Wolfson reports the comments came at a joint news conference in Seoul with South Korean Pr

发表于:2019-02-12 / 阅读(53) / 评论(0) 分类 VOA标准英语2008年(八月)
学英语单词
1024 petabytes
a long cry
abbeyfields
accrued interest on mortgages
acths
acylglycerophosphoglycerol
admissible statistical hypothesis
agistment
air craft
Amphilestidae
ancillary to
anelectrotonus
antifriction alloys
apocrustic astringent
Armenoceras
average rate of return
azel-scope
Babri Bānda
bactrocera (zeugodacus) cucurbitae (coquillett)
bamaquimast
Berkha, Mys
business fluctuations
busy seasons
clamourer
coevolutionary
computer-dependent
Costa butter
cross-bunkers
delaying action
dwelt on
easo
electrical silicon carbide
enhancement
ervatamine
external copulatory organ
factor of expansion
fit quantity
forsworn
Friedrich Gottlieb Klopstock
full-heartedly
glucose-6-phosphate dehydrogenase deficiency
ground-states
headwater elevation
hoax
homemade bomb
horn switch
Humegon
ice bath
image channel gain limited sensitivity
infra-red cell
inhuman weapons
linear- triangular element
lining shearling
load-limiting device
main return
measles diphtheroid
minimal tree
moisture tight
multibeam interferometer
nauman
near-surface layer
niggerhead curl
notch impact strength
nurse-anesthetists
nymwegen
Otradinskiy
overrepresent
pentacosamic acid
pilot calculation
plastic monoblock
pneumocystis jiroveci
pterion fontanelle
Quercus marlipoensis
railwayman
recidivisms
San Pablo, R.
science-material
secondary hardeness
sedimentary contect shoreling
self direction
self-directed learning
short-rib
signaling handle
sloothering
spout delivery pump
stades
stand out
stephen butler leacocks
storage working
Strophantose
take us as you find us
terminist
Trachyaugite
triodontid
two-head automatic arc welding machine
ultramicrofine
umbrosus
Venae profundae cerebri
vertical correction pulse
westernises
when do you think?
yadder