系统的

Part Three The study of Lattice-valued Modal First-order Logic System and Its Resolution Principle In this part, we introduced quantifiers and predicate into LMP, put up lattice-valued modal first-order logic system LMF, and gave its semantic interpretation and syntax structure, proved soundness theorem and consistence theorem. Moreover, in order to judge the satisfiability of formula, defined Skolem standard type and H-interpretation. Based on these work, made a primary discussion of a - resolution principle based on LMF.

第三部分：关于格值模态一阶逻辑系统及其归结原理的研究第n页西南交通大学博士研究生学位论文这一部分主要是在格值模态命题逻辑系统LMP队）中引进量词和谓词，建立格值模态一阶逻辑系统LMF（广并给出其语又解释和语法结构，证明了系统的可靠性和协调性；另外，为了判断公式的可满足性，定义了格值模态一阶公式的 Skolem标准型和体解释；在此基础上，对基于系统LMF的a一归结原理进行了初步探讨。

Spectral efficiency equations are derived for both systems with and without channel prediction. Numerical results show that systems with channel prediction can get maximum spectral efficiency while systems without channel prediction but chosen optimum packet length can get suboptimum frequency efficiency, which is inversely proportional to Doppler frequency.

推导了信道预测和没有信道预测的自适应调制系统的频谱效率公式，分析结果表明对于自适应调制系统，信道预测的系统频谱效率是最优的，非信道预测系统根据信道情况选择最优帧长可以获得该系统的最优系统频谱效率，但它是低于信道预测的频谱效率的，而且是随多普勒频率的增大而逐渐减小的。

Different from traditional system protection models, such as access control matrix model, this theory describes the operations in system by functions of random variable vectors, build an analysis model of trusted system with three axioms, and analyze the information flow in the system by tracing the operation sequence of the system.

与访问控制矩阵模型等传统的保护系统模型不同，这一理论用随机变量向量的函数来描述系统操作，基于三条公设建立了可信系统的分析模型，并通过对系统操作序列的跟踪来分析系统中的信息流。

In order to improve the existing generic service oriented intrusion tolerant system in aspect of architecture and function, this paper presents an improved adaptive intrusion tolerant system with improved architecture, functional modules and key techniques. From an overall consideration of the system, mixed with firewall, intrusion detection and other traditional technologies, IAITS combines redundancy, diversity and various fault tolerant techniques, thus enhancing reliability through active replication and secure multicast, reaching tradeoff between system complexity and intrusion tolerance ability by redundant design only in most vulnerable components, and supporting data protection on the basis of architecture with only a little extra cost in software and hardware by making use of topological coherence between application servers group and key share servers group.

本文针对目前面向通用服务的容忍入侵系统在架构和功能上的不足，提出了一种改进的自适应容忍入侵系统，在系统结构、功能模块以及关键技术上做出了改进的设计：从整体上考虑系统结构，将防火墙、入侵检测等传统的安全技术融合到容忍入侵系统的设计中；综合了以冗余与多样性为主的多种容错技术，采用主动复制与安全多播，增强了系统的可靠性；仅在最易受攻击的部件上采用冗余设计，兼顾系统复杂性与容侵能力；利用应用服务器组和密钥服务器组在拓扑结构上的一致性，在基本不增加软硬件开销的情况下，从架构上支持数据保护的功能。

On the basis of Kinematic and dynamic analysis of winch system of logging truck, the mathematic model of both winch system and hydraulic system can be built.

本文通过对测井车卷绕系统的运动学和动力学的分析，在此基础上建立了卷绕系统和液压系统的数学模型，对影响系统性能的干扰进行了理论分析，将其等效为随机干扰和阶跃干扰，研究了参数时变，非线性等特点对控制系统性能的影响。

With the aid of Zemax software, a three-mirror, unobscured, high-resolution optical system with large aperture, long focal length was successfully aligned by first collecting interferograms from several fields of all image plane, and obtaining the wavefront error, namely, obtained wavefront Zernike polynomials; then using the self-made program package to calculate the optical system misalignment.

利用Zemax光学设计软件与自编计算机辅助装调软件，实现了对大口径、长焦距、无中心遮拦离轴三反射镜光学系统的装调。通过Zemax软件模拟光学系统的失调模式，得到整个光学系统的波前像差，把波前像差代入到自编的复杂光学系统计算机辅助装调软件中，计算出光学系统的失调量，与引入的失调量对比，证明了其正确性。在实际的装调过程中，用小型球面干涉仪分别收集3个视场的干涉图，得到失调光学系统的失调量，用Zemax软件验证失调量数据的正确性，从而指导装调。

CPU of airborne computer implements existing data acquisition of unpiloted vehicle with low efficiency. To improve the efficiency and to solve problems on reliability, real time and precision, the design of acquisition system based on DSP which can make a circuit acquisition for 54 channels data is put forward. After acquisition, the data can transfer between the system and CPU of airborne computer through dual-port RAM. The software and hardware methods to revise ADC on DSP are described. Evidences show that the system can meet with the flight control system on reliability, real time and precision.

