a backtracking search tool for constructing combinatorial test suites

Combinatorial testing is an important testing method. It requires the test cases to cover various combinations of parameters of the system under test. The test generation problem for combinatorial testing can be modeled as constructing a matrix which has certain properties. This paper first discusses two combinatorial testing criteria: covering array and orthogonal array, and then proposes a backtracking search algorithm to construct matrices satisfying them. Several search heuristics and symmetry breaking techniques are used to reduce the search time. This paper also introduces some techniques to generate large covering array instances from smaller ones. All the techniques have been implemented in a tool called EXACT (EXhaustive seArch of Combinatorial Test suites). A new optimal covering array is found by this tool.

Quantified MS analysis applied to combinatorial heterogeneous catalyst libraries

A high-throughput screening system for secondary catalyst libraries has been developed by incorporation of an 80-pass reactor and a quantified multistream mass spectrometer screening (MSMSS) technique. With a low-melting alloy as the heating medium, a uniform reaction temperature could be obtained in the multistream reactor (maximum temperature differences are less than 1 K at 673 K). Quantification of the results was realized by combination of a gas chromatogram with the MSMSS, which could provide the product selectivities of each catalyst in a heterogeneous catalyst library. Because the catalyst loading of each reaction tube is comparable to that of the conventional microreaction system and because the parallel reactions could be operated under identical conditions (homogeneous temperature, same pressure and WHSV), the reaction results of a promising catalyst selected from the library could be reasonably applied to the further scale-up of the system. The aldol condensation of acetone, with obvious differences in the product distribution over different kind of catalysts, was selected as a model reaction to validate the screening system.

Simultaneous chiral separation using a combinatorial molecular imprinting phase

Molecular imprinting chiral stationary phase against Cbz-L-Serine (Cbz-L-Ser) and Cbz-L-Alaine (Cbz-L-Ala) were prepared utilizing acrylamide + 2-vinylpyridine as combined basic functional monomers. Cross-selectivity was used to obtain simultaneous chiral separations of Cbz-DL-Ser and Cbz-DL-Ala by connecting two columns packed with Cbz-L-Ser and Cbz-L-Ala imprinted chiral stationary phase, respectively.

在体大鼠海马Schaffer-CA1条件化双通路与海马组合突触可塑性

在戊巴比妥钠麻醉的Sprague-Dawley大鼠上,运用海马Schaffer-CA1双通路条件化作用(低频配对,600对脉冲,5Hz,配对刺激相应的兴奋性突触后电位峰值时间间隔为10ms)在两条Schaffer-CA1条件化通路上同时诱导出突触可塑性,呈现出海马组合突触可塑性.结果显示:不管海马Schaffer-CA1双通路独立与否,双通路条件化作用均可以同时诱导出长时程增强(long-term potentiation,LTP)和长时程抑制(long-term depression,LTD),呈现出LTP/LTD组合突触可塑性.结果表明:海马Schaffer-CA1双通路技术,可实现海马突触可塑性的双向诱导,可塑性的方向取决于突触的自身状态.由此提示,与传统的高频诱导LTP低频诱导LTD相比,在海马Schaffer-CA1双通路条件化作用诱导出的组合突触可塑性可以吏好地编码海马相关的学习记忆,体现了海马突触可塑性的灵活性与稳定性.

组合测试:原理与方法

组合测试能够在保证错误检出率的前提下采用较少的测试用例测试系统.但是,组合测试用例集的构造问题的复杂度是NP完全的.组合测试方法的有效性和复杂性吸引了组合数学领域和软件工程领域的学者们对其进行深入的研究.总结了近年来在组合测试方面的研究进展,主要内容包括:组合测试准则的研究、组合测试生成问题与其他NP完全问题的联系、组合测试用例的数学构造方法、采用计算机搜索的组合测试生成方法以及基于组合测试的错误定位技术.

海马突触可塑性与异常记忆

