赣东北某大理石矿矿床地质特征及成因分析

以赣东北某大理石矿床矿体为研究对象,在分析矿区地质资料的基础上,结合矿区构造、地层、蚀变等野外地质调查及样品测试分析结果,系统讨论了矿区地质特征.矿体赋存于震旦纪兰田组中段原岩为盆湖相沉积的地层中,分析得出找矿标志有震旦纪兰田组中段的大理岩;岩浆岩与灰岩的外接触带;结构较均匀、结晶程度较高,矿物颗粒较粗大的均匀块状、条带状构造的灰白色大理岩.通过找矿标志可向外围突破,扩大矿山储量.经综合分析,本大理石矿经后期的构造运动和沉积变质作用形成,属沉积变质作用大理石矿床,为后续大理石矿床勘探提供依据.     

赣东北某大理石矿矿床地质特征及成因分析

以赣东北某大理石矿床矿体为研究对象,在分析矿区地质资料的基础上,结合矿区构造、地层、蚀变等野外地质调查及样品测试分析结果,系统讨论了矿区地质特征.矿体赋存于震旦纪兰田组中段原岩为盆湖相沉积的地层中,分析得出找矿标志有震旦纪兰田组中段的大理岩;岩浆岩与灰岩的外接触带;结构较均匀、结晶程度较高,矿物颗粒较粗大的均匀块状、条带状构造的灰白色大理岩.通过找矿标志可向外围突破,扩大矿山储量.经综合分析,本大理石矿经后期的构造运动和沉积变质作用形成,属沉积变质作用大理石矿床,为后续大理石矿床勘探提供依据.     

赣东北某大理石矿矿床地质特征及成因分析

以赣东北某大理石矿床矿体为研究对象,在分析矿区地质资料的基础上,结合矿区构造、地层、蚀变等野外地质调查及样品测试分析结果,系统讨论了矿区地质特征.矿体赋存于震旦纪兰田组中段原岩为盆湖相沉积的地层中,分析得出找矿标志有震旦纪兰田组中段的大理岩;岩浆岩与灰岩的外接触带;结构较均匀、结晶程度较高,矿物颗粒较粗大的均匀块状、条带状构造的灰白色大理岩.通过找矿标志可向外围突破,扩大矿山储量.经综合分析,本大理石矿经后期的构造运动和沉积变质作用形成,属沉积变质作用大理石矿床,为后续大理石矿床勘探提供依据.     

面向软件供应链的异常分析方法综述

软件在国民经济的各个领域占据越来越重要的地位.万物互联的大背景下,信息之间的交互、分析、协同变得越来越普遍,程序/软件之间的依赖关系逐渐增多,这使得人们对系统可靠性和健壮性提出了更高的要求.由开源组件和第三方组件构成的软件供应链,其所面临的安全问题近年来成为了学术界和工业界共同关注的焦点.库函数作为开源软件的重要组成部分,与软件供应链安全有着密切的联系.为了提高软件开发效率,软件库或应用程序编程接口(API)在程序编写过程中会被频繁使用,但库函数中存在的错误或漏洞可能会被攻击者利用,从而损害软件供应链安全.这些错误或漏洞往往与库函数中存在的异常有关,因此本文对适用于库函数的异常分析方法从精度和效率两方面分别进行总结归纳,对于每种异常分析方法的基本思想和重要过程进行阐述,并针对库函数异常分析面临的挑战给出了初步解决思路.对软件供应链中的库函数进行异常分析有助于增强软件系统的健壮性,进而保障软件供应链的安全.     

谁动了KTV软件源代码--两工程师擅自销售公司软件被判有罪

案情 身为软件工程师,竟将公司KTV点歌系统软件的源代码复制销售.谁曾想不但钱没赚多少,却触犯了法律.2003年3月14日,北京市海淀区人民法院以侵犯著作权罪,分别判处被告人王某和赵某有期徒刑1年和1年6个月,并各处相应罚金.王某和赵某原系北京雷石世纪数字技术有限公司职员,负责软件的开发工作.2002年3月,两人从雷石公司辞职后,带走了该公司KTV点歌系统软件的源代码,欲继续从事该系统软件的开发和销售活动.2002年3月至2003年1月间,他们以营利为目的,将"雷石KTV宽带服务系统"软件稍加修改后复制安装盘,先后向西安云志电子科技发展有限公司、杭州新时空数字科技有限公司、北京伍俱娱乐城、北京时尚街区餐饮有限公司和北京金宇泰科贸有限公司等7家公司销售该软件复制品,违法所得共计人民币119295元.2003年3月1 2日两人被公安机关抓获归案.法院审理后认为,被告人王某和赵某以营利为目的,未经著作权人许可,复制发行计算机软件,违法所得数额较大,其行为均已构成侵犯著作权罪,应予惩处.     

基于改进生物地理学算法计及可靠性的配电网重构

配电网重构是一个多目标、多约束条件的非线性优化问题。在重构过程中,文章综合考虑了系统的经济性和可靠性因素。建立了Pareto多目标重构模型,并运用一种改进的生物地理学优化算法来处理配电网重构问题,避免了加权多目标优化算法解决此类问题而过分依赖个人主观经验的情况。另外,Pareto多目标数学模型的引入使算法更具有实际的工程意义。通过IEEE33节点系统的仿真结果验证了算法的可行性。     

计及风力发电和储能设备的经济调度模型

随着配电网中风力发电并网容量不断增加和储能设备的大量使用,给系统运行优化分析带来更多的困难与挑战,传统的经济调度模型难以满足目前智能电网的发展趋势。基于上述目的,本文建立了考虑风力发电和储能设备的配电网经济调度模型,该模型是一个非线性优化问题,以调度配电网系统的综合成本为目标函数,采用粒子群算法进行模型求解。通过算例分析,表明该模型较好结合了风力发电系统和储能设备,有效地降低了系统的综合成本。     

佳动了KTV软件源代码——两工程师擅自销售公司软件被判有罪

案情 身为软件工程师．竟将公司KTV点歌系统软件的源代码复制销售。谁曾想不但钱没赚多少，却触犯了法律。2003年3月14日．北京市海淀区人民法院以侵犯著作权罪，分别判处被告人王某和赵某有期徒刑1年和1年6个月，并各处相应罚金。王某和赵某原系北京雷石世纪数字技术有限公司职员，负责软件的开发工作。2002年3月，两人从雷石公司辞职后．带走了该公司KTV点歌系统软件的源代码，     

涉淫网陷法网--谢某传播淫秽物品牟利身败名裂

案情梗概2004年9月28日,杭州市江干区人民法院依法公开审理了被告人谢某涉嫌传播淫秽物品牟利罪一案。法院当庭做出判决,以传播淫秽物品牟利罪判处被告人谢某有期徒刑4年,并处罚金人民币2万元,没收其违法所得及供犯罪所用的电脑、手机、服务器等物,上缴国库。这是浙江省今年7月     

过程间流敏感的指针分析技术研究

指针分析技术是一种基础的静态程序分析技术,也是软件安全方向的研究热点之一,在软件缺陷检测、恶意代码分析、程序验证、编译器优化等应用场景中发挥着重要的作用,指针分析的精度在这些应用场景中至关重要。流敏感分析和过程间分析是提高指针分析精度最有效的两种技术。文中对现有的提高过程间流敏感指针分析精度的技术进行总结,从为提高精度所消除的信息入手,将分析方法分为两大类：一类是消除分析中的虚假信息,以避免指向信息沿虚假的返回路径或是虚假调用关系传播;另一类是消除分析中保守的指向关系,在每个程序点处根据设置的规则尽可能确定指针的唯一指向,而不是笼统地计算指针的多个可能指向。据此,详细比较了过程间流敏感指针分析技术的异同,并对指针分析技术未来的研究方向进行了展望。