兴义市约三分之二的面积都是万峰林,它东到坡岗,南端和广西交界,西到滇、桂、黔三省(区)交界处的三江口,北接乌蒙山主峰,总面积达2000平方千米.里面明河暗流沟壑纵横,溶洞峰
在研究数据仓库的特点、组成及其实现的基础上,对数据仓库和联机分析处理技术进行了研究,构建了一种基于数据仓库的货物进出口决策支持系统结构。解决了数据仓库模型的创建、
模型检验技术是开发高可信系统的重要途径。提出了一种基于定理证明的模型验证方法，并实现了工具验证。它以代数规约语言CafeOBJ描述系统的无限状态并把它转换成有限状态的SMV
随着无线网络的普及，其安全性能也成为关注的焦点。现在无线局域网通常使用802．11b数据传输方式和802．1x无线认证方案，但是它们存在一些安全缺陷。针对现有无线网络的安全缺陷，提
本文结合实际工作中遇到的内侧前襟与上蒙皮相碰问题,进行了故障分析并提出了解决方法,从而保证了飞机飞行的安全性和可靠性。
手工采茶工效低、成本高，阻碍了茶叶生产的发展，机械采茶已成为发展大宗茶生产的一种必然趋势。然而机械采茶并不具有选择性，故而机采鲜叶茎梗较多且老嫩较混杂。所制红毛茶以中
【据国外媒体2018年5月18日报道】俄罗斯T-50战斗机第二架试验机T-50—2（机号052）正在茹科夫斯基持续开展飞行测试。该架飞机换装了专为五代机研制的“第二阶段”发动机-“产品
2013年9月1日，在空军航空大学开学典礼暨吉林长春第三届航空节上，我驾驭我国最新、最先进的高级教练机——“猎鹰”L15飞机，和战友曹军杰一起为空军首长、各级领导和现场观众献