5-羟色胺(5-HT)是中枢神经系统内非常重要的神经递质，广泛参与各种行为和生理过程。5-羟色胺功能低下可导致多种精神类疾病尤其是焦虑、抑郁和创伤后应激障碍等，而这些疾病都伴有学习和记忆的障碍；海马是参与学习记忆的重要脑区。海马接受5-HT神经元的直接投射且富含5-HT受体，因而海马也可以通过5-HT系统调控焦虑、抑郁及学习记忆。海马突触可塑性是学习记忆的细胞分子机制，是学习记忆的基础。我们条件性敲除转录因子Lmx1b得到中枢5-HT缺失小鼠，利用该小鼠进行中枢神经系统5-HT功能的研究。我们发现该小鼠的脑结构和运动能力正常；水迷宫空间学习能力正常，但空间记忆受损；焦虑水平降低，但是环境恐惧学习和记忆能力增强，增强的恐惧记忆能被外源给予的5-HT逆转；在中枢5-HT缺失小鼠中，应激对海马可塑性的作用即损伤LTP易化LTD消失，外源给予5-HT可以恢复应激的效果。这些结果提示应激导致海马LTP损伤可能是保护机制，缺乏这种保护机制可能导致恐惧记忆相关的创伤后应激障碍(PTSD)的易感。成瘾的核心特征是对药物的强迫性渴求和复吸。成瘾与学习记忆有很多共同的脑区和分子通路，它可能通过篡夺正常生理神经通路而产生比正常生理反应更强烈的可塑性，形成有害的异常记忆。以前的报道证实海马的兴奋性突触可塑性在成瘾过程中的适应性改变可能是成瘾的机制；但是成瘾涉及复杂的生物机制，因而不可能仅是兴奋性突触可塑性的贡献。我们研究了5-HT系统和抑制性系统（主要是GABA能系统）在成瘾中的贡献。利用中枢5-HT缺失小鼠，我们发现5-HT缺失小鼠的吗啡显著地易化了5-HT CKO的海马LTP，同时也导致成瘾行为持续不消退；5-HT和5-HT1a受体激动剂能逆转此现象。这提示毒品成瘾可能导致中枢5-HT缺失，进而增强海马LTP，使毒品相关记忆牢固不消退。GABA能系统是中枢神经系统最重要的抑制性系统，我们研究发现一次吗啡对内源性大麻受体（CB1R）依赖的抑制性突触的长时程抑制（Inhibitory long-term depression，I-LTD）没有影响，成瘾后I-LTD抑制，而吗啡成瘾后戒断导致了内源性大麻受体(CB1R)和L-型钙通道(LTCC)依赖的GABA能LTD (I-LTD)，使I-LTD增大了一倍，提示在吗啡成瘾阶段过程中，有组合突触可塑性发生，进而增强了突触可塑性的调控范围。 本论文是对中枢5-HT系统对海马兴奋性突触可塑性在焦虑、应激、成瘾等异常记忆中的调节作用以及海马抑制性系统在成瘾和戒断中的贡献进行研究，表明恐惧记忆和毒品成瘾记忆存在许多共同的细胞分子机理，对今后治疗焦虑、创伤后应激障碍和成瘾提供了新的思路。

High-throughput characterization of heterogeneous catalysts by temperature-programmed analysis method

A multistream reactor for high-throughput examining the surface acidity by NH3-TPD method by application of multistream mass spectrometer screening (MSMSS) technique has been developed. This method allows for examining the surface acidity of 10 catalyst samples in about 6 h, which is an improvement over the traditional process. The demonstration of the feasibility of high-throughput TPD can be significant in convincing the hardened traditionalists in the heterogeneous catalysis community that, combinatorial methods indeed should have an important place in scientific catalyst research and development. The developed method could also be used for almost all the temperature-programmed analysis theoretically with careful designed multistream reactors. (C) 2003 Elsevier B.V. All rights reserved.

Ion recognition: application of symmetric and asymmetric schiff bases and their complexes for the fabrication of cationic and anionic membrane sensors to determine ions in real samples

