基于排队模型的联锁逻辑仿真模型研究

基于构件的仿真与建模方法来源于面向对象,该方法采用层次化、模块化、标准化的思想来分析系统.与面向对象的方法相比,基于构件的仿真与建模分析的粒度较大,可重用性更好.根据联锁系统的特点,针对联锁系统中联锁逻辑的实时仿真与建模问题,提出一种基于面向对象和构件的仿真与建模方法,并设计了基于离散时间队列的仿真算法,建立了一个联锁逻辑仿真的基本模型并给出了实现的方法.     

安徽铜陵老鸦岭含钼碳质页岩的Re-Os定年

安徽铜陵老鸦岭矿床是一个典型的层状矿床, 钼矿体赋存在二叠系顶部大隆组的碳质页岩-灰岩中. 利用Re-Os同位素体系(ICP-MS方法)对该含钼岩层进行定年, 得到的等时线年龄为234.2 ± 7.3 Ma, 初始值为1.37 ± 0.39(MSWD = 1.5). 该等时线年龄比沉积年龄(二叠纪末)年轻, 其原因可能是: (1) 后期热液的轻微扰动; (2) ICP-MS测量方式可能存在较大的质量分馏. 但无论如何, 该年龄接近沉积年龄, 而远早于燕山晚期侵入岩侵位时代. 因此老鸦岭钼矿床是同沉积型矿床, 与燕山晚期岩浆活动无关. 由于二叠纪的黑色页岩在长江中下游地区具有一定的分布, 所以老鸦岭含钼黑色页岩的研究结果对认识长江中下游地区的成矿规律和开拓新的找矿方向有重要参考意义.     

辽东猫岭金矿中含金毒砂的Re-Os年龄及地质意义

猫岭金矿是辽东重要的大型金矿床之一, 其金储量为25 t, 平均品位为3.2 g/t．猫岭金矿为毒砂浸染型金矿, 毒砂与金矿化密切相关．猫岭金矿中6个毒砂样品的Re-Os等时线年龄为2316±140 Ma, 指示猫岭金矿化发生于古元古代, 不同于前人认为猫岭金矿成矿于印支期．等时线的初始¹⁸⁷Os/¹⁸⁸Os比值为1.32±0.48, 指示矿质来源是壳源的, 可能来源于辽河群盖县组．此结果同时表明矿区的辽河群盖县组沉积时代老于矿床年龄(2316±140 Ma)．     

基于图形转换的构件组装研究与应用

Padberg J,Ehrig H等使用代数规格语义的Petri,基于图形转换理论提出一种通用构件组装框架,该框架可以适用于不同领域的动态和静态的构件组装.但由于其限制连接件的输入接口是互不相交的,即割裂了与传统Petri网的同步合成和共享合成的联系,也限制了其实际应用的灵活性.给出一种较弱的唯一性条件,及基于该条件的结构唯一性和内容兼容性的证明,并讨论在此框架体系中融合传统Petri网综合方法.最后将该框架体系实际应用于联锁逻辑的描述.