摘要：构建系统描述模型是设计可重构计算系统的重要环节。现有的系统建模方法主要分为形式化方法和非形式化方法两种,其中,非形式化模型缺乏严格的数学定义,给模型的分析和验证带来困难。采用形式化方法建立的系统模型无歧义,更适合分析和验证。Petri网作为一种常用的形式化建模方法,有严格的数学定义和建模理论,但是,基本Petri网在对可重构计算系统建模时存在数据流描述能力不足的问题。为此,对基本Petri网进行扩展,提出了一种数据流Petri网。首先给出了数据流Petri网的结构定义和动态行为规则,并定义了模型的图形符号表示方法。然后,分析了模型对可重构计算配置任务和计算任务的描述方法,在考虑硬件资源约束条件下,讨论了可重构计算系统的数据流Petri网建模技术。最后,通过一个典型的乘加运算器模型分析,表明该方法易于实现,所建模型结构简洁,便于分析验证系统功能。

摘要：上海师范大学法政学院2007级硕士研究生张娓娓在《中国传统文化中的生态伦理思想——兼谈青年学生的生态文明观》一文中指出：

摘要：零件尺寸测量是生产中一个十分常见而重要的项目。利用摄像机等硬件和图像处理算法等程序共同构成图像尺寸测量系统，在这个平台上完成尺寸测量工作。通过标定试验，得到像素当量为0.1198 mm/pixel，测量范围为0.1198～42.169 mm。通过试验数据分析，测量精确度达到＆#177;0.09 mm。仪器在试验室环境下工作正常，达到设计要求。

摘要：在工程总承包合同中,争议解决是一个重要的问题。当各方在工程项目中发生争议时,如何高效、公正地解决争议,是确保项目顺利进行和维护各方权益的关键。传统的争议解决方式在某些情况下可能存在效率低、成本高、结果不确定等问题。为了克服这些问题,多层级争议解决方式应运而生。多层级争议解决方式将争议解决过程划分为不同层级,根据争议的性质和复杂程度选择合适的解决机制。通过谈判、调解、仲裁和诉讼等不同层级的组合应用,可以提供更加灵活、高效和公正的争议解决路径。本文将探讨工程总承包合同中多层级争议解决方式的背景、原理和应用,以期为解决工程项目中的争议提供有益的参考。

摘要：由于目前高校的扩招和学生自学能力的不断提高,让图书馆的座位变得十分紧缺,从而也促使图书馆的占座现象越来越严重。该文将图书馆和微信小程序相结合,开发了一款座位预约和管理一体化系统。使用者基于微信小程序便可以自主完成座位自主预约、查看座位、取消座位、查看学习记录等功能,从某种程度而言可以较好地解决图书馆的占座问题。

摘要：以某市10万吨污水处理课题为背景,采用GE-IP iFIX组态软件进行组态和监控,完成基于iFIX的城市污水处理系统的设计与实现。为保证出水水质,降低处理成本,提高运行管理水平,使水厂长期正常稳定地运行,取得最佳效益奠定了基础。

摘要：对已有的LQR最优控制中系统的动态响应与加权矩阵Q和R之间遵循的基本规律进行分析,并根据这一基本规律对给定的直线一阶单倒立摆采用线性二次型最优控制的方法设计控制器。仿真结果表明,基于LQR的最优控制系统对直线一阶单倒立摆具有很好的控制效果。

摘要：本文以改善电机效率和降低永磁低速直线电机制造成本为优化设计目标,把单台电机造价和电机电磁推力的比值作为目标函数,由于目标函数的优化变量多,参数间相互约束,目标函数复杂等特点,因此本文采用遗传粒子群算法对永磁低速直线电机进行优化设计,通过对两种设计仿真结果对比证明了该算法在提高电机电磁性能,降低制造成本方面有明显的优越性。

摘要：针对当前图像拼接机制对参数缺乏普遍适用性,且其以全局角点为对象展开拼接,导致拼接速度慢,以及难以消除伪角点等不足,文中选取最大局部范围Harris响应函数值为有效角点,并去除Harris响应函数值调节因子,设计了新的Harris角点检测算子。引入归一化互相关函数,考虑角点分布几何特性,耦合空间变换模型,设计了特征点精准匹配算法。最后提出了局部范围Harris响应函数耦合精准特征匹配的图像拼接机制,并借助仿真实验测试该机制。结果表明:与当前图像拼接机制相比,文中机制具有更高的拼接精度,缝合处完整,有效消除了伪角点,且拼接速度更高。

摘要：本文研究城市路网模型的建立和路径导航算法,提出一种新型路网模型建立的线路导航策略,根据行驶车辆在路网中的特点凝练提出新型路网模型,采用聚类方法对原始数据进行分析,并得出行驶样本的行车轨迹,最终以SPTDN算法作为本设计的导航算法。本文最终搭建软件开发平台,完成起始点清华园至终点颐和园的起始点输入和路网自主导航。