现有无人飞行器数据采集均由机载计算机主处理器完成，效率较低，为了提高效率，解决数据采集的可靠性、实时性及精度等问题，设计了一种基于DSP处理器的数据采集系统，该数据采集系统能够对54路模拟量进行巡回采集，给出了系统的软硬件实现方法，在数据采集结束后，系统通过双端口RAM与机载计算机主处理器进行数据传递；为了提高DSP片内ADC的采集精度，给出了片内ADC的软硬件校正方法；实验证明，该系统具有较高的可靠性，能够满足飞行控制系统对传感器数据采集的实时性及精度要求。

The holistic design of the system and resolved the designs of software and hardware based on VXI bus are put forward according to the demand of test system. The hardware and software is designed, including the formation and design of hardware system, visual instrument software architecture, program design for instrument driver, high speed real-time data collection. In the dynamic test program, the idea of"software is instrument"was applied to meet the diverse test demands. Last, it is proposed that the VXI test system be developed to more totalization and networked. The basic theory of system identification was introduced briefly at first. The principle of spectrum analysis system identification based on Wiener-Hopf equation was expatiated. and the questions in applying Peusdo Random signal as spectrum analysis methods stimulate signal was studied, The generation principle of the peusdo random signal is researched, the characteristic of peusdo random are analyzed from time domain and frequency domain, the inverse repeat peusdo random signal is brought forward to make up the shortage of ordinary peusdo random signal. And a new chaos genetic algorithmis presented to solve the unprecise problem of the traditional method. In the servo valve dynamic characteristic test system, the spectrum analysis methods was applied successfully, the servo valve dynamic characteristic could be acquired rapidly and exactly, the test results were analyzed and the ameliorate methods were brought forward at last.

结合航天某集团液压测试中心测试系统的需求，提出了基于VXI总线的液压测试系统的整体设计方案，完成了测试系统的硬件设计与软件设计，包括硬件系统构成与设计、虚拟仪器软件结构、仪器驱动程序设计、高速同步实时数据采集等内容；以伺服阀动态特性测试为例设计了测试模块，该模块体现了VXI总线仪器软件开发所倡导的"虚拟仪器"的思想，以软件的灵活应用满足了不同的测试需求；结合自动测试系统的发展，研究了VXI测试系统与网络技术结合，实现各种软硬件资源共享，进一步提高设备及数据的利用率和系统的扩展性，使自动测试向综合化、网络化方向发展；研究了伪随机信号作为谱分析法辨识的激励信号时存在的问题，讨论了伪随机信号的产生机理，从频域和时域分析了伪随机信号的性质及其应用，提出了用逆重复伪随机信号弥补了普通伪随机信号的不足，并以混沌遗传算法对逆重复伪随机信号产生过程中的参数进行优化，可以更合理而不是凭经验产生需要的逆重复伪随机信号。

The analysis and simulation of dynamic/static performance of the HHCS shows that it is a large inertial system, and that there are such adverse factors in HCS and its model test system as nonlinear, dead zone, time variable parameters e.

最后根据所建立的数学模型和提出的仿真建模方法，论文建立了重载升沉补偿系统的静态特性仿真模型，建立了重载升沉补偿系统及其模拟试验系统、中载升沉补偿模拟试验系统、轻载升沉补偿模拟试验系统的升沉补偿的仿真模型。

ABSTRACT: The UAV navigation system's performance is improved through embedding the geography information model that can process the vector map data in the system by using MapX, In this paper, how to navigate and plan the UAV flight course in the vector map is investigated. The basic control and operation for vector map in the geography information system is introduced, and the flight course is designed and modified in the map. In addition, 2D vector map can't orient UAV in 3D space, so the altitude model is added in the UAV navigation system to realize 3D orientation by integrating 2D vector map with altitude plot. The simulation results in the UAV simulation system indicate that the navigation system can monitor and control UAV efficiently and intuitionally.

使用MapX在无人机导航系统中添加能够处理矢量地图数据的地理信息模块，可以显著地提升系统的性能；文章对如何在矢量地图下进行无人机导航与任务规划进行了研究，完成对地理信息系统中矢量地图的基本控制和操作，并在地理信息图上进行航线的设定与修改；另外，针对二维矢量地图无法对无人机进行三维空间定位的问题，文章通过在无人机导航系统中添加高度位置显示模块，用二维平面地图与高度图相结合的方式来实现对无人机位置的三维定位；通过在无人机仿真实验系统中的使用，证明了该系统能高效、直观地对无人机飞行进行监视与控制。

Do you know, i need you to come back

你知道吗，我需要你回来

Yang yinshu、Wang xiangsheng、Li decang,The first discovery of haemaphysalis conicinna.

1〕 杨银书，王祥生，李德昌。安徽省首次发现嗜群血蜱。