Intuitionistic nonstandard bounded modified realisability and functional interpretation

We present a bounded modified realisability and a bounded functional interpretation of intuitionistic nonstandard arithmetic with nonstandard principles.The functional interpretation is the intuitionistic counterpart of Ferreira and Gaspar's functional interpretation and has similarities with Van den Berg, Briseid and Safarik's functional interpretation but replacing finiteness by majorisability.We give a threefold contribution: constructive content and proof-theoretical properties of nonstandard arithmetic; filling a gap in the literature; being in line with nonstandard methods to analyse compactness arguments.     

Non-commutative Markov chains and multi-analytic operators

We study a model of repeated interaction between quantum systems which can be thought of as a non-commutative Markov chain. It is shown that there exists an outgoing Cuntz scattering system associated to this model which induces an input-output formalism with a transfer function corresponding to a multi-analytic operator, in the sense of multivariate operator theory. Finally we show that observability for this system is closely related to the scattering theory of non-commutative Markov chains.     

基于迁移学习的GH159螺栓热镦后头部缺陷识别

为准确进行GH159螺栓热镦后头部缺陷识别,提出了基于迁移学习的缺陷识别方法,其中,不同场景亮度下的数据集分别设置为迁移学习的源域,目标域.首先,考虑域条件分布的多簇特点,使用K-means算法对同类缺陷数据进行簇划分,确定簇中心,并基于其构造新的分布差异度量;其次,为有效提升迁移学习计算效率,使用簇中心间距离以及各簇...     

Photo-reversible Valence Tautomerism in a Co Compound

Photo-illumination effects have been measured for the compound [Co III-LS (tmpda)(3,6-DBSQ)(3,6-DBCat)]. When the aforementioned compound was illuminated at 5 K, the magnetization value increased from w eff = 1.87 to 2.03 w B . The absorption spectra after illumination show that the absorption band at around 730 nm, which is characteristic of the [Co II-HS (tmpda)(3,6-DBSQ) 2 ] state, increased in intensity and that the charge transfer band from 3,6-DBCat to 3,6-DBSQ at 2500 nm was reduced in intensity. IR spectra show that the C-O stretching peak at 1279 cm m 1 is decreased in intensity. These results confirm that a photo-induced intra-molecular electron transfer, [Co III-LS (tmpda)(3,6-DBSQ)(3,6-DBCat)] to; [Co II-HS (tmpda)(3,6-DBSQ) 2 ], was induced. The lifetime of the metastable state at 5 K was 15 min. Furthermore, it was found that reverse valence tautomerism can be induced by exciting the Co II-HS to 3,6-DBSQ charge transfer band in metastable [Co II-HS (tmpda)(3,6-DBSQ) 2 ].     

Ultrafast Primary Process of Photo-induced N-I Transition and Macroscopic Oscillation of Domain Boundary in TTF-CA

Initial dynamics of photo-induced ionic (I) to neutral (N) phase transition in tetrathiafulvalene- p -chloranil (TTF-CA) was investigated by femtosecond reflection spectroscopy with various excitation intensities. A charge transfer excitation in the I phase produces N donor (D 0 )-acceptor (A 0 ) strings within 2 ps. For a weak excitation intensity, these initial N states decay with a life time of 300 ps at 4 K, but rather multiply leading to macroscopic I-N conversion within 20 ps at 77 K just below the N-I transition temperature T NI . Near T NI , we also found the coherent motion of the macroscopic N-I domain boundary with a period of 85 ps.     

Effects of compression on the sound absorption of porous materials with an elastic frame

The absorption characteristics of a porous material are well known to vary during compression. The transfer matrix method is applied with an elastic frame to explore the effect of compression on absorption properties. In this work, the materials are treated as elastic rather than being made of rigid models. The absorption coefficients of the uncompressed and compressed porous material are initially calculated and verified from the experimental measurements. Then, numerical predictions of absorption coefficient are made for the compressed porous material.     

多信道接入微谐振环波长选择开关特性

对一种新型结构微谐振环波长选择开关的特性进行了研究.分析了器件的工作状态和相应的开关操作,利用新型光强传递函数公式,对器件不同工作状态的光谱响应和不同开关操作的开关响应进行了数值模拟,讨论了耦合系数和损耗对光谱响应和开关响应的影响.结果表明,该器件可以实现三个信道同时接入、两个信道同时接入、单信道接入以及无信道接入等四种方式的信号波长选择性接入.多信道接入方式的开态串扰性能变差,关态的串扰性能不受影响.实现器件上述接入方式之间转换的开关操作可以分成三类,开关操作达到最佳关态串扰时的小微环折射率变化值都在6.0×10－3左右,而实现完全开关时的小微环折射率变化值小于8.0×10－4,表明易于通过热-光效应实现开关操作,并且温度调制的控制容差较大.损耗对器件开关特性的影响结果表明可根据损耗的实际数值,优化信道关闭时的微环折射率取值.     

Electronic transport on graphene armchair-edge nanoribbons with Fermi velocity and potential barriers

