基于不确定观测下离散事件系统可诊断性的研究

在实际应用系统中,由于传感器故障、传感器限制和网络中的数据包丢失等原因,事件的可观测值变得不确定,使得观测系统行为变得尤为复杂。针对离散事件系统中,同个事件串可能有多个观测值以及不同状态下同个事件观测值也可能不同的问题,提出一种不确定观测下故障诊断验证的方法。首先对不确定观测的离散事件系统的可诊断性进行形式化,然后构建出用于上述故障诊断验证的验证器;基于验证器提出了系统基于不确定观测下可诊断的充要条件及验证算法;最后,实例说明不确定观测下故障诊断验证算法的应用。与现有研究相比,提出的方法对故障事件的观测值没有约束,可以为0个或多个观测值,使此方法应用的场景更为广泛。     

区块链技术助推校园食品安全的立体化监管

校园食品安全事关师生的生命安全,引起了教育部门的极大重视。传统校园食品安全监管面临多元治理不足、信息协同失灵等痼疾,“区块链+物联网”为校园食品安全立体化监管提供了新思路。文章以优化与重塑校园食品安全监管内涵建设为出发点,阐述构建去中心化的协同共享体系,采用联盟链方式实现采购、仓储、烹饪、清洗全过程上链,利用区块链技术保证食品数据安全存储,物联网技术实现各个环节数字化监管,大数据的靶向语言播报技术实现一键触警,助力校园食品安全立体化、智能化监管,呈现“事前智能预警+事中及时触警+事后高效溯源”的校园食品安全生态。     

OWL本体映射到复合元的研究

OWL作为W3C推荐的描述本体的语言,在语义网中起着举足轻重的作用。复合元作为对复杂问题进行形式化描述的基础,在解决矛盾问题的过程中起着重要的作用。通过对OWL中的元素、复合元概念进行分析,给出了两者间概念的相应对照关系及其相关映射规则,研究了如何利用现有的OWL本体,构建与其相应的基元、复合元,为OWL本体映射到可拓学中的基元、复合元提供方法依据,从而建立解决矛盾问题的知识领域。     

基于XtraReports控件的报表设计与实现

报表在信息系统中起着举足轻重的作用,给企业的决策层、管理层提供信息数据有效的组织与分析。分析报表在现代信息社会的重要性,简单介绍XtraReports控件,再结合实际的系统描述采用XtraReports设计报表的步骤及相关的代码,在实际应用中用户均对这一系统的报表功能广泛好评。     

高校就业在线系统的设计与实现

高校毕业生就业难已成为近几年社会关注的热点．传统的基于CMS的毕业生就业信息系统已经满足不了现有毕业生就业、学校毕业生管理的需求了。分析现在高校毕业在线系统的重要性,结合实际的需求分析,设计系统各功能模块,列出系统运行的实例图,并展望未来就业在线系统的一些功能。     

层次式软件体系结构抽象模型研究

ADLs作为软件体系结构的描述语言,难以在动态、可进化和可扩充特征方面进行描述.层次式结构应用在软件体系结构中并得到一定的好评,但它难以表示层次之间(特别是跨层)是如何服务的,存在怎么样的联系.本文就是基于以上的缺点而进行探讨和解决的,本人通过参考文献并结合自己观点说明构件之间进化是如何表示,说明不同层次构件之间的联系...     

高校就业在线系统的设计与实现

高校毕业生就业难已成为近几年社会关注的热点,传统的基于CMS的毕业生就业信息系统已经满足不了现有毕业生就业、学校毕业生管理的需求了。分析现在高校毕业在线系统的重要性,结合实际的需求分析,设计系统各功能模块,列出系统运行的实例图,并展望未来就业在线系统的一些功能。     

基于JasperReports的Web报表设计与实现

随着信息技术的高速发展,信息系统已经成为各行业必不可少的组成元素之一,报表在信息系统的作用及其重要,给管理者、领导者提供信息数据有效的组织与展现。对JasperReports进行了简要的概述,列举其特性,结合本校数字化校园运维系统,讲解采用JasperReports进行Web报表的设计与实现的具体步骤,以点带面地诠释报表制作的通用过程。     

基于数据库的WEB异步操作树的设计与实现

EasyUI作为Jquery一组用户界面插件集合,使开发者能轻松地设计UI界面。本文介绍了如何通过EasyUI的tree组件实现异步操作树,并根据其数据模式设计树对应的数据表,通过Ajax技术与后台进行通讯从而实现树的数据维护。     

复合元在数据库中存取方法的研究

给出了类复合元这一概念的形式化描述,为了在计算机中应用复合元解决矛盾问题,提出了在关系数据库中有效存取复合元的方法,并给出了相应的实例.