Vibration and stress analysis in the presence of structural uncertainty

At medium to high frequencies the dynamic response of a built-up engineering system, such as an automobile, can be sensitive to small random manufacturing imperfections. Ideally the statistics of the system response in the presence of these uncertainties should be computed at the design stage, but in practice this is an extremely difficult task. In this paper a brief review of the methods available for the analysis of systems with uncertainty is presented, and attention is then focused on two particular "non- parametric" methods: statistical energy analysis (SEA), and the hybrid method. The main governing equations are presented, and a number of example applications are considered, ranging from academic benchmark studies to industrial design studies. © 2009 IOP Publishing Ltd.

Parameter measurement for heavy-vehicle fuel consumption modelling

A mathematical model is developed to predict the energy consumption of a heavy vehicle. It includes the important factors of heavy-vehicle energy consumption, namely engine and drivetrain performances, losses due to accessories, aerodynamic drag, rolling resistance, road gradients, and driver behaviour. Novel low-cost testing methods were developed to determine engine and drivetrain characteristics. A simple drive cycle was used to validate the model. The model is able to predict the fuel use for a 371 tractor-semitrailer vehicle over a 4 km drive cycle within 1 per cent. This paper demonstrates that accurate and reliable vehicle benchmarking and model parameter measurement can be achieved without expensive equipment overheads, e.g. engine and chassis dynamometers.

Active steering of a tractor-semi-trailer

This paper develops a path-following steering control strategy for an articulated heavy goods vehicle. The controller steers the axles of the semi-trailer so that its rear end follows the path of the fifth wheel coupling: for all paths and all speeds. This substantially improves low-speed manoeuvrability, off-tracking, and tyre scrubbing (wear). It also increases high-speed stability, reduces 'rearward amplification', and reduces the propensity to roll over in high-speed transient manoeuvres. The design of a novel experimental heavy goods vehicle with three independent hydraulically actuated steering axles is presented. The path-following controller is tested on the experimental vehicle, at low and high speeds. The field test results are compared with vehicle simulations and found to agree well. The benefits of this steering control approach are quantified. In a low-speed 'roundabout' manoeuvre, low-speed off-tracking was reduced by 73 per cent, from 4.25 m for a conventional vehicle to 1.15 m for the experimental vehicle; swept-path width was reduced by 2 m (28 per cent); peak scrubbing tyre forces were reduced by 83 per cent; and entry tail-swing was eliminated. In an 80 km/h lane-change manoeuvre, peak path error for the experimental vehicle was 33 per cent less than for the conventional vehicle, and rearward amplification of the trailer was 35 per cent less. Increasing the bandwidth of the steering actuators improved the high-speed dynamic performance of the vehicle, but at the expense of increased oil flow.

Status of the shrimp sector in Bangladesh in the context of HACCP and trade issues: a review

Shrimp culture in Bangladesh has emerged as an important aquaculture industry over the last three decades although its culture in greater parts of the farming area is done in traditional ways. In the meantime, the government of Bangladesh has taken necessary measures along with the private sectors to increase production, upgrade processing industries and to promote export performance. Long supply chain in raw material collection, inadequate infrastructure facilities, poor level of cool chain and lack of adequate HACCP-based training on hygiene and sanitation of different groups of people involved in the field level are the main problems of quality loss of raw materials. Shortage of raw materials results in poor capacity utilization of the processing plants. The growth of bagda (P. monodon) hatchery has expanded rapidly over the last few years, remaining mostly concentrated in Cox's Bazar region is enough to meet the target production. However, there is a shortage of pelleted shrimp feed in Bangladesh. A large number of export processors are now producing increasing amounts of value-added products such as individually quick-frozen, peeled and divined, butterfly cut shrimp, as well as cooked products. The export earnings from value added products is about half of the total export value. About 95% of total fish products are exported to European countries, USA and Japan and the remaining to the Southeast Asia and the Middle East. Most of the EU approved shrimp processing industries have been upgraded with laboratory facilities and provided HACCP training to their workers. As of now, HACCP is applied on the processing plants, but to ensure the quality of raw materials and to reduce risks, shrimp farms are also required to adopt HACCP plan. There is increased pressure time to time from importing countries for fish processors to establish effective quality assurance system in processing plants. Fish Inspection and Quality Control (FIQC) of the Department of Fisheries while having moderately equipped laboratories with chemical, bio-chemical and microbiological testing facilities and qualified technical personnel, the creation of facilities for testing of antibiotics is underway. FIQC mainly supervises quality aspects of the processing plants and has little or no control over raw material supply chains from farm to processing plants. Bangladesh export consignments sometimes face rejection due to reported poor quality of the products. Three types of barriers are reported for export of shrimp to EU countries. These are:(1) government participation in trade and restrictive practices (state aid, countervailing duties, state trading enterprises, government monopoly practices), customs and administrative entry procedures (anti-dumping duties, customs valuation, classification, formalities, rules of origin); (2) technical barriers to trade or TBT (technical regulations, standards, testing, certification arrangement); (3) specific limitations (quantitative restrictions, import licensing, embargoes, exchange control, discriminatory sourcing, export restraints, measures to regulate domestic prices, requirements concerning marking, labeling and packaging).

