可重构的通用硬线逻辑电路算法验证平台的设计

介绍一种通用硬线逻辑算法验证平台的设计思路。在人机交互界面干预下,可通过高性能的PCI局部总线接口,从文件系统向算法验证平台系统分别传送构成待验证算法硬线逻辑的码流以及该算法运算所需的输入数据,并将该算法的运算结果向文件系统输出。利用这个平台,已验证基于小波变换和零树编码的先进的图像压缩/解压缩算法的硬线逻辑。本系统的框架也可用于验证其它用同类且规模类似的FPGA(CPLD)实现的硬线逻辑算法。因此,它是一个通用的算法验证平台框架     

采用单框架控制力矩陀螺群的卫星侧摆机动控制研究

研究使用单框架控制力矩陀螺群 (SGCMGs)进行卫星姿态侧摆机动控制。研究频繁机动情况下由五棱锥构形和金字塔构形陀螺群进行侧摆机动控制的可行性 ,并探讨陀螺群构形奇异的避免问题。针对不同的陀螺群构形设计了不同的控制律 ,并比较两种构形的控制特性的异同。仿真结果验证了使用SGCMGs实现侧摆机动控制的有效性。     

关于Fleury算法的一点注记

为了使用Ｆｌｅｕｒｙ的算法，在每一步都必须去判断图Ｇ－ｅ的连通性［１］。本文将给出一个十分简单的判断图的连通性的线性算法。为了证明它的正确性，本文将证明以下三个条件是等价的：（１）图Ｇ是连通的；（２）Ｍ的任意ｎ－１行都是线性无关的（这里Ｍ为图Ｇ的关联矩阵）；（３）在Ｍ中存在ｎ－１个线性无关的行。     

Cooperation and dialogical modeling for designing a safe Human space exploration mission to Mars

This paper proposes an approach for a complex and innovative project requiring international contributions from different communities of knowledge and expertise. Designing a safe and reliable architecture for a manned mission to Mars or the Asteroids necessitates strong cooperation during the early stages of design to prevent and reduce risks for the astronauts at each step of the mission. The stake during design is to deal with the contradictions, antagonisms and paradoxes of the involved partners for the definition and modeling of a shared project of reference. As we see in our research which analyses the cognitive and social aspects of technological risks in major accidents, in such a project, the complexity of the global organization (during design and use) and the integration of a wide and varie d range of sciences and innovative technologies is likely to increase systemic risks as follows: human and cultural mistakes, potential defaults, failures and accidents. We identify as the main danger antiquated centralized models of organization and the operational limits of interdisciplinarity in the sciences. Beyond this, we can see that we need to take carefully into account human cooperation and the quality of relations between heterogeneous partners. Designing an open, self-learning and reliable exploration system able to self-adapt in dangerous and unforeseen situations implies a collective networked intelligence led by a safe process that organizes interaction between the actors and the aims of the project. Our work, supported by the CNES (French Space Agency), proposes an innovative approach to the coordination of a complex project.     

高速帧转移型面阵CCD器件的时序设计

介绍了512×512高速帧转移面阵CCD器件时序设计的方法。在分析器件结构和时序关系的’基础上,确定了时序设计的主要参数,并利用复杂可编程逻辑器件（CPLD）EPM7256AETC100—5实现了CCD器件工作所需的各种时序信号。通过时序仿真证明,设计方法正确可行,运行稳定。     

战机多目标攻击与仿真试验

多目标超视距空战是今后空战的主要形式,多目标攻击武器系统是当今航空武器系统研究的重点和发展的标志。本文分析了多目标攻击系统的特点,并阐述了用快速模拟法对导弹允许攻击区的计算方法以及单机多目标攻击的战术决策思想。最后介绍了多目标攻击系统仿真试验。     

A Direct Simulation Method for Calculating Multiple-hit Vulnerability of Aircraft with Overlapping Components

When components overlap, the aircraft multiple-hit vulnerability analysis usually consists of two steps. The first is to determine the aircraft unique existent states using vulnerable area decomposition method, and the second is to calculate the aircraft cumulated probability of kill using Markov chain method for exact solution or Monte Carlo method for solving the combinatorial explosion problem. This article proposes a direct simulation method for calculating the aircraft multiple-hit vulnerability in order to avoid the complex vulnerable area decomposition issue. In this method, random method is adopted to produce the multiple-hit locations and Bernoulli trial is used to determine the kill or no kill of each component hit by one shot line, and kill tree is checked to determine aircraft existent states during one simulation. When the number of times of simulation is large enough, the aircraft multiple-hit vulnerability can be statistically obtained. Analysis shows that the proposed direct simulation method can provide good accuracy compared with Markov chain method and avoid the combinatorial explosion problem, and does not need the complex vulnerable area decomposition and can directly calculate the aircraft multiple-hit vulnerability. Another important finding is the binomial or Poisson simplified approach is sometimes very poor in accuracy, and should be used cautiously.     

集合论-泛逻辑悖论

对于一类 n(2≤n≤_n) 值逻辑可以给出一个一般形式的形式语言,通过一个六元组的模型,可以递归地定义出该形式语言中的公式的值.这构成了刻画这类逻辑的一个泛逻辑系统 UL ₁.在该系统中,可以定义出抽象否定、抽象蕴涵和抽象等值等联结词,它们分别是二值逻辑中的联结词否定、蕴涵和等值的一般化.利用这些联结词,可以给出Russell型造集谓词、Curry型造集谓词的一般形式.此外,还提出了一种新型造集谓词,这种造集谓词只包含等值联结词,而不涉及其它联结词.通过这3种造集谓词,利用该系统的逻辑工具,证明了在通常的有穷值逻辑、可数无穷值逻辑和不可数无穷值逻辑系统中,概括原则都将导致悖论.     

基于加速度反馈的两杆柔性机械臂振动控制与实验研究

针对柔性机械臂在定位运动或外部扰动产生的持续振动,影响定位精度和操作性能的问题.以两杆柔性机械臂实验平台为基础,采用安装在两柔性臂末端的加速度计作为振动信号传感器,以伺服电机作为振动控制驱动器,对柔性臂转动过程中由于电机力矩驱动产生的弹性振动,采用比例控制和非线性控制算法进行振动主动控制,实验结果表明,基于加速度反馈的抑制两杆柔性机械臂振动的稳定性、有效性和实用性.