总量控制与排污权交易的理论分析

本文从总量控制与排污权交易的概念出发，论述了排污权交易的基本理论和市场机制模型，分析了总量控制与排污权交易的经济、环境和社会效益，阐述了排污权的初始分配方式及交易方式。     

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

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

网络应用程序中的多线程技术

本文介绍了多线程网络编程的实现。并给出了用Visual C 6．0实现的一个多线程端口扫描程序的关键代码。     

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

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

液体压力激波加工技术研究

机械产品的零部件，通常需要通过成形与改性才具有所需形状及实用功能，本文提出了一种新型材料成形与改性加工的方法——液体压力激波加工。采用脉冲超声波聚焦技术，通过压电陶瓷激波发生器在液体介质中产生高能瞬时压力激波，对材料进行冲击，产生变形或表面改性。经过理论研究和试验验证，初步掌握了液体压力激波的产生、激波能量的控制和激波加工的动力学机制。这种加工方法具有能量可控性好、成本低廉和安全高效等优点，非常适合具有复杂结构和型面的中小零件加工，是一种颇具竞争力的先进制造技术手段。     

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

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

捷联惯导系统的圆锥误差补偿算法研究

非互易向量的确定与补偿是影响高动态、恶劣振动环境下捷联惯性导航系统姿态矩阵计算的重要问题。为了补偿由此引起的圆锥误差，本文对一些传统算法进行了分析和研究。由于以往各种算法一般都需要输入信息为角度信息，但对于高动态、恶劣振动环境，角速度信息更有工程意义，所以针对输入信息为角速度的情形，提出了一类新的姿态算法，通过对比传统的算法，新算法在同样计算量、存储量的情况下有较优的性能，算法的精度较传统的算法高。另外，对新的姿态算法进行了误差分析．为其参数选择提供了选择标准，有工程实用价值。     

全球卫星导航系统的脆弱性及其缓解办法

全球卫星导航系统(GNSS)是全球范围内的定位及授时系统,它包括一个或多个卫星星座、用户接收机、系统完好性监视系统及其他增强系统(如GBAS,SBAS等)。GNSS是对卫星导航系统的统称,如GPS、GLONASS、GBAS、SBAS、GALILEO等,若不特殊指明,则都统称为GNSS。目前,GNSS正在全球崭露头     

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

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

调频多工数据传输技术在交通诱导系统中的应用

针对我国智能型交通的现状,提出了基于调频多工数据传输技术的交通诱导系统。本文在分析研究RDS-TMC技术的基础上,设计了利用RDS技术传输实时交通信息的车载动态导航装置,并介绍了该装置的主要功能模块。在实验室条件下进行了测试,证明设计可行,运行可靠。