机器翻译中语义块汉英变换处理

首先解释了要素句蜕的内涵,同时介绍了HNC理论的句蜕观,并依据HNC句类理论提出了汉英机器翻译中,要素句蜕处理的具体规则,还结合真实语料进行了验证。     

城市防空中需掩护目标的重要性层次分析

城市防空中 ,需要掩护的重要目标多 ,分布范围广 ,必须将众多需要保卫的目标按其重要程度进行分类和排序 ,以便科学部署防空力量 ,提高城市防空综合效益。以目标价值作为衡量各种目标重要性的基本尺度 ,给出了目标价值的层次结构模型和数值计算方法     

GPS时分二进制偏移载波调制信号的高精度无偏抗多径算法

二进制偏移载波调制信号将在卫星导航系统中得到广泛应用。全球定位系统的L1C信号导频分量采用了时分二进制偏移载波调制,对此信号直接采用码参考波形算法消除多径时的鉴别曲线收敛点存在偏差,从而影响测距偏差。因此,提出一种时分二进制偏移载波调制信号的高精度无偏抗多径算法。通过时分的方式分别生成针对BOC(1,1)和BOC(6,1)分量的本地闸波,以保证鉴相函数在码相位无偏差时等于0。由于更好地利用了BOC(6,1)信号分量,该技术在实现无偏跟踪的同时,还能提高跟踪精度。     

磁探针位置及角度偏移对电磁发射过程测试的影响

简化电磁发射装置中的导轨和电枢为线电流下的直导体,建立发射装置的物理模型。利用毕奥-萨伐尔定律和感应电动势原理,推导出磁探针线圈中心放置点的磁感强度。假设线圈范围内的磁场为均匀磁场,计算得到磁探针线圈产生的电动势。以此设计测量所用的磁探针,并和测试数据对比验证模型的正确性。在多次试验中发现,发射过程中装置振动导致磁探针距离变化和角度偏转问题。测量并分析三组单次发射中的故障测试状态。仿真和实验数据表明:小范围距离变化没有使磁探针的测试性能失效,但角度偏移对下一步的速度拟合带来误差干扰,且随着角度增大拟合速度逐步减小。     

The building evacuation problem with shared information

In this article, the Building Evacuation Problem with Shared Information (BEPSI) is formulated as a mixed integer linear program, where the objective is to determine the set of routes along which to send evacuees (supply) from multiple locations throughout a building (sources) to the exits (sinks) such that the total time until all evacuees reach the exits is minimized. The formulation explicitly incorporates the constraints of shared information in providing online instructions to evacuees, ensuring that evacuees departing from an intermediate or source location at a mutual point in time receive common instructions. Arc travel time and capacity, as well as supply at the nodes, are permitted to vary with time and capacity is assumed to be recaptured over time. The BEPSI is shown to be NP‐hard. An exact technique based on Benders decomposition is proposed for its solution. Computational results from numerical experiments on a real‐world network representing a four‐story building are given. Results of experiments employing Benders cuts generated in solving a given problem instance as initial cuts in addressing an updated problem instance are also provided. © 2008 Wiley Periodicals, Inc. Naval Research Logistics, 2008     

DDBMS中的并发控制理论

本文叙述了并发控制的数学理论,以此达到两个目的:一是以精确的术语定义并发控制方法的正确性;二是把并发控制问题分解成两个更容易处理的子问题:读一写同步和写一写同步。为后继论文对分布式并发控制的分析和设计打下基础。     

VLSI与电子系统的层次化可测性设计

论述了一种对电子系统VLSI自顶向下的层次化自动化测试方法及层次化自测试的概念和相应的可测试性设计结构,并讨论了数模混合集成电路的可测试性设计问题。     

核动力折中稳态运行方案下稳压器压力控制的模糊控制器

运用模糊控制理论,针对稳压器压力控制的特点,为解决核动力装置折中稳态运行方案下低工况运行时一回路压力随负荷变化波动较大的问题,设计了压力模糊控制器。即利用模糊控制器实现稳压器压力调节系统工作参数的在线优化自整定,并以某核动力装置为对象进行了仿真实验。仿真结果表明,本控制器在对原系统不作大改动的前提下,能有效地抑制一回路压力波动,比原有调节系统具有好得多的调节品质。     

用解析方法实现的引信杂波信号源

进行了只具有部分统计信息(如包给分布和同相分量的协方差)的引信杂波模拟.所提出的方案基于复数非高斯协方差序列与高斯协方差序列之间的非线性映射关系,能够实现指定的包络分布与协方差.它使杂波模型摆脱了“白色或正态”的限制.用这种解析方法实现的引信杂波信号源可以用于系统设计、仿真与测试.     

舰用火炮对抗攻击过程的模拟与仿真

海上实兵环境下的舰炮对抗攻击训练,因发射实弹易造成误伤,一直被认为是难以实现的训练科目。而我系研制的舰炮对抗攻击模拟仿真系统,有效地将多种技术综合应用,创造了接近实战的训练环境;通过采用模拟交战的方法,较好地解决了上述问题。本文就该系统的组成结构、仿真过程与技术特点等问题进行了全面的介绍,并对模拟仿真训练系统的进一步发展提出了看法。