Power from space: the policy challenge

The scientific community has long embraced the concept of globalized collaboration, recognizing that scientific inquiry knows no borders and that scientific theory transcends nationality. With respect to translating scientific and technological innovation into practical application, however, national, political, and ideological barriers suddenly arise. At a time when the worlds of economics and finance are rapidly globalizing, the world of applied science lags behind — despite increasingly urgent need for global energy solutions. In the context of considering space solar power (SSP) systems, the author contends that these solutions require new ways of determining costs and benefits; that scientific experts should seek active engagement in the policy arena; and that SSP's scientific community has a critical role to play in advocating for consideration of space-based energy solutions.     

Ф4米直升机风洞试验台动力系统研制

动力系统是Ф4m直升机旋翼机身组合模型试验台的关键子系统,主要由150kW高速中频电机、控制器和控制计算机等组成。对整套系统来说,转速闭环控制的实现及变频器参数的调整、远程监控的实现是其关键技术,这些关键技术的解决及系统的调试,使系统具备了调速范围宽、机械特性硬、精度高及运行可靠等优点,达到了研制的目的。     

ECK2007模型与其他密钥协商协议模型安全强弱关系的形式化证明

比较了安全性模型Extended Canetti＆Krawczyk 2007（ECK 2007）与其他4个安全模型（Bellare＆Rogaway 1993（BR93）,Bellare＆Rogaway 1995（BR95）,Bellare,Pointcheval＆Rogaway 2000（BPR 2000）和Canetti＆Krawczyk 2001（CK2001））的不同点,并形式化地分析了这些模型之间的强弱关系,对模型间存在的蕴含关系提供了形式化证明,对非蕴含关系提供了反例。     

电推进系统在静止轨道卫星平台上应用的关键技术

在未来静止轨道平台上应用电推进系统是我国航天事业发展的必然趋势。将氙离子电推进系统(XIPS)应用于静止轨道卫星平台,除了要解决电推力器本身的问题之外,还要在系统应用方面做大量工作。以该静止轨道卫星对电推进系统的需求为基础,从三个方面对电推进系统在未来静止轨道平台上应用所涉及到的关键技术进行了分类及梳理:一是电推进系统与电推力器之间的关系,包括电推力器与推进剂贮存和供给子系统、电源子系统、控制子系统联合工作所涉及到的关键技术;二是电推进系统与化学推进系统的协调工作,包括两种推进系统的任务分工及相互影响所涉及到的关键技术;三是电推进系统对整星及大系统的影响,包括电推进系统对电源、热控、羽流污染控制、电磁兼容性(EMC)、遥测遥控、自主管理等所涉及到的关键技术。通过对这三个方面的关键技术进行梳理,明确了电推进系统在整星上应用所需要开展的工作。     

无人作战飞机任务系统设计关键技术

介绍无人作战飞机的发展对现代空战的影响,元人作战飞机的作战使命、操控方式,重点描述无人作战飞机任务系统设计的关键技术,强调开展无人作战飞机任务系统研究的必要性。     

一种基于身份的移动自组网认证机制

针对移动自组网无公钥基础设施的特点,采用基于身份的密码学算法、分布式秘密共享算法和椭圆曲线加密算法,实现安全高效的移动节点认证.简单讨论基于身份的数字签名算法;介绍如何使用Lagrange插值公式,实现分布式的系统主密钥;然后给出节点密钥安全分发的模型,并在此模型的基础上,基于椭圆曲线加密算法实现安全的分布式节点密钥签发;给出算法安全性和效率分析;根据双线性对的特点,讨论会话密钥的产生和更新.给出的认证方法,具有分布式实现和安全高效的特点,同时可以非交互式产生一次性会话密钥,适用于分布式移动网络环境.      

基于EPASS1000网络身份安全认证 解决方案的设计

网上身份认证是网络安全的一个关键环节,为此,提出了采用EPASS1000进行网上身份安全认证的解决方案.EPASS1000是一种便携式的通过USB接口与计算机相连的硬件设备,内置了MD5加密安全算法,该算法在加密原文中引入自由因子,使同一原文在不同的加密过程中具有不同的结果.实现了EPASS1000的安全特性与网上实际应用的完美结合,给出了身份安全认证的实现过程,构建了EPASS1000网上身份安全认证逻辑模型,并以ASP(Active Server Pages)为语言工具给出了一个具体的程序实现,有效地解决了网上安全身份认证问题.      

一种基于滑窗的余度指令判别算法

在对关键指令进行接收处理时,往往需要增加对该类指令的判断,防止因为人为错误行为或是外界干扰造成意外事故。比较常见的有"3"判"2"或者"5"判"3"甚至更大数量的余度指令判别法,但是这些普通的判别法在某些情况下会失效。以浮空器为应用背景,提出了一种基于滑窗的余度指令判别算法。在大量的测试用例下,算法执行成功,结论证实该算法具有一定工程应用前景。     

基于有限元法的机翼安全性评价的研究

运用有限元方法及大型有限元软件包Ansys，提出利用三个指标定量评价机翼的安全性，即应力位移的条件、关键点的安全系数、机翼载荷失效过程稳定安全度。并通过空客A320实例验证这种做法的有效性。计算结果表明，机翼总体上满足安全稳定要求，机翼发生失效的最危险的部位是机翼的根部，在循环疲劳载荷作用下，应注意机翼的根部及机翼的关键点上。     

Space technology transfer: Spin-off cases from Japan

Government organizations have to justify high expenditure during periods of financial crisis such as the one we are experiencing today. Space agencies have attempted to increase the returns on their investments in space missions by encouraging the commercial use of advanced technologies. This paper describes two technology transfer (TT) cases promoted by JAXA, in order to identify the organizational models and determinants of TT. The development of a TT process from space to Earth not only benefits the aerospace industry but also the network of national companies. The aim of the paper is to investigate who the actors are and the nature of their role, as well as the determinants of the TT process in the Japanese space sector. The case studies confirm the typical path of transfer as ‘Earth–space–Earth’.