摘要：在芯片设计领域,采用模型驱动的FPGA设计方法是目前较为安全可靠的一种方法.但是,基于模型驱动的FPGA设计需要证明FPGA设计模型和生成Verilog/VHDL代码的一致性;同时,芯片设计的正确性、可靠性和安全性也至关重要.目前,多采用仿真方法对模型和代码的一致性进行验证,很难保证设计的可靠性和安全性,并存在验证效率低、工作量大等问题.提出一种新型验证设计模型和生成代码一致性的方法,该方法利用MSVL语言进行系统建模,并通过模型提取命题投影时序逻辑公式描述的系统的性质,通过统一模型检测的原理,验证模型是否满足性质的有效性.进而,应用信号灯控制电路系统作为验证实例,对验证方法做了检验和说明.

摘要：采摘机器人的研究已经成为实现智能化农业的一个热点,到目前为止,采摘机器人还没有一套完备的自主决策系统,对其理论研究也不足;而基于足球比赛决策系统的机器人已经研究的较为成熟,如果将其决策系统移植到采摘机器人上,将大大提高采摘机器人的决策效率和自主规划能力。为此,提出了一种基于足球比赛决策系统的采摘机器人多路径优化方法,采用小波神经网络提高了训练后的值和期望目标值的逼近程度,实现了足球比赛路径优化的高精度预测;结合机器视觉技术,采用模糊决策算法对最终的运行轨迹进行决策,实现了机器人的自主路径规划。将该方案移植到了采摘机器人控制系统中,为了验证方案的可行性,采用不同的算法对采摘路径进行优化,结果发现:采用小波神经网络和模糊决策算法可以成功地锁定果实目标,且优化所需时间少,路径最短,满足设计需求。

摘要：在设计分布式流媒体代理缓存结构时,需要注意的两个主要方面是如何节省网络带宽和提高缓存命中率。基于此,提出了一种动态分段的流媒体代理缓存策略(SDD),该策略结合用户访问的趋势,并考虑不同网络用户的带宽和各媒体之间的差异,真正实现了流媒体对象的动态分段缓存。分析表明该缓存策略能普遍地适用于不同网络的大多数用户,不仅能够提高用户的请求命中率,同时还能提高缓存的利用率。

摘要：机械行业市场竞争日趋激烈并呈现出多元化发展趋势,随机配置的出厂技术文件日渐得到客户和制造商的广泛关注。国内工程机械行业的出厂技术文件由于版面设计水平和被重视的程度远不及企业产品广告和宣传册等资料,存在内容不全面、重点不突出、使用不方便、版面设计不美观等问题。针对这些问题,我们遵循版面设计的基本原则,以易读、易学、易用为设计理念,对出厂技术文件重新进行版面设计和规划。新设计的出厂技术文件更能体现人性化设计理念,内容更全面,重点更突出,使用更方便,具有浓重的企业特点和时代气息。

摘要：以往的多Agent间的通信都是建立在理论安全的网络传输的基础上,但网络中信息的传递必须考虑安全问题。为此,引入数字签名技术,运用加解密算法对合同网协议中的信息进行处理,构造了一个具有安全性的动态合同网模型。运用有色Petri网建模,CPN Tools分析,实验结果表明,该模型具有可达性、活性、公平性的特点。