Ada软件数据流分析方法及其实现

简要介绍了有关数据流分析的基本概念之后，较为着重地讨论了一种基于静态分析的Ａｄａ软件数据流分析方法，同时也讨论了分析过程中一些实现原理。实践结果表明，文中讨论的数据结构，实现机制与处理方法是行之有效的。     

原子钟和空间实验

描述了高稳定性原子钟目前的进展水平、原子钟性能对空间实验测量的意义，并对应用原子钟的一些空间实验，特别是现在技术上能实现的一些空间载钟的科学实验进行了介绍。     

我国早期原子钟研制历程回顾

“2019全国时间频率学术会议”是由四个专业委员会联合每两年举办一次的20周年纪念会。20年来，我国原子钟事业已有长足发展，成为世界上原子钟研制与开发的大国。但总体上说，我们的工作还是以跟随为主，真正属于自主创新的较少。不改变这种局面，我们还难以成为独立自主的时间频率强国，为国家经济和国防建设作出应有贡献。本文回顾了我国原子钟研发的情况，提到一些从基础研究上属于原始创新的案例。阐述了这些案例是在简陋的实验条件下依靠对原子钟内各类实验现象进行深入的物理分析基础上出现的。同时，也指出了在比较粗糙的工艺条件下实现精细的技术指标中能工巧匠所起的特殊作用。文章也约略提到国内各单位间无私协作的崇高精神。本文将讲述一些故事，并就原子钟产业的问题表示一点看法。中国要实现“强国梦”，阻力和困难还很多很艰巨，我们必须拥有丰富的原始创新来加以克服。为此，坚韧的奋斗钻研精神和传统仍不失借鉴与继承意义。     

我国早期原子钟研制历程回顾

“2019全国时间频率学术会议”是由四个专业委员会联合每两年举办一次的20周年纪念会。20年来，我国原子钟事业已有长足发展，成为世界上原子钟研制与开发的大国。但总体上说，我们的工作还是以跟随为主，真正属于自主创新的较少。不改变这种局面，我们还难以成为独立自主的时间频率强国，为国家经济和国防建设作出应有贡献。本文回顾了我国原子钟研发的情况，提到一些从基础研究上属于原始创新的案例。阐述了这些案例是在简陋的实验条件下依靠对原子钟内各类实验现象进行深入的物理分析基础上出现的。同时，也指出了在比较粗糙的工艺条件下实现精细的技术指标中能工巧匠所起的特殊作用。文章也约略提到国内各单位间无私协作的崇高精神。本文将讲述一些故事，并就原子钟产业的问题表示一点看法。中国要实现“强国梦”，阻力和困难还很多很艰巨，我们必须拥有丰富的原始创新来加以克服。为此，坚韧的奋斗钻研精神和传统仍不失借鉴与继承意义。     

反方观点:时空旅行不可能实现

目前，纽约城市大学的加来道雄教授宣布，时空旅行至少在数下年后才能成为现实，这引起了一些希望在21世纪内实现时空旅行的人的反驳更令他们不满的是，科学界还存在着一大批否定时空旅行的科学家。     

火星取样返回的必要性与科学目标

<正>1引言相信大家不会对火星取样返回（MSR）这个词感到陌生。除了中国已正式宣布火星取样返回探测计划之外，美国国家航空航天局（NASA）和欧洲航天局（ESA）也宣布了火星取样返回探测计划，并公布了该计划的执行细节。尽管国内外有了火星取样返回计划，但毕竟还都没有实现，国内对这方面的报道也比较少。本文就人们普遍关心的问题进行介绍，主要涉及一些基本问题，如：为什么要取样返回？取样返回的科学目标是什么？到火星的什么地方选取样品等。     

宇宙三禁律

著名的天文学家和科普作家卡尔·萨根曾经提出一个极为深刻的问题：物理学定律容许无限发达的文明做些什么？又严禁他们做什么？卡尔·萨根推测，在遥远的将来，无限发达的文明将可能实现一些今天我们看来不可思议的奇迹（甚至实现像“暴胀论”创始人艾伦·古斯提出的用９千克物质再造一个宇宙的这类疯狂梦想）。但仍有些事情，人们一直梦寐以求，不断有人绞尽脑汁论证它的可行性，但却永远是一个神话。用物理学家的话说：“宇宙禁止这种事情发生”。时间机器、空间捷径以及超光速运动可能就是这种事情，我称之为宇宙三禁律。时间机器：美梦…     

十起外星人事件揭秘

故事二：外星人绑架 故事：数以百计的人们声称自己曾经被外星人绑架过，尤其是在20世纪80年代期间。他们被强奸．或被强迫进行实验和移植，以及其他的身体侵犯。一些著名的研究者，包括哈佛的约翰&#183;马克都支持这种言论．并写下了一些关于这些受害者的书。     

UFO:期待实体性证据

不明飞行物和地外入侵者的传闻引起人们长期沸沸扬扬的争论，一些书，包括一些畅销书坚持说，UFO一直在与人类密切接触；怀疑论者们却说，这些书不过是老货新包装。在《共享》一书中，作者惠特利·斯特里帕讲述了他受到地外生物访问的经历。他们迅速而神秘地带走了他，在他的右耳后插入一根小针。他经历的某些片断被地外入侵者“屏蔽掉了”，事后只有借助催眠才能回忆得更完整一些。另一本书，巴德·霍普金斯写的《入侵者》，详细描述了科普利伍兹的“卡蒂·戴维斯事件”：印第安纳一位年轻的母亲在一个闷热的晚上有过与斯特里帕相似的经…     

过去50年人类太空飞行之最