The transport properties of Dirac fermions through armchair-edge graphene nanoribbons (AGNRs) with a single and double rectangular Fermi velocity $v_F$ and electrostatic potential U barriers is investigated. We employ a transfer matrix method (TMM) to compute the transmission coefficient of the full set of propagating mode which is used to obtain the conductance and Fano factor spectra for both metallic and semiconducting nanoribbons. We show that a reduced Fermi velocity within the barrier region can partially suppress the backscattering resulting from the electrostatic potential. In a double barrier structure, the emergence of high-order transmitting modes is shown to substantially reduce the Fano factor in the spectral region around U. These results indicate that the simultaneous tuning of $v_F$ and U in barrier regions can be explored to control the electronic transport in graphene-based nanoelectronics structures.     

High sensitive and large dynamic range quasi-distributed sensing system based on slow-light π-phase-shifted fiber Bragg gratings

In this paper, we theoretically analyze the slow-light π-phase-shifted fiber Bragg grating (π-FBG) and its applications for single and multipoint/quasi-distributed sensing. Coupled-mode theory (CMT) and transfer matrix method (TMM) are used to establish the numerical modeling of slow-light π-FBG. The impact of slow-light FBG parameters, such as grating length (L), index change (Δn), and loss coefficient (α) on the spectral properties of π-FBG along with strain and thermal sensitivities are presented. Simulation results show that for the optimum grating parameters L = 50 mm, Δn = 1.5×10⁻⁴, and α = 0.10 m^-1, the proposed slow-light π-FBG is characterized with a peak transmissivity of 0.424, the maximum delay of 31.95 ns, strain sensitivity of 8.380 με^-1, and temperature sensitivity of 91.064 °C^-1. The strain and temperature sensitivity of proposed slow-light π-FBG is the highest as compared to the slow-light sensitivity of apodized FBGs reported in the literature. The proposed grating have the overall full-width at half maximum (FWHM) of 0.2245 nm, and the FWHM of the Bragg wavelength peak transmissivity is of 0.0798 pm. The optimized slow-light π-FBG is used for quasi-distributed sensing applications. For the five-stage strain quasi-distributed sensing network, a high strain dynamic range of value 1469 με is obtained for sensors wavelength spacing as small as 2 nm. In the case of temperature of quasi-distributed sensing network, the obtained dynamic range is of 133 °C. For measurement system with a sufficiently wide spectral range, the π-FBGs wavelength grid can be broadened which results in substantial increase of dynamic range of the system.     

吡啶基桥联双四唑钌(Ⅱ)配合物催化酮的转移氢化反应（英文）

含氮配体具有稳定性好、易于合成等优点,而且其过渡金属配合物表现出较高的催化活性,因而在配位化学和均相催化等研究领域受到了广泛关注.基于吡啶骨架的三齿NNN配体具有良好的配位能力和丰富的配位模式,如吡啶桥联的对称配体2,2':6',2'-三吡啶、2,6-双噁唑啉基吡啶、2,6-双亚胺基吡啶和2,6-双吡唑基吡啶等在有机合成及配合物催化剂制备等方面得到广泛应用.2,6-双四唑基吡啶也是基于吡啶的多齿配体,已被用于合成发光材料或高效回收次锕系元素等,但是其在催化领域的应用较少.过渡金属催化的不饱和化合物的转移氢化反应具有反应条件温和、不直接使用氢气等优点,因而受到越来越多的关注.一系列优异的配体及配合物在转移氢化反应中脱颖而出,如对甲苯磺酰手性二胺配体、2-甲胺基吡啶钌配合物、配体中含有NH官能团的过渡金属配合物等.我们也报道了几种吡啶基桥联的含氮配体及其钌配合物,并应用于催化酮的转移氢化反应.在此基础上,本文合成了三种连有不同膦配体的2,6-双四唑基吡啶钌配合物,并用于催化酮的转移氢化反应.从N~2,N~6-二对甲苯基-2,6-吡啶二甲酰胺(1)出发,经氯代/环化两步反应合成4-氯吡啶基桥联双四唑化合物(2),配体2与RuCl_2(PPh_3)_3在对应的反应条件下制得三种连有不同膦配体的2,6-双四唑基吡啶钌配合物(3),其分子结构通过核磁共振波谱和X射线单晶晶体结构测定得到确认.将这三种钌配合物应用于催化酮的转移氢化反应,当催化剂用量为0.5 mol%时,在异丙醇回流条件下,比较连有不同膦配体的2,6-双四唑基吡啶钌配合物的催化活性.膦配体为1,4-双(二苯基膦)丁烷的钌配合物3b表现出更高的催化活性,含有双三苯基膦的钌配合物3a则表现出与3b相当或略低的催化活性,含有1,5-双(二苯基膦)戊烷的钌配合物3c活性最差.以3b为催化剂拓展了一系列酮底物,取代的芳香酮、链状和环状的脂肪酮都可以高效地被还原,大部分酮底物以95%的转化率还原成相应的醇.含有氯取代基的苯乙酮对反应有较大的加速作用,反应时间更短,转化率更高.由于羰基环的张力,1-四氢萘酮与9-芴酮转化率略低.结合实验结果与相关文献,提出了一条基于Ru-H活性中间体的内层反应机理:钌配合物在iPrOK作用下生成Ru(Ⅱ)-烷氧基中间体Ⅰ,随后发生β-H消除反应脱去一分子丙酮得到Ru-H配合物,Ru-H配合物与酮底物作用经过渡态Ⅱ生成另一分子Ru(Ⅱ)-烷氧基中间体Ⅲ,随后异丙醇与烷氧基发生交换生成目标产物,同时生成中间体Ⅰ完成催化循环.