一种基于PC机的高速16位并行数据采集接口

介绍了一种在PC机上实现的高速16位并行数据采集接口。该接口由高速光电隔离电路,双端口FIFO存储缓冲器电路及由FPGA芯片构成的计算机接口逻辑与控制电路等组成。该接口电路将终端显示处理系统与前端数据处理系统通过光电耦合器隔离开来,避免了它们之间的相互干扰,较好地解决了16位并行数据高速传输中存在的电磁干扰问题和大数据量实时有效传输问题。采用现场可编码门阵列FPGA芯片,使硬件设计软件化,既实现了复杂逻辑功能设计,又减少了硬件电路规模,提高了系统的可靠性,在雷达、声纳等复杂系统中具有良好的应用价值。     

基于源代码的缓冲区溢出预防技术

基于缓冲区溢出的攻击是一种常见的安全攻击手段,也是目前惟一最重要最常见的安全威胁。在所有的软件安全漏洞中,缓冲区溢出漏洞大约占一半。该文从编程的角度分析了缓冲区溢出攻击,并提出在源代码阶段尽量避免缓冲区溢出的方法。     

关系数据库缓冲区置换策略的性能评测(英文)

缓冲区是计算机领域一个非常重要的研究主题。现在存在很多缓冲区置换策略,广泛地用于操作系统、文件系统、数据库以及存储系统中。提出了一种性能评测方法来评测关系数据库的缓冲区置换策略。这种方法采用直接测试方式,使用五个性能指标,包括新提出的指标以及由于模拟方法的局限性在以前的研究中很少使用的性能指标,同时利用显著性测试并提出一种联合使用多个显著性测试的方法进行置换策略之间的比较,设计和使用多种工作负载在单用户和多用户情况下有效地评测各种策略。使用这种评测方法,在一个真实的关系数据库环境中,对十三种典型的缓冲区置换策略的性能进行了详细、全面的实验研究,从中可以获得一些有用的结论。     

Separation of synchronous and asynchronous communication via testing

One of the early results concerning the asynchronous π$\pi$-calculus which significantly contributed to its popularity is the capability of encoding the output prefix of the (choiceless) π$\pi$-calculus in a natural and elegant way. Encodings of this kind were proposed by Honda and Tokoro, by Nestmann and (independently) by Boudol. We investigate whether the above encodings preserve De Nicola and Hennessy’s testing semantics. In this sense, it turns out that, under some general conditions, no encoding of the output prefix is able to preserve the must testing. This negative result is due to (a) the non-atomicity of the sequences of steps which are necessary in the asynchronous π$\pi$-calculus to mimic synchronous communication, and (b) testing semantics’ sensitivity to divergence.     

一种高效的通用数据压缩算法

本文在著名的LZW数据压缩算法基础上,提出一种新的数据压缩算法。新算法以对已压缩过的数据进行历史分析为手段,采用三个编码器对源数据序列分类编码。该算法适用压缩各种类型的数据,完全兼容LZW算法,并在平均压缩率方面较后者有较大的提高。     

A reactive GRASP and path relinking for a combined production–distribution problem

An NP-hard production–distribution problem for one product over a multi-period horizon is investigated. The aim is to minimize total cost taking production setups, inventory levels and distribution into account. An integer linear model is proposed as a compact problem specification but it cannot be solved to optimality for large instances. Instead of using a classical two-phase approach (production planning and then route construction for each day), metaheuristics that simultaneously tackle production and routing decisions are developed: a GRASP (greedy randomized adaptive search procedure) and two improved versions using either a reactive mechanism or a path-relinking process. These algorithms are evaluated on 90 randomly generated instances with 50, 100 and 200 customers and 20 periods. The results confirm the interest of integrating production and distribution decisions, compared to classical two-phase methods. Moreover, reaction and path-relinking give better results than the GRASP alone.     

Simplifying the weft hierarchy

We give simple, self-contained proofs of the basic hardness results for the classes W[t]$W[t]$ of the weft hierarchy. We extend these proofs to higher levels of the hierarchy and illuminate the distinctions among its classes. The anti-monotone collapse at W[1,s]$W[1,s]$ and the normalization of weft-t$t$ formulas arise as by-products of the proofs.     

大淹没度低堰泄流能力研究

结合某工程实例,对大淹没度低堰选型以及大淹没度对低偃泄流能力的影响进行了研究。研究成果表明:在大淹没度下运行的低堰,堰的厚度与堰上水头之比δ/H≤0.67,且下游堰坡为陡坡的折线型实用堰比相同堰高的WES堰泄流能力大;在大淹没水深下运行的低堰,降低堰顶高程,减小堰高可增大泄流能力,但随着淹没水深的增加,低堰堰高以及堰面形式的变化对泄流能力的影响减小。     

Fe(Ⅲ)-过氧化氢-亚硝酸盐催化BSA蛋白硝化的影响研究

采用分光光度法研究了不同pH Hepes缓冲液中Fe(Ⅲ)-过氧化氢-亚硝酸盐催化牛血清白蛋白(BSA)发生蛋白质硝化的情况.实验结果表明:在Hepes缓冲液中,EDTA-Fe(Ⅲ)及柠檬酸铁均能够催化过氧化氢-亚硝酸盐引起BSA的硝化.在EDTA-Fe(Ⅲ)-过氧化氢-亚硝酸盐体系中,BSA的硝化程度随pH的升高而依次增强,亚硝酸盐含量随pH值的升高而降低,说明碱性环境有利于EDTA-Fe(Ⅲ)-过氧化氢-亚硝酸盐催化BSA发生蛋白质硝化;而在柠檬酸铁-过氧化氢-亚硝酸盐体系中,BSA的硝化程度随pH的升高而依次降低,亚硝酸盐含量随pH值的升高而升高,说明酸性环境有利于柠檬酸铁-过氧化氢-亚硝酸盐催化BSA发生蛋白质硝化.进一步研究表明:EDTA-Fe(Ⅲ)催化过氧化氢-亚硝酸盐发生蛋白质硝化作用强于柠檬酸铁.