“不能要的地球物理武器”

1967年3月的越南战场。“胡志明小道”上空每隔一段时间便掠过几架银白色的飞机。每当这些美国飞机走后约半小时，该地区便会狂风大作、暴雨倾泻，道路变得泥泞不堪，给越南人民军的调动和物资运输造成巨大困难。战后人们才知道．美军在越南战场秘密进行了长达七年的人工降雨，整个过程分为试验和实际作业两个阶段。试验阶段称为“鼓眼睛计划”，于1966年在老挝进行；实际作业阶段于1967年～1972年的每年雨季．在老挝、越南和柬埔寨交界的狭长地带内进行。     

代价和概率时间自动机上概率有界的成本优化可达性

着重解决代价和概率时间自动机模型的可达性问题,即满足一定概率要求的最小代价问题. 在该模型中搜索满足概率要求的路径,据此路径构造相应的代价时间自动机,求解此路径的最小代价,从而求得满足概率要求的总的最小代价. 另外,通过扩展代价和概率时间自动机模型,得到多代价和概率时间自动机. 相应的可达性问题,即满足一定概率要求的符合辅助成本约束的主成本最小代价问题,也可类似地得到解决.