BT协议的形式化建模与一致性测试的测试序列生成

BitTorrent是一种流行的文件共享软件,它允许文件分块,并将每个数据块作为独立的传输单位在下载者之间进行交换。本文分析了P2P应用中的BitTo—nt（BT）协议的特点和工作原理,对BT协议的Peer端进行了形式化建模,得到Peer端的有限状态机模型（FiniteStateMachine,FSM）,并基于该模型以及变迁覆盖标准,给出了结合UIO方法的一致性测试的测试序列产生方法,最后给出下一步的研究工作。     

基于ARIMA模型的体育彩票销量预测——以上海为例

对未来体彩销量预测分析,可以为体彩产品设计、营销推广提供科学依据。本文以上海为例,采用ARIMA模型对2009年1月-2013年3月的上海体育彩票的月度销售数据进行时间序列分析,并预测出2013-2015三年上海体育彩票的销量,从而对上海体育彩票的销量增长趋势进行分析。     

基于PredRNN的蓝藻时空序列预测实验方案设计

该文采用Pred RNN技术设计了蓝藻时空序列预测综合实验方案,可为湖泊蓝藻治理提供有效参考。实验利用Python语言,在Pred RNN算法基础上,构建蓝藻时空序列预测系统。整个实验方案包括蓝藻NDVI（归一化植被指数）图像数据预处理、蓝藻数据集划分、时空序列预测模型训练、预测模型测试与彩色化显示5个模块,并通过对比实验说明了PredRNN算法用于蓝藻时空序列预测的可行性和实用性。该实验方案的设计可帮助学生熟练掌握Python编程技能,有利于提升学生对图像处理与计算机视觉知识的综合应用能力,实现计算机视觉课程教学理论至实践的延伸,强化教学与科研的有机结合,提升学生的科研素养,促进计算机视觉课程的建设。     

知识建构社区中观点改进的机理研究:知识进化的视角

知识建构教学的核心是观点的持续改进,目前的研究尚处于轨迹追踪等表层行为分析,缺乏观点改进多行为之间的关系以及知识进化内在机理的探讨.研究通过跟踪某大学教育技术学专业56名本科学生一学期的课程"影视动漫赏析",运用滞后序列与内容分析法对学生发表在知识论坛平台上的623条观点进行分析.研究结果表明:观点改进行为显示出"萌生与聚集选择与种群生成激荡中的持续生长跃迁与延续"的阶段性发展规律;观点显著行为序对很好地映射在了多轮波普尔循环的知识进化中,足够的分裂与变异、不断的融合和自我生长行为对知识进化起着关键作用.一些未预见发现充分体现了知识建构基于原则的灵活性特征.     

多值Ф-强增生算子方程解的Ishikawa迭代逼近

在一致光滑的实Banach空间中，研究多值Ф-强增生算子方程解的Ishikawa和Mann迭代逼近问题．给出了具误差的Ishikawa迭代序列和具误差的Mann迭代序列强收敛到方程f∈Tx和方程f∈x＋Tx的惟一解定理。     

关于逆序列的极限空间

讨论了当逆系统为一逆序列时其极限空间的性质，证明了任一逆序列的极限空间与任一无穷的子逆序列的极限空间是同胚的。     

基于模糊自适应变权重的经济时间序列组合预测模型研究

组合方法首先选取支持向量机预测算法和一阶指数平滑法对经济时间序列分别进行预测,来建立模糊自适应变权重组合预测模型。为对比模糊自适应变权重的经济时间序列组合预测模型的预测效果,选取了两种定值加权组合预测模型:平均加权模型、误差平方和最小组合预测模型。通过实验比较分析:模糊自适应变权重组合预测可以综合利用各单项预测方法的优点,比单一模型预测结果精度有了很大提高,且优于定值加权组合预测,在经济时间序列的预测方面有较高的应用价值。     

应建立怎样的作文训练序列

目前,义务教育阶段还没有独立的写作课程。在现行小学语文教材中,写作与阅读是组合在一起的。教材大都以阅读教学为主线编排,习作训练依附阅读单元之后,往往自身缺乏明确的、科学的序列——在内容设计上缺乏整体规划,各单元习作训练间存在重复或脱节现象,且习作训练的文体比较单调;习作能力训练无序可循,缺乏明确的方向和重点,具体到单个习作训练,对于基     

审美观照下的“红楼悟”——论白盾先生对《红楼梦》研究的贡献

自20世纪50年代起,白盾先生就开始了对《红楼梦》的研究,至今已50余年,形成了自己独立的思想见解和研究体系。以白盾先生的研究著作《红楼梦新评》、《红楼梦研究史论》、《名家解读红楼梦——悟红论稿》、《红楼争鸣二百年》及其相关论文为研究资料和对象,从审美系列主题、原作家与续作家的评价、人物品评、就脂论脂与就程论程等四个方面解读白盾先生在《红楼梦》研究中的审美体系以及所体现的独特意义。     

基于遍历序列重构二叉结构树的分析

针对如何由二叉树的遍历序列来唯一确定二叉树的问题,提出了用两种遍历序列唯一确定一棵二叉树的方法.理论分析证明,已知先序遍历和中序遍历或者已知后序遍历和中序遍历可以唯一确定一棵二叉树,但已知后序遍历和先序遍历就不能唯一确定了.文中还对用两种遍历序列唯一重构一棵二叉树算法进行了描述.