基于Petri网的考试系统智能出卷的研究

一般的网络考试系统是从题库中随机选题组卷,容易造成考卷难度不一影响考试的公平性.提出了使用petri网模型,采用启发式随机替换算法来控制考试系统出题难度的解决方案.     

实验室智能排课的研究

针对目前实验室排课的具体情况,提出实现实验室排课的智能化的理论方法.通过分析实验室排课的资源集和约束条件,推导出实验室排课需求集(RCRL),从而提出了一种实验室智能排课的求解算法-AICRL.     

灰色马尔科夫链在连续刚构桥梁施工线形控制中的应用

介绍利用灰色马尔科夫链对连续刚构桥梁分段悬臂施工时进行线形控制的基本原理,经过工程实例的应用表明,灰色马尔科夫链能较好地应用于连续刚构桥梁悬臂施工的线形控制,该方法能充分利用桥梁施工过程中各段的历史数据给予的信息,对随机波动性较大的数据也能进行较高精度的预测,具有较高工程实用价值.     

动态分布式层次密钥管理

层次秘密通信在电子商务与电子政务以及其他的具有层次结构的系统中有广泛的应用,本文通过利用单向散列函数的不可逆计算的特性,设计了一个单向的等级加密体制的密钥管理方案,上级组结点可以安全容易的获取下级组结点的密钥,反之不然.并且在方案中实现安全组的动态添加、删除及更新组结点密钥.本方案计算量小、存贮要求低,并且可以实现分布式并行化计算.     

时序模型Xn+1=TZn-1(Xn,εn+1(Zn+1))的极限行为

提出了一个随机环境下的时间序列模型,应用马氏链的随机稳定性理论,讨论了该模型确定的序列{Xn}的极限性质,给出了{Xn}依某种方式收敛以及以几何速率收敛的充分条件.     

车用IGBT模块健康管理技术综述

面向车用IGBT模块健康管理技术,分别从失效机理、状态监测、故障诊断、寿命预测四个方面综述国内外的研究进展,提出当前研究中存在的关键问题和技术优缺点,在此基础上,对车用IGBT模块健康管理技术今后的发展趋势做出展望。     

羊栖菜多糖分离纯化和结构的初步鉴定

将提取的羊栖菜多糖用sevage法除蛋白、H2O2脱色后得到羊栖菜多糖半纯品,依次通过DE-AE-52、Sephadex G-200柱层析分离纯化后得到SFPS-B2、SFPS-C1、SFPS-D2三个多糖组分,用Sephacryl S200-HR柱层析鉴定纯度,三种组分的多糖为均一多糖,质量分数分别为86.02%、81.05%、86.95%.对SFPS-D2进行结构初步研究,通过紫外光谱、红外光谱和毛细管电泳分析,结果表明SFPS-D2不含蛋白质和核酸,多糖组成以β构型的吡喃糖苷键为主,含有硫酸基-O-SO3,其单糖组成以木糖、葡萄糖和半乳糖为主,其比例为木糖∶葡萄糖∶半乳糖=3.45∶5.8∶1.     

基于FPGA的IP仿真验证平台

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

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

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

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

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