S-不变相关论文
软件形式化开发是大型软件开发的主要手段，能够在软件设计初期最大限度的降低错误率，节省开发时间，便于开发人员间的交流，同时还可以提......
用带禁止/容许弧的增广Petri网构建一类带封锁机制的数据库并发控制模型,此模型适用于描述多个进程并发访问多个共享资源,采用两段......
自控网是一种自修正系统，主要用于并发系统中的程序规范以及工业控制中的数学建模等领域。自控纲的S-不变、T-不变的非线性，使得它无......
