一种软件可靠性测试模型研究

在马尔可夫链模型的基础上,将测试问题转化为一个数学问题。通过建立软件的使用链,根据使用链进行序列抽样,产生测试用例,将软件测试结果的分析问题转化为一个经典概率问题。运用实例证明,这种技术具有一定的实用性和有效性。     

基于缓冲和预选的网格资源调度优化

资源发现是影响调度效率的关键,针对网格资源发现中复杂的查询过程,通过资源代理,将用户任务发生过调度的资源在本地进行缓存,构成黑白资源名单。同时,在网格资源代理空闲时,按照最近调度的QoS参数为参考值,进行资源的预选择,存放在本地记录,由此构成了本地记录优先的资源发现。针对该方法,设计了支撑该方法的优化代理体系结构,讨论了记录管理问题,给出了优化资源调度过程的算法。实验表明,该方法缩短了任务的平均调度时间,从而缩短了任务平均完成时间,提高了吞吐量,达到了优化的目的。     

一种新型足部运动参数获取装置

该文提出了一种获取足部运动参数的装置.该装置基于柔性阵列压力/触觉传感器、嵌入式低功耗技术和双极无线网络通信技术.通过检测足底压力信号和时间序列,计算出足部各项运动参数,建立长距离运动的信息监控系统.测试结果表明,本装置具有较高的采样速率、良好的无线数据传输性能、能较精确地获取足部压力及相关运动参数.     

基于LabVIEW的摩托车拉索效率测试平台设计

重点阐述了基于LabvIEw开发的橙测摩托丰拉索负荷效率测试平台的设计方案盈硬件组成,同时也介绍了软件流程结构、测试参数等.该试验平台有效地解决了软硬件实时运行问题,能够实时调整控制参数,降低了开发周期和成本.实验结果表明,自行开发的此套测试系统能够满足摩托车拉索负荷效率测试工作要求,具有良好的可靠性和可扩展性.     

控制流图上支配关系计算方法的分析与实现

支配关系在数据流分析和静态单赋值等程序分析和优化中应用很广泛.采用位向量表示支配结点集合,描述了采用迭代法计算控制流图上支配结点集合的算法,在支配结点集合的基础上讨论了对直接支配结点、支配边界结点的计算方法,并在NPB和SPEC2000测试集上进行了测试.测试结果表明:控制流图的构建占用了过程内支配关系计算的几乎一半时间;对于不包含goto语句的结构化程序,迭代算法一般只需迭代2次.     

基于B／S的嵌入式图像数据模型设计与实现

提出了一个基于B/S结构的通用的嵌入式图像处理数据模型设计方案,并利用java和JAI高级图像处理技术实现该数据模型.该模型集成了对多种图像格式的统一数据组织和管理、图像基本操作和图像基本处理,提供基于SOAP的网络通信等功能.同时,结合实际的研究工作,将该通用数据模型应用到分布式遥感影像处理系统中.应用结果表明,该通用数据模型具有良好的实用性、可扩展性、跨平台性和安全性等特点,能够适合不同的分布式图像处理系统需要.     

3D GIS中线性八叉树空间索引的建立与查询算法研究

三维地理信息系统空间数据库具有数据量大、空间实体关系复杂、空间操作计算量大等特点。为了提高检索效率,必须建立高效的空间索引机制。八叉树空间索引是对二维GIS中四叉树索引进行扩展的一种三维空间数据结构,具有思路简单、容易理解和实现、查询速度快的优点。本文首先阐述了线性八叉树空间索引的原理,然后重点介绍了线性八叉树空间索引的建立和查询算法。     

一种新型软开关Buck变换器的研究

针对传统ZVT-PWM变换器的辅助开关硬关断的不足,提出了一种新型PWM控制的软开关Buck变换器方案,详细介绍了该新型软开关Buck变换器的拓扑结构及工作原理,并给出了具体的设计过程。新型软开关Buck变换器的辅助电路使主开关工作在零电压状态,所有的半导体器件均工作在软开关条件下,从而减小了开关损耗。仿真结果证明了该新型软开关Buck变换器方案的有效性。     

选矿过程工艺指标确定方法及应用

当前选矿生产实现了对个别工序工艺指标的优化控制,但各工序的工艺指标目标值仍然由选矿工程师根据入选原矿情况来确定,具有较大的模糊性与随意性,各工序之间不能有效协调,无法满足对更好综合生产指标的追求.因此,以某选矿厂为实际背景,设计了一套基于案例推理技术确定各工序工艺指标目标值的系统,为避免人工确定初始案例的缺点,采用动态自组织映射神经网络从历史数据中提取了若干初始案例,该系统与各工序原有的过程优化控制系统相配合在实际生产中取得了较好效果.     

AVCOL: Availability-aware information aggregation in large distributed systems under uncollaborative behavior

Aggregation of system-wide information in large-scale distributed systems, such as p2p systems and Grids, can be unfairly influenced by nodes that are selfish, colluding with each other, or are offline most of the time. We present AVCOL, which uses probabilistic and gossip-style techniques to provide availability-aware aggregation. Concretely, AVCOL is the first aggregation system that: (1) implements any (arbitrary) global predicate that explicitly specifies any node’s probability of inclusion in the global aggregate, as a mathematical function of that node’s availability (i.e., percentage time online); (2) probabilistically tolerates large numbers of selfish nodes and large groups of colluders; and (3) scales well with hundreds to thousands of nodes. AVCOL uses several unique design decisions: per-aggregation tree construction where nodes are allowed a limited but flexible probabilistic choice of parents or children, probabilistic aggregation along trees, and auditing of nodes both during aggregation as well as in gossip-style (i.e., periodically). We have implemented AVCOL, and we experimentally evaluated it using real-life churn traces. Our evaluation and our mathematical analysis show that AVCOL satisfies arbitrary predicates, scales well, and withstands a variety of selfish and colluding attacks.