基于FPGA的IP仿真验证平台

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

大规模网络中基于FFT的呼叫阻塞率的快速算法

在大规模网络条件下,Kaufman提出的一维递推快速呼叫阻塞率（CBP）算法由于其呼叫阻塞率的计算将导致系统计算溢出,改进的Kaufman方案虽然消除了计算溢出,但是其计算时间随网络规模的变大呈指数增长．有鉴于此,文中提出了一种基于快速傅立叶变换（FFT）方法和计算溢出避免预处理机制的呼叫阻塞率快速计算方法．仿真结果表明,该算法消除了计算溢出且降低了计算复杂度,具有计算简单、无误差、速度快的优点．     

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

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

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

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

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

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

GC/MS法测定尿中的8-羟基脱氧鸟苷

利用气相色谱/质谱(GC/MS)法测定尿中的8-羟基脱氧鸟苷(8OHdG)含量.根据MS的定性结果,强峰m/z 383对应的碱基 1(B 1)为8OHdG的特征离子峰.利用选择性离子扫描方式(SIM)进行定量分析,测定结果重复性较好,整个分析流程的系内相对标准偏差为4.23%,系间相对标准偏差为8.25%.该方法的检测限可达0.5 nmol/L,线性范围为5~10 000 nmol/L.分析尿样的相对标准偏差为5.12%,并测定了正常人和癌症病人尿中8OHdG的排放水平,癌症病人尿中8OHdG的排放水平明显高于正常人.     

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

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

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

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

一种可动态更新的高可用中间件框架

针对动态更新缺乏对分布式应用支持的缺陷,提出了一套可动态更新的高可用中间件框架,用于分布式环境中高可用服务的开发．它包含了一套灵活的动态插件管理框架,可完成单进程的动态更新,同时提供了一套分布式协作服务管理框架,来完成多进程协同服务的同步动态更新．通过实现服务可用性论坛提出的高可用应用接口规范,验证了该框架具有单进程及多进程同步动态更新的能力．     

冷卷热处理生产调度模型的启发式算法

针对某钢铁公司冷轧厂热处理车间冷卷热处理生产调度中车间大、炉区小的实际状况,建立了以热罩和冷罩为机器,冷卷为工件的一类不允许等待的混合流水车间排序模型．利用参数排序策略,实现炉区之间冷卷的重新分配;利用值排序策略,确定新的热处理顺序,使得所有冷卷最长热处理时间最短．在此基础上开发的冷卷热处理生产调度系统正在冷轧厂试运行,目前系统运行稳定、速度较快、功能较强,预计每年可创直接经济效益5000多万元．