滚珠花键支撑斯特林制冷机研制

针对整体式斯特林制冷机"侧向力"的问题,提出一种滚珠花键支撑结构,并设计加工了样机。对采用滚珠花键支撑结构斯特林制冷机结构设计的要点进行了详尽的分析,指出采用滚珠花键支撑结构改善了整体式斯特林制冷机的可靠性。文中还对样机性能调试的相关情况进行了介绍。     

小型冷库液体冷媒融霜系统的研究

研究了液体冷媒融霜系统应用于小型冷库制冷系统的性能;介绍了液体冷媒融霜原理和控制操作过程、液体冷媒融霜实验的装置和方法;对实验结果进行了分析;重点通过库温变化、蒸发器进出口温度压力变化、过冷度对系统的影响、系统COP几个方面,研究了液体冷媒融霜应用于小型冷库制冷系统的性能。     

Mathematical analysis of pricing of lookback performance options

Lookback N-time period performance options are proposed. Explicit risk-neutral probability density functions for extrema of N-time period return rates are obtained over the time interval [0, T ], T ≤? 2N. Pricing formulae at t = 0 for lookback performance options with logarithm return rate are derived. The pricing formulae for lookback performance options with gross return rate at t = 0 can be derived similarly. Put-call parity relations at t = 0 for these options follow from these pricing formulae. Applications of lookback performance options are also discussed.     

Layout-aware scientific computing: A case study using the MILC code

Nowadays, high performance computers have more cores and nodes than ever before. Computation is spread out among them, leading to more communication cost than before. For this reason, communication can easily become the bottleneck of a system and limit its scalability. The layout of an application on a computer is the key factor to preserve communication locality and reduce its cost. In this paper, we propose a straightforward model to optimize the layout for scientific applications by minimizing inter-node communication cost. The model takes into account the latency and bandwidth of the network and associates them with the dominant layout variables of the application. We take the MILC code as an example and analyze its communication patterns. According to our experimental results, the model developed for the MILC code achieved a satisfactory accuracy for predicting the performance, leading to up to 31% performance improvement.     

Complex dynamics in the distribution of players’ scoring performance in Rugby Union world cups

The evolution of the scoring performance of Rugby Union players is investigated over the seven rugby world cups (RWC) that took place from 1987 to 2011, and a specific attention is given to how they may have been impacted by the switch from amateurism to professionalism that occurred in 1995. The distribution of the points scored by individual players, _Ps$P_s$, ranked in order of performance were well described by the simplified canonical law _Ps∝(r+?)^−α$P_s\propto {(r+?)}^{-\alpha }$, where r$r$ is the rank, and ?$?$ and α$\alpha$ are the parameters of the distribution. The parameter α$\alpha$ did not significantly change from 1987 to 2007 (α=0.92±0.03)$(\alpha =0.92\pm 0.03)$, indicating a negligible effect of professionalism on players’ scoring performance. In contrast, the parameter ?$?$ significantly increased from ?=1.32$?=1.32$ for 1987 RWC, ?=2.30$?=2.30$ for 1999 to 2003 RWC and ?=5.60$?=5.60$ for 2007 RWC, suggesting a progressive decrease in the relative performance of the best players. Finally, the sharp decreases observed in both α(α=0.38)$\alpha (\alpha =0.38)$ and ?(?=0.70)$?(?=0.70)$ in the 2011 RWC indicate a more even distribution of the performance of individuals among scorers, compared to the more heterogeneous distributions observed from 1987 to 2007, and suggest a sharp increase in the level of competition leading to an increase in the average quality of players and a decrease in the relative skills of the top players. Note that neither α$\alpha$ nor ?$?$ significantly correlate with traditional performance indicators such as the number of points scored by the best players, the number of games played by the best players, the number of points scored by the team of the best players or the total number of points scored over each RWC. This indicates that the dynamics of the scoring performance of Rugby Union players is influenced by hidden processes hitherto inaccessible through standard performance metrics; this suggests that players’ scoring performance is connected to ubiquitous phenomena such as anomalous diffusion.     

Modeling,analysis and performance evaluation for fault diagnosis and Fault Tolerant Control in bottle-filling plant modeled using Hybrid Petri nets

In this paper, an approach to achieve fault diagnosis and Fault Tolerant Control in a typical bottle-filling plant using event based techniques is discussed. For this purpose, the plant is modeled using Hybrid Petri nets which enable study and analysis with regard to the working of the plant. Once effective modeling is done based on two different case studies considered, new algorithms are proposed to achieve fault diagnosis and Fault Tolerant Control on the models developed. Finally, performance measures with regard to the models proposed are evaluated to check the correctness of the models developed. Both analytical and numerical results are obtained which are highly useful to understand plant behavior.     

A semi-preemptive priority scheduling discipline: Performance analysis

In this paper, we present an in-depth analytical study of a semi-preemptive priority scheduling discipline. This discipline eliminates the deficits of both the full- and non-preemptive versions. Under the non-preemptive category, in particular, higher-priority customers may have to wait even when the service of a lower-priority customer has just started, while under the full-preemptive discipline, the almost completed service of a lower-priority customer may be interrupted due to the arrival of higher-priority customers, possibly causing a large extra delay. For fixed low-priority service times, the semi-preemptive priority scheduling discipline shows a performance gain of up to 6% compared to the full- and non-preemptive versions.     

Bose–Einstein condensation in satisfiability problems

This paper is concerned with the complex behavior arising in satisfiability problems. We present a new statistical physics-based characterization of the satisfiability problem. Specifically, we design an algorithm that is able to produce graphs starting from a k-SAT instance, in order to analyze them and show whether a Bose–Einstein condensation occurs. We observe that, analogously to complex networks, the networks of k-SAT instances follow Bose statistics and can undergo Bose–Einstein condensation. In particular, k-SAT instances move from a fit-get-rich network to a winner-takes-all network as the ratio of clauses to variables decreases, and the phase transition of k-SAT approximates the critical temperature for the Bose–Einstein condensation. Finally, we employ the fitness-based classification to enhance SAT solvers (e.g., ChainSAT) and obtain the consistently highest performing SAT solver for CNF formulas, and therefore a new class of efficient hardware and software verification tools.     

Raising the bar on-bead: Efficient on-resin synthesis of α-conotoxin LvIA

α4/7-Conotoxin LvIA is an isoform-selective inhibitor of the α3β2 nicotinic acetylcholine receptor. An efficient strategy for the synthesis of this toxin is critical to advancing its utility as a probe for receptor function and as a potential pharmaceutical lead target. On-resin methods for peptide synthesis offer potential synthetic advantages; however, strategies for on-resin formation of multiple disulfides have historically been low-yielding. Here, we harness the reactivity of the Allocam protecting group and employ a 3-amino acid spacer strategy to synthesize α4/7-conotoxin LvIA via three different on-resin strategies, each of which results in an isolated yield higher than previous fully on-resin approaches.