Functional un|unparsing

Danvy??s functional unparsing problem (Danvy in J. Funct. Program. 8(6), 621?C625, 1998) is to implement a type-safe ??printf?? function, which converts a sequence of heterogeneous arguments to a string according to a given format. The dual problem is to implement a type-safe ??scanf?? function, which extracts a sequence of heterogeneous arguments from a string by interpreting (Friedman and Wand in LFP, pp. 348?C355, 1984 and in Essentials of Programming Languages, MIT Press, 2008) the same format as an equally heterogeneous sequence of patterns that binds zero or more variables. We derive multiple solutions to both problems (Wand in J. ACM 27(1), 164?C180, 1980) from their formal specifications (Wand in Theor. Comput. Sci. 20(1), 3?C32, 1982). On one hand, our solutions show how the Hindley-Milner type system, unextended, permits accessing heterogeneous sequences with the static assurance of type safety. On the other hand, our solutions demonstrate the use of control operators (Felleisen et al. in Proceedings of the 1988 ACM Conference on Lisp and Functional Programming, pp. 52?C62, ACM Press, New York, 1988; Wand in POPL 85: Conference Record of the Annual ACM Symposium on Principles of Programming Languages, vol. 16, ACM Press, New York, 1985; Meyer and Wand in Logics of Programs, Lecture Notes in Computer Science, vol. 193, pp. 219?C224, Springer, Berlin, 1985) to communicate with formats as coroutines (Wand in Proceedings of the 1980 ACM Conference on Lisp and Functional Programming, vol. 12, pp. 285?C299, ACM Press, New York, 1980 and Haynes et al. in LFP, pp. 293?C298, 1984).     

Direct Method Based Control System for an Autonomous Quadrotor

This paper proposes a real time control algorithm for autonomous operation of a quadrotor unmanned air vehicle. The quadrotor is a small agile vehicle, which as well as being a excellent test bed for advanced control techniques could also be suitable for internal surveillance, search and rescue and remote inspection. The proposed control scheme incorporates two key aspects of autonomy; trajectory planning and trajectory following. Using the differentially-flat dynamics property of the system, the trajectory optimization is posed as a non-linear constrained optimization within the output space in the virtual domain, not explicitly related to the time domain. A suitable parameterization using a virtual argument as opposed to time is applied, which ensures initial and terminal constraint satisfaction. The speed profile is optimized independently, followed by the mapping to the time domain achieved using a speed factor. Trajectory following is achieved with a standard multi-variable control technique and a digital switch is used to re-optimize the reference trajectory in the event of infeasibility or mission change. The paper includes simulations using a full dynamic model of the quadrotor demonstrating the suitability of the proposed control scheme.     

DNA immobilization and SAW response in ZnO nanotips grown on LiNbO3 substrates.

DNA immobilization enhancement is demonstrated in a structure consisting of ZnO nanotips on 128 degrees Y-cut LiNbO3. The ZnO nanotips are grown by metalorganic chemical vapor deposition (MOCVD) on the top of a SiO2 layer that is deposited and patterned on the LiNbO3 SAW delay path. The effects of ZnO nanotips on the SAW response are investigated. X-ray diffraction and scanning electron microscopy are used to analyze the ZnO nanotips, which are of single crystalline quality, and they are uniformly aligned with their c-axis perpendicular to the substrate surface. The photoluminescence (PL) spectrum of the ZnO nanotips shows strong near bandedge transition with insignificant deep level emission, confirming their good optical property. DNA immobilization enhancement is experimentally validated by radioactive labeling tests and SAW response changes. The ZnO nanotips enhance the DNA immobilization by a factor of 200 compared to ZnO film with flat surface. DNA hybridization with complementary and noncomplementary second strand DNA oligonucleotides is used to study the selective binding of the structure. This device structure possesses the advantages of both traditional SAW sensors and ZnO nanostructures.     

Microsatellite Instability in Russian Patients with Colorectal Cancer

