Towards quality requirements via animated formal specifications

Assuring a high quality requirements specification document involves both an early validation process and an increased level of participation. An approach and its supporting environment which combines the benefits of a formal system specification and its subsequent execution via a rapid prototype is reported. The environment assists in the construction, clarification, validation and visualisation of a formal specification. An illustrative case study demonstrates the consequences of assertions about system properties at this early stage of software development. Our approach involves the pragmatic combination of technical benefits of formal systems engineering based techniques with the context‐sensitive notions of increased participation of both developer and user stakeholders to move us closer towards a quality requirements specification document.     

Radioactivity concentrations in soil and dose assessment for Samsun City Centre, Turkey

In this study, natural gamma radioactivity levels were determined in the soil samples of the Samsun city centre by using the gamma ray spectrometry method. The analysis carried out with the high-purity germanium gamma spectrometry system has shown that average activity concentrations of (238)U, (232)Th, (40)K and (137)Cs were 19±2, 22±4, 521±23 and 15±1 Bq kg(-1), respectively. From the gamma analysis of soil samples, the average value of the absorbed gamma dose rates in air and the average value of the external annual effective dose rates were calculated as 45±4 nGy h(-1) and 55±5 μSv y(-1), respectively. The external hazard index has also been calculated and it has been found that the radiation hazard in Samsun is insignificant.     

Realization of reconfigurable filtering horn antennas using active frequency selective surfaces for GSM and LTE signal filtering

Herein, it is aimed to design an Active Frequency Selective Surface (AFSS) based high performance reconfigurable filtering antenna (Filtenna). The proposed AFSS unit element is consist of a single PIN diode with a simple microstrip patch design which performance characteristics are varies with the state of the diodes. The proposed unit elements have been used to form an array that is placed at the aperture of a double ridge horn antenna. With the variation in state of diodes, the antenna acts as a Filtenna module to filtering the incoming electromagnetic waves in frequency band of 1.8 to 2.8 GHz. From the experimental results, it is shown that the proposed Filtenna achieves a signal attenuation of 7.3 dBi at 2.1 GHz.     

Synthesis and electrochemical,in situ spectroelectrochemical,electrical and gas sensing properties of ball-type homo- and hetero-dinuclear phthalocyanines with four [1a,8b-dihydronaphtho[b]naphthofuro[3,2-d]furan-7,10-diyl] bridges

The new mono-nuclear Fe^II 2 and ball-type homo-dinuclear Fe^II–Fe^II 3 phthalocyanines have been synthesized from the corresponding 4,4′-(1a,8b-dihydronaphtho[b]naphthofuro[3,2-d]-furan-7,10-diyl)bis(oxy)diphthalonitrile 1 while ball-type hetero-dinuclear Fe^II–Co^II phthalocyanine 4 was synthesized from 2. The compounds have been characterized by elemental analysis, UV–vis, IR and MALDI-TOF-mass spectroscopies. The redox behaviours of the complexes were identified by controlled-potential coulometry, cyclic voltammetry and differential pulse voltammetry measurements on Pt in dimethylsulfoxide containing tetrabutylammonium perchlorate. The assignments of the redox processes and the understanding of the interactions between the metal phthalocyanine units in 3 and 4 were achieved by the combined evaluation of the voltammetric and in situ spectroelectrochemical outcomes. Complex 3 showed ring-based mixed-valence behaviour as a result of the considerable interaction between the phthalocyanine rings. On the other hand, the interactions between the two metal phthalocyanine units of 4 were found to be much weaker than those in 3. The potential application of molecular organic semiconductors needs the control adjustment of conductivity. Ac and dc conductivity measurements were performed with the applied external electric filed. At high frequency, the conduction follows the universal power law and conduction mechanism can be explained by classical hopping barriers mechanism for the system.     

高亮度LED的高效率电流驱动电路

本文介绍调整高亮度LED电流的简单电路.它包括一个流行的高集成降压开关稳压器,此开关稳压器能精确地控制LED电流.MAX5035是工作在125KHz固定频率的DC/DC转换器,其宽范围的输入电压(7.5V～76V)特别适合于汽车应用.对于亮度控制,它能实现模拟(线性调光)或低频占空比调制(PWM调光).     

A versatile signal flow graph realization of a general transfer function by using CDBA

A general synthesis procedure is given for a versatile signal flow graph realization of a general transfer function by using current differencing buffered amplifier (CDBA). The proposed configuration uses n+1 CDBAs, n capacitors and at most 2n+4 resistors. This number of resistors can be reduced to n+1 for special cases. The circuit is eligible to obtain a variety of transfer characteristics with the same common denominator polynomial, and it is easily converted to different modes of operations. It is straightforward to find the values of the passive elements from the coefficients of the transfer function to be realized. Simulations results are obtained by using commercially available active component AD844 and CMOS technology as well. All of these make the proposed circuit attractive.     

Terahertz Absorption of Nematic Liquid Crystals

We present the first systematic study of cyanobiphenyls (CBs) and the phenylcyclohexanes in the range between 50 cm^-1 (1.5 THz) and 500 cm^-1 (15 THz). The impact of the alkyl chain length and of variations in the core structure on the spectrum is investigated using liquid crystals from the cyanobiphenyl and phenylcyclohexane families. Our measurements are supported by calculations based on density functional theory. This enables us to shine light on the vibrational dynamics of liquid crystal molecules in the terahertz frequency range.     

Electronically tunable floating inductance simulator

In this letter, a new floating inductance simulator circuit is presented. The proposed structure consists of only one grounded capacitor without any external resistors and two different active elements. The active elements are dual-output current-controlled current conveyor (DO-CCCII) and operational transconductance amplifier (OTA). The proposed inductance simulator can be tuned electronically by changing the biasing current of the DO-CCCIIs or by changing the current of the OTA. Moreover, the circuit does not require any conditions of component matching. It has a good sensitivity performance with respect to tracking errors. As an application, the proposed inductance simulator is used to construct a fourth-order resistively terminated LC band-pass filter. The theoretical analysis is verified by the SPICE simulation results.