Schiff base compounds refer to the branch of supra-molecules and can be used as sensing material in the construction of potentiometric ion selective electrodes (ISEs). This relatively modern field has been subject to extensive research in the period of 1999-2007 when more than 100 ISEs employing Schiff bases were constructed. The quantitative high-throughput detection of 29 cations and 7 anions has been demonstrated in various scientific branches, such as biomedicine, pharmacy, biochemistry, pharmacology, environmental chemistry, food technology, and agriculture. This review discusses Schiff base compounds and their applications in the design and development of ion selective sensors and microsensors.

Efficient One-Pot Synthesis of Highly Substituted Thiophene Library from 1,3-Dicarbonyl Compounds

A faccile and efficient one-pot synthesis of highly substituted thiophenes has been developed and employed for the preparation of a small focused library. Treatment of 1,3-dicarbonyl compounds 1 with CS2 in the presence of K2CO3 in DMF at room temperature, followed by stepwise addition of alkyl bromides 2 and methylene active bromides 3, provided via intramolecular cyclization 2,3,4,5-tetrasubstituted thiophenes 4 in yields of 77-94%. This protocol, combining construction and modification of the thiophene ring, increases the structural diversity of final products from readily available materials. A mechanism for the one-pot synthesis of thiophenes of type 4 has been proposed. A small focused library of thiophenes is prepared using the sequential addition of reagents to achieve unique substitution in the 2 and 5 position of the thiophene ring

Screening and Structural Characterization of alpha-Glucosidase Inhibitors from Hawthorn Leaf Flavonoids Extract by Ultrafiltration LC-DAD-MSn and SORI-CID FTICR MS

In vitro a-glucosidase inhibition assays and ultrafiltration liquid chromatography with photodiode array detection coupled to electrospray ionization tandem mass spectrometry (ultrafiltration LC-DAD-ESI-MSn) were combined to screen a-glucosidase inhibitors from hawthorn leaf flavonoids extract (HLFE). As a result, four compounds were identified as alpha-glucosidase inhibitors in the HLFE, and their structures were confirmed to be quercetin-3-O-rha-(1-4)-glc-rha and C-glycosylflavones (vitexin-2 ''-O-glucoside, vitexin-2 ''-O-rhamnoside and vitexin) by high-resolution sustained off resonance irradiation collision-induced dissociation (SORI-CID) data obtained by Fourier transform ion cyclotron resonance mass spectrometry (FTICR MS).

Study of morphology and phase diagram of the H-shaped (AC)B(CA) ternary block copolymers using self-consistent field theory

By using a combinatorial screening method based on the self-consistent field theory (SCFT) for polymer systems, the micro-phase morphologies of the H-shaped (AC)B(CA) ternary block copolymer system are studied in three-dimensional (3D) space. By systematically varying the volume fractions of the components A, B, and C, six triangle phase diagrams of this H-shaped (AC)B(CA) ternary block copolymer system with equal interaction energies among the three components are constructed from the weaker segregation regime to the strong segregation regime, In this study, thirteen 3D micro-phase morphologies for this H-shaped ternary block copolymer system are identified to be stable and seven 3D microphase morphologies are found to be metastable.

Downhill kinetics of biomolecular interface binding: Globally connected scenario

We study the kinetics of the biomolecular binding process at the interface using energy landscape theory. The global kinetic connectivity case is considered for a downhill funneled energy landscape. By solving the kinetic master equation, the kinetic time for binding is obtained and shown to have a U-shape curve-dependence on the temperature. The kinetic minimum of the binding time monotonically decreases when the ratio of the underlying energy gap between native state and average non-native states versus the roughness or the fluctuations of the landscape increases. At intermediate temperatures,fluctuations measured by the higher moments of the binding time lead to non-Poissonian, non-exponential kinetics. At both high and very low temperatures, the kinetics is nearly Poissonian and exponential.