Mediator模型的SystemC代码自动生成

Mediator是一种基于组件的建模语言,该语言主要通过自动机和系统对模型进行描述。将Mediator语言描述的模型自动生成为可执行代码,可以避免编码过程中由于人为疏忽而造成的错误,从而提高编码的可靠性,同时缩短模型开发周期。介绍一种从Mediator模型到SystemC代码的自动生成工具,该工具旨在将基于特定平台的模型转换为能直接仿真运行的代码。首先对Mediator语言的语法语义进行分析,选择合适的SystemC代码组织形式,然后针对Mediator模型的每一个组成部分 设计生成规则,其中重点对类型生成、状态转移语句生成、同步语句的生成进行分析。最后,通过一个机器掉电检测系统说明该工具运行结果的正确性。     

Mediator的概率扩展

Mediator是一种基于组件的形式化建模语言,它提供了分层的模块化结构,从而可以方便地对复杂系统进行建模。它以自动机为其底层单位,自动机连接成的系统作为高级结构,能在对模型进行形式化描述的同时让其本身简单易用。为了使Mediator具有更强的表达能力,可对具有概率行为的系统进行形式化建模,对Mediator做了概率方面的扩展,并对扩展后的语言给出了基于马尔可夫决策过程的语义。同时还介绍了由Mediator模型自动生成PRISM代码的方法,能够使用PRISM工具对Mediator模型的相关性质进行验证。     

高外水隧洞变形稳定性的基质压缩效应

深埋水工隧洞通常会面临高地下水位问题,为准确分析高外水隧洞围岩变形稳定性,需合理模拟外水内渗的力学作用。现阶段,学者们虽已认识到在饱和岩体渗流-应力耦合分析中考虑岩石基质压缩的必要性,但针对岩石基质压缩对高外水隧洞变形稳定性影响的相关研究尚未见报道。基于饱和多孔介质有效应力原理和孔压修正系数,并考虑围岩渗透特性动态演化,建立了高外水隧洞渗流-应力耦合分析模型,并在ABAQUS中进行了数值实现。依托某深埋引水隧洞,在分析其渗流场和变形稳定性的基础上,开展了不同岩石基质可压缩性条件下的高外水隧洞渗流-应力耦合分析,揭示了高外水隧洞围岩变形稳定性随岩石基质可压缩性的变化规律。结果表明：岩石基质压缩直接影响着高外水隧洞的外水内渗过程,对高外水隧洞围岩变形稳定性不利,岩石基质可压缩性越大,则围岩变形和塑性区范围越大,在分析中忽略岩石基质压缩将得出偏于危险的结果。     

六氟丁二烯的制备、纯化及应用

六氟丁二烯作为干法刻蚀气体,相对于传统的全氟刻蚀气,具有环境友好,刻蚀精度高、选择性好等优点。对六氟丁二烯的制备、纯化及应用做了简要介绍,并对其工业化生产现状做了简单描述。     

超微细碳酸锰合成影响因素控制

通过乙醇-氨化聚丙烯酸(PAA)体系在合成超微细碳酸锰粉体中的应用,对试剂用量、碳化反应温度、反应时间、体系酸度等因素的影响进行了研究。乙醇与锰溶液按体积比为1∶1、聚丙烯酸按体系中经过折算的碳酸锰质量的0.5%~0.9%加入,在室温下按化学剂量往锰溶液中添加碳化剂搅拌30 min,并陈化24 h,获得D90达1.8μm的超微细粉体碳酸锰。     

南运西闸加固及现状调查

分析了南运西闸历次加固的过程,针对加固后的使用现状,对于中小型水闸加固及使用提出了一定的建议.     

浅谈建筑工程冬期施工质量控制

本文针对建筑工程冬季施工中应注意的问题进行了阐述,并结合多年的经验,对冬季施工质量控制提出了自己的观点。     

浅谈水工混凝土结构的环境效应

<正>混凝土中的裂缝可降低混凝土品质并诱发如钢筋锈蚀等病害,甚至导致结构破坏,危及工程安全。尤其水环境下的混凝土结构在受到钢筋锈蚀的同时,还承受着外部环境中温度的反复变化、侵蚀、冲刷、冻胀及荷载等效应,混凝土结构物易受到进一步的损伤而形成破坏。     

利用ECT对稀疏气固两相流动进行浓度测量

采用电容层析成像技术直接对稀疏气力输送的固体浓度进行测量是困难的。为克服电容传感器敏感场的不均匀性对成像造成的影响,实验系统中装置了一旋流浓缩装置,传感器电极布置在浓缩器直管上,对常温下稀疏气力输送的固体浓度进行了测试研究。通过对截面积体积分数分布、平均值以及浓波动特性的分析证明这种测试方法是可行的。通过调节浓缩器顶部的抽吸风量对断面径向浓度分布及平均体积分数进行分析研究,研究结果表明少量的抽吸会对成像有益,但抽吸量太大会扰乱流场而与引入旋流浓缩装置的目的相违背。     

光纤拉丝氦气回收提纯技术

氦气的比热容非常高,并且是惰性气体,故在光纤拉丝中通常用作光纤冷却用气体。氦气是一种从天然气井中作为副产物而获得的不可再生的昂贵资源。从制造成本和战略安全等角度考虑,氦气回收的意义重大。通过对拉丝冷却管中的氦气进行收集,然后提纯并储存,以便对其再次利用,大幅降低了光纤企业生产成本,并保证了氦气资源的战略安全。