摘要：一、引言 1986年,Baldwin在支持逻辑程序设计(SLP)·中引人基于区间估计和不确定推模型~[l],但这个模型缺乏良好的理论基础,也未经大量实践检验。

摘要：为实现主动型氢原子钟脉泽的小型化，对其物理结构进行了优化设计。其中，腔一泡结构、真空系统、C场线圈、束光学系统、磁屏蔽系统均被理论分析和优化设计，并进行了相关的验证实验。双真空结构设计有效地减小了氢脉泽的尺寸。在此基础上，对空间应用主动型氢原子钟的地面样机进行了研制，复合泵技术进一步减小了主动型氢原子钟的尺寸和重量。

摘要：第三方物流是商品交易双方的部分或全部物流功能的外部提供者,服务多样化,责任和风险很大。从事第三方物流主要有与客户、分包人、物流信息系统提供商的合同责任风险、分包人的信用风险、对第三者侵权的法律责任、物流方案设计责任风险和投资等风险。

摘要：主动网络是一种新型的网络体系,它不仅可以传递数据包,而且还可以执行数据包中特定的运算任务。主动网络为用户提供了可编程的接口,用户可通过网络中的节点动态地注入所需的服务。但由于传统网络管理不适应主动网络管理,不能发挥主动网络的分布式计算能力。论文讨论了一种基于节点的主动网络管理模型,分析了该模型的结构、管理机制和设计要点,并对网络拓扑发现和流量进行了分析。

摘要：发达的离岸金融市场可以充当流通中外国货币蓄水池的作用,我国可采取多布点、分离型的离岸金融市场模式,对其中的风险采取制度化安排和经济性补偿两种方式规避,并要在税收方面给予优惠,协调离岸存贷利率和内资存贷利率,处理好央行部门利益与国家利益之间的关系,实施总体设计促进离岸金融业务的繁荣,提升离岸金融业在我国的发展空间,使我国经济与世界经济融为一体。

摘要：清洁、抽速稳定的高真空系统是氢脉泽工作必不可少的组成部分之一。文章详细介绍了双真空主动型氢脉泽真空系统的组成及各个组成部分的设计思路、方法。内容涉及真空的获得、真空泵的选择、氢脉泽物理部分双真空系统设计、流导及抽速的计算、泵体结构的设计和实验验证。实验发现,设计完毕的氢脉泽双真空系统保温效果较以前大幅改善,内外真空室本底流量为0.1 mA,工作流量值稳定在0.7mA时氢脉泽稳定输出-105 dBm信号,关闭流量后内真空抽真空本底时间约为8 min。表明内外真空室离子泵均达预期设计指标且工作正常。此外,该设计还进一步减小了脉泽体积、减轻了其重量,向氢脉泽小型化迈出了坚实一步。

摘要：本文根据均匀B样条基函数的de Boor-Cox递推公式提出了一种新的样条曲线曲面设计方法。该方法从满足正性、局部支柱性和权性的初始基函数出发,可构造出具有高阶低次或低次高阶的多项式样条基函数和多种函数类型的样条函数。给出了设计这种样条曲线曲面的几种方法和实例,并对基函数的连续可微性进行了证明。该样条基函数和样条曲线曲面具有和均匀B样条类似的几何性质,且均匀B样条是其特例,可用于曲线曲面的几何造型和样条插值。

摘要：1.前言随着软件开发技术和开发平台的不断发展,面向对象的软件设计技术和实现技术已经成为主流.UML作为一种完全支持面向对象的建模语言,提供了从软件开发过程模型、软件模型建立、模型精化、流程分析到软件生成的能力.

摘要：上海天文台已经设计了一种尺寸小、重量轻的TE_111模式微波腔体。对腔体的特性及振荡因子进行了讨论,结果表明。

摘要：氢微波激射器(氢脉泽)采用原子储存泡对氢原子进行囚禁,在低损耗谐振腔内形成稳定的自持振荡.本文采用具备低腔频温度系数的介质加载谐振腔替换传统的腔-泡结构,实现了氢脉泽的小型化;并分析了这种小型化方案对频率稳定度和准确度的影响.原子储存时间设计值为0.4 s,闭环后的频率稳定度为5.6×10^-15/(1000 s),与储存时间设计结果相吻合.