COF（Chip on Film）30μm／30μm精细线路的研制

近年来,随着驱动IC的I/O数量日益增多,芯片I/O端的排列密度也越来越大。为了与间距日益精细的芯片I/O端相适应,COF基板的线宽/间距已经普遍降到50μm以下,尤其是某些内部引线键合(ILB)端,其线宽/间距已经减小到15μm。由于传统的减成法存在不可避免的侧蚀问题,所以用它来制作如此精细的线路存在一定难度。但是使用半加成法就能很大程度的抑制侧蚀现象,它更适合于制作非常精细的线路。文章中,介绍以铜箔厚度仅有2μm的溅射型挠性覆铜板为原材料,采用半加成法制作了最小线宽/间距分别为50μm/50μm和30μm/30μm的精细线路基板。在半加成法的差分蚀刻工艺中,选用硫酸/双氧水蚀刻液来蚀刻去除基材铜,而不是选用常用的盐酸/氯化铜蚀刻液。结果表明,半加成法具有很好的蚀刻性能,其制作出的线路横截面非常接近矩形。即使基板的线宽/间距由50μm/50μm下降到30μm/30μm,线路的横截面依然非常理想,并没有出现向梯形变化的趋势。同时,由于半加成法所需的蚀刻时间非常短,它能很好的保持线宽,使其与设计尺寸一致。     

基于混凝土三维CT重构氯离子扩散过程数值模拟

近年来,氯盐导致钢筋混凝土结构耐久性失效问题,氯离子破坏钢筋表面的钝化膜,加速了钢筋的锈蚀,同时裂缝的存在促进了氯离子的扩散,从而形成了恶性循环。基于混凝土三维CT重构技术,建立了湿-热-氯盐-裂缝多场耦合的氯离子扩散数值模型,研究了裂缝宽度、深度、等效裂缝形式对混凝土内氯离子分布的影响。结果表明,裂缝宽度促进了氯离子的扩散,但裂缝中氯离子浓度不与裂缝宽度成正比,裂缝宽度对氯离子浓度分布影响随着裂缝宽度的增加在减弱。裂缝深度对钢筋表面氯离子浓度具有显著影响,在诸多因素中起控制作用,采用楔形裂缝形态模拟氯离子在混凝土中分布与实际情况较吻合。     

微等离子体氧化法制备TiO2陶瓷膜的光催化活性研究

在不同的电流密度下 ( 5 ,10 ,15A·dm- 2 ) ,微等离子体氧化法在钛基体上产生了多孔的二氧化钛陶瓷膜。所得膜层被用于降解若丹明B ,有一定的光催化活性 ,当电流密度为 10A·dm- 2 时 ,所得膜层具有较高的光催化活性 ,2h去除率达 90 %。经XRD和SEM分析膜层的表面形貌和结构 ,发现膜层的微孔尺寸和锐钛矿型二氧化钛的含量随着电流密度增加而增加 ,10A·dm- 2 时所得膜的高催化活性归功于较大的比表面积及较高的锐钛矿型二氧化钛的结晶量     

广义继承及其在面向对象程序设计语言中的实现

本给出一种包含多种继承行为的，非常灵活的代码复用机制－广义继承，通过给出其操作语义和一个支持类间子类型关系确认的类机制，为其在面向对象程序设计语言中的实现奠定了基础。     

四氟乙烯的安全生产技术

讨论了影响四氟乙烯安全生产的2个方面。爆炸的预防，中毒物质的来源、控制方法及处理措施。     

拟建南岭国家公园地质遗迹特征及综合评价