The aim of this study was to determine the characteristics of Russian patients with microsatellite instability (MSI) tumors. MSI in the tumor was determined in 514 patients with colon cancer using PCR and subsequent fragment analysis for five markers (NR21, NR24, BAT25, BAT26, and NR27). In the presence of microsatellite instability, the mismatch repair (MMR) system genes were examined using the NGS and MLPA methods to establish the diagnosis of Lynch syndrome. The overall frequency of MSI tumors was 15%: at stage I—19% (9/48), at stage II—21% (44/213), at stage III—16% (26/160), and at stage IV—2% (2/93). Patients with MSI tumors differed in the age of diagnosis, tumor localization, time of cancer recurrence, and stage of the disease. The overall and disease-free survival of patients whose tumors had MSI status was higher than that of patients with microsatellite-stable status, p = 0.04 and p = 0.02, respectively. Analysis of overall and disease-free survival of patients with Lynch syndrome and patients with sporadic colon cancer, but with MSI status, did not reveal significant differences, p = 0.52 and p = 0.24, respectively. The age of patients with Lynch syndrome was significantly younger than that of patients with sporadic colon cancer whose tumors had MSI status (p < 0.001).     

Twelve-Nitrogen-Atom Cyclic Structure Stabilized by 3d-Element Atoms: Quantum Chemical Modeling

Using various versions of density functional theory (DFT), DFT M06/TZVP, DFT B3PW91/TZVP, DFT OPBE/TZVP, and, partially, the MP2 method, the possibility of the existence of 3d-element (M) compounds with nitrogen having unusual M: nitrogen ratio 1:12, unknown for these elements at the present, was shown. Structural parameter data were presented. It was shown that all MN4 groupings have tetragonal-pyramidal structure. It was noted that the bond lengths formed by nitrogen atoms and an M atom were equal to each other only in the case of M = Ti, V, Cr and Co, whereas for other Ms, they were slightly different; moreover, the bond angles formed by nitrogen atoms and an M atom were equal to 90.0°, or practically did not differ from this value. Thermodynamic parameters, NBO analysis data and HOMO/LUMO images for this compound were also presented. Good agreement between the calculated data obtained using the above three quantum chemical methods was also noted.     

Sperm of Fruit Fly Drosophila melanogaster under Space Flight

Studies of reproductive function under long-term space flight conditions are of interest in planning the exploration of deep space. Motility, including the use of various inhibitors, cellular respiration, and the content of cytoskeletal proteins were studied, assessing the level of expression of the corresponding genes in spermatozoa of Drosophila melanogaster, which were in space flight conditions for 12 days. The experiment was carried out twice on board the Russian Segment of the International Space Station. Sperm motility speed after space flight, and subsequently 16 h after landing, is reduced relative to the control by 20% (p < 0.05). In comparison with the simulation experiment, we showed that this occurs as a result of the action of overloads and readaptation to the Earth’s gravity. At the same time, cellular respiration, the content of proteins of the respiratory chain, and the expression of their genes do not change. We used kinase inhibitor 6-(dimethylamino)purine (6-DMAP) and phosphatase inhibitors; 6-DMAP restored the reduced the speed of spermatozoa in the flight group to that of the control. These results can be useful in developing a strategy for protecting reproductive health during the development of other bodies in the solar system.     

不同热变形工艺大塑性变形加工超细晶1570C铝合金的组织、强度和超塑性

将Al-5Mg-0.18Mn-0.2Sc-0.08Zr-0.01Fe-0.01Si(质量分数,％)合金铸锭进行多向等温锻造(应变12)或等径角挤压(应变10,325℃),再进行热轧(325℃)和冷轧(20℃),对比研究合金变形后的组织和力学行为.结果表明,对(亚)晶粒尺寸dUFG=2μm的超细晶组织合金进行多向等温锻造...     

Effect of the oxygen content in a salt solution on the characteristics of sodium-reduced tantalum powders

The characteristics of the tantalum powders produced by sodium thermal reduction from salt melts based on K₂TaF₇ and NaCl with various amounts of added oxycompounds K₃TaOF₆ and K₂Ta₂O₃F₆ are studied. At a molar ratio of oxygen to tantalum of 1.25 in the initial melt, capacitor tantalum powders with a specific surface area more than 3 m²/g are produced. The specific capacitance of the anodes made from these powders reaches 58 mC/g.     

Synthesis of Multilayered Star‐Shaped B6O Particles Using the Seed‐Mediated Growth Method

In this study, we introduce a simple and effective seed‐mediated growth method (SMGM) for the controlled synthesis of boron suboxide powder. By employing starting powders with different concentrations and adding boron suboxide seeds with a star‐like morphology, we demonstrate that B₆O ceramics that exhibit high‐level crystallinity can be synthesized using SMGM at ambient pressure conditions. The formation of multilayered star‐shaped B₆O particles via SMGM is reported for the first time.