基于有限状态自动机的漏洞检测模型

漏洞是软件安全的一个严重威胁,如何检测软件中存在的漏洞对提高其安全性具有重要的意义.经过分析缓冲区溢出漏洞产生的原因,得出了其形成的3个必要条件,并根据产生原因的不同,针对函数调用出错和循环拷贝出错而导致的两类缓冲区溢出漏洞,分别提出了相应的基于有限状态自动机的漏洞检测模型.     

Plasmid stability in a recombinant S cerevisiae strain secreting a bifunctional fusion protein

The recombinant Saccharomyces cerevisiae strain, YPB‐G, producing and secreting Bacillus subtilis α‐amylase and Aspergillus awamori glucoamylase as a fusion protein yielded efficient utilisation of starch. A segregated population balance model has been used to determine the probability of plasmid loss and plasmid copy number. The kinetics of cell growth and product (fusion protein) formation were based on a genetically structured model. The predictions were compared with the experimental observations obtained for the unstable recombinant S cerevisiae cells in a 1.5 dm^?3 batch bioreactor with 30 g dm³ initial starch under non‐aerated conditions. The main advantage of the present model is that three different genetic classes were defined on the basis of the existence of plasmid and of the expression of the enzymes, ie cells containing plasmids and expressing the gene product, x₁; cells containing plasmids and but not expressing the gene product, x₂; and cells without plasmids, x₃. It is confirmed by this model that the cells without plasmids outgrow and dominate in the fermentation medium (2.27 g dm^?3 vs 0.51 g dm^?3) as more and more glucose becomes available by the degradation of starch. © 2001 Society of Chemical Industry     

图形生成与图象处理中的仿射变换

在图形生成和图象处理的实际问题中仿射变换是非常有用的，本文用仿射变换讨论了信息复制方法，介绍了分形插值格式与ＩＦＳ方法，强调指出仿射变换可被用来构造一类新的预小波，最后对有关计算机艺术的模型问题给出若干议论。     

基于FPGA的位宽可扩展多路组播复制的实现

用VHDL语言在FPGA内部编程实现组播复制。本文介绍其实现方法,并给出了时序仿真波形。通过扩展,该设计可以支持多位宽、多路复制,因而具有较好的应用前景。     

基于文本文档的版权保护技术研究

为了减少因特网上侵权现象，针对文本文档，描述用来保护文本文档的版权的几种编码方式，这些文档编技术能用来确定文本文档被非法复制后的版权归属和容许执行该非法复制的合法用户。     

基于SQL server复制方法的数据库同步软件研究

在稳定性不好的网络环境下利用SQL server数据库的复制功能进行数据同步容易造成数据的不一致性。本文研究了一个基于SQL server复制方法和压缩技术的数据库同步软件DataSend的设计与应用。DataSend通过建设中间层缓解了源数据库和目标数据库的压力,对传输数据进行压缩处理后再传输;通过状态来控制传输的准确性,从而提高了数据同步的传输效率、灵活性、安全性和准确性。     

可识别载波的红外遥控自学习模块研究与设计

介绍了一种红外遥控自学习模块,采用波形复制方法来实现红外遥控信号的载波识别与波形学习。该模块以STC12C5410AD单片机为核心设计,通过单片机的外部中断与定时器的配合使用,实现红外遥控信号的载波识别与波形学习。经过实际测试,该模块能准确学习红外遥控信号的波形,并能准确控制红外设备,具有良好的通用性和宽载波学习范围,可适用于万能遥控和智能家居系统。     

煤矿用高水无机膨胀充填材料泌水分析表征

通过化学方法检测分析了榆阳煤矿高水无机充填材料的泌水组分，分析确定硫酸根离子的浓度为1344mg／L；红外分析发现，溶液中含有机物量少，且都是对人体无害的水泥添加剂组分；原子吸收光谱检测钙、镁离子、硅酸根浓度，其中硅酸根和钙离子超出了仪器的检测范围，即〉1000mg／L，Mg2＋含量为362mg／L。综合检测分析发现，充填泌水主要为高水充填材料中的石膏、水泥、粉煤灰、水泥外加剂等可溶成分。     

基于硬盘保护卡技术的分析与研究

硬盘是计算机重要的外存储器,系统软件、应用软件的安装必须在硬盘上进行,用户完成的数据处理也可存放在硬盘上,如果硬盘保护不当,造成的损失基本上是无法弥补的。因此,对硬盘的保护就显得尤为重要,从硬盘保护卡的原理、功能、优缺点、应用等方面进行综合分析,对比研究发现,具有变量拷贝功能的保护卡和多功能的保护卡都能更好地保护硬盘和硬盘数据,能够更加有效地将机房管理人员从繁重的重复劳动中解脱出来。