沸石-Cu2O复合材料的制备及其光催化研究

以CuSO4·5H2O和葡萄糖为原料,以13-X型沸石为载体,采用水浴法制备了沸石-Cu2O纳米复合材料.用X射线衍射(XRD)、扫描电镜(FESEM)、X光电子能谱(XPS)对其进行了表征,表明粒径为400nm左右纯的Cu2O微粒均匀地分散在沸石中.以模拟太阳光灯为光源,对亚甲基蓝溶液进行光催化降解实验,在最佳条件下降解1h,降解率可达到99.8%,表明沸石-Cu2O复合材料在可见光区具有良好的催化活性.该催化剂重复使用4次后降解率还比较高,而且依旧保持立方晶型、没有被氧化成CuO,证明所合成的催化剂物理化学性质都比较稳定.     

基于TMS320VC5416的图像采集系统的存储空间管理

对TMS320VC5416的数据空间采用分时映射技术,使其分时映射到片外FLASH和片内RAM,提高了数据空间的使用效率.根据程序空间的结构,对它采用不连续映射技术,让程序空间分段映射到片外RAM和片内RAM上,使程序空间的使用效率也得到提高.     

风格派的特点及其对现代设计的影响

介绍了风格派的精神内涵及艺术主张,陈述了风格派重要成员的艺术实践,指出了风格派对现代设计影响的突出表现。     

波动方程第二类边界条件齐次化函数与解的关系

基于传统的齐次化边界条件方法，讨论了波动方程初边值问题第二类非齐次边界条件一般形式的齐次化辅助函数问题，采用傅立叶级数法证明了对同一定解问题，在不同齐次化函数下的解在适定意义下是等价的。     

Verification of Interdomain Routing System Based on Formal Methods

In networks,the stable path problem (SPP) usually results in oscillations in interdomain systems and may cause systems to become unstable.With the rapid development of internet technology,the occurrence of SPPs in interdomain systems has quite recently become a significant focus of research.A framework for checking SPPs is presented in this paper with verification of an interdomain routing system using formal methods and the NuSMV software.Sufficient conditions and necessary conditions for determining SPP occurrence are presented with proof of the method's effectiveness.Linear temporal logic was used to model an interdomain routing system and its properties were analyzed.An example is included to demonstrate the method's reliability.     

保持直方图特性的隐写嵌入

为了提高隐写的安全性, 必须保持隐写前后图像的特征一致. 提出了一种保持直方图特性的隐写算法. 首先, 对像素直方图进行分组, 通过计算定量失真时的最大嵌入数据量, 得到每个像素的修改概率, 并利用STC(syndrome trellis codes)确定需要修改的像素位置; 然后,根据直方图分组情况对需要修改的像素值进行组内和组间自适应调整, 实现秘密信息的嵌入,同时保持隐写前后图像的直方图变化最小. 实验结果表明, 在相同嵌入量的前提下, 该方法对直方图的改动远少于已有的隐写算法, 隐写图像视觉质量更好.     

基于二阶差分的音频重采样盲取证

音频信号在拼接、重压缩、变速变调、伪装高质量音频等篡改操作中, 经常伴随着重采样的操作. 因此, 检测重采样是音频取证的重要方面. 提出采用二阶差分的方法来检测重采样音频, 从理论上证明了重采样的音频信号经过二阶差分处理后, 频谱上会呈现出明显的离散尖峰, 该方法也适用于常见的非线性插值情况. 运用该特点设计了重采样的自动检测方案, 研究了离散尖峰与音频时长、音频内容、音频格式的相关性. 大量实验结果表明, 该方法能够简单、快速、有效地检测重采样音频.     

高性能计算的发展

 继理论科学和实验科学之后,高性能计算成为人类科学研究的第三大范式。作为科技创新的重要手段,高性能计算广泛应用于核爆模拟、天气预报、工程计算等众多领域,是当代科技竞争的战略制高点,集中体现一个国家的综合实力。本文介绍高性能计算发展的历史和现状,分析当前高性能计算所面临的问题和挑战,探讨高性能计算未来的发展方向。     

轿车前碰撞横梁的轻量化设计

在综合分析了汽车轻量化的背景及其必要性的基础上,给出了汽车轻量化的实现途径,同时以轿车前碰撞横梁为例,介绍了汽车零部件轻量化设计的方法和流程,最后通过实验验证,前碰撞横梁轻量化后,仍能满足有关性能指标.     

中国濒危海洋生物现状及其保护

海洋生物多样性是全球生物多样性的重要组成部分,中国具有丰富的海洋生物资源,也是生物多样性受威胁比较严重的国家之一,目前有记录的濒危海洋生物已达556种。作者综述了中国濒危海洋生物的现状及特点,分析造成海洋生物减少甚至濒危的因素,阐述了中国对濒危海洋生物和海洋生物多样性的保护措施,提出了保护海洋生物多样性和海洋环境可持续发展的对策及建议。