Self-assembly of Chloro-Bridged Arene-Ruthenium Based Rectangle: Synthesis, Structural Characterization and Sensing Study

Self-assembly of a chloro-bridged half-sandwich p-cymene ruthenium(II) complex Ru-2(mu-Cl-2)(eta(6)-p-cymene)(2)Cl-2] 1 with linear ditopic donor L; trans-1,2-bis(4-pyridyl) ethylene] in presence of 2 eq. AgNO3 in CH3CN yielded a chloro-bridged molecular rectangle 2. The rectangle 2 was isolated as nitrate salt in high yield (90 %) and characterized by infra-red, H-1 NMR spectroscopy including ESI-MS analyses. Molecular structure of 2 was determined by single crystal X-ray diffraction study The diffraction analysis shows that 2 adopts a tetranuclear rectangular geometry with the dimensions of 5.51 angstrom x 13.29 angstrom and forming an infinite supramolecular chain with large internal porosity arising through multiple pi-pi and CH-pi interactions between the adjacent rectangles. Furthermore, rectangle 2 is used as selective receptor for phenolic-nitroaromatic compounds such as picric acid, dinitrophenol and nitrophenol.

Using formal reasoning on a model of tasks for FreeRTOS

FreeRTOS is an open-source real-time microkernel that has a wide community of users. We present the formal specification of the behaviour of the task part of FreeRTOS that deals with the creation, management, and scheduling of tasks using priority-based preemption. Our model is written in the Z notation, and we verify its consistency using the Z/Eves theorem prover. This includes a precise statement of the preconditions for all API commands. This task model forms the basis for three dimensions of further work: (a) the modelling of the rest of the behaviour of queues, time, mutex, and interrupts in FreeRTOS; (b) refinement of the models to code to produce a verified implementation; and (c) extension of the behaviour of FreeRTOS to multi-core architectures. We propose all three dimensions as benchmark challenge problems for Hoare's Verified Software Initiative.

Performance Analysis of Heat Sinks With Phase-Change Materials Subjected to Transient and Cyclic Heating

Phase-change cooling technique is a suitable method for thermal management of electronic equipment subjected to transient or cyclic heat loads. The thermal performance of a phase-change based heat sink under cyclic heat load depends on several design parameters, namely, applied heat flux, cooling heat transfer coefficient, thermophysical properties of phase-change materials (PCMs), and physical dimensions of phase-change storage system during melting and freezing processes. A one-dimensional conduction heat transfer model is formulated to evaluate the effectiveness of preliminary design of practical PCM-based energy storage units. In this model, the phase-change process of the PCM is divided into melting and solidification subprocesses, for which separate equations are written. The equations are solved sequentially and an explicit closed-form solution is obtained. The efficacy of analytical model is estimated by comparing with a finite-volume-based numerical solution for both transient and cyclic heat loads.

Universal anomalous dimensions at large spin and large twist

In this paper we consider anomalous dimensions of double trace operators at large spin (l) and large twist (tau) in CFTs in arbitrary dimensions (d >= 3). Using analytic conformal bootstrap methods, we show that the anomalous dimensions are universal in the limit l >> tau >> 1. In the course of the derivation, we extract an approximate closed form expression for the conformal blocks arising in the four point function of identical scalars in any dimension. We compare our results with two different calculations in holography and find perfect agreement.

Influences of the Fish-Mouth Project and the Groins on the Flow and Sediment Ratio of the Yangtze River Waterway

A depth-integrated two-dimensional numerical model of current, salinity and sediment transport was proposed and calibrated by the observation data in the Yangtze River Estuary. It was then applied to investigate the flow and sediment ratio of the navigati

3D thermo-electro-mechanical simulations of gas sensors based on SOI membranes

3D thermo-electro-mechanical device simulations are presented of a novel fully CMOS-compatible MOSFET gas sensor operating in a SOI membrane. A comprehensive stress analysis of a Si-SiO2-based multilayer membrane has been performed to ensure a high degree of mechanical reliability at a high operating temperature (e.g. up to 400°C). Moreover, optimisation of the layout dimensions of the SOI membrane, in particular the aspect ratio between the membrane length and membrane thickness, has been carried out to find the best trade-off between minimal device power consumption and acceptable mechanical stress.

Dynamic Behaviour of Nanoscale Electrostatic Actuators

The dynamic behaviour for nanoscale electrostatic actuators is studied. A two Parameter mass-spring model is shown to exhibit a bifurcation from the case excluding an equilibrium point to the case including two equilibrium points as the geometrical dimensions of the device are altered. Stability analysis shows that one is a stable Hopf bifurcation point and the other is an unstable saddle point. In addition, we plot the diagram phases, which have periodic orbits around the Hopf point and a homoclinic orbit passing though the unstable saddle point.