基于FPGA的IP仿真验证平台

IP（集成电路知识产权芯核）的仿真和硬件验证是IP开发中不可缺少的环节．文中基于FPGA（现场可编程门阵列）开发了一个IP仿真验证平台,并使用PCI（外部设备互连）总线来测试IP．用户只要将自已设计的IP插入所开发的仿真验证平台,就可以方便地对IP进行测试．文中还对所设计的平台进行了软件仿真,以验证其功能,并在载有Xilinx Spartan-3 600E FPGA的PCI插卡上进行上板调试．结果表明,所建立的基于FPGA的IP仿真验证平台可以对IP进行有效的仿真和验证,并具有良好的稳定性和实用价值．     

分布式制造信息系统单元的Agent模型

建立分布式制造信息系统的多Agent系统模型时,要在对其功能需求进行分析的同时研究其控制需求．文中以柔性耦合自动机为工具建立各个单元的Agent抽象模型、计算结构和算法．在此基础上利用基于双向输出自动机的接口,以设备和原料仓的交互为例,研究了Agent之间的通信．结果表明,该模型可以同时对系统进行功能需求和控制需求分析,便于系统分析和设计．     

磁性壳聚糖微球的表征及其磁响应性

以戊二醛为交联剂、Fe3O4为磁核,采用反相悬浮交联技术合成了磁性壳聚糖微球,并利用数码光学显微成像仪、激光粒度仪、傅立叶红外光谱对磁性微球的形态、大小和化学结构进行了表征,采用原子吸收分光光度仪、磁天平和可调磁场对其磁响应性进行了研究.结果表明:所合成的磁性壳聚糖微球粒径在50~200μm之间,基本呈圆球形,表面比较光滑,且内部均匀分布着磁性介质Fe3O4;当磁性微球粒径小于280μm时,在外加磁场作用下,微球的磁化率与沉降速度都随着微球粒径的增大而增大.这表明所制备的磁性壳聚糖微球具有良好的磁响应性.     

肽酰转移酶催化肽键形成机理的理论计算研究

蛋白质合成过程关键的一步,由肽酰转移酶参与的肽键形成机理是一个基础的被长期讨论的生物分子学问题．早在三十几年前,就已经知道肽酰转移酶对肽键的合成起至关重要的作用．并且也知道肽酰转移酶是一个大的核蛋白,即包括很多蛋白质和RNA的大分子．但是一直以来科学家都认为,这个反应机理应该和丝氨酸水解酶水解蛋白质一样,是一个基于蛋白质催化的过程．     

基于LOGISTIC模型的城市扩展时空模拟——以深圳龙岗区为例

龙岗区是深圳市面积最大的市辖区,在深圳城市扩展中占有重要地位．在综述国内外采用LOGISTIC模型进行土地利用时空模拟的基础上,改进原始模型,将动态交通数据和空间滤波引入模拟流程．以龙岗区为例,基于改进模型尝试对中小尺度的单个城区进行城市扩展的时空模拟．结果显示,模型在中小尺度城市扩展模拟方面具有较好效果．     

基于差分吸收检测技术的非分散红外CO2呼吸气体传感器

采用非分散红外(non-dispersive infrared,NDIR)气体传感器实时检测呼吸气体中的CO2气体浓度,进而反映人体运动机能和代谢功能等身体状态,可以满足人类日益增强的对自身健康状况进行了解的需求.利用电调制微机电系统(micro-electro-mechanical system,MEMS)光源和双通...     

发展杭州市畜牧业的若干建议

畜牧业是现代农业的重要组成部分,关系到农民增收、城乡畜产品供给和社会公共卫生。为了实施好畜牧业“十一五”发展规划,促进杭州市畜牧业进一步纳入科学发展的轨道,实现可持续发展,特提出如下建议。一、杭州畜牧养殖业的发展情况2004年,杭州市肉、蛋、奶、蜂生产总量为47.78万吨,产值45.76亿元,占农业总产值的21.97%;2005年受高致病性禽流感和生猪价格一度下滑的影响,畜牧业产值持平略增。从全国看,杭州市畜禽养殖不是一个大市。北京、天津、长春、哈尔滨、广州、青岛、石家庄等市畜产品年产量均在100万吨以上,产值90亿以上。例如哈尔滨市…     

基于Petri网的协议测试例自动生成

Petri网支持下的协议一致性测试是协议工程研究中的重要课题.Petri不能很好地支持一致性测试集的自动生成.针对这一问题,分析了对基本Petri网扩展的必要性,提出了一种新的用于支持协议测试的扩展的高级Petri网,揭示了其静态结构和动态行为,并提出了该Petri网到测试描述语言TTCN-3的转换规则.开发了原型系统,并应用于实际的协议一致性测试工作.     

激光标刻的复杂区域填充算法

为减少填充线段和提高激光加工效率,对复杂区域的填充算法进行了研究．采用延长某些岛屿边界将包含岛屿的区域变为单连通域;然后用最长边延长法和最长边平行截取法将单连通域分解为简单凸多边形,简单凸多边形填充方法是先找到凸多边形所有边对应的高最小的那条边,平行该边进行填充,最后对填充线段的连接顺序进行优化处理．与传统的固定方向扫描填充相比,采用本算法可使复杂区域和实心文字的激光标刻效率提高20％～40％．     

一种确定IFSP中迭代次数下限的算法

提出了一种求解带概率的迭代函数系统（IFSP）中迭代次数下限的自动算法,该算法基于一个基本假定,从给定的多个压缩仿射变换矩阵的谱半径入手,先分别求出每一个压缩仿射变换收敛到其对应的不动点时的迭代次数,然后根据每一个压缩仿射变换使用的概率即可计算出IFSP中迭代次数的下限．理论分析和实验计算结果表明,提出的算法能有效地确定IFSP中迭代次数的下限,且在保证分形图质量的同时避免了不必要的计算开销,为快速生成高质量的分形图提供了一种有效的方法．