1961年4月12日，宇航员尤里·加加林乘坐“东方”号进入太空，围绕地球运行108分钟，实现了人类的飞天梦。加加林成为进入太空第一人。但是在过去50年间，人类在太空探索过程中创下了很多其他世界纪录。下面是其中一些，它们包括进入太空年龄最大的人和在太空连续作业时间最长的人。     

欧洲空间公司欲走合并之路

冷战结束后，各航天大国在军事空间领域强调发展“两用技术”，在民用空间领域则加快商业化的步伐。空间产品正在努力改变过去单件生产的方式，向着小批量、规模化的方式转变。随着卫星研制技术的日臻成熟，生产能力的提高，建造周期的缩短，一些大型空间制造公司的卫星生产任务已有不足之虞。在这种形势下，一些大的空间制造公司趋向于合并或联合，在技术优势互补的基础上，实现空间产品的产业化，缩短交货时间，提高市场竞争力。继１９９４年法国马特拉·马可尼公司收购英国航空航天公司空间系统部，今年３月美国洛克希德公司与马丁·玛丽…     

航天器微型化的新突破——“微电子机械系统”

近年来，由于微电子技术的迅猛发展，航天器上使用的电子部件和系统早已告别了分立元件的时代，用上了集成电路，甚至大规模集成电路。空间电子系统不仅实现了小型化、微型化，而且正在向着商业化迈进。有了这样的基础，国外依靠科学基金资助的在校大学生和一些名不见经传...     

美国谋求对外层空间的军事控制

今天的美国在各个领域里越来越依赖于各种应用卫星。从导弹的制导到商业交易，大量的军事、经济、社会活动通过卫星进行。因此美国国防部资深官员认为在外层空间取得军事优势将是美国武装力量的优先任务之一。1997年2月12日，美国国家安全工业协会和国防部共同发起了第二届空间政策与组织年会，美军航天司令部司令HowedEstes在会上的一些讲话很能反映美军目前对空间控制的一些理论和政策。他认为美军需要实现对外层空间的控制，并满足相关武器系统的要求，为在这方面保持领先地位而作出的任何决定军方都予以支持。但是由于一些国际条约的限…     

空间微重力条件下碲镉汞晶体的布里支曼生长

在中国返回式卫星上进行了一台双温区空间晶体生长炉的搭载试验，成功地实现了空间微重力条件下碲镉汞晶体的布里支曼生长，取得了一些有意义的结果。文章介绍了这种晶体炉的设计和空间试验的过程；分析了回收样品的主要测试结果；并对空间材料加工装置的设计和一些相关工艺问题进行了讨论     

卫星通信体制介绍

随着通信卫星的快速发展，各种先进的通信体制也随之迅速发展。因此，有必要对各种通信体制作一介绍。１　频分多址（ＦＤＭＡ）ＦＤＭＡ通信体制是最基本、最“古老”的一种多址方式，其突出优点是简单、可靠、便于实现。因此，在卫星通信发展的初期，几平都采用这种多址方式，至今也仍然是一种主要的多址方式。尽管ＦＤＭＡ通信体制简单而易于实现，但系统中有一些关键问题是必须妥善解决的，这就形成了ＦＤＭＡ通信体制的若干特点：首先，要求系统进行严格的功率控制。这个问题在功率受限时尤为突出，因为系统中某一种地球站发射的功率若…     

腊玛古猿的地位

腊玛古猿的地位代敏１９３２年，美国耶鲁大学年轻的研究人员爱德华·刘易斯在印度发现了一些化石，据推测可能是一只古猿的上颌骨的部分碎片。这些化石引起了人类学家埃尔温·西蒙斯的注意，他仔细研究了这些化石，发现它的颊齿（前臼齿和臼齿）有些像人的颊齿，牙齿的咬...     

“平行宇宙”事件

在西方历史上，论起最神秘的失踪案，要数1809年英国外交官本杰明&#183;巴瑟斯特走出德国的一家小酒店时，在众目睽睽之下离奇失踪的事件。事隔139年之后，一个身穿19世纪服装的中年人突然出现在德国南部，他自称是“佐治亚总督巴瑟斯特”。美国情报机构怀疑他是纳粹残余分子，在他试图逃跑时将其击毙。最近，英国《奇异时代》杂志对此事件进行了深入研究，一些人甚至认为，平行宇宙有可能不仅仅只是理论。     

“奥德赛”个人移动通信卫星系统

利用无线电手持电话机实现地球上任何两个地方之间的通信是电信工业长期以来追求的目标，利用卫星系统实现这个目标已经为期不远了。目前正在酝酿中的个人移动通信卫星系统的方案不少，其主要区别在于组成系统的卫星数量、功率和运行轨道的不同。通常，当卫星运行高度降低时，卫星的功率可以降低，但组成系统的卫星数量将增加。两个极端是高功率的地球同步轨道卫星或小功率的低轨道卫星（轨道高度为几百公里）。一些富有卫星通信经验的公司正在酝酿中轨道卫星方案。ＴＲＹＶ公司提出的“奥德赛”（Ｏｄｙｓｓｅｙ）系统就属于中轨道方案，该…     

计量校准测试实验室综合管理系统的设计与实现

针对计量校准测试实验室存在管控力不强、工作效率低等问题,开发了符合计量校准测试实验室业务工作模式的计量综合管理系统,实现了检定校准测试工作基于过程控制的网络化运行,实现测量标准档案、计量资源以及图书资料等各种资料档案的信息化管控,促进了质量管理体系运行模式的进一步优化,达到了“过程控得住,文件管得好,工作效率高”的目标,具有较大的应用推广价值。给出了系统总体设计和采用的一些关键技术。     

A/D和D/A转换特性参数测试方法

简要介绍了A/D、D/A转换器的主要测试参数,着重讨论转换特性参数的测试方法及其在混合集成电路测试系统上的实现;同时还介绍了A/D、D/A转换器的一些其他测试方法。