An investigation into the information exchange between a consultant and client company: a case study

This report deals with collaborations of engineering consultants and clients in the automobile industry.

In these relationships three main challenges have been identified which have to be addressed by the consultancies. Therefore, the research takes the viewpoint of the consulting side. The challenges are

(i) the appropriate project goal definition;

(ii) achieving client satisfaction; and

(iii) dealing with international clients.

An investigation of such a relationship carried out on a case study shows that improvements can be achieved through communication support. The ways to do that are proposed.

Monte Carlo optimization strategies for air-traffic control

The safety of the flights, and in particular conflict resolution for separation assurance, is one of the main tasks of Air Traffic Control. Conflict resolution requires decision making in the face of the considerable levels of uncertainty inherent in the motion of aircraft. We present a Monte Carlo framework for conflict resolution which allows one to take into account such levels of uncertainty through the use of a stochastic simulator. A simulation example inspired by current air traffic control practice illustrates the proposed conflict resolution strategy. Copyright © 2005 by the American Institute of Aeronautics and Astronautics, Inc. All rights reserved.

Safety implications of reactivity variations in fast thorium ADSRs

Nuclear power generation offers a reliable, low-impact and large-scale alternative to fossil fuels. However, concerns exist over the safety and sustainability of this method of power production, and it remains unpopular with some governments and pressure groups throughout the world. Fast thorium fuelled accelerator-driven sub-critical reactors (ADSRs) offer a possible route to providing further re-assurance regarding these concerns on account of their properties of enhanced safety through sub-critical operation combined with reduced actinide waste production from the thorium fuel source. The appropriate sub-critical margin at which these reactors should operate is the subject of continued debate. Commercial interests favour a small sub-critical margin in order to minimise the size of the accelerator needed for a given power output, whilst enhanced safety would be better satisfied through larger sub-critical margins to further minimise the possibility of a criticality excursion. Against this background, this paper examines some of the issues affecting reactor safety inherent within thorium fuel sources resulting from the essential Th90232→Th90233→Pa91233→U92233 breeding chain. Differences in the decay half-lives and fission and capture cross-sections of 233Pa and 233U can result in significant changes in the reactivity of the fuel following changes in the reactor power. Reactor operation is represented using a homogeneous lumped fast reactor model that can simulate the evolution of actinides and reactivity variations to first-order accuracy. The reactivity of the fuel is shown to increase significantly following a loss of power to the accelerator. Where the sub-critical operating margins are small this can result in a criticality excursion unless some form of additional intervention is made, for example through the insertion of control rods. © 2012 Elsevier Ltd. All rights reserved.

一种用于网络取证分析的模糊决策树推理方法

网络取证是对现有网络安全体系的必要扩展,已日益成为研究的重点.但目前在进行网络取证时仍存在很多挑战:如网络产生的海量数据;从已收集数据中提取的证据的可理解性;证据分析方法的有效性等.针对上述问题,利用模糊决策树技术强大的学习能力及其分析结果的易理解性,开发了一种基于模糊决策树的网络取证分析系统,以协助网络取证人员在网络环境下对计算机犯罪事件进行取证分析.给出了该方法的实验结果以及与现有方法的对照分析结果.实验结果表明,该系统可以对大多数网络事件进行识别(平均正确分类率为 91.16%),能为网络取证人员提供可理解的信息,协助取证人员进行快速高效的证据分析.

信息安全产品安全保证量化评估方法研究

CC标准进行信息安全产品测评时,传统评估方法使用二值逻辑表示评价结果,只能定性评估,不能体现安全保证量的差异.本文提出依据保护轮廓构建评估框架的方法;将评估员对组件的评价定义为三角模糊数的形式;提出底线折衷法综合各组件评价得出TOE(评估对象)安全保证的量化表示.最后,通过实例表明这是一种CC标准框架正的可操作和较为合理的信息安全产品测评方法.

软件属性保障中的源代码静态分析技术研究

