Prolog 编译器中暂时变量分配方法研究

文中研究对prolog 编译器的暂时变量的分配,介绍了回溯分配法,着重介绍了一种高效的无回溯分配法的实现原理及其优点。     

另一类分配问题及其求解方法

本文对规划论中分配问题的目标要求稍作变动,产生了另一类分配问题,并提出了在特定的求解数表中,通过找闭回路即可求得最优分配方案的一种有效的求解方法。     

程序设计语言发展过程中应注意的问题

针对目前程序设计语言发展过程中出现的语言种类过杂、语言数量过多、语言结构过于复杂、语言间重复性大以及语言功能求全问题进行讨论,从语言功能分离、符号与内容分离及语言统一的角度初步提出了解决问题的途径,同时对程序设计语言的汉化问题做了简要讨论。     

Radar pulse interleaving for multi‐target tracking

In a multifunction radar, the maximum number of targets that can be managed or tracked is an important performance measure. Interleaving algorithms developed to operate radars exploit the dead‐times between the transmitted and the received pulses to allocate new tracking tasks that might involve transmitting or receiving pulses, thus increasing the capacity of the system. The problem of interleaving N targets involves a search among N! possibilities, and suboptimal solutions are usually employed to satisfy the real‐time constraints of the radar system. In this paper, we present new tight 0–1 integer programming models for the radar pulse interleaving problem and develop effective solution methods based on Lagrangian relaxation techniques. © 2003 Wiley Periodicals, Inc. Naval Research Logistics, 2004.     

基于进化规划的自适应高斯神经网络

自适应高斯神经网络能够对目标信号的功率谱有效识别特征进行自动提取和分类,但此网络使用BP算法,其误差能量函数是一个不规则的超曲面,容易陷入局部极小值.因此,提出了一种使用进化规则来设计和训练自适应高斯神经网络的新方法.该方法能够自动地确定网络的最优结构和联结权值,同时避免网络的局部优化.实验结果表明,将该方法用于被动声纳目标的分类识别,能够有效地克服局部最小问题,具有更好的识别率.     

A decomposition algorithm applied to planning the interdiction of stochastic networks

We describe the application of a decomposition based solution method to a class of network interdiction problems. The problem of maximizing the probability of sufficient disruption of the flow of information or goods in a network whose characteristics are not certain is shown to be solved effectively by applying a scenario decomposition method developed by Riis and Schultz [Comput Optim Appl 24 (2003), 267–287]. Computational results demonstrate the effectiveness of the algorithm and design decisions that result in speed improvements. © 2005 Wiley Periodicals, Inc. Naval Research Logistics, 2005.     

汽油调合优化模型

为了提高炼油厂制订成品油调合方案的科学性,研究了汽油调合优化的非线性规划模型,给出了目标函数和约束条件的具体形式。根据模型特征,选用模拟退火算法对模型求解。最后,通过某炼油厂的一个应用实例验证了上述成品油调合优化模型的有效性。     

基于多智能体的反导传感器任务规划算法

首先探讨了反导作战中各类传感器资源的构成特点和功能划分,然后基于多智能体multy-agent system(MAS)的分布式人工智能技术提出了适应反导作战需求的传感器任务规划体系架构,既而深入分析了体系架构中各类agent的主要功能,最后给出了一个实体层传感器的任务规划流程和算法实例,为构建高效率、智能化的反导作战多传感器任务规划技术提供了一种有效的研究方法。     

高师公共课心理学的教学改革探讨

公共课心理学是体现师范特色的重要必修课,但在课程安排、教材内容、教师、教学方法和教学效果方面还存在着一些问题。针对这些问题,研究者们主要对教学体系和教材进行了改革,本文也根据教学实际提出一些具体的改革措施和建议。     

鱼雷航向估计模型的可信性

悬浮式深弹拦截鱼雷是大型水面舰艇水下防护作战的一种重要形式,其中估计来袭鱼雷的航向是实施拦截的关键。针对鱼雷航向的估计问题,引用基于相遇三角形原理的来袭鱼雷航向估计模型,分析了来袭鱼雷的可能航向角范围。采用数字仿真和仿真模型置信度的决策分析方法,对模型的可信性及其决策风险进行了量化分析。结果表明,该鱼雷航向估计模型可信,可为悬浮式深弹拦截鱼雷的作战训练、战法研讨及其仿真研究提供参考。