Petri网的水产品溯源系统模型

提出了一种基于射频识别(RFID)的Petri网在水产品全程质量追踪和溯源系统应用的方法,以构建高效的基于物联网技术的水产品溯源与安全预警平台.根据实际水产品业务流和信息流,利用Petri网进行建模,然后在CPN Tools环境进行仿真.仿真结果表明:该建模方法简单、可行,能够验证工作流模型的有效性,而且便于计算机形式化表达和优化分析,有利于工作流管理系统的实现和性能提高,一定程度上提高了供应链的效率,从而降低了流通的成本和质量风险.     

神光Ⅲ控制系统的故障建模与分析

应用混合随机Petri网对神光Ⅲ控制系统的故障进行了建模,并应用Visobj Net对建立的故障模型进行了仿真分析。网络化控制系统是一个离散和连续相结合的混合动态系统,具有动态、并发及同步等特征;神光Ⅲ控制系统就是网络化控制技术在武器装备上的一个典型应用;对于复杂系统的建模和分析,Petri网是一个非常有效的工具。Petri网已经被证明是离散事件或异步系统很好的建模和分析工具,混合随机Petri网是Petri网的一个扩展,具有强大的建模功能。仿真结果表明,所建立的模型是正确的。     

神光III控制系统的故障建模与分析

应用混合随机Petri网对神光III控制系统的故障进行了建模,并应用Visobj Net对建立的故障模型进行了仿真分析。网络化控制系统是一个离散和连续相结合的混合动态系统,具有动态、并发及同步等特征;神光III控制系统就是网络化控制技术在武器装备上的一个典型应用;对于复杂系统的建模和分析,Petri网是一个非常有效的工具。Petri网已经被证明是离散事件或异步系统很好的建模和分析工具,混合随机Petri网是Petri网的一个扩展,具有强大的建模功能。仿真结果表明,所建立的模型是正确的。     

基于on-the-fly的Petri网模型检查技术研究与实现

Petri网是一种应用非常广泛的建模工具,它能深刻、简洁地描述控制系统,特别是能较好地描述并发系统的结构,并能对系统的动态性质进行分析。在探讨了Petri网的模型检查的基础上,采用双DFS算法,对基于Petri网的模型检查的算法进行了改进,提出了针对Petri网的on-the-fly算法,同时给出了基于on-the-fly的Petri网模型检查的实现和测试,从而可以有效地对Petri网表示的系统模型进行模型检查。     

担保业务管理系统工作流的Petri网建模

应用Petri网建模与工作流技术,构建了担保业务管理系统工作流的Petri网模型,并对一个担保业务管理系统工作流实例,给出了基于Petri网化简分析方法的模型化简与性质验证,表明该模型能够对担保业务管理系统工作流进行有效的分析和验证,从而为担保业务管理系统工作流分析提供了理论基础。     

基于云计算的智慧农业物联网云平台

我国是农业大国,而非农业强国,我国农业生产仍然以传统生产模式为主,传统耕种只能凭经验施肥灌溉,不仅浪费大量的人力物力,也对环境保护与水土保持构成严重威胁,对农业可持续性发展带来严峻挑战。本项目针对上述问题提出了结合农业专家智能系统、农业生产物联网控制系统和农产品安全溯源系统三大系统,系统利用云平台技术、物联网技术、音视频技术、3S技术、移动通信技术,运用云计算方法,实现农业信息数字化、农业生产自动化、农业管理智能化的智慧农业物联网云平台。     

Petri网理论及其在通讯协议中的应用

Petri网是研究并发、异步系统的有效模型,并巳逐步应用到资源分配、操作系统、分布式系统等领域。 本文首先综述了Petri网基本理论,包括Petri网基本概念和分析方法;然后利用Petri网模拟和分析通讯协议;最后,分析了一个具体的协议。     

基于．Net平台的Petri网建模和分析软件的设计与实现

