基于Petri网的区块链应用系统业务流程模型研究

区块链应用系统在技术架构和运行方式等方面与传统DBMS有较大区别,描述了区块链应用系统的运行机制和技术特点。在工作流建模技术的基础上,提出了区块链应用系统业务流程的模型描述方法;借鉴传统DBMS业务流程的正确性定义,给出了区块链应用系统业务流程模型的正确性定义;设计了模型正确性验证算法,并详细说明其步骤;选择一种流程引擎,介绍了业务流程模型的注册、执行的方法;为了进一步说明建模和分析方法在实际开发中的应用,以身份认证系统中的一个具体模块为例,对业务流程的所有交易进行抽象,建立流程模型并进行了验证。

一种去中心化的身份认证模型的设计与实现

由于传统认证系统中心化的结构存在安全问题,作者提出了一种在去中心化的以太坊平台上设计身份认证系统模型的思路。根据区块链技术特点和以太坊的技术架构,结合身份认证系统的主要功能,设计了基于以太坊平台架构的身份认证系统模型,通过任务集合和关系向量对身份认证模型进行描述。编制可以操作区块链账本的智能合约,开发能调用智能合约的本地程序,在Bossa引擎中注册认证模型,完成以太坊网络环境的搭建和认证模型的部署,实现了基于以太坊智能合约的身份认证模型的应用。设计和实现去中心化身份认证模型,能够彻底解决中心化认证系统的安全隐患。

基于Web应用的高职院校教学管理系统

随着高职院校教育体系改革的不断深入和计算机网络技术的普及,高职院校迫切需要开发出一套适合职业教育的计算机软件系统。该文阐述了教学管理系统的基本功能,对系统的结构进行了设计,同时介绍了开发平台、网络体系结构和系统的集成方法。

基于Petri网的工作流管理系统的设计与开发

工作流管理技术是一种过程建模和过程管理的核心技术,它可以应用在很多业务管理系统中。本文介绍了工作流的概念、建模方法、模型验证方法和Bossa开源引擎,描述工作流管理系统从建模到实现的具体方法。

基于区块链3.0架构的身份认证系统

中心化的身份认证系统在中心服务器上集中存储和管理身份信息,用户没有信息拥有权,存在隐私保护困难、跨域难度大、认证成本高等问题。据此提出了利用区块链技术架构设计一个去中心化的身份认证系统,分析梳理了传统身份认证体系结构存在的问题,介绍了区块链的工作原理,重点论述了区块链3. 0的体系架构、加密算法和共识机制,对身份认证系统的功能进行了分析,设计了基于区块链3. 0架构的认证系统结构和业务流程,给出了私有链P2P网络搭建、智能合约编写、系统部署运行的方法。

基于以太坊平台的DNS设计与实现

传统域名系统为树形的中心化结构,上层节点服务器的压力随着互联网规模的扩大而不断增加,需要寻找一种去中心化的平台来解决DNS存在的安全问题。分析DNS的体系架构和存在的安全问题,介绍区块链原理和以太坊平台的特点和机制,提出在以太坊技术平台上设计去中心化DNS的思路。根据传统DNS的功能需求,分析以太坊平台上对数据信息的存储和操作规范,给出了DNS在以太坊平台上的具体实现方式,定义在以太坊平台中域名信息的存储和操作的结构体。在网络资源足够大的基础上,通过概率模型推论,得出基于以太坊的域名系统的安全性分析结论,描述去中心化的DNS在以太坊平台上的部署和运行方式。

智慧校园环境下信息化教学创新初探

智慧校园带来了教育方法和学习方式的革命性变革,如何有效地利用智慧校园平台改进自己的课堂教学设计,已成为高校教师面临的机遇和挑战。本文介绍了智慧校园环境下学生的学习特点和信息化教学手段,分析了混合式教学设计的方法和关键环节,阐述了智慧云平台的体系架构和基于云平台的混合式教学实施方法,并针对云平台的使用提出建议。

基于Petri网高校教学管理流程建模方法——以学生成绩申诉流程为例

高校教学管理是各项管理工作的中心环节。提高教学管理水平,必须充分认识教学管理工作的内在规律,深刻理解教学管理工作的根本任务、目的与基本方法。教学管理的合理性决定了管理的有效性,同时高校教学管理业务流程的复杂性决定了必须有一套严谨的、精密的建模及验证方法。在不否定教学管理的行政管理属性和管理人员经验能力的前提下,管理流程在数学模型的基础上提出,通过分析验证后最终还原到具体的工作中。本文以学生成绩申诉处理流程为例,描述了如何建立基于Petri网流程模型,为模型的验证和优化打下基础。

基于区块链技术架构的域名系统模型

本文介绍了传统域名系统的安全缺陷,阐述了区块链技术架构原理,提出了在区块链技术架构上设计域名系统的思路.根据区块链技术架构抵御网络攻击的方式,通过全概率模型推算出基于区块链技术架构的域名系统安全性结论.分析域名系统的功能需求和安全性需求,探讨域名系统在区块链技术架构上实现的可行性,设计基于区块链技术架构去中心化的域名系统模型.开发可以操作区块链账本的智能合约和本地程序界面,完成区块链网络环境的搭建,部署实现基于区块链架构的域名系统模型.

有色Petri网在web服务组合建模中的应用

