争光金矿--黑龙江北部新发现的浅成低温热液型高品位金矿

争光金矿位于著名的黑龙江多宝山铜多金属成矿带东南部,是黑龙江省地勘局齐齐哈尔矿产勘查开发总院2000年进行化探异常检查时发现的,一直是全局的重点找矿靶区。经过2000—2002年的化探、槽探、坑探和浅钻工作,虽然圈定了部分地表和浅部矿体,但对于矿床成因、矿体深部的规模、     

Modelica语言规范符合性测试验证方法研究

对Modelica语言规范符合性的测试验证进行了相关研究，提出一种涵盖词法、语法和语义规范符合性的测试验证方法，并在某建模仿真工具上进行了实践应用，验证了测试方法的可行性，能够指导开展Modelica语言规范性测试验证，发现潜在缺陷。旨在为工业软件产品研制方、测评机构等相关单位在进行Modelica语言规范符合性测试验证方案制定及具体实施时提供一定的参考，从而不断地完善软件研发周期中的测试工作，进一步地提升工业软件产品的可靠性与成熟度。