基于偏序简化的并发系统验证

构件交互风格和交互协议的描述与验证是基于构件的分布式系统开发的基础和关键,而构件交互协议是一种典型的分布式并发系统.传统的方法难以解决系统建模和验证中的所谓的状态爆炸问题.偏序简化是应用迹的概念,对模型进行化简并且对模型进行死锁验证.但这样的验证重点放在了Petri网模型上,而没有涉及进程代数模型,所验证的只是模型是否有死锁状态.而以通信系统演算CCS为代表的进程代数,因其概念简洁,可用的数学工具丰富,在分布式并发系统的规范、分析、设计和验证方面获得了广泛应用.对此,提出将偏序规约应用于进程代数模型,给出基于进程代数模型的偏序简化算法,并提出利用进程代数模型偏序简化算法来验证安全性的方法.     

基于LabView的新型模块化信号检测方法

提出了一种基于模块化的LabView的光信号检测方法。基于该方法的实验系统由信号采集和数据处理两大部分组成。信号采集部分通过光电二极管将光强信号转换为电信号,利用放大器(AD620)、数模转换器(ADC0809)、单片机(AT89S51)、电平转换器(MAX232)和计算机(PC)完成对光信号的采集。数据处理部分主要利用LabView软件通过计算机的9针串口从信号采集部分获取数据,并对该数据进行进一步处理,最后输出光信号强度随时间变化的曲线。提出的设计方案充分利用了计算机强大的数据处理能力,不仅最大程度地实现了光信号的自动检测,而且简化了信号检测硬件系统的设计,提升了系统的功能。     

浅议EMC在LED封装中的应用

环氧模塑料（EMC）作为一种常见的封装材料,具有可规模化生产和高可靠性等特点,被广泛应用于微电子封装领域。随着LED半导体照明技术的迅速发展,EMC作为一种新型支架塑封材料被引入到LED封装行业,成为第三代LED封装支架。与传统的PPA材料相比,EMC具有低膨胀系数、高热导率、更好的耐热性等优势。由于EMC支架是一种高度集成化的支架,具备更好的封装性能和可靠性,可进一步提升LED器件的可靠性并降低LED器件的成本。文章主要介绍EMC支架的主要特点、优势及其制作工艺,同时也总结了EMC在LED封装应用过程中还存在的一些问题。     

基于多常量编码的动态图软件水印保护技术

动态图软件水印在抗攻击性方面较通常的静态水印有明显的优势,然而由于这类水印信息本身与宿主程序的功能性之间并无关联,所以攻击者可以找到水印结构并对其进行恶意破坏,从而使水印提取过程失败.为此,提出了一种通过建立多常量与水印的依赖关系来对动态图水印进行保护的方法,并设计了针对Radix、PPCT、IPPCT结构动态图水印的保护算法.该算法通过创建动态图水印与宿主程序中多常量的依赖关系,对水印起到了防篡改的保护作用,从而可对该类水印进行有效的保护.最后通过数据率、鲁棒性两个方面对此算法进行了评测.结论是:基于IPPCT结构的算法不但过载较小,而且具有较高的数据率,还可以防止共谋攻击,是一种相对较好的水印保护算法.     

海上平台阴极保护原位监测系统

在渤西APP平台上预设了微机化阴极保护原位监测系统,这在我国尚属首例。该系统由微机自动数据采集存储器、数据传输系统和探头群3部分组成。从导管架下水开始,全方位监测了导管架电位分布,阳极工作电位和发出电流的经时变化,获得了导管架在阴极保护下极化过程全面完整的信息。     

IT系统多省集中容灾

企业内各种IT系统和信息数据越来越多,数据的丢失和业务的中断对企业造成的损失越来越大,在容灾系统日益受到重视的情况下,对IT系统进行多省集中容灾系统建设成为一种可能的方式,但也存在较多的风险.本文对集中容灾的意义和风险进行了初步的探讨.     

重型簧和少片簧生产线的设备选型

分析了重型钢板弹簧和少片钢板弹簧的工艺特点,针对这些特点提出了重型簧和少片簧生产设备的选型技术参数和建议,减少设备选型上的失误。     

Performance characteristics of Ultralife's solid polymer rechargeable batteries

Ultralife Batteries delivered the world's first commercial shipments of solid polymer rechargeable batteries in 1997. The battery consists of a Li_xMn₂O₄⁻ based cathode, graphite anode and proprietary polymeric separator. Energy density of the batteries exceeds 120 W h kg⁻¹ and 200 W h dm⁻³ at the C rate. Pulse capability up to 5 C has been demonstrated. More than 90% of the initial C rate capacity remains after 500 continuous cycles at room temperature. These solid polymer rechargeable batteries also show good low and high temperature performance and have good safety characteristics.     

潞西上芒岗某金矿堆浸尾矿金赋存状态研究

上芒岗金矿是滇西地区最具代表性的红色黏土型金矿之一。为研究潞西上芒岗某金矿堆浸尾矿综合利用技术,指导尾矿综合利用工艺,提升尾矿中有价金属的回收,采用化学多元素分析、偏光显微镜观察、X-射线衍射分析、MLA分析、电子探针成分分析、人工重砂单矿物化学分析等手段对堆浸尾矿进行金赋存状态研究。结果表明,堆浸尾矿主要由含粉砂泥质岩、白云质灰岩、泥硅质灰岩、白云岩组成。尾矿中金的品位为0.18 g/t,矿物组分简单,主要是白云石、石英、白云母及少量褐铁矿等。有价元素主要为金,金矿物的种类仅为含银自然金一种,含金88.179%、银6.202%。堆浸尾矿中84%的金以独立矿物的形式赋存于含银自然金中,其嵌布粒度以亚微米-微米级为主,集中于1μm左右,包裹于白云石中;11%的金以晶格金等机械混入的形式赋存于黄铁矿中。约67%的金颗粒为包裹金,包裹于白云石中,约33%的金颗粒为隙间金,嵌布于白云石晶粒间,无单体解离的金颗粒,磨矿工艺中大部分的金矿物难以实现单体解离,制约了金的综合回收利用。     

A semi fragile watermarking algorithm based on compressed sensing applied for audio tampering detection and recovery

Research on audio tampering detection and recovery plays an important role in the field of audio integrity, and authenticity certification. Generally, we use technology of fragile/semi fragile watermarking to detect and recover tampered audio. In this study, a new scheme for watermark embedding, tampering detection, and recovery is proposed. In the new scheme, we get the compressed version of original audio signal using compressed sensing technology and apply discrete wavelet transform (DWT) to each audio frame. In process of embedding, a new self-adaptive algorithm is proposed. Watermark is the quantized reference value of original framed audio signal and tampering location data, and is embedded in the region with low energy of high frequency coefficients and high energy of low frequency coefficients respectively after 2-level DWT. In process of detection, we locate tampered areas by comparing the value of generated random number and extracted watermark after XOR operation with the extracted location data. As for speech, we set a threshold to judge whether it is tampered or not. At last, we extract watermark in areas which are not damaged and get the recovered signal after decompression. Experiments and analysis show that signal after embedding has at least 5 dB higher average signal-to-noise ratio than others, and broken frames and groups can be detected exactly. When signal is destroyed by 20%, 98% of the corpus is intelligible after recovery, and even destroyed by 50%, 80% of the corpus recovered is also intelligible. Compared with other recovery algorithms, audio signal recovered by our proposal has a higher signal-to-noise ratio and a better robustness to some signal processing. When tampering rate is 50%, the average detection rate is over 93%, which indicates that our method is workable.