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.     

态势评估领域知识的表示方法研究

从分析态势评估专家系统的结构出发,研究战场态势评估知识库的构建,进而对态势评估的领域知识进行归纳,并通过示例探讨对态势评估领域知识的表示方法,同时把可信度方法引入态势评估不确定性知识的表示,给出了复合条件可信度的计算方法。     

画幅式层析成像光谱系统设计和实验研究

文章介绍一种无需时间或空间扫描的新型成像光谱仪—利用位相光栅作为分束器件的计算层析成像光谱仪 (CTIS)。重点介绍了各个系统的设计原则和位相光栅的设计 ,并给出了光栅的设计结果。详细介绍系统矩阵的实验定标方法和过程。叙述了自然光照明条件下真实物体组成的靶标的光谱成像实验 ,对目标实验采样的数据进行重构处理 ,给出了实验结果。     

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

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

自适应天线互耦影响研究

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

星间红外探测与测量系统

文章主要介绍了具有凝视成像功能的红外探测系统的研究和设计。首先简要描述了红外测角系统的组成和工作原理；然后重点论述了红外探测系统的性能指标和光学设计；最后对红外探测系统设计研究作了总结和展望。