量化网络风险

基本风险分析技术能帮助您从整个电力行业分布的角度了解工业控制系统和SCADA(数据采集与监控)系统中的网络威胁。这一步骤将帮助您规划一个防御性的策略。2006年8月19号,Brown' s Ferry核电站因为过程控制网络流量过大而堵塞,导致了再循环泵的损坏。操作员按照操作手册要求将其关闭,并将系统调整到安全状态。一份后续的美国核管理委员会(NRC)报告确定其根源为未确定来源的车间计算机网络通信量过大。由此采取了运     

Honey bees find the shortest path: a collective flow-mediated approach

Artificial Life and Robotics - Honey bees (Apis mellifera L.) are social insects that makes frequent use of volatile pheromone signals to collectively navigate unpredictable and unknown...     

High Q 2D-length extension mode resonators for potential time–frequency applications

Microsystem Technologies - This paper presents recent advances on two dimensional length-extension mode (2D-LEM) quartz resonators providing high quality (Q) factor on resonances at a few MHz. The...     

The first measurement of an absolute surface concentration of reaction intermediates in ethylene hydrogenation

The first measurement of a turnover rate with respect to surface intermediate concentration in a high pressure heterogeneous catalytic reaction is reported. By using infrared-visible sum frequency generation to study the hydrogenation of ethylene on Pt(111), it was found that the surface concentration of -bonded ethylene, the key reaction intermediate, represented approximately 4% of a monolayer. Thus the absolute turnover rate per surface adsorbed ethylene molecule is 25 times faster than the rate measured per platinum atom. To explain these results, we propose a model of weakly adsorbed ethylene intermediates reacting on atop sites.     

Spin correlations for an Anderson impurity in conventional and unconventional superconductors

We present a theoretical study of the spin-spin correlation functionC(r) in a superconductor, whereC(r) = S · s(r);S is an impurity spin operator, ands(r) is the conduction electron spin density operator. We model the impurity using the Anderson Hamiltonian, and use the U , 1/N expansion to do the calculations. In addition to conventional superconductors, we consider unconventional superconductors, in which the order parameter (k) has a lower rotational symmetry, and has vanishing angular average. Of particular interest is the way that the behavior ofC(r) reflects two length scales, the Kondo length _k and the superconducting coherence length, ₀, and the way that its behavior is affected by the angular dependence of unconventional gaps.     

Optimization of quality and operational costs through improved scheduling of harvest operations

The agriculture sector still lacks the tools and models to enhance the utilization of different resources. This paper addresses the vineyard harvesting problem in developing countries, with the objective of optimizing the wine quality and minimizing the operational costs. Heuristics were introduced to better assign the harvesting days to the different grape blocks that exist in the vineyard's field. The quality of the grapes was a key target as it can transform production from a pinnacle wine to a bulk one. We solved several numerical examples for verification and demonstrative purposes and found that our proposed approach finds solutions that significantly reduce the harvesting costs in the vineyard and considerably outperform Branch and Bound algorithm especially for large problems.     

Generating systems from multiple sketched models

Diagrams are often used to model complex systems: in many cases several different types of diagrams are used to model different aspects of the system. These diagrams, perhaps from multiple stakeholders of different specialties, must be combined to achieve a full abstract representation of the system. Many CAD tools offer multi-diagram integration; however, sketch-based diagramming tools are yet to tackle this difficult integration problem. We extend the diagram sketching tool InkKit to combine software engineering sketches of different types. Our extensions support software design processes by providing a sketch-based approach that allows the iterative creation of multiple outputs interacting with one another from the inter-linked models. We demonstrate that InkKit can generate a functional system consisting of a user interface with processes to submit and retrieve data from a database from sketched user interfaces designs and sketched entity relationship diagrams.     

Coherency Hub Design for Multisocket Sun Servers with CoolThreads Technology

CoHub, a coherency hub ASIC, provides a cost-effective way to extend a glueless two-node chip-multithreading system to a four-node system without changes to the processor. The four-node, 256-thread system achieves near-linear scaling of performance with thread count on transaction-processing workloads. Time-to-market pressure, 800-MHz operation, and a six-stage pipeline were among the constraints that shaped CoHub's design.     

Tactical combat movements: inter-individual variation in performance due to the effects of load carriage

An examination into the effects of carried military equipment on the performance of two tactical combat movement simulations was conducted. Nineteen Airfield Defence Guards performed a break contact (five 30-m sprints) and a fire and movement simulation (16 6-m bounds) in five load conditions (10–30 kg). Heavier loads significantly increased movement duration on the break contact (0.8%/kg load) and fire and movement (1.1%/kg). Performance deterioration was observed from the beginning to the end of the series of movements (bounds or sprints) with deterioration becoming significantly greater in heavier load conditions. Inter-individual variation between slower and faster participants showed a range in load effects; 0.6, 0.8%/kg for fast and 1.0, 1.4%/kg for slow (break contact, fire and movement, respectively). Velocity profiles revealed that the initial acceleration and peak velocity were the primary determinants of performance. As the duration of these tactical combat movements reflects periods of heightened vulnerability, these findings highlight important implications for commanders.

Practitioner Summary: Increasing amounts of carried military equipment impairs the performance of tactical combat movements. Examination of inter-individual variation in velocity profiles identified that the initial acceleration and the peak velocity achieved during sprints and bounds are key determinants of overall performance.     

Multi‐Unit Bayesian Auction with Demand or Budget Constraints

We consider the problem of revenue maximization on multi‐unit auctions where items are distinguished by their relative values; any pair of items has the same ratio of values to all buyers. As is common in the study of revenue maximizing problems, we assume that buyers' valuations are drawn from public known distributions and they have additive valuations for multiple items. Our problem is well motivated by sponsored search auctions, which made money for Google and Yahoo! in practice. In this auction, each advertiser bids an amount b_i to compete for ad slots on a web page. The value of each ad slot corresponds to its click‐through‐rate, and each buyer has her own per‐click valuations, which is her private information. Obviously, a strategic bidder may bid an amount that is different with her true valuation to improve her utility. Our goal is to design truthful mechanisms avoiding this misreporting. We develop the optimal (with maximum revenue) truthful auction for a relaxed demand model (where each buyer i wants at most d_i items) and a sharp demand model (where buyer i wants exactly d_i items). We also find an auction that always guarantees at least half of the revenue of the optimal auction when the buyers are budget constrained. Moreover, all of the auctions we design can be computed efficiently, that is, in polynomial time.