【摘要】对于贪污罪认定过程中容易出现的疑难问题，我国刑法理论界的学者已经进行过大量的研究与深入的探讨，并且取得了丰硕的研究成果。但是，贪污罪在司法实践中仍然是一个复杂的认定过程，仍有许多问题尚未在理论与实践中形成统一的认识，比如贪污罪主体的认定标准是什么，何为从事公务，贪污罪的对象包括哪些，公共财产的范围是什么，以及国企改制后如果认定国有公司的范围等，对这些问题的不同认识都将直接影响对贪污罪的定性 […]

【摘要】随着硬件技术和大数据需求的增加，分布式技术也在不断发展革新。如何有效的描述分布式环境下的进程通信过程也是研究的主要问题之一。本文提出了异步Pi演算的一种扩展形式—DOPi演算，主要对分布式环境中处于不同计算环境内的进程通信过程进行建模，它将边界这一抽象概念通过迁移算子等具体的表达式引入到Pi演算中，可以清晰的刻画进程在不同作用域内的移动通信。通过将新的迁移算子与Pi演算操作语义融合，保留了 […]

【摘要】近年来,工业园区中土地的浪费和低效利用已经成为加剧土地供需矛盾和制约社会经济发展的重要因素,其粗放利用方式亟需改变。目前管理部门已开始加强对工业园区用地效率的监管,但缺乏客观、详细和精确的基础数据如建筑覆盖率、建筑容积率。传统由用地单位提供的数据因缺乏真实性而广受质疑。随着航空遥感技术的发展,特别是以LiDAR(lightdetectionandranging,机载激光雷达)传感器平台为代 […]