地质遗迹是自然资源的重要组成部分,对地质遗迹进行科学分类和特征描述是合理利用、保护地质遗迹的前提与基础。拟建南岭国家公园因未开展系统的地质遗迹调查,存在资源本底不清晰、缺乏整体评价等问题。基于对南岭及周边地区地质遗迹调查的最新数据与以往地质调查成果的整合梳理,在对拟建南岭国家公园开展地质遗迹调查的基础上,按照《地质遗迹调查规范》（DZ/T 0303-2017）将地质遗迹分为基础地质和地貌景观2大类、7类和14亚类。从规模、形态、分布规律等方面总结了公园的地质遗迹特征,运用对比分析,对花岗岩地貌景观、砂岩地貌景观、峡谷地貌景观进行了综合评价,研究结果可为南岭国家公园开展自然教育、生态游憩的规划建设提供参考。     

Verifying time Petri nets by linear programming

The paper proposes an approach to solving some verification problems of time petri nets using linear programming.The approach is based on the observation that for loop-closed time Ptri nets,it is only necessary to investigate a finite prefix of an untimed run of the underlying Petri net.Using the technique the paper gives solutions to reachabiltiy and bounded delay timing analysis problems.For both problems algorithms are given,that are decision procedures for loop-closed time Petri nets.and semi-decision procedures for general time Petri nets.     

垂悬指针检测与防御方法

随着技术的发展,信息物理融合系统（cyber-physical system,简称CPS）系统在生活中扮演着越来越重要的角色,例如电力系统,铁路系统.如果CPS遭到攻击,将对现实世界的正常运转造成巨大影响,甚至威胁生命安全.垂悬指针是指向的区域被释放后未被置为空的指针,它是一种会导致攻击的软件缺陷.由垂悬指针导致的use-after-free和double-free漏洞能够执行任意恶意代码.迄今为止,只有少量工作针对垂悬指针进行检测、防御.其中多数都会导致过高的额外运行时开销.本文提出DangDone用于检测和防御垂悬指针.首先,我们通过静态分析检测潜在垂悬指针.然后,基于检测到的垂悬指针信息和一系列预定义的指针变换规则,依据指针传播信息变换指针,使得指针及其别名都指向同一个新引入的指针.基于该方法,我们实现了DangDone的原型工具.基于11个开源项目和SPEC CPU benchmark的实验结果表明,DangDone的静态分析部分只有33%的误报率,指针变换部分只引入了1%左右的额外开销.同时,DangDone成功防护了11个开源项目中的use-after-free和double-free漏洞.实验结果体现了DangDone的高效率及有效性.     

静动态结合的Java程序不变性分析方法

程序的不变性(immutability)是指类的实例对象在其生命周期内状态不会发生改变.不变性信息可以用来指导程序的分析、测试和验证等工作.现有分析不变性的技术主要集中于对程序的静态分析,而动态分析方面的工作很少.文中在分析了静、动态分析技术各自的优缺点后,提出了一种静动态结合的混合分析技术.首先通过对程序进行静态分析,即对程序进行分析测试和验证,来获得初步的程序不变性信息,然后对静态分析的结果中不确定的部分再进行动态分析,即通过观察程序运行时各个对象的状态变化进行分析,同时还将动态分析用于对静态分析结果的验证.静动态结合的分析技术比单纯的静态分析提高了分析结果的精度,同时也比单纯的动态分析降低了开销,提高了效率.     

海工结构服役寿命及保护层开裂模式细观数值模拟

通过在钢筋与混凝土交界面处施加时变边界位移建立非均匀锈蚀钢筋锈胀模型,其中混凝土损伤本构采用指数应力软化模型,时变边界位移采用Faraday定律对氯离子浓度积分计算得到.参数化分析保护层厚度、钢筋位置、钢筋直径等因素对服役寿命及保护层开裂模式的影响.研究结果表明,服役寿命随保护层厚度增加而增长,而且增加幅度逐步增大,而钢筋直径变化对服役寿命影响较小,角部钢筋锈蚀则导致结构服役寿命缩短;中部钢筋的锈蚀使得保护层出现三条主裂缝,当保护层较小,保护层破坏模式为凸起式破坏,保护层较大时则将出现层裂;同时,角部钢筋锈蚀将在保护层内形成两条主裂纹,最终导致角部保护层脱落.