以分布、异构、多自治域的互联网环境为背景,提出利用有色Petri网对web服务组合进行建模的方法,给出了web服务组合网的形式化描述和常用结构的图形化表示方法。文中所引用的案例模型可以在CPN-tools中测试,有效的建模是模型分析验证和模型应用的基础。对电子商务和企业应用集成在解决web服务组合问题中具有一定的参考价值。

高职软件技术专业课程体系改革与实践

依据高职软件技术专业人才培养目标,规划和设计出能够覆盖一系列课程的系统软件实训项目,对软件技术专业课程体系进行改革.这一课程体系既能满足单门课程实训教学需要,又有利于培养学生综合运用各门课程知识进行软件开发的能力.

基于Petri网的工作流模型合理性验证

工作流管理系统具有实时性、同步和异步操作等特点,其建模方法是成功实施工作流管理的关键,而工作流模型应该完整地支持工作流定义的概念,正确、高效地反应企业的经营组织过程,为确保工作流的正确运行,必须对工作流模型的合理性进行分析和研究,因此工作流的模型分析和优化成为工作流研究的一个重点[7]。该文从各种研究资料出发,利用工作流模型的合理性定义,给出基于Petri网的工作流模型的验证步骤和方法。

基于Petri网的WEB服务组合建模及验证

Web服务组合是为了应对日益复杂的业务处理流程,将单一的Web服务组合在一起形成一个新的服务。正确的组合Web服务是有效应用这些服务的前提,为此研究了利用Petri网组合Web服务的方法和Web服务组合模型的验证算法。在对工作流和Web服务组合进行分析对比的基础上,借鉴基于Petri网的工作流建模技术,给出了一种基于Petri网技术的Web服务组合建模方法,采用直观的图形表示Web服务组合模型。结合Web服务组合模型的合理性定义,设计出Web服务组合模型合理性验证算法,利用库所向量和服务集合的表示方法对Web服务组合模型进行分析验证。最后用一个具体实例对Web服务组合建模和验证方法作进一步说明。

基于虚连接的OSPF异形区域通信实现方法研究

针对多区域OSPF异形划分造成的网络通信故障问题,通过分析OSPF异形区域的存在形式,引入虚连接的工作机制,对OSPF骨干区域进行虚拟扩展和拉伸,形成一个Transit区域,并在其中建立逻辑通道,利用Router-ID实现Transit区域两台ABR之间的点对点通信。实验仿真结果显示,建立虚连接后的OSPF异形区域网络通信稳定可靠,证明了该方法的有效性。

基于语义表达的智慧教室情境信息建模方法研究

针对智慧教室中物联网情境信息的多源异构问题,分析智慧教室及情境信息建模的研究现状,提出基于语义表达的智慧教室情境信息建模方法。通过传感设备和智慧教室管理系统获取智慧教室情境信息,基于时空关联算法过滤冗余信息并建立E-R概念模型,利用Protégé建模工具构建智慧教室情境信息本体。经过Racer Pro推理机的逻辑检测,清晰显示了智慧教室情境信息之间的语义关系,验证了该建模方法的有效性和可靠性。

基于Bossa的工作流管理系统的开发方法

Petri网作为一个比较好的过程建模技术,在工作流模型的描述中有着一定的优势。基于Petri网的工作流模型如何投入到具体的工作流管理系统中,需要选择合适的工作流引擎,此引擎必须要能够完全支持基于Petri网的工作流模型的定义,Bigbross Bossa是各种工作流引擎中为数不多的采用Petri网来定义工作流的引擎之一,该文就Bossa工作流引擎的使用方法进行探讨和描述。

计算机专业课程思政教学探索与实践--以“数据库应用”课程为例

为了培养出与国家发展战略契合度高、匹配时代特征要求和历史使命的有用人才,采用在教学过程中融入思政教育的方法,确保技术教育和思政教育同向同行;结合典型事例和时事新闻,使用多维度、渐进式、多形式、多渠道、调查反馈等方法,有效地地将思政教育融入计算机专业课程中,以培养学生的社会责任感和时代使命感。

基于区块链的投票系统的设计与实现

近年来,区块链已成为一种新兴的应用技术手段,其凭借去中心化、不可篡改、匿名性、安全可靠等特点,能够有效保障数据信息安全,这也使其在公共领域具有巨大的应用价值。本文对区块链技术进行了简要的分析,并以在线投票系统为开发对象,利用以太坊技术,探析基于区块链的投票系统的设计与实现。通过区块链技术的运用,可实现匿名、安全投票,进而在有效避免欺诈行为的同时,也能使投票结果得以公开、透明。

在线网络社区演化技术研究

伴随着我国互联网技术的迅猛发展,作为人类社交活动的重要载体,互联网技术的重要性早已深入人心。众所周知,数以十亿计的网络社会群体正式借助于互联网技术和网络社区而成长起来的。他们是运用互联网技术进行互动,主要是以BBS、SNS社区、微博等形式表现出来。这些在线网络社区为我们的工作与生活提供了巨大的便利,也发挥出巨大作用。那么就需要我们系统的去把握在线网络社区的自身发展规律,需要我们利用各类技术手段建立科学的网络模型科,需要我们能够准确无误的探索出网络的演化规律与特点。这对于应对网络突发事件与预测未来网络发展方向有着深远的意义,也可以在一定程度上理解网络结构与行为。