Verifying the Safety of a Flight-Critical System

This paper describes our work on demonstrating verification technologies on a flight-critical system of realistic functionality, size, and complexity. Our work targeted a commercial aircraft control system named Transport Class Model (TCM), and involved several stages: formalizing and disambiguating requirements in collaboration with do- main experts; processing models for their use by formal verification tools; applying compositional techniques at the architectural and component level to scale verification. Performed in the context of a major NASA milestone, this study of formal verification in practice is one of the most challenging that our group has performed, and it took several person months to complete it. This paper describes the methodology that we followed and the lessons that we learned.Comment: 17 pages, 5 figure

74.38 Tb/s Transmission Over 6300 km Single Mode Fibre Enabled by C plus L Amplification and Geometrically Shaped PDM-64QAM

Ultrawide-bandwidth optical amplification over almost 90 nm, covering the C+L bands, is described. Complemented by system-tailored geometrical constellation shaping and nonlinearity compensation, it enabled a record capacity transmission of 74.38 Tb/s over 6,300 km of G.654 single-mode fibre. The hybrid scheme, combining backward Raman pre-amplification with EDFA, significantly improves the average effective noise figure across the entire bandwidth, allowing the use of span lengths of 70 km. The system-tailored GS-64QAM constellation was optimised to both linear link impairments and transceiver nonlinearities, improving the gap to the AWGN channel capacity relative to square 64QAM from 0.6 bit/symbol to 0.35 bit/symbol. We experimentally evaluated the system performance using the bit-wise achievable information rate (AIR) and signal-to-noise ratio (SNR) at the end of transmission, as well as post SD-FEC BER

Relative impact of channel symbol rate on transmission capacity

Through C+L band transmission experiments and theoretical modeling, we investigate the impact of channel symbol rate (30, 40, 60, and 85 GBd) on the performance of data center interconnection, metropolitan, and core network distances. Two different transponder architectures are investigated: (a) single-carrier receiver and (b) multi-carrier receiver, where multiple subcarriers are received together in a single wideband receiver. The architectures of both receivers experience a reduction in the achievable information rate as the channel symbol rate increases due to dominating transceiver noise; this holds over all tested transmission distances. However, the multi-carrier receiver shows a weaker performance dependency on symbol rate, as receiver-related impairments dominate. When testing the single-carrier receiver after 630 km, we find that by increasing the channel symbol rate from 40 to 85 GBd, gross capacity decreases by 16%; however, the required number of transceivers to fill the transmission window decreases by 52%. Using the multi-carrier receiver reduces receiver count further. This potentially impacts the cost and complexity of deploying fully loaded transmission systems

Magnetic, electronic, structural, and thermal properties of the Co3O2BO3 ludwigite in the paramagnetic state

FAPESP - FUNDAÇÃO DE AMPARO À PESQUISA DO ESTADO DE SÃO PAULOCNPQ - CONSELHO NACIONAL DE DESENVOLVIMENTO CIENTÍFICO E TECNOLÓGICOCAPES - COORDENAÇÃO DE APERFEIÇOAMENTO DE PESSOAL DE NÍVEL SUPERIORThe mixed-valent homometallic ludwigite (Co-2(2+) Co3+)O2BO3 is investigated above the ferrimagnetic ordering temperature T-c = 43 K through structural, thermal, magnetic, electric, and spectroscopic probes. X-ray absorption at the Co L-2,L-3 edges is consistent with the coexistence of Co2+ and Co (3+ )ions, as expected by the sample stoichiometry. Magnetic susceptibility shows a relatively large net paramagnetic moment per Co3+ ion above room temperature, p = 4.87, indicating that the Co3+ ions are not in a pure low-spin configuration at high temperatures, also showing a non-Curie-Weiss behavior below 300 K. Electrical conductivity and differential scanning calorimetry measurements on single crystals indicate two phase transitions at similar to 475 and similar to 495 K. X-ray powder diffraction shows substantial lattice parameter anomalies below 500 K. These results indicate phase transitions associated with changes in the Co oxidation state in each of its four crystallographic sites. Such transitions are possibly dictated by a competition between (i) an ordered ground state with all Co3+ ions occupying the same crystallographic site and (ii) either partially or totally charge-disordered states that are favored at high temperatures due to their higher entropy.1001618FAPESP - FUNDAÇÃO DE AMPARO À PESQUISA DO ESTADO DE SÃO PAULOCNPQ - CONSELHO NACIONAL DE DESENVOLVIMENTO CIENTÍFICO E TECNOLÓGICOCAPES - COORDENAÇÃO DE APERFEIÇOAMENTO DE PESSOAL DE NÍVEL SUPERIORFAPESP - FUNDAÇÃO DE AMPARO À PESQUISA DO ESTADO DE SÃO PAULOCNPQ - CONSELHO NACIONAL DE DESENVOLVIMENTO CIENTÍFICO E TECNOLÓGICOCAPES - COORDENAÇÃO DE APERFEIÇOAMENTO DE PESSOAL DE NÍVEL SUPERIOR2018/20142-8134752/2016-3308607/2018-0142555/2018-5Sem informaçã

