编译型PROLOG系统的若干优化实现技术

文中论述可应用于设计编译型Prolog系统的若干优化实现技术。这些技术包括:执行驱动编译策略,代码分类以及数据库操作内部谓词的操作模式。     

中国模式:"短缺自补"型国防发展途径

关于国防发展道路问题,近一个时期议论颇多,设计了种种模式,标出了条条途径,尽管不乏新见,这个问题还没有解决。探索不一定都成功,但探索总比不探索好,它为我们启开了智慧之门,看到了科学之光。本文作者杨永良同志在分析几种模式的基础上,又为我们献出了一个“短缺自补型”国防模式。中国的国防发展道路应该如何走?欢迎大家继续发表意见。     

一个组合对策问题的解

本文求解如下的组合对策问题:设有一堆棋子,总数N 是奇数,甲乙两人轮流取子,每人每次可取一颗、二颗,最多可取s 颗,但不能不取,直至取完后分别来数甲乙两人所取棋子的总数,总数为奇数者获胜。站在甲的立场上考虑获胜的策略,文中解决了如下两个问题:(Ⅰ)总数N 应是什么样的奇数,甲才有获胜策略;(Ⅱ)当N 一定时,甲应采取什么样的策略取子,才能获胜。     

从美军信息战计划谈我军炮兵指挥系统现状及发展方向

在未来战争中,信息战是决定战争胜负的关键。为此,美军制定了十分庞大的“打赢信息战”计划,高度重视建立数字化部队,以保持在未来战争中的优势。从美军的“打赢信息战”计划入手,分析了我军炮兵自动化指挥系统研制的现状和与外军相比存在的差距,探索性地提出了发展我军炮兵指挥系统所要解决的问题,指出了发展新装备的方向     

发展高技术武器的思考

高技术武器是多项高技术的有机综合体。发展高技术武器,由于未知因素多、技术难度大、试验设备昂贵、生产工艺复杂以及研制周期长等原因,通常需要高投入。发展高技术武器,在技术上要“独出心裁”,用冒失败的风险去换取效     

黄土丘陵区生态种植业发展模式探讨

通过大量的试验研究,分析了当地种植业的生产水平,限制因素及种植结构,从水分、肥力、气候资源对作物的利用和满足程度进行多角度分析,提出了调整结构、增施化肥,优化农耕地质量、强化地力培肥、实现良种化,推广窑窖水灌溉和覆盖栽培,应用生物调节剂等旱农耕作栽培技术,对指导当地及周边地区的农牧业生产有现实意义。