应用面向对象思想和采用C#语言在．NET可视化编程平台下开发了图形化的Petri网建模软件,该软件作为一个计算机辅助设计和分析工具,使用户可在交互式的计算机图形方式下进行Petri网模型的建立、移动和存储。并可通过运行Petri网生成可达树,可达图来分析Petri网基本特性以及系统性能指标。     

一种扩展了价格信息的Petri网

提出一种扩展了价格信息的Petri网——价格Petri网，讨论了相应的分析方法和应用前景。主要工作是：为Petri网的变迁引入价格参数，并用价格变迁系统给出价格Petri网的语义；对价格Petri网进行了可达性分析并讨论了最小成本可达问题的可判定性；最后用价格Petri网建立一个业务流程的成本模型。结论是：为Petri网扩展价     

基于GSPN的工作流模型性能评价方法与应用

广义随机Petri网因其具有坚实的理论基础、强大的分析功能和易于表达的图形化方式,在工作流模型性能评价领域应用越来越广泛。论文着重讨论了基于广义随机Petri网的工作流模型性能评价的技术和方法,对于其分析过程中涉及的问题,尤其是广义随机Petri网的等价化简问题,进行了详细的阐述。文章最后结合一个应用实例“全国高等教育网上阅卷系统”对建模和分析评价过程进行了说明。     

基于物联网技术的智能农业应用系统

立足现代农业智能化发展和实际需求,合理选用ZigBee技术、无线组网技术、传感器技术、RFID技术、单片机智能控制技术、条码识别技术、嵌入式LTCP／IP技术、GSM通讯技术、GPRS通讯技术、GPS全球定位技术、DTU远程传送技术、TTS语音合成技术、自适应网关切换技术等物联网关键技术,设计了一种基于物联网技术的智能农业应用系统。该系统包括农业产品环境监测与培育平台系统、农业产品运输管理与控制系统、农业产品销售与分配管理系统等三个子系统,可通过远程交互方式来解决农作物的智能监测和培育、运输、销售等阶段的一些实际问题,最终实现农作物的科学培育、精准运输、产品溯源等智能农业应用。     

物联网技术在畜产品中的应用

介绍了物联网体系结构和关键技术,以及物联网技术在畜产品中的应用。以RFID电子标签为主要载体,依托网络技术、移动通信技术和数据库技术,可以构建从畜产品养殖、屠宰加工到配送销售的产业链全过程的信息追溯管理系统,可有效解决我国畜产品产业链物流中存在的各种问题,保障畜产品的质量安全。     

应用于农资产品溯源服务系统的物联网技术分析

针对目前农资市场的不规范问题导致的假劣农资损害农民利益的现象,建立一套农资产品溯源服务系统对于促进农业生产和增加农民收入具有重要的现实意义.农资溯源涉及到生产、物流、仓储、批发和零售等多个环节.如何协调整合各个环节的信息流是实现农资溯源服务的必要条件.近年物联网技术受到社会各界的广泛关注,在行业信息化、城市安防等都有实际应用.对实际应用于农资产品溯源服务系统的物联网技术进行了探讨.通过对物联网相关技术及网络体系架构的分析,展示了物联网技术便于农资溯源服务系统的各个环节间进行信息交换,可实现对农资产品的溯源防伪.最后以应用实例说明物联网技术在农资领域具有广阔的应用前景.     

基于区块链的RFID大数据安全溯源模型

近年来,区块链技术不断发展,受到了广泛重视,被普遍视为解决数据安全问题的重要工具。RFID大数据是物联网中重要数据的来源,对数据的安全性要求也非常高。数据溯源追踪是RFID物联网技术的重要应用领域之一,目前广泛应用于农牧产品原产地追溯、工业生产的原材料和零配件追溯,以及消费品防伪等方面。区块链在改善大数据溯源安全性方面 发挥着重要作用。文中提出了一种基于区块链技术的RFID大数据溯源安全模型,并在RFID大数据的追踪溯源过程中应用区块链技术,形成了多方参与且信息透明、共享、保真的溯源链;在RFID溯源物品的生产、加工、销售等多个环节建立区块链账本,建立起RFID大数据的溯源全程链式路径,路径直达终端使用者,从而实现RFID大数据的溯源安全管理。     

