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.     

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

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

景象匹配正确定位概率的实验研究

景象匹配的理论分析结果揭示了景象匹配正确定位概率与实时图的信噪比和独立像元数的关系。文中通过对真实影像数据的景象匹配的结果统计给出了正确定位概率与信噪比和独立像元数的关系，并将该结果与理论结果进行了比较，对其中差异进行了分析解释。文中的结论可以用于景象匹配系统性能的精确分析。     

自适应天线互耦影响研究

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