论文研究 关于一种复合经济调控模式的诌议——来自经济控制论的看法.pdf

信息技术的高度发展对信息安全提出了新的挑战，经典的基于角色的访问控制（RBAC）中缺乏对时间和空间的约束，使RBAC模型不能适应信息系统新的安全需求。在RBAC的基础上，引入了时空域的定义，对模型中各

设计航天控制系统是一个复杂的过程, 涉及需求设计、编码、测试等一系列的流程, 若能在需求设计阶段发现错误, 那么能减少不少的工作量。针对这一问题, 提出了一种分析控制软件需求的方法和一个名为SPARD

本文研究了包括15个国家的西非地区或西非国家经济共同体（ECOWAS）及其与中国的关系。 研究了在西非地区具有经济代表性的15个国家中的三个国家（科特迪瓦，加纳和尼日利亚），它们代表了整个地区。 因此

一种关于安全漏洞的静态检测方法，彭平雷，肖庆，本文针对Java程序中的安全漏洞，提出了一种基于污染传播的静态检测算法。该算法具有路径敏感以及上下文敏感的特性。最后，通过测��

用形式化方法开发软件是提高软件可靠性和开发效率的革命性途径。Designware、B是两种支持软件开发全过程的形式化方法。对它们的规约描述方法、规约求精方式、开发步骤进行比较,最后分析这两种方法各自的

论文研究-论人口增长与经济发展的协同机制.pdf,  本文从经济发展与人口增长、产业结构的动态变化机制方面,首先利用所构造的理论模型定量化地探讨了不同产业部门发展对人力资源的吸纳和转移,并在此基础上,

一种基于模糊模式的脚本病毒检测方法，张涛，付垒朋，本文设计了一种基于模糊模式的脚本病毒检测方法。首先分析采集好的病毒脚本集和正常脚本集提取样本关键字矩阵，根据脚本病毒特点

为了平衡运动估计中搜索算法的复杂度与搜索精度，基于双模式算法的思想，提出一种结合基于改进的粒子群算法（PSO）和十字搜索算法（ARPS）的双模式运动搜索算法。该算法对不同运动程度的图像采用不同的运动搜

一种改进的模糊时间间隔序列模式算法，葛慧晗，郭燕慧，序列模式挖掘的提出对于发现事务频繁出现的模式具有重要意义，随着数据挖掘精度要求的提升，序列模式挖掘发展了众多拓展研究方向

目前，基于小枝模式的XML查询算法是研究的热点。它们多数在寻找匹配节点的函数中采用了前序递归的算法，产生了大量不必要的“调用/返回”操作。因此，提出了POTwigStack算法，调用POgetNext