区块链+物联网在农产品溯源中的应用研究

近年来,农产品安全问题日益严峻,传统的农产品追溯体系面临公信力缺失、监管困境和扩展性问题,农产品质量安全追溯迫在眉睫。随着区块链技术不断发展,其具有的分布式、去中心化、不可篡改、可追溯等特性在改善农产品溯源系统数据安全性、透明性等方面发挥着重要作用,并受到了各个行业的广泛关注。在简述可追溯性和追溯系统概念的基础上,介绍物联网和区块链技术,并探讨了当前国内外学者将区块链和物联网框架融合应用到农产品溯源中的一些相关研究,同时阐述了溯源系统在物联网与区块链结合下带来的安全、可靠、透明等好处及面临可扩展性、效率问题、资源浪费等挑战,最后对当前农产品溯源体系建设提出建议以及未来的研究方向。     

Research on development of embedded uninterruptable power supply system for IOT-based mobile service

Under the banner of Internet of Things (IOT), mobile service is an important hot research topic. As a part of IOT, embedded systems can offer access to the devices on Internet. For supporting mobile service, one design and implementation solution of embedded Uninterruptable Power Supply (UPS) system is brought forward for long-distance monitoring and controlling UPS based on IOT. The key insight of our development is that we adopt new idea to realize new application based on new technology of IOT. The target is for mobile service to support pervasive computing paradigm. Our new idea is involved in the developed system which is based on new Arm chips, a set of new ATmega products (such as ATmega 161, ATmega 162), new Network Interface Controller, TCP/IP protocol suite and other software components. In our designed UPS system, an enhanced embedded file system is designed and implemented which saves the data and index information on the chip (such as a serial EEPROM) in structured way and communicates with MCU through I²C bus. The new file system is embedded in the UPS system. Mobile users can access and manipulate local or remote data on the client side based on IOT. Embedded file system on the chips plays a major role in the growth of IP networking. Based on our experiments, mobile users can easily monitor and control UPS in different places of long-distance. By our experiments and applications, the performance of this kind of new embedded UPS system is satisfied the requirements of all kinds of IOT-based mobile services.     

溯源系统电子秤编程调试

蔬菜质量可追溯系统是一种采用C／S和B／S混合模式的农产品质量追溯系统。该系统采用物联网技术对蔬菜种植及加工过程中的所有生产数据、检疫数据、加工数据、销售数据进行记录,最终为生产过程控制、生产管理、食品溯源服务。因此,可在对企业进行实地调研的基础上,应用此方法开发一套蔬菜质量安全可追溯系统。文章主要研究了其中的电子秤数据通信与同步发送模块的实现方法。     

JCC／EAN-128条码在农产品安全追溯中的应用

为实现对农产品“从农田到餐桌”的全方位的监控，在对EAN-UCC全球统一标识体系研究的基础上，结合农产品供应链的实际情况。对UCC／EAN-128条码在农产品追溯中的应用作了深入研究，并基于．Net平台上实现了农产品安全追溯系统。     

UCC/EAN-128条码在农产品安全追溯中的应用

为实现对农产品“从农田到餐桌”的全方位的监控,在对EAN·UCC全球统一标识体系研究的基础上,结合农产品供应链的实际情况,对UCC/EAN-128条码在农产品追溯中的应用作了深入研究,并基于.Net平台上实现了农产品安全追溯系统。     

基于区块链技术的粮食产品溯源系统模型研究

文章提出了一种去中心化的粮食产品溯源系统模型,该系统模型的建设主要分为两部分:一是使用Java语言设计溯源系统模型前端;二是采用区块链技术,建设粮食产品信息数据共享后台。其中,利用区块链技术的不可伪造、全程留痕、可以追溯、公开透明和集体维护等特点,把粮食产品信息数据建成一个共享的、不可更改的“电子账本”;利用Java语言具有面向对象、可移植性好、安全性高的特点,设计溯源系统模型的前端,包括消费者、监管者、粮食产品供应链各方、系统管理员四大溯源功能模块。