利用“严打”成果 抢救珍贵化石

我省公安、文化部门,在贯彻有关“把打击文物犯罪作为全国‘严打’斗争的一部分”来抓的精神,根据《中华人民共和国文物保护法》关于“具有科学价值的古脊椎动物化石和古人类文物一样受国家的保护”,依法从化石贩子处收缴了1100多件古生物化石。贵州蕴藏着众多的古生物化石,其中以凯里动物群、兴义贵州龙动物群和关岭海百合等化石尤为丰富。在凯里动物群中,有海绵动物、刺胞动物、软体动物、节肢动物、蠕形动物、腕足动物、棘皮动物、触手动物、原体腔动物、菌藻类和疑源类等共10个门     

三山岛金矿采空区地应力测量及其结果分析

采空区上部预留矿柱的回采工作影响到整个矿山的安全生产、采矿方法及其实施.为正确评价上覆岩层和围岩的稳定性情况,采用实现完全温度补偿的空心包体应变技术的套孔应力解除法对三山岛金矿进行地应力测量.建立了矿区地应力场分布模型,获得了三山岛金矿地应力状态和矿区的地应力分布规律.结果表明,三山岛地区地应力场以水平应力为主,符合我国地壳运动的规律.     

大范围多工作面重复采动地表变形预测算法和系统开发

以概率积分法和距离幂次反比法为基础,开发了大范围多工作面重复采动地表变形预测算法,并以此算法为基础,应用C#语言开发了软件,实现了复杂开采条件下的地表变形快速智能预测。并将上述的算法和软件应用到某矿的双工作面开采后的地表变形预测,将预测值与实际值进行对比,得出下沉值、倾斜值、曲率值、水平移动值和水平变形值的绝对误差平均值分别为4.6 mm、0.070 mm/m、0.0038×10~(-3)/m、4.0 mm和0.098 mm/m。下沉值、倾斜值、曲率值、水平移动值和水平变形值的平方差分别为37.86、0.0097、0.000025、19.46和0.052。预测结果的精度满足实际生产需要。     

探究建筑工程结构设计的常见问题与解决途径

建筑的结构就是指：在建筑物内部,有建筑材料制成的用来承受各种荷载或者作用,起到骨架作用的空间受力体系。建筑结构设计由于所用的建材各不相同,可以分为：组合结构设计、混凝土结构设计、砌体结构设计、钢结构设计等。建筑的结构设计是一项非常复杂的工作,它不仅需要有扎实的理论基础,还要具备严谨的工作态度以及灵活的创新思维,除此之外,要熟练掌握结构设计的过程,确保结构设计的完美,还要善于汲取实际操作中的经验教训。     

回溯自动机的两个基本定理

本文详细证明了回溯自动机的两个基本定理,得到下列结论:1)ω∈~*,ω∈L(M)iffω=R(G);2)从G中q处删除一个CSg(结点q保留)或者添加一个CSq(q不需添加)后的图G′也是M的接受状态活动图。     

基于遥感技术的南通市区绿地现状研究

利用2008年6月29日中巴资源卫星影像,对南通市区绿地的空间分布现状进行分析.在此基础上,采用典型样地调查方法,选择濠东绿苑进行多样性调查,选取判断物种多样性高与低的物种丰富度指数、优势度Simpson指数、Shannon-Weiner多样性指数和反映群落中不同物种多度分布均匀程度的Pielou均匀度指数作为样地物种多样性的测度指标.结果表明:南通市区绿地分布不平衡,大部分绿地分布于南通市区东北和东南部,而居民相对集中的中心城区绿地分布较少;南通市对园林绿地规划较好,濠东绿苑的乔木和灌木层多样性高,草本层多样性低.最后提出可持续发展建议,以便更好地实现绿地的合理布局,优化绿地的空间结构.     

基于双价值函数禁忌搜索的测试用例生成技术

基于禁忌搜索算法的软件测试用例自动生成是目前一项先进的软件测试技术.传统的基于元启发式算法的自动测试技术只有一个价值函数,本文针对禁忌搜索算法提出强化和多样化两个价值函数.测试用例生成器通过调用强化价值函数来强化搜索过程,如果强化失败则调用多样化函数来使搜索多样化.最后通过与随机测试的对比实验,验证了基于双价值函数的禁忌搜索算法在软件测试中的高效性.     

一种安全的采购项目备案协议

本文提出了一种面向网上政府采购的安全采购项目备案的协议.该协议运用了以数字证书为核心的PKI技术,实现了用户的身份认证和访问控制,保证了整个采购项目的备案过程中数据的保密性、完整性和不可抵赖性.并通过一种形式分析模型BAN逻辑证明了该协议的安全性.实验证明该方法可以解决网上政府采购中采购项目备案服务对安全性的需求.     

论虚拟地理环境的发展与讲授

虚拟地理环境是地理学语言在智能化、网络化和虚拟现实表现等方面向前发展的更高级形式,包容了地图和GIS所具有的空间信息表达与传输功能.本文从虚拟地理环境概念、发展简史的基础上探讨了该课程作为GIS专业选修课程设置的意义.