随着硬件性能的不断提升，计算机正在被赋予越来越艰巨的任务，运行其上的软件作为沟通人类思维和底层硬件的桥梁，其重要性日益增加。与此同时，软件系统的规模也在不断变大，所涉及的逻辑也更为复杂，这导致开发人员难免会由于疏漏在软件设计实现的过程中引入缺陷、埋下隐患。所以,如何检验、确保软件的属性就成为时下一个亟待解决的热点问题。而在此背景下，源代码静态分析技术由于恰好可以弥补现有测试方法的不足，已经开始在这一研究领域崭露头角。有鉴于此，本文为了推进安全信息系统的研发，分别围绕源代码静态分析技术在软件属性保障中两个最主要的应用场景展开研究，涉及高等级安全操作系统开发过程中的源代码自动化审计，以及分布式信息系统中平台间互信建立时针对软件属性所进行的远程验证，其中，前者是为从深度上将现有安全操作系统向更高等级推进提供助力，而后者是为了从广度上将信息安全领域现有的围绕单机平台的研究成果向分布式架构推广建立基础。具体来说，本文选择针对编程接口规范的一致性检验和应用静态分析的软件属性远程验证作为研究的切入点，探讨了应用源代码静态分析技术检验、确保软件属性的方法和用途，主要取得以下几个方面的成果： 第一，本文给出了一个基于值等价类的别名分析方法。该方法依据相关的传值操作维护一个值等价类空间，可以在编程接口规范一致性检验的过程中按需推导变量符号间的等值关系，不仅有能力支持上下文相关、路径相关的全局分析，还可以有效应对C代码中因结构、指针等构件所衍生出来的大量变量符号。 第二，针对大部分现有代码静态分析工具分析规模受限的问题，本文围绕编程接口规范的一致性检验给出了可以与别名分析有效结合的性能优化方案。该方案不仅能通过剔除与分析无关的执行分支和引入缓存机制提高分析效率，还可以尽量确保分析的准确性少受影响。 第三，我们设计、实现了一个C代码静态分析工具ABAZER（A Bug AnalyZER）。该工具可以依据用户使用有限自动机模型描述的编程接口规范，对操作系统内核级别的软件进行全局分析，指出代码中可能有悖于规范的部分。我们使用ABAZER实际考查了FreeBSD内核中锁机制以及GCC 4.x中库GNU Libiberty的使用情况，从中发现了若干真实的缺陷。 第四，本文针对现有应用可信计算技术、基于完整性信息进行远程验证的方案在灵活性和实用性上所存在的不足，给出一个扩展方案。该方案通过引入虚拟机技术，在软件构建过程中收集举证信息，应用静态分析方法分析软件功能模块间的相关性，划分出与验证相关的模块，有效控制用户定制软件验证时所要依赖的可信列表的规模，使其有能力适应当今网络环境中的大量异质平台和各种安全需求。此外，它还可以为自身所依赖的可信计算基的替换和更新提供支持。 第五，本文针对Flask架构的特点，给出了一个既能检验强制访问控制实现正确性，又能最大限度保留软件灵活性、使得用户可以在一定程度上对软件进行定制的远程验证方案。该方案依赖源代码静态分析技术界定软件中无需基于完整性进行验证的模块，在进一步缩减可信列表规模的同时，使用代码改写技术在这些模块中自动化地插入监控代码约束软件的动态行为，以达到确保强制访问控制实现正确性的目的。该方案初步展现了源代码静态分析技术在远程验证中广阔的应用前景。

基于收益机制发布/订阅系统时间约束保障技术

发布／订阅系统技术具有异步、松散耦合和多对多通信的特点，有着广阔的应用前景．但是，已有的发布／订阅系统技术不能满足动态环境下有延迟需求的应用要求．针对时间约束问题，扩展了发布／订阅系统的语法，建立了延迟模型，提出了一种基于收益机制的分布式发布／订阅系统时间约束保障技术和使系统获益最大化的调度算法MTEP（maximumto tal earning priority），其特点是能够满足订阅者和发布者指定延迟约束的需求，通过与订阅者商定的价格和违约成本信息来有效地利用网络带宽，适应网络环境的动态变化．实验结果表明，该调度策略和FCFS（first come first service）、最短时间优先和固定优先级等传统策略相比，可使订阅者接收到的有效事件明显增多，并使系统收益显著改善．

使用CC标准开发的高保证安全信息系统

通用标准（Common Criteria）提供了衡量系统安全性的流行准则。本文主要提出通过各类保证措施，如何构建符合CC标准的高保证安全信息系统。文中首先给出了CC的评估模型、评估过程和安全保证的具体要求。然后以开发安全审计系统为例，分析了系统安全功能和保证要求的产生、审计系统的实现框架以及为达到标准要求而在系统开发过程中使用的各种保证证据和保证措施。最后，又分析了审计系统对整个系统的性能影响因素，并提出了改进办法。本文通过深入剖析通用标准中各个保证要求的内涵，为开发具有高保证要求的信息系统提供了理论指导和实现方法。

基于汽车检测线的实时网络监控系统

在介绍汽车检测线系统的基础上,探讨了实时网络监控在汽车检测线上的应用,为了克服检测过程存在较多人为因素的缺点和解决汽车检测场社会化引起的监管问题,提出了通过控制摄像头多角度拍摄监控照片对被检车辆进行身份认证的新方法,该方法可以方便异地监控端实时了解汽车检测线上的各类检测情况,并且有助于保证检测过程的真实有效性