An efficient state space generation for the analysis of real-timesystems

State explosion is a well-known problem that impedes analysis and testing based on state-space exploration. This problem is particularly serious in real time systems because unbounded time values cause the state space to be infinite even for simple systems. The author presents an algorithm that produces a compact representation of the reachable state space of a real time system. The algorithm yields a small state space, but still retains enough information for analysis. To avoid the state explosion which can be caused by simply adding time values to states, our algorithm uses history equivalence and transition bisimulation to collapse states into equivalent classes. Through history equivalence, states are merged into an equivalence class with the same untimed executions up to the states. Using transition bisimulation, the states that have the same future behaviors are further collapsed. The resultant state space is finite and can be used to analyze real time properties. To show the effectiveness of our algorithm, we have implemented the algorithm and have analyzed several example applications     

Transient temperature responses of hydronic radiant floor heating system by different pipe embedding depth and water supply condition

"Ondol" is a Korean unique heating system. It is a specific radiant floor heating system using combustion heat of briquette or timber in Korea. Such traditional "Ondol" is changed to radiant heating system with pipe-coil embedded in the floor or slab. This study has contributed to the understandings of the transient behaviours of Ondol-heated floor panels and enclosure exposed to this type of heating system. The result is that the water supply temperature had a large effect on the rate of increase in floor surface and room air temperature. But, in spite of a higher water supply temperature, the heat flow rate was not increased considerably. The shallow pipe embedding depths, of course, result in a low heat flow rate.     

Wave–current interaction with a vertical square cylinder at different Reynolds numbers

Railway Engineering Science - Large eddy simulation is performed to study three-dimensional wave–current interaction with a square cylinder at different Reynolds numbers, ranging from 1,000...     

Producing persistent, high-current, high-duty-factor H- beams for routine 1 MW operation of Spallation Neutron Source (invited)

Since 2009, the Spallation Neutron Source (SNS) has been producing neutrons with ion beam powers near 1 MW, which requires the extraction of ～50 mA H(-) ions from the ion source with a ～5% duty factor. The 50 mA are achieved after an initial dose of ～3 mg of Cs and heating the Cs collar to ～170 °C. The 50 mA normally persist for the entire 4-week source service cycles. Fundamental processes are reviewed to elucidate the persistence of the SNS H(-) beams without a steady feed of Cs and why the Cs collar temperature may have to be kept near 170 °C.     

Fabrication of a high aspect ratio nanoporous array on silicon

In this study, a simple method for the fabrication of high aspect ratio silicon nanoporous arrays is developed. A N-type silicon wafer is used as the substrate material. A micro-scale pattern of the desired porous array is transferred to the front surface of the silicon wafer by photolithography after which the wafer is placed in a home-made fixture to efficiently expel the etching generated air and promptly hold the back-side illumination light. A halogen lamp is used as the light source for backside illumination to enhance the electron–hole pair generation. An anodization process is then carried out using a new etchant consisting of hydrofluoric acid and mixed EtOH and EMSO surfactant to effectively polish the pore surfaces and sharpen the tips of the etched pores. A nanochannel array with a nano-tip of 61.4?nm is obtained.     

Preparation of a sensor substrate using functionalized mesoporous silica on a gold film for surface plasmon resonance (SPR) spectroscopy

The use of surface plasmon resonance (SPR) spectroscopy has been applied to a wide variety of fields such as biosensors and surface analysis instruments. In general, a SPR substrate is prepared using self-assembled monolayer (SAM) method of organic molecules as receptor for the target on a layer of gold or silver. However, mesoporous inorganic materials such as SBA-15 have benefits as sensor substrate for SPR. Mesoporous silica has a large surface area which receptor molecule can be attached and has a rigid body which has an excellent stability in the extreme condition compared to organic sensing layer. We prepared an organic modified mesoporous silica and successfully immobilized it on a gold surface, in an attempt to use as a substrate for SPR spectroscopy. For the comparison of sensitivity of prepared substrate, Pt²⁺ detection was selected as a model system. Substrate prepared in this study exhibited the capability of selective sensing for Pt²⁺ ions.     

核事故条件下的大气扩散模式及应用

本文介绍一个适用于核事故条件的大气扩散模式(粒子-烟团模式)的建立与调试。模式在模拟大气扩散的粒子随机游走方法中引入类似于扩散烟团的核函数概念，用以反映单个随机游走粒子所代表的污染物质的空间影响范围。模式解决了随机游走粒子与核函数“烟团”耦合后反映扩散物理真实过程的一致性问题，在约200km的范围内模拟结果与理论结果相一致。与代表实际大气典型扩散状况的高斯烟羽模式的结果进行定量比较，表明本模式结果在10km的范围内总体合理，但在近源处有系统偏小。模式瞬时浓度的涨落相对于平均轴线浓度大体控制在20％～30％的范围内。将模式应用于秦山地区的实际地形和气象条件进行实例测试表明，其结果可以反映当地复杂的大气扩散过程和特性。     

Preparation and characterization of Ni/Co bimetallic nano-clusters

Ni/Co bimetallic nano-cluters have been prepared from the aqueous solution by reducing their corresponding metal salts under suitable conditions. The experimental conditions including the type and concentration of protective agent, feeding order and the pH of the solution that influence the average particle size have been studied in detail. Transmission electron microscopy (TEM) indicates that the shape of those bimetallic nano-cluster particles is spheroid. The alloy structure has been shown by X-ray powder diffraction (XRD). The X-ray photoelectron spectroscopic (XPS) data have confirmed that the nickel and cobalt in the bimetallic nano-clusters are in the zero-valence state.