QEPAS系统中石英音叉模态仿真计算与研究

对石英音叉增强型光声光谱(QEPAS)系统中常用的石英音叉进行了有限元模态计算，获得石英音叉前6阶振型与模态频率，认知了第4阶对称摆动振型为有效振动，利用单因素法分析了石英音叉的音臂长度l₁、音臂宽度w₁、音臂厚度t、音臂切角θ、音臂圆孔直径d及音臂圆孔高度h对低阶有效共振频率(Fre)的影响，敏感度依次为： l₁> w₁>d>θ>t>h，考虑实际设计情形，筛选出了l₁，w₁，d与h四个石英音叉设计变量，采用Box-Behnken实验设计方案与RSM(response surface methodology)方法，以Fre为函数目标，建立l₁，w₁，d与h的二次回归响应面模型，得到了参数之间的交互作用，利用Design-Expert软件对响应面模型进行设计参数反求，结果表明，在15 000 Hz≤Fre≤25 000 Hz计算区域内误差较小，基本满足QEPAS系统的计算需求，所提出的研究与设计方法具有一定通用性，可为QEPAS系统中石英音叉结构参数设计提供参考。     

Reasoning about proof and knowledge

In previous work [15], we presented a hierarchy of classical modal systems, along with algebraic semantics, for the reasoning about intuitionistic truth, belief and knowledge. Deviating from Gödel's interpretation of IPC in S4, our modal systems contain IPC in the way established in [13]. The modal operator can be viewed as a predicate for intuitionistic truth, i.e. proof. Epistemic principles are partially adopted from Intuitionistic Epistemic Logic IEL [4]. In the present paper, we show that the S5-style systems of our hierarchy correspond to an extended Brouwer–Heyting–Kolmogorov interpretation and are complete w.r.t. a relational semantics based on intuitionistic general frames. In this sense, our S5-style logics are adequate and complete systems for the reasoning about proof combined with belief or knowledge. The proposed relational semantics is a uniform framework in which also IEL can be modeled. Verification-based intuitionistic knowledge formalized in IEL turns out to be a special case of the kind of knowledge described by our S5-style systems.     

Quantifier-free epistemic term-modal logic with assignment operator

In standard epistemic logic, the names and the existence of agents are usually assumed to be common knowledge implicitly. This is unreasonable for various applications in computer science and philosophy. Inspired by term-modal logic and assignment operators in dynamic logic, we introduce a lightweight modal predicate logic where names can be non-rigid, and the existence of agents can be uncertain. The language can handle various de dicto/de re distinctions in a natural way. We characterize the expressive power of our language, obtain complete axiomatisations of the logics over several classes of varying-domain/constant-domain epistemic models, and show their (un)decidability.     

Synthesis,Biochemical Characterization,and Genetic Encoding of a 1,2,4-Triazole Amino Acid as an Acetyllysine Mimic for Bromodomains of the BET Family

Lysine acetylation is a charge-neutralizing post-translational modification of proteins bound by bromodomains (Brds). A 1,2,4-triazole amino acid (ApmTri) was established as acetyllysine (Kac) mimic recruiting Brds of the BET family in contrast to glutamine commonly used for simulating this modification. Optimization of triazole substituents and side chain spacing allowed BET Brd recruitment to ApmTri-containing peptides with affinities similar to native substrates. Crystal structures of ApmTri-containing peptides in complex with two BET Brds revealed the binding mode which mirrored that of Kac ligands. ApmTri was genetically encoded and recombinant ApmTri-containing proteins co-enriched BRD3(2) from cellular lysates. This interaction was blocked by BET inhibitor JQ1. With genetically encoded ApmTri, biochemistry is now provided with a stable Kac mimic reflecting charge neutralization and Brd recruitment, allowing new investigations into BET proteins in vitro and in vivo.     

A Versatile Strategy for Screening Custom-Designed Warhead-Armed Cyclic Peptide Inhibitors

Demand for peptide-based pharmaceuticals has been steadily increasing, but only limited success has been achieved to date. To expedite peptide-based drug discovery, we developed a general scheme for cell-based screening of cyclic peptide inhibitors armed with a user-designed warhead. We combined unnatural amino acid incorporation and split intein-mediated peptide cyclization techniques and integrated a yeast-based colorimetric screening assay to generate a new scheme that we call the custom-designed warhead-armed cyclic peptide screening platform (CWCPS). This strategy successfully discovered a potent inhibitor, CY5-6Q, that targets human histone deacetylase 8 (HDAC8) with a K_D value of 15 nM. This approach can be a versatile and general platform for discovering cyclic peptide inhibitors.     

An analytic method for S‐Expansion involving resonance and reduction

In this paper we describe an analytic method able to give the multiplication table(s) of the set(s) involved in an S‐expansion process (with either resonance or 0_S‐resonant‐reduction) for reaching a target Lie (super)algebra from a starting one, after having properly chosen the partitions over subspaces of the considered (super)algebras. This analytic method gives us a simple set of expressions to find the subset decomposition of the set(s) involved in the process. Then, we use the information coming from both the initial (super)algebra and the target one for reaching the multiplication table(s) of the mentioned set(s). Finally, we check associativity with an auxiliary computational algorithm, in order to understand whether the obtained set(s) can describe semigroup(s) or just abelian set(s) connecting two (super)algebras. We also give some interesting examples of application, which check and corroborate our analytic procedure and also generalize some result already presented in the literature.     

Asymptotic expansions of the moments of extremes from general error distribution

In this paper, we derive the asymptotic expansions of the moments of normalized partial maxima for general error distribution. A byproduct is to deduce the convergence rates of the moments of normalized maxima to the moments of the corresponding extreme value distribution.     

Crack Localization in Stepped Beams

A method for crack localization, based on so-called Local Modal Crack Sensitivity (LMCS), has recently been proposed by one of the Authors. As a major feature, the method only involves measuring eigenfrequencies. The method has already been used for beams of uniform cross section and homogeneous boundary conditions. In this paper, the method is extended to stepped beams, with both homogeneous and non-homogeneous boundary conditions. Experimental results confirm its usefulness for crack localization. Satisfactory localization of a second crack was also possible, so confirming the effectiveness of the method.     

Superorbital expansion tube tests of a caret waverider

A computational and experimental study was conducted to assess the potential of testing waverider configurations in a high-performance, short-duration expansion tube facility. The tests were performed in the newly commissioned X3 superorbital expansion tube and provide the first experimental data of a waverider tested at a stagnation enthalpy and equivalent flight speed exceeding 40 MJ/kg and 9 km/s, respectively. Two simple caret configurations were chosen as benchmark test cases to test the use of the facility, instrumentation and numerical models to investigate these flows. The general performance of the sharp and blunt leading edge waveriders at angles of attack ranging from 0° to 5° were analyzed and compared to CFD and theoretical predictions. For the conditions tested, the presence of a strong viscous interaction caused the shock wave to be detached from the leading edge of the models resulting in a significant loss in performance. An analytical model was developed to account for the strong coupling between the shock wave and boundary layer. Results were shown to be in very good agreement with CFD estimates for both configurations at all angles of attack considered. Finite-rate chemistry CFD simulations indicated that real gas effects other than the residual levels of nonequilibrium freestream dissociation present in the expansion tube flow were negligible for the conditions tested. The study also revealed that a past flow visualization technique gave a false indication of the leading edge shock location. An improved experimental visualization technique was successfully tested with results from these tests correlating well with computational estimates. This study successfully demonstrated the use of the facility to study waverider performance at speeds representative of orbital flight.      

Geometrically non-linear transverse vibrations of C-S-S-S and C-S-C-S rectangular plates

This paper is concerned with a new improved formulation of the theoretical model previously developed by Benamar et al. based on Hamilton's principle and spectral analysis, for the geometrically non-linear vibrations of thin structures. The problem is reduced to a non-linear algebraic system, the solution of which leads to determination of the amplitude-dependent fundamental non-linear mode shapes, the frequency parameters, and the non-linear stress distributions. The cases of C-S-C-S and C-S-S-S rectangular plates are examined, and the results obtained are in a good qualitative and quantitative agreement with the previous available works, based on various methods. In order to obtain explicit analytical solutions for the first non-linear mode shapes of C-S-C-S RP² and C-S-S-S RP, which are expected to be very useful in engineering applications and in further analytical developments, the improved version of the semi-analytical model developed by El Kadiri et al. For beams and fully clamped rectangular plates, has been slightly modified, and adapted to the above cases, leading to explicit expressions for the higher basic function contributions, which are shown to be in a good agreement with the iterative solutions, for maximum non-dimensional vibration amplitude values up to 0.75 and 0.6 for the first non-linear mode shapes of C-S-C-S RP and C-S-S-S RP, respectively.