比利时大学城新鲁汶镇的规划与设计

2002年1月1日起,欧盟中12个国家正式启用欧元,在欧盟内部实质性合作方面又迈出重要一步。欧盟的概念最早起源于荷比卢三国。二战中,这三个欧洲小国都被德国占领,其流亡政府决定加强合作。战后,三国积极促进人员、资金、物资等的自由流通,消除国家之间贸易、税收等方面的壁垒,收效良好。这种彼此尊重历史、文化、宗教、政治社会体制、保留差异、互不干涉内政,同时加强社会经济领域合作的模式,引起了其他欧洲国家的极大兴趣,并导致了后来欧共体和欧盟的形成。     

基于递推技术的算法设计方法的应用研究

算法是计算机科学的核心,算法设计对于开发正确、高效的程序至关重要。基于递推技术的算法设计方法通过形式化推导保证算法的可靠性,同时能较好地提高算法程序的效率。本文通过两个实例,详细介绍基于递推技术的算法设计方法形式化推导算法程序的过程。     

一个高性能Key/Value数据库XDB的设计与实现

传统SQL数据库在管理大数据、性能和扩展性等方面的不足使得其不能胜任如大规模数据挖掘、商务智能及社交网络等应用场景,而NoSQL数据库由于其在上述应用领域优良的特性近年来得到很快发展。本文在分析现有开源NoSQL数据库产品Kyoto Cabinet和Tair的不足基础上,设计并实现了一个高性能的Key/Value数据库XDB。XDB分段流水并发处理Key/Value请求,并采用一致性算法保证在并发环境中对Key/Value记录读写的相关性,在随机写入和顺序写入实验中,相比于Kyoto Cabinet,XDB的性能分别提高6倍和15倍。     

基于Eclipse的嵌入式集成开发环境的研究与实现

为简化嵌入式开发的流程,提高程序开发效率,通过对各类平台上通用的开发环境的研究和分析,基于MIPS架构、龙芯3A目标机上嵌入式操作系统和集成开发环境的研发项目,在x86宿主机上设计并实现龙芯3A平台的交叉编译开发环境.将开发过程中需要使用的编译、调试等功能以插件形式嵌入开发环境中,提出改进编译和工程管理的方法并予以实现,使得应用程序能够在目标机上运行和调试,提高了开发效率.     

基于单视角图像处理的刀具磨损检测研究北大核心

针对现有刀具磨损检测存在检测速度慢、人工工作量大、经济效益低等问题,提出一种基于单视角图像处理的刀具磨损检测算法。使用CCD相机对刀具磨损前和磨损后的图像进行单视角提取,通过图像融合变换得到磨损前和磨损后的全景深刀具图像;将刀具磨损前后的全景深图像进行配准,得到磨损区域图像后,将磨损区域图像的像素转化成实际长度值,计算出实际磨损量。实验结果表明:该方案检测速度快,测量误差范围满足检测精度要求,可应用于实际加工。     

扩展的RBAC模型在政府机关中的应用

针对RBAC模型的不足,在研究了传统RBAC模型的基础上,对RBAC模型进行了扩展,引入特征类别、特征实例等相关概念,给出了模型的形式化描述,并对模型进行了分析.扩展后的RBAC模型可以有效的减少角色、权限的数量,降低授权管理的复杂度,减轻访问控制的管理工作量.然后给出了扩展后的RBAC模型在电子政务中的应用实例.最后对模型的优缺点进行了进一步讨论.     

Google Earth在森林植被营养元素循环研究中的应用

森林植被营养元素循环是森林生态系统分析中的重要参数.将Google Earth应用在其研究过程中具有重要作用.阐述了Google Earth的主要原理和关键技术,重点分析了KML和Google EarthAPI;设计了Google Earth应用的数据处理流程和系统架构;最后实现了基于Google Earth的贵州龙里森林植被营养元素循环研究系统.     

从营改增谈我国地方财政体系的构建——从安徽省青阳县的调查引发的思考

2011年,财政部、国家税务总局公布了营业税改增值税试点方案,这是自1994年分税制以来的又一次重大税制改革。伴随着日渐严重的重复征税现象,地方财政却日趋拮据。如何构建适合中国国情的分权方式,优化地方税收体系,理顺财政体制,是我们必须深思的问题。本文试通过实地调研对营业税改增值税的原因及其对我国分税制改革进程产生的影响进行分析,并结合我国目前的相关制度法规提出相应的解决措施。     

一种基于不变量的工作流协同模型分解方法

现代企业计算的业务过程越来越复杂,有很多分散且相对独立的组织机构,为了协同来自不同组织的业务过程,文中提出一种IOPN模型(面向交互的Petri网)用于描述跨组织的工作流协同,该模型包含组织内的过程模型和组织间的交互关系.为了确保IOPN模型能够被正确地执行,文中提出IOPN模型的弱合理性(relaxed soundness)作为IOPN模型的正确性标准之一.IOPN模型是一种复合模型,其规模一般较大,采用基于状态空间的分析方法,容易产生状态空间爆炸问题,为此文中提出基于不变量的分解方法,能够将一个弱合理的无回路IOPN模型分解为一组顺序图,并提出相关定理:一个无回路IOPN模型是弱合理的当且仅当其可以被分解为一组合法的顺序图.