本文在自主开发的多级安全空间数据库管理系统SecVISTA之上，针对存储隐通道和时间隐通道两大类，分别设计并实现了不同的隐通道消除模......

目前，嵌入式实时系统的广泛应用使得确保其正确性和可靠性成为当前的研究热点。MARTE（Modeling and Analysis of Real Time and Embe......

随着网络技术的迅速发展,面向服务的体系架构(SOA)以其良好的可重用性、松耦合性和互操作性,已成为一种工业界和学术界广泛接受的......

当前对于政府数字治理研究主要集中于地市级以上政府,基层政府数字治理研究成果非常稀少,尤其缺少对相应现实案例进行深度探究.基......

业务流程模型主要由数据流和控制流两部分组成,这两者及其之间的关系包含了业务流程的建模、模型的分析与执行的重要信息,对流程模......

摘要：本文介绍了资料管理系统中动态建库、动态管理、数据约束这些技术的应用与实现。　　关键词：资料管理系统动态建库，动态管理，数据......

带数据约束的概率系统是指一种既带有概率约束,又带有数据变量约束的计算系统,应用非常广泛.对这类系统而言,确保其正确性和可靠性......

数据完整性约束用以保证数据库中数据的正确性、一致性和可靠性。本文分析阐述数据完整性约束类型的差异性和具体实现的约束方法,......

当前对于政府数字治理研究主要集中于地市级以上政府,基层政府数字治理研究成果非常稀少,尤其缺少对相应现实案例进行深度探究。基......

数据约束模型的一致性分析是业务流程管理的重要问题。已有的方法主要单一考虑流程模型的控制流方面。但是,对于一个模型而言,考虑......