"公安学基础理论"教学法探讨

“公安学基础理论”是一门理论性较强的课程，其中涉及的内容大多较为抽象、枯燥，传统单一的教学方法不利于学生的理解和掌握。文章仅就“公安学基础理论”课堂教学的几种有效方法作简单探讨。     

利用改正数信息的北斗三号实时精密单点定位及性能分析

北斗三号全球卫星导航系统已正式建成并开通服务。为了利用实时改正数信息系统地揭示北斗三号精密单点定位性能，并为用户提供理论依据和应用参考，首先解算了卫星实时精密轨道、钟差及其改正数，分析了其精度。然后基于实时改正数信息，利用监测站广播星历和观测数据，分别进行了双频静态、双频仿动态、单频静态和单频仿动态仿实时精密单点定位，以评估其性能。结果表明：北斗三号MEO卫星实时轨道和钟差精度均值分别约为12cm和0.2ns，满足实时精密单点定位需求。静态实时精密单点定位精度优于动态，双频优于单频，均可达到分米级。对于定位收敛时间，双频静态最短，约为40min；双频动态和单频静态均约为85min；单频动态最长，约为120min。     

无人驾驶高空侦察机爬升控制方案分析

介绍了无人驾驶高空侦察机（ＵＡＶ）的爬升轨迹控制方案原理，对纵向控制回路进行了详细分析，按简单拉力法进行了飞行性能计算，同时还分析了爬升方案曲线与优化性能轨迹的关系，并对爬升轨迹计算和试飞遥测数据进行了比较。经分析计算与试飞结果表明，对于爬升较缓慢的飞机，本控制方案可实现沿优化性能轨迹上升，并自动转入有利速度巡航。     

废气排放塔尾流区随机游动扩散模拟研究

本文对一种建筑结构与形式特异的废气排放源－过江隧道风井塔，进行了如下研究：（１）在环境风洞中通过风井塔后流场的测量，分析给出塔后尾流特征，并进行示踪气体扩散模拟试验和烟云照相；（２）在上述工作基础上，建立一个先进的随机游动扩散模式，模拟尾流区污染物扩散的基本规律，模式计算结果与实验结果吻合较好。建筑物的存在使得地面最大浓度增大３￣４倍，且出现位置离源更近。研究表明，随机游动方法研究对有明显湍流不均     

"三工问题"与和谐城市的构建

我国国有企业,特别是大型国有企业的改制不到位,改革深层次矛盾日益突出,政治、社会领域的改革滞后以及法制不健全、监督机制不灵等原因直接导致我国城市中出现“三工问题”。“三工问题”是指由于工人下岗、工厂改制、工业调整所带来的经济社会问题,主要包括工人失业、权力腐败、分配不公、国有资产流失和被侵吞、群体事件、失地农民的安置等诸多经济社会问题,解决好这些问题直接关系到社会稳定和和谐城市的构建。现阶段应主要从完善社会保障、发展职业培训、健全权力制衡、调节收入分配、强化社会监督、化解社会矛盾、整顿工业园区、安置失地农民八个方面入手解决城市“三工问题”。     

某起落架正常收／放系统失效原因分析

正确运用246雷达天线“正常或应急”液压操纵开关和液压马达壳体回油“正常或应急”开关的工作状态，关系到飞机液压操纵系统的安全性。若天线液压操纵开关和马达壳体回油开关配合不当，将引起飞机液压操纵系统失效。     

斜齿圆柱齿轮正交法参数优化设计

用正交法对斜齿圆柱齿轮传动进行参数优化设计 ,用方差分析法找出对质量影响最显著的因素 ,最后 ,由信噪比作为指标选出最佳参数组合 ,这是一种快速创新开发产品的设计方法。     

侧向喷流的一种直接实验模拟

研究了侧向喷流的一种直接实验模拟技术,旨在探讨喷流力直接作用在天平上时,侧向喷流对气动载荷的影响及其增益情况。本文的直接模拟是通过一种通气式应变天平实现的。研究中分析了有关模拟原则,妥善处理了诸如高压气体密封、天平变形引发的漂移、干扰等相关技术问题,并在一尖拱柱构型上实现了多种条件下的直接模拟,给出了来流条件和喷口参数条件对法向力、俯仰力矩增益因子的影响。最后,就实验结果进行了适当讨论和评述。     

飞机外挂物部件气动特性的试验研究

介绍了在气动中心高速所FL-24风洞中进行的飞机外挂物部件气动特性试验研究的简要情况和典型试验结果。试验是在M=0.60～1.50、α=-4°～16°、β=0°～5°条件下,利用两台内式五分量天平,分别测量得到了某飞机干扰流场下该机左右侧机翼翼下某导弹弹翼、尾舵的气动特性。结果表明:试验获得的导弹弹翼、尾舵的气动特性变化规律合理,量值可信。试验研究的成功,提高了风洞试验能力,为飞机外挂物部件气动特性的获得提供了有效的技术途径。     

基于中介逻辑的多模态逻辑系统

多模态逻辑作为模态逻辑的扩充，是模态逻辑进行时态和动态扩充的基础。中介逻辑是一个新的逻辑系统，自创立后得到了很大发展，并在数理逻辑及计算机科学领域中得到广泛应用。为将中介逻辑进行时态和动态扩充，本文构造了一种基于中介逻辑的多模态逻辑系统ＭＭＫ，讨论了它的推理规则和语义解释，并证明了ＭＭＫ的可靠性和完备性，在此基础上给出了一种基于中介逻辑的时态逻辑系统ＭＴ，对它的可靠性和完备性进行了讨论。最后，分析了相应的经典多模态逻辑系统与ＭＭＫ系统及经典时态逻辑系统和ＭＴ系统之间的关系。