Experimental Analysis of Nonlinear Impairments in Fibre Optic Transmission Systems up to 7.3 THz

An effective way of increasing the overall optical fibre capacity is by expanding the bandwidth used to transmit signals. In this paper, the impact of expanding the transmission bandwidth on the optical communication system is experimentally studied using the achievable rates as a performance metric. The trade-offs between the use of larger bandwidths and higher nonlinear interference (NLI) noise is experimentally and theoretically analysed. The growth of NLI noise is investigated for spectral bandwidths from 40 GHz up to 7.3 THz using 64-QAM and Nyquist pulse-shaping. Experimental results are shown to be in line with the predictions from the Gaussian-Noise model showing a logarithmic growth in NLI noise as the signal bandwidth is extended. A reduction of the information rate of only 10 % was found between linear and non-linear transmission across several transmission bandwidths, increasing up to 7.3 THz. Finally, the power transfer between channels due to stimulated Raman scattering effect is analysed showing up to 2 dB power tilt at optimum power for the largest transmitted bandwidth of 7.3 THz

Achievable information rates estimation for 100-nm ramana amplified optical transmission system

The achievable information rates of optical communication systems using ultra-wide bandwidth 100-nm distributed Raman amplification have been investigated for each individual subchannels, based on the first-order perturbative analysis of nonlinear distortions

Time-Domain Learned Digital Back-Propagation

Performance for optical fibre transmissions can be improved by digitally reversing the channel environment. When this is achieved by simulating short segment by separating the chromatic dispersion and Kerr nonlinearity, this is known as digital back-propagation (DBP). Time-domain DBP has the potential to decrease the complexity with respect to frequency domain algorithms. However, when using finer step in the algorithm, the accuracy of the individual smaller steps suffers. By adapting the chromatic dispersion filters of the individual steps to simulated or measured data this problem can be mitigated. Machine learning frameworks have enabled the gradient-descent style adaptation for large algorithms. This allows to adopt many dispersion filters to accurately represent the transmission in reverse. The proposed technique has been used in an experimental demonstration of learned time-domain DBP using a four channel 64-GBd dual-polarization 64-QAM signal transmission over a 10 span recirculating loop totalling 1014 km. The signal processing scheme consists of alternating finite impulse response filters with nonlinear phase shifts, where the filter coefficient were adapted using the experimental measurements. Performance gains to linear compensation in terms of signal-to-noise ratio improvements were comparable to those achieved with conventional frequency-domain DBP. Our experimental investigation shows the potential of digital signal processing techniques with learned parameters in improving the performance of high data rate long-haul optical fibre transmission systems

Magnetic frustration in low-dimensional substructures of hulsite Ni5.15Sn0.85(O2BO3)2

CNPQ - CONSELHO NACIONAL DE DESENVOLVIMENTO CIENTÍFICO E TECNOLÓGICOFAPERJ - FUNDAÇÃO DE AMPARO À PESQUISA DO ESTADO DO RIO DE JANEIROFAPESP - FUNDAÇÃO DE AMPARO À PESQUISA DO ESTADO DE SÃO PAULOThis paper presents an extensive study of the structural, magnetic, and thermodynamic properties of the hulsite Ni5.15Sn0.85(O2BO3)(2). The crystal structure of the hulsite has two planar substructures formed by Ni and Sn atoms: one with rectangular configuration and the other with a triangular arrangement. These substructures are linked by the boron ions and by Ni in another site closer to the rectangular arrangement, resulting in a quasi-two-dimensional character. Thus, this system literally adds a new dimension to the study of oxyborates. Our results point to a complex magnetic behavior consistent with these substructures. The planes with rectangular arrangement form a complex magnetic ordering at 180 K (one of the highest magnetic transitions among the oxyborates). The other subsystem, formed by Ni atoms located in a two-dimensional triangular lattice, does not order down to temperatures as low as 3 K. The experimental results suggest a spin-liquid behavior for this subsystem. The magnetic moments of the ions between these planes also freeze at low temperatures. The two magnetic planes coexist as independent subsystems down to the lowest temperatures of our experiments.985110CNPQ - CONSELHO NACIONAL DE DESENVOLVIMENTO CIENTÍFICO E TECNOLÓGICOFAPERJ - FUNDAÇÃO DE AMPARO À PESQUISA DO ESTADO DO RIO DE JANEIROFAPESP - FUNDAÇÃO DE AMPARO À PESQUISA DO ESTADO DE SÃO PAULOCNPQ - CONSELHO NACIONAL DE DESENVOLVIMENTO CIENTÍFICO E TECNOLÓGICOFAPERJ - FUNDAÇÃO DE AMPARO À PESQUISA DO ESTADO DO RIO DE JANEIROFAPESP - FUNDAÇÃO DE AMPARO À PESQUISA DO ESTADO DE SÃO PAUL

Resultados de pesquisas com algodão herbáceo no Oeste baiano na safra 2001/2002.

bitstream/CNPA/18274/1/COMTEC144.pd