借鉴英国经验完善中国土地产权流转

本文在简要介绍中、英两国土地产权制度和土地产权流转的基础上，分析了我国土地产权流转过程中出现的问题，如征地过程中的赔偿过低且不完善、国有土地拆迁补偿不公以及补偿的分配方式不公平等问题。由于英国在土地制度方面与中国的相似性，文章借鉴英国土地补偿中的补偿金与改善金相结合原则、土地使用权的租赁行为以及开发收益回馈社会的方法，为完善和健全我国的土地产权流转机制提出措施和建议。     

一种新的基于隐式经验的服务发现模型

文章介绍了一个新的服务发现模型ICSD模型,解决了传统服务发现技术中服务的功能与非功能特性较难控制的问题.文中第1节定义了模型中用到理论的9个相关概念.第2节具体介绍了模型的实现原理,给出了模型的一个原理图及模型中用到的一个相似度计算算法.文中第3节介绍了一个基于ICSD模型开发的原型系统,并引入了一套测试方案对系统进行了验证.试验证明随着服务数量的增加,系统的精确率稳定到0.8.     

基于灰色系统理论的多属性群决策专家权重的调整算法

研究多属性群决策中专家权重的调整问题.在得到专家主观权重的基础上,提出一种权重调整算法.通过计算专家个体决策结果与群体决策结果的灰色关联度并结合初始权重求得专家的综合权重,运用专家的综合权重计算调整后的决策结果,并据此继续对权重进行调整,直至计算出稳定的权重和决策结果.通过对嵌入式计算机的性能评价表明了该方法的可行性与实用性.     

BIM在工程造价成本预算风险管理中的应用研究

为解决工程造价成本预算风险管理中招投标阶段风险、施工阶段风险以及预算信息缺少协同性、共享性等问题,本文结合工程项目建设现状,提出BIM技术在其中的应用优势。基于此,对BIM技术、软件进行优化和完善,加强对顶层的设计力度,以期为BIM技术在工程造价成本预算风险管理中的应用效果提升提供参考。     

一种基于μC/OS-II符合OSEK标准的实时系统内核设计

一些安全关键任务系统对嵌入式操作系统的实时性和安全可靠性提出了更高的要求。设计并实现了一种满足OSEK/VDX标准且支持时间/事件混合触发的实时操作系统内核,该内核除具有事件触发的实时性好、使用方便、灵活性高等特点外,还具有时间触发的确定性和安全性等特点。此外,还提出并实现了一种基于静态表的混合任务调度策略,并给出了时间触发任务可调度性的静态测试算法,在保证事件触发灵活性的基础上,通过中断级和任务级时间/事件触发任务的灵活切换,可确保时间触发任务的确定性和安全性,并提高系统的利用率。实验结果表明,该内核可以有效支持时间/事件混合触发的任务调度,并具有良好的实时性与安全性。     

基于双层混合法的计算机系统性能评价模型

在计算机系统性能评价模型中,指标权重分配方案是影响评价结果的重要因素.考虑到现有主流权重赋权方法存在的不足,提出兼顾主客观法的双层混合赋权模型,以尽可能地提高评价结果的可信度.该方法根据领域专家对准则层的主观评价,首先采用层次分析法给出各指标权重;然后,根据基准测试程序测试结果,对指标层采用离差最大化法确定对应准则层的指标权重,并通过混合赋权确定指标的最终权重;最后,结合标准化之后的评判矩阵确定待测系统之间的性能优劣顺序.实验表明,本评价模型能够较精确的完成评价计算机系统性能的任务.     

Web服务自动化测试技术

赋时Petri网为装配序列规划提供了有效的建模方法,但其在求解最优装配序列时受到组合复杂性的严重制约。零压缩二叉决策图(ZBDD)是处理大规模组合集合和0-1稀疏向量的一种有效符号技术,能够有效缓解组合爆炸问题。将赋时Petri网与ZBDD结合起来,给出了一种求解装配序列最优解的有效方法。首先通过转换算法将赋时Petri网转换为等价的普通Petri网,接下来给出普通Petri网可达状态及迁移引发函数的ZBDD表示方法,最后基于ZBDD给出最优装配序列求解算法。实例验证表明,该算法在求解过程中通过隐式符号操作实现了Petri网的可达状态搜索,有效缓解了计算过程中的组合复杂性。     

太阳能和风能决定一切

<正>近日,德国国际合作机构(GIZ)发布了《关于德国能源转型的十二个见解》(以下简称《报告》)。该《报告》第一个见解的大标题是"太阳能和风能决定一切"。纵观德国可再生能源,风能和太阳能是"能源转型"的两大关键支柱。德国有关部门测算,到2022年,该国风能和太阳能发电量将占可再生能源总发电量的70%,随后,其占比将持续上升至80%~90%。德国"能源转型计划"的主要设计     

榫卯：一种可组合的定制化内存分配框架

动态内存分配器是现代应用程序重要组成部分, 它负责管理空闲内存并处理用户内存请求. 现代通用动态内存分配器能够提供较为平衡的性能与内存利用率, 但考虑到不同应用场景的内存使用情况和优化目标不同, 使用通用内存分配器并非最优解. 针对应用场景定制的专用内存分配器通常能够更好地满足系统需要, 然而编写专用内存分配器较为费时, 也容易出错. 开发者通常使用内存分配框架搭建专用动态内存分配器. 然而, 现有的内存分配框架存在抽象能力较差, 组合性与定制性不足的问题. 为此, 从函数式编程视角审视动态内存分配过程, 基于函数可组合性提出了一种可组合的定制化动态内存分配器框架榫卯. 榫卯框架将系统内存分配抽象为多个互不耦合的内存分配层级函数的组合, 这些层级函数能够扩展出策略槽, 以提供更高的定制性和组合性. 榫卯框架基于标准C实现, 依赖C预处理器的元编程特性实现层级函数组合的零性能开销. 开发者能够通过组合与定制分配器的层级函数, 快速构建出适合应用场景的内存分配器. 为了证明榫卯框架的有效性, 使用榫卯框架构建了3种不同的内存分配器实例: tlsfcc, hslab与wfslab, 其中tlsfcc针对多核嵌入式应用场景, 通过替换同步策略优化并发吞吐率; hslab是核心感知的slab式分配器, 通过定制线程缓存优化在异构硬件的性能; wfslab是低延迟的无等待/无锁分配器. 为了评估这3种内存分配器实例, 通过运行基准测试对比现有内存分配器. 实验分别在8核x86/64平台和8核异构aarch64嵌入式平台进行. 实验表明tlsfcc与原始tlsf分配器相比, 在上述两个平台上分别取得了平均1.76和1.59的加速比; 对比hslab与类似架构的tcmalloc, 它在两个平台的平均执行时间仅为tcmalloc的69.6%和85.0%; wfslab则取得了参与实验对比的内存分配器中最小的最差情况内存请求延迟, 其中包括目前最先进的无锁内存分配器mimalloc和snmalloc.     

锻件超声波探伤中的几个问题

分析了"幽灵波"的产生原因和识别方法,叙述了调节仪器灵敏度时应该选择最高的底面反射波作为基准波以及底面反射波丢失与低通滤波效应的关系。