一种嵌入式关系模型的形式化描述

在 Ｎ Ｒ／ Ｔ 网的基础上,对基于嵌入式关系模型的数据库信息系统的行为,给出了一种形式化的描述方法,并设计了一个变迁点火执行算法     

氧离子与氦、氖原子碰撞中转移电离过程的研究

采用位置灵敏探测和散射离子-反冲离子飞行时间测量技术,测量了氧离子与氖和氦原子碰撞过程中转移电离截面与单电子俘获截面之比.通过比较发现测量结果与文献结果的趋势一致,并对测量结果进行了讨论.     

Transfer ionization cross-sections measured in collisions of highly charged argon ions with neon target

: Multiple electron transfer processes are studied for Arq+n- Ne (q= 8, 9, 11, 12) collisions by using multi-parameter coincidence techniques. Various electron transfer processes are identified experimentally and the related cross-sections are measured. The dependence of transfer ionization cross-sections on the recoil charge states is compared with the results from the modified molecular classical overbarrier model. It is found that the modified model described the experimental results reasonably.     

信息安全风险评估规范在电子政务中的应用

随着我国信息化建设进入全面推进和快速发展的重要时期，信息安全保障工作愈加重要，信息安全评估被列为我国信息安全保障工作重点任务之一。     

Multiple ionization of argon accompanied by electron loss and capture of 0.22-6.35 MeV C^q＋ ions

In this paper a projectile ions recoil ions coincidence technique is employed to investigate the target ionization and projectile charge state changing processes in the collision of 0.22-6.35 MeV Cq^＋ （q = 1 - 4） ions with argon atoms. The partial cross section ratios of the double, triple, quadruplicate ionization to the single ionization （or the single capture） of argon associated with single electron loss （or single electron capture） by the projectile are measured and compared with the previous experimental results. In the present experiment, it is observed that the ratios of ionization cross sections R associated with single loss and single capture depend strongly on the projectile charge state and vary significantly with different reaction channels as impact energy increases. In addition, this paper gets empirical scaling laws for the ionization cross section ratios R corresponding to the projectile single loss and finds that the ratios of the double ionization to the single ionization associated with single electron capture remain constant in the present energy range.     

含噻吩环大环Schiff碱及其镧、钍配合物的合成

合成了三种新型含噻吩环大环Ｓｃｈｉｆｆ碱及其中一种与镧，钍的配合物。它们的结构均经ＩＲ，ＨＮＭＲ和元素分析表征。     

一种用于数字峰值电流模Buck的高精度DPWM设计

为减小脉冲关断延迟,提出了一种用于数字峰值电流模Buck的高精度数字脉冲宽度调制器(DPWM)的设计方案。采用粗调与细调相结合的分段式架构思想,粗调部分由全局时钟控制计数器-比较器模块构成,细调部分由锁相环组成的相移电路、计数器-比较器、多路选择器和逻辑门构成,以此产生不同精度的两段式延迟叠加,实现较高的DPWM输出精度。采用Vivado和Xilinx7系列FPGA,仿真并测试了搭载高精度DPWM的Buck。仿真结果表明,DPWM时间分辨率为250 ps,精度为0.01%。此外,测试结果表明,与低精度DPWM相比,设计的高精度DPWM一定程度上抑制了系统的极限环振荡,提高了Buck的环路带宽及系统稳定性。     

X-Ray Emission from Zr, Mo, In and Pb Targets Bombarded by Slow Highly Charged Ar^q＋（q = 13, 14, 15, 16） Ions

We study the L x-ray emission from Zr, Mo and In targets and M x-ray emission from Pb target under bombardment of low energy Ar^q (q = 13, 14, 15, 16) ions. The relative x-ray yields were measured in the projectile kinetic energy range 210-360 keV. It is found that the relative x-ray yields from Zr, Mo and Pb targets increase with the increasing projectile kinetic energy for Ar^14 and Ar^16 projectiles and depend on the potential energy of the projectile remarkably.     

基于FPGA的PCI硬件加解密卡设计

提出一种基于FPGA的PCI硬件加解密卡的设计方案,用硬件加解密取代了传统的软件加解密,将加解密模块和PCI接口模块集成在一个FPGA芯片内实现.分析了PCI加解密卡的软硬件的结构和原理,详细介绍了DESX加解密算法的原理、步骤和硬件实现、PCI接口模块的IP核设计以及USB接口模块的电路连接.系统硬件以FPGA为核心,使用Quartus Ⅱ 7.2软件和VHDL语言设计,软件由DriverStudio 2.7和Visual C++6.0设计.采用192位密钥的DESX分组对称加解密算法来取代64位DES算法,密文和密钥在专用硬件中存储,计算机内只有明文,有效防止黑客攻击,保护数据安全.设计采用逻辑综合式取代时钟驱动级联式来实现DESX算法,使加密一组数据的时间由16个周期缩短为1个周期.     

基于SVC码流自适应机制的视频转码技术

针对现有转码技术中存在的转码质量低、运算复杂度高、存储容量大和成本高等缺陷,提出一种转码改进方法,将SVC(scalable video coding)应用到转码中以解决以上问题。将改进方法与传统转码技术进行了比较,实验证明,基于SVC的转码不仅复杂度大大降低,并且RD性能也优于传统转码。