Net110网吧安全审计管理系统的设计与实施

信息时代对公安管理系统提出了新的挑战，Net110网吧安全审计管理系统充分利用互联网络的技术特点，通过公安监察部门的电脑系统集中，统一和高效地管理在城区分散的网吧。本文着重阐述了系统设计的基本原理，并以南昌市公安局为例，介绍了从需求分析、系统设计到系统实施的建设全过程。     

一个说明语言的设计和其子集编译器的开发

基于软件文档可执行的想法，设计了一个适用于指称语义描述的可执行规范说明语言——ＪＺＣ，并对其核心子集编译器进行了设计与开发。该语言设计采用了模式匹配、类型并置和构造函数等概念，使得抽象文法易于在程度中体现。模块概念的引入使得函数型语言书写的程序更加易懂和易于编写。作为对严格开发方法的一个尝试，ＪＺＣ核心子集编译器的开发采用了该种方法，其中一个“结果正确性定理”的证明是开发过程的重点工作。本文通过一个示例语言简介ＪＺＣ的语言特点，给出了编译器开发过程的一个描述框架和证明梗概     

子波变换在实验流体力学中的应用

介绍了子波分析的历史、基本知识以及在实验流体力学方面的应用。讨论了子波变换在客观辨识湍流边界层相干结构方面的应用。作者用子波变换的方法提出了确定湍流边界层相干结构挥发时间尺度的能量最大准则，提取了相干结构对应的速度信号波形。用于波变换研究了湍流边界层脉动速度信号的局部奇异性行为，发现相干结构发生处脉动速度信号的局部奇异性指数为负值。     

用弹性环加强的孔口应力分析的链杆法

关于用弹性环加强的孔口应力分析问题,本文给出了一个新的分析方法——链杆法。即假定环和板之间在孔口用链杆来联系,然后用力法求出链杆的约束力,进而可确定板的应力和环的内力。将本文结果和萨文的结果作了比较,两者基本一致,说明了链杆法的有效性。它的优点是直观、方便,计算较简单,适用面较广。     

Production of neutrons from interactions of GCR-like particles

In order to help assess the risk to astronauts due to the long-term exposure to the natural radiation environment in space, an understanding of how the primary radiation field is changed when passing through shielding and tissue materials must be obtained. One important aspect of the change in the primary radiation field after passing through shielding materials is the production of secondary particles from the breakup of the primary. Neutrons are an important component of the secondary particle field due to their relatively high biological weighting factors, and due to their relative abundance, especially behind thick shielding scenarios. Because of the complexity of the problem, the estimation of the risk from exposure to the secondary neutron field must be handled using calculational techniques. However, those calculations will need an extensive set of neutron cross section and thicktarget neutron yield data in order to make an accurate assessment of the risk. In this paper we briefly survey the existing neutron-production data sets that are applicable to the space radiation transport problem, and we point out how neutron production from protons is different than neutron production from heavy ions. We also make comparisons of one the heavy-ion data sets with Boltzmann-Uehling-Uhlenbeck (BUU) calculations.     

Ada语言在星载软件上的应用

介绍了星载软件的特点和构成，从提高星载软件可靠性的角度引入了高级程序设计语言－Ada语言与汇编语言的接口调用技术，以及使用Ada 语言开发星载软件和应用技术。     

航天光学采样成像系统MTF的优化设计与MTFC

简要介绍了成像链、成像系统和遥感系统的概念；对像质和像质差异的表征和度量、成像系统性能的表征等予以说明；重点探讨航天光学采样成像系统MTF的优化设计与MTFC问题，并给出讨论结果。     

红外遥感器空间制冷技术的发展现状

红外遥感技术发展的关键技术之一是解决其红外器件的制冷问题。文中通过对空间用制冷技术的分析,探讨了辐射制冷器、斯特林制冷机、脉冲管制冷器在空间中的应用和发展方向。     

自适应天线互耦影响研究

用等效网络法推导了考虑互耦影响时阵列的输出信号解析式和信噪比,仿真了不同阵元间距时,自适应直线阵的方向图和输出信噪比,得到了一些有用的结论。     

空间机械臂非完整运动规划的遗传算法研究

带空间机械臂航天器系统在无外力矩作用时，系统相对于总质心的动量矩守恒而变为非完整系统。由于非完整约束的不可积性，非完整系统的运动规划与控制比一般系统要困难得多。现利用非完整特性研究了自由漂浮空间机械臂的三维姿态运动控制问题。首先导出带空间机械臂的航天器三维姿态运动数学模型，并将系统的控制问题转化为无漂移系统的非完整运动规划问题。在运动规划中，根据最优控制原理和优化理论，提出基于遗传算法的最优运动规划数值算法。通过数值仿真，表明该方法对空间机械臂及航天器三维姿态运动的非完整运动规划是有效的。