Web服务自动化测试技术

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

群智能在多智能体系统中的应用研究进展

群智能算法是受群居性昆虫群体的集体行为启发而设计的分布式问题求解方法,将它应用到多智能体系统,旨在提高系统的鲁棒性、灵活性和自适应性。以群智能在多智能体系统中的应用为线索,首先介绍群智能的核心机制,然后从多智能体系统通信机制、协作技术、学习问题及体系结构建立这几个方面总结群智能理论在多智能体系统中的已有工作。最后分析和讨论了群智能方法在多智能体系统应用中存在的问题,并提出今后的工作展望。     

基于主成分分析的不同品种小米品质评价

目的:分析不同小米的品质差异,为小米品种品质改良、加工利用提供理论依据。方法:从陕西和贵州分别选取7种和8种主栽小米品种,基于主要营养、功能成分及理化特性,进行主成分分析评价其品质。结果:供试小米中蛋白质、淀粉和脂肪等含量差异显著(p<0.05),蛋白质中必需氨基酸占氨基酸总量的40%以上,符合WHO/FAO规定模式,淀粉中贵州小米直链淀粉含量(3.46%~4.18%)均低于陕西小米(19.07%~23.58%)。不同小米功能成分差异显著(p<0.05),其中施秉小米的多酚含量最高,晋谷29的黄酮和黄色素含量最高。在小米理化特性中,糊化度、水溶性和吸水性指数最高的分别为盘州、新氿谷及黄平小米。经主成分分析,提取出5个主成分,累积方差贡献率达86.368%,通过水溶性指数、水分、氨基酸、多酚、黄酮及黄色素等主要因素解释了原有15个指标的信息,经评价模型计算综合得分,排名前 5的品种依次为晋谷29号、镇宁、新氿谷、施秉以及琉璃谷。结论:基于主要品质特性及主成分分析对比15种小米的营养、功能及理化品质的差异性,可为小米特色化加工利用,品质改良提供理论依据。     

原生文本次生化视角下的城市展园设计方法研究——以第十届中国(武汉)国际园林博览会滁州园为例

作为一类重要的新兴园林形式,城市展园是通过园林样态来呈现城市原生文明。作为城市原生文本的次生营造,母体城市文明特征在相异时空的次生转译和次生形式对原生状态再现的方法和模式研究具有一定理论与实践价值。从原生文本次生化的视角,解析城市展园实践,探究城市展园发展历程,解析营造手法特征,归纳城市展园的设计次生化内在本质。以第十届中国(武汉)国际园林博览会滁州园为例,阐述滁州园的次生化设计手法,从凝练母体城市的山水环境意向,探寻最具代表性的景观要素组织景点,总结展园将滁州地理、故事及人文特征浓缩在园林的手法。从理论和实证两方面总结城市展园的设计方法,以资后续研究与实践借鉴。     

某地铁车辆段上盖结构隔震设计

地铁上盖建筑下部结构为了满足工艺要求一般采用框架结构,上部住宅为剪力墙结构,两种结构形式不可避免地会造成上下层刚度的突变,盖上大面积深厚覆土的巨大质量将带来强烈的地震反应,并且上部开发一般晚于下部地铁车辆段的实施,为了给后期上部开发预留一定变化的余地,本工程地铁车辆段上盖采用底部框架+隔震层+剪力墙的结构体系.采用隔震...     

苏州中南中心地下室结构设计研究

苏州中南中心是采用巨型框架-核心筒-伸臂桁架结构体系的超高层建筑,原方案(建筑高度729m,地下5层)的桩基和地下连续墙已施工完毕,现调整为建筑高度499.15m、地下6层的方案.该工程具有周边环境复杂、顺逆结合施工、需充分利用原有已施工桩基和地下连续墙等特点.首先介绍了该工程地下室设计难点及其处理方法.其次,对层数较...     

一种安全关键的嵌入式实时操作系统内核设计

在研究ARINC-653标准的时空隔离原理基础上,设计并实现一种安全关键的嵌入式实时操作系统。采用微内核设计,通过基于Manifest的任务与分区管理、软硬件结合的分区保护及软件静态验证,提升系统可靠性与可配置性。在PowerPC平台上实现嵌入式实时操作系统内核原型并对其进行功能与性能测试,结果表明该操作系统内核功能完备,满足软硬件分区、栈溢出保护与监测、驱动故障保护等需求,且综合性能优于同类操作系统内核。     

基于利用率和负载均衡的多核实时调度算法研究

针对分区调度算法在实时多处理器系统中处理器利用率不高的现象,提出一种基于利用率和负载均衡的分区调度算法BUWBPA(Based on Utilization and Workload Balance Partition Algorithm)。该算法在满足任务实时性要求的基础上,以寻求高利用率和负载均衡为目标进行任务分配,将任务分配分成两个阶段:第一个阶段以高利用率为原则,选择任务集内利用率最高的任务先分配;第二个阶段以负载均衡为原则,根据处理器数选择利用率总和等于1或接近于1的任务进行分配,并且在此阶段对于未达到充分利用的处理器,选取可能调度的零星任务,对任务进行再次重新分配,以达到负载均衡和系统最大利用率。实验证明,该算法在实现最大利用率的前提下能很好地达到负载均衡。     

一种渐变的多核共享Cache划分算法

针对多核共享Cache动态划分技术存在硬件存储开销较大、划分颠簸等问题,提出了一种渐变的多核共享Cache动态划分算法。渐变算法旨在追求最优划分性能的同时,减小划分机制实现的硬件开销。渐变算法采用基于组相联Cache路的划分机制,每次划分时最多只允许1路的Cache转移。具有硬件存储开销小、划分稳定、易于实现等特点。例如,对于1MB的16路组相联L2Cache,渐变的Cache动态划分机制仅增加0.01%的硬件存储开销,与UCP方法比较,增加的硬件存储开销可减小至6.25%。     

双重触发的嵌入式系统内核安全访问控制

随着外部事件的不可预知性和实时任务复杂性的增加,传统的仅采用基于事件触发机制的嵌入式实时操作系统的设计变得更加困难,在很多情况下,该系统难以保证实时运行过程中的安全性与可靠性。本文针对μC/OS-II在设计之初并没有考虑时间触发以及安全访问控制机制的特性,结合OSEK时间触发标准,设计并实现一种符合OSEK标准的、基于时间/事件双重触发的内核任务调度机制,并在该调度机制中,提出通过采用通用访问控制框架（GFAC）和安全属性映射表的方法,保证了不同角色对系统访问的安全访问控制。实验结果表明,所设计的调度机制和访问控制方法不仅满足了时间和事件双重触发特征,而且加强了对内核的安全访问控制操作并具有良好的使用效能。