优化MISTY型结构的伪随机性

该文对4轮MISTY和3轮双重MISTY两种结构进行了优化。在保持其安全性不变的情况下，把4轮MISTY结构中第1轮的伪随机置换，用一个XOR-泛置换代替，第2，第3轮采用相同的伪随机置换，3轮结构中第1轮的伪随机置换用XOR-泛置换代替，其它轮相同。伪随机置换的数量分别由原来的4个变为2个，3个变为1个，从而缩短了运行时间，节省了密钥量，大大降低了结构的实现成本。

一个优化的分组密码的工作模式

作为基本工作模式OFB具有流密码的特点，它允许明文的分组单位长度小于分组密码的长度，从而可适应用户数据格式的需要。但当分组单位长度远远小于分组密码的长度时，此模式使用分组密码的效率不高。因为不管加密多短的明文块，每加密一块都要使用一次分组密码。为了提高其效率，引进了计数嚣和缓冲嚣，使分组密码的输出得到全部使用。同时为了增强安全性，改进了OFB模式的反馈输入方式，使得在P．Rogaway等人给出的强安全性定义（priv）下是可证明安全的，并用M．Bellare和V．Shoup的玩游戏的方法给出了一个自然、通俗易懂的证明。

N-烷基氮杂糖及其衍生物的合成

多羟基哌啶类化合物通常称为氮杂糖，由于与糖结构的相似性，亚胺基环醇表现出强的糖苷酶和糖基转移酶抑制活性，可调控在生物识别及酶结构控制中起到重要作用的糖蛋白的生物合成与水解。因此这类抑制剂有望成为与糖代谢紊乱有关的疾病的治疗药物，如：抗糖尿病、抗肿瘤、抗溶酶体贮积症及抗病毒感染（包括艾滋病）等药物。正是由于氮杂糖的重要生物活性及诱人的药用开发前景，近年来，有关氮杂糖及其衍生物的合成、生物活性及应用研究备受关注。 本论文探索了一系列的作为潜在的迈克加成中间体1-C-乙酰甲基/甲氧羰基甲基-5-N-取代呋喃核糖碳苷衍生物在碱的作用下先发生β-消除反应，接着发生分子内的迈克加成反应生成1-C-乙酰甲基-N-取代氮杂吡喃糖碳苷衍生物及1-C-甲氧羰基甲基-N-取代氮杂吡喃糖碳苷衍生物的方法，该转变过程为先通过β-消除得到非环状的α/β不饱和共轭酮或酯的中间体，接着5-N-取代氨基与分子内的α/β不饱和共轭酮或酯发生分子内的1,4-亲核加成，其中，2'-酯的环加成立体选择性的得到β型1-C-乙酰甲基-N-取代氮杂吡喃糖碳苷衍生物，而2'-酮的环加成得到立体异构体1-C-乙酰甲基-N-取代氮杂吡喃糖碳苷衍生物。此外，该类N-取代氮杂吡喃糖碳苷衍生物进一步脱除保护基，得到了一系列新的N-取代氮杂吡喃糖衍生物，拓展了氮杂吡喃糖碳苷分子库。 中间体1-C-(2'-oxoalkyl)-5-N-alkylated glycoribofuranoside的合成是由核糖为原料，通过对其结构修饰，在C-5氮原子上先引入不同的取代基，在C-1上引入乙酰甲基或甲氧羰基甲基。C-5取代氨基的引入通过两种方法：(a) 5-取代链状脂肪氨基可由链状的伯胺直接与5-甲磺酰基发生SN2亲核取代得到；(b) 5-取代芳香氨基可通过芳香醛与C-5氨基缩合再由硼氢化钠还原得到。2'-酰基的引入通过烯丙基氧化得到：2'-酮羰基由醋酸汞和琼斯试剂氧化得到；2'-酯基由高锰酸钾氧化再碘甲烷的作用下得到。 The polyhydroxylated piperidines, commonly be called azasugars. Iminocyclitols and their derivatives have exhibited remarkable biological activity to inhibit glycosidase-processing enzymes, with resulting potential chemotherapeutic applications against diabetes, cancer, lysosomal storage disorders and viral infections including AIDS. Recently, because of the important biological activity and excellent foreground on pharmaceutical application, great attention has been attracted to the synthesis of the new derivatives and analogues. In this dissertation, 1-C-(2'-oxoalkyl)-5-N-substituted-glycoribofuranosides, which used as latent substrates for intramolecular hetero-Michael addition, were converted to 2-ester and 2-ketone aza-C-glycopyranosides by base treatment. The transformation was achieved through β-elimination to an acyclic α/β-conjugated ketone or ester, followed by an intramolecular hetero-Michael addition by the 5-N-alkylated amino group. The 2-ester cycloaddition was highly stereoselective in favor of an equatorial 1-C-substitution while the 2-ketone cycloaddition was produced a pair of stereoisomers of 2′-ketonyl aza-C-glycoside. Additionally, the resultant different N-alkylated aza-C-glycopyranosides could be further prepared for various azasugar library constructions by removal of protecting groups. Synthesis of the key intermediate 1-C-(2'-oxoalkyl)-5-N-alkylated glycoribo- furanoside involved the introduction of 5-substituted amino and 1-C-2′-oxoalkyl groups from D-ribose. The 5-alkylated amino was introduced through two methods: (a) the 5-aliphatic series amino synthesized by the nucleophilic substitution of 5-mesylate using neat ethylamine, propylamine, butylamine, and hexylamine, (b) the 5-aromatic series amino synthesized by various aromatic aldehydes with C-5 amino under NaBH4 reduction. The 1-C-2′-oxoalkyl groups were introduced through oxidation of the ally group: the 1-C-allyl group was oxidized with Hg(OAc)2 and Jones reagent to the 2-ketonyl C-glycoside; the 1-C-allyl group was oxidized with KMnO4 and CH3I/NaHCO3 to 1-C-methyl acetate glycoside.

粗枝云杉( Picea asperata Mast.)天然群体的遗传变异

西南地区在我国的经济发展和生态环境建设中占重要地位，但也是我国生态环境最脆弱的地区之一，生态系统退化，生态功能减弱，严重制约着西南林业的可持续经营与发展。本项目采用DNA 分子标记SSR 研究不同生境条件下粗枝云杉群体的遗传变异及其时空分布格局，考察遗传变异与复杂的山地生态环境间的潜在联系，系统地揭示粗枝云杉天然群体与环境系统相互作用的生态适应与分子进化机制。粗枝云杉适应性强，生长迅速，在植树造林和工业用材方面占有重要地位，研究成果可为中国西南部亚高山天然林的可持续经营及退化生态系统的恢复与重建提供理论依据和科学指导。主要研究结果如下： 1. SSR 位点变异丰富，等位基因频率的分布格局多样。7 个SSR 标记全是多态位点，每位点的等位基因数变化范围为13~24，平均为19.9 个。SSR 位点的等位基因片段长度范围变化较大。73.1%的等位基因变异遵循逐步突变模型(SSM)而发生1 个重复基元的变化，22.3%和4.6%的变异分别按两阶段突变模型(TMP)发生1 个重复基元以上的变化和在SSR 位点侧翼区发生1 个碱基变化的插入-删除事件。 2. 粗枝云杉拥有中等偏高水平的遗传多样性和相对大的群体间遗传分化。通过分析代表10 个群体的250 个个体在7 个SSR位点的变化，调查了源自中国西南山区的粗枝云杉的微卫星变异。相当高的遗传多样性和强烈的群体分化发生在粗枝云杉中， 其群体平均Nei's 期望杂合度为0.707 ， 群体间遗传距离为0.121~0.224(FST)和0.100~0.537(RST)。然而，群体间遗传距离与地理距离之间无相关性，从而排除了简单的距离分离模式并暗示迁移不是影响粗枝云杉遗传变异格局的主要因素。事实上，使用私有等位基因估算的基因流数量非常低，仅等于0.753。等位基因置换检验(Allele permutation tests)揭示逐步突变及遗传漂变都对群体间分化有贡献。另外，在多数位点检测到显著的群体间遗传差异，这个结果说明自然选择，假设通过环境压力，是引起粗枝云杉微地理分化的主要因素之一。根据SSR基因型，250 个粗枝云杉个体的70%被正确地归类入其各自的来源群体，结果表明微卫星(SSR)对区分来自中国不同生态地理位点的粗枝云杉基因型是有效的。 3. 在SSR、RAPD 和AFLP 位点，显著的群体间遗传结构被发现的，但三种标记间遗传分化程度和群体遗传关系有差异。利用来自10 个群体的247 个个体，我们报告了关于样本粗枝云杉群体间遗传关系的总体看法。根据各自对评价遗传关系的信息能力和适用性，SSR、RAPD 和AFLP 标记被选用，三种技术非常有效地区别这些基因型。使用的SSR、RAPD 和AFLP 标记分别估计平均Dice 相似性系数。Mantel 检验产生显著但相对低的共表型适合度(RAPD = 0.63£AFLP = 0.60和SSR = 0.75)。比较三种标记系统，RAPD 和AFLP 共表型指数相对高地相关(r =0.59)，而RAPD 和SSR 及SSR 和AFLP 之间的相关系数分别是0.53 和0.35。所有系统树，包括不同标记资料结合获得的系统树，反映了多数群体依据它们的地理条件而成某种特定关系。结果暗示单个或结合标记系统能用来深入洞察粗枝云杉遗传研究，并且不同标记系统合并资料能提供更可靠的信息。 Southwestern region plays an important role in economic developmentand ecological construction in China. Yet, it is also one of the weak regionsof ecological environment in China with degraded ecosystem and imperfectfunction, which restricts the sustaining management and development ofsouthwestern forestry. The genetic variation and spatial distribution patternof P. asperata populations originating from different habitats wereinvestigated using SSR molecular markers in this study. The correlationsbetween genetic variation and ecological and environmental conditionswere detected, and the interaction between P. asperata populations andenvironmental system and the mechanism of ecological adaption -molecular evolution were revealed. Given the significant ecological andeconomic roles of the fast-growing and wide-adaptive species in reforestation and production of pulp wood and timber, the study couldprovide a strong theoretical evidence and scientific direction for thesustaining management of subalpine natural forest, and the afforestationand rehabilitation of degraded ecosystem. The results are as follows: 1. The genetic variation at SSR loci was abundant and the distributionof allelic frequencies was uneven. All seven loci were polymorphic, and thenumber of alleles per locus varied from 13 to 24 with a mean valueequaling 19.9. The allele sizes at SSR loci were found to vary widely.73.1% of allelic variation followed stepwise mutation model (SSM) whichresults increase or decrease by one repeat type, and 22.3% and 4.6% wereresulted from two-phase mutation model (TMP) with allele size varying bymore than one repeat type and from insertion-deletion events in theflanking regions at SSR loci with a single basepair changing, respectively. 2. P. asperata possessed a moderate to high level of genetic diversityand considerable genetic differentiation. Microsatellite variation of P.asperata. originating from the mountains of southwestern China wasinvestigated by analyzing variation at seven SSR loci in 250 individualsrepresenting ten populations. A fair degree of genetic diversity and strongpopulation subdivision occurred with the mean gene diversity (H) of 0.707,and genetic distances among populations varying between 0.121 and 0.224(FST) and between 0.100 and 0.537 (RST). However, inter-populationgenetic distances showed no correlation with geographic distances between the population sites. This ruled out a simple isolation by distance modeland suggested that migration does not have a great impact. In fact, theamount of gene flow, detected using private alleles, was very low, equalingonly 0.753. Allele permutation tests revealed that stepwise-like mutations,coupled with genetic drift, could contribute to population differentiation.Moreover, significant genetic differences between populations weredetected at most loci. The results indicate that natural selection, presumablythrough environmental stress, may be one of the main factors causingmicro-geographical differentiation in the genetic structure of P. asperata.Based on SSR genotypes, 70% of the 250 individuals were correctlyclassified into their sites of origin. This suggests that microsatellites (SSRs) are effective in distinguishing genotypes of P. asperata originating fromdiverse eco-geographical sites in China. 3. Using a set of 247 individuals from ten P. asperata populations wereport an overview on the genetic relationship among the sampled P.asperata populations. RAPD, AFLP and SSR were used in terms of theirinformativeness and applicability for evaluate relationship and all threetechniques discriminated the genotypes very effectively. Mean Dicesimilarities coefficient were estimated using RAPD, AFLP and SSR,respectively. The Mantel test resulted in a significant but relatively low fit(RAPD = 0.63, AFLP = 0.60 and SSR = 0.75) of cophenetic values.Comparing the three marker systems to each other, RAPD and AFLP cophenetic indices were highly correlated (r = 0.59), while correlationcoefficient between RAPD and SSR was r = 0.53 and between SSR andAFLP was r = 0.35. For all markers a relatively high similarity indendrogram topologies was obtained although some differences wereobserved. All the dendrograms, including that obtained by the combineduse of all the marker data, reflect some relationships for most of thepopulations according to their geographic conditions. The results indicatethat single or combined marker system could be used to insight into geneticstudy in P. asperata and the combined data of different marker systems canprovide more reliable information.

Surface sediment diatoms from the western Pacific marginal seas and their correlation to environmental variables

Diatom data of 192 surface sediment samples from the marginal seas in the western Pacific together with modern summer and winter sea surface temperature and salinity data were analyzed. The results of canonical correspondence analysis show that summer sea-surface salinity (SSS) is highly positively correlated with winter SSS and so is summer sea-surface temperature (SST) with winter SST. The correlations between SSSs and SSTs are less positively correlated, which may be due to interactions of regional current pattern and monsoon climate. The correlations between diatom species, sample sites and environmental variables concur with known diatom ecology and regional oceanographic characters. The results of forward selection of the environmental variables and associated Monte Carlo permutation tests of the statistical significance of each variable suggest that summer SSS and winter SST are the main environmental factors affecting the diatom distribution in the area and therefore preserved diatom data from down core could be used for reconstructions of summer SSS and winter SST in the region.

Genetic mapping of size-related quantitative trait loci (QTL) in the bay scallop (Argopecten irradians) using AFLP and microsatellite markers

We constructed genetic linkage maps for the bay scallop Argopecten irradians using AFLP and microsatellite markers and conducted composite interval mapping (CIM) of body-size-related traits. Three hundred seventeen AFLP and 10 microsatellite markers were used for map construction. The female parent map contained 120 markers in 15 linkage groups, spanning 479.6 cM with an average interval of 7.0 cM. The male parent map had 190 markers in 17 linkage groups, covering 883.8 cM at 7.2 cM per marker. The observed coverage was 70.4% for the female and 81.1% for the male map. Markers that were distorted toward the same direction were closely linked to each other on the genetic maps, suggesting the presence of genes important for survival. Six size-related traits, shell length, shell height, shell width, total weight, soft tissue weight, and shell weight, were measured for QTL mapping. The size data were significantly correlated with each other. We subjected the data, log transformed firstly, to a principle component analysis and use the first principle component for QTL mapping. CIM analysis revealed one significant QTL (LOD=2.69, 1000 permutation, P<0.05) in linkage group 3 on the female parent map. The mapping of size-related QTL in this study raises the possibility of improving the growth of bay scallops through marker-assisted selection. (c) 2007 Published by Elsevier B.V.

工艺计划选择的图论方法

Kusiak和Finke讨论了工艺计划选择问题,并对此建立了图论和整数规划模型。本文给出一个修改的模型,模型求解归结为求非循环有向图的最短路径,使问题求解大为简化。

资源受限单机动态调度的并行GA算法研究

研究资源受限系统动态调度问题,针对时序约束问题提出一种并行遗传算法(PGA)。给出满足排序优先次序约束的一种基因编码方法;采用不破坏优先级可行性的交叉操作,并予以证明;建立一种并行处理机制,使搜索避免出现局优现象。在技术允许情况下,单机动态调度引入抢占式加工方式,会一定程度上提高系统的性能。通过仿真试验验证,并行GA算法可兼顾优化效果和计算效率,解决单机动态调度问题。

An Algorithm for Parsing Flow Graphs

This report describes research about flow graphs - labeled, directed, acyclic graphs which abstract representations used in a variety of Artificial Intelligence applications. Flow graphs may be derived from flow grammars much as strings may be derived from string grammars; this derivation process forms a useful model for the stepwise refinement processes used in programming and other engineering domains. The central result of this report is a parsing algorithm for flow graphs. Given a flow grammar and a flow graph, the algorithm determines whether the grammar generates the graph and, if so, finds all possible derivations for it. The author has implemented the algorithm in LISP. The intent of this report is to make flow-graph parsing available as an analytic tool for researchers in Artificial Intelligence. The report explores the intuitions behind the parsing algorithm, contains numerous, extensive examples of its behavior, and provides some guidance for those who wish to customize the algorithm to their own uses.

A Direct Algorithm for the Type Interference in the Rank 2 Fragment of the Second--Order λ-Calculus

We study the problem of type inference for a family of polymorphic type disciplines containing the power of Core-ML. This family comprises all levels of the stratification of the second-order lambda-calculus by "rank" of types. We show that typability is an undecidable problem at every rank k ≥ 3 of this stratification. While it was already known that typability is decidable at rank ≤ 2, no direct and easy-to-implement algorithm was available. To design such an algorithm, we develop a new notion of reduction and show how to use it to reduce the problem of typability at rank 2 to the problem of acyclic semi-unification. A by-product of our analysis is the publication of a simple solution procedure for acyclic semi-unification.

Design, synthesis and development of novel indolocarbazole derivatives as potential anti-cancer agents

This thesis describes work carried out on the design of new routes to a range of bisindolylmaleimide and indolo[2,3-a]carbazole analogs, and investigation of their potential as successful anti-cancer agents. Following initial investigation of classical routes to indolo[2,3-a]pyrrolo[3,4-c]carbazole aglycons, a new strategy employing base-mediated condensation of thiourea and guanidine with a bisindolyl β-ketoester intermediate afforded novel 5,6-bisindolylpyrimidin-4(3H)-ones in moderate yields. Chemical diversity within this H-bonding scaffold was then studied by substitution with a panel of biologically relevant electrophiles, and by reductive desulfurisation. Optimisation of difficult heterogeneous literature conditions for oxidative desulfurisation of thiouracils was also accomplished, enabling a mild route to a novel 5,6-bisindolyluracil pharmacophore to be developed within this work. The oxidative cyclisation of selected acyclic bisindolyl systems to form a new planar class of indolo[2,3-a]pyrimido[5,4-c]carbazoles was also investigated. Successful conditions for this transformation, as well as the limitations currently prevailing for this approach are discussed. Synthesis of 3,4-bisindolyl-5-aminopyrazole as a potential isostere of bisindolylmaleimide agents was encountered, along with a comprehensive derivatisation study, in order to probe the chemical space for potential protein backbone H-bonding interactions. Synthesis of a related 3,4-arylindolyl-5-aminopyrazole series was also undertaken, based on identification of potent kinase inhibition within a closely related heterocyclic template. Following synthesis of approximately 50 novel compounds with a diversity of H-bonding enzyme-interacting potential within these classes, biological studies confirmed that significant topo II inhibition was present for 9 lead compounds, in previously unseen pyrazolo[1,5-a]pyrimidine, indolo[2,3-c]carbazole and branched S,N-disubstituted thiouracil derivative series. NCI-60 cancer cell line growth inhibition data for 6 representative compounds also revealed interesting selectivity differences between each compound class, while a new pyrimido[5,4-c]carbazole agent strongly inhibited cancer cell division at 10 µM, with appreciable cytotoxic activity observed across several tumour types.

Towards the enantioselective synthesis of Plakortide P and its application to the development of drugs for the treatment of Chagas disease

The primary focus of this thesis was the asymmetric peroxidation of α,β-unsaturated aldehydes and the development of this methodology to include the synthesis of bioactive chiral 1,2-dioxane and 1,2-dioxalane rings. In Chapter 1 a review detailing the new and improved methods for the acyclic introduction of peroxide functionality to substrates over the last decade was discussed. These include a detailed examination of metal-mediated transformations, chiral peroxidation using organocatalytic means and the improvements in methodology of well-established peroxidation pathways. The second chapter discusses the method by which peroxidation of our various substrates was attempted and the optimisation studies associated with these reactions. The method by which the enantioselectivity of our β-peroxyaldehydes was determined is also reviewed. Chapters 3 and 4 focus on improving the enantioselectivity associated with our asymmetric peroxidation reaction. A comprehensive analysis exploring the effect of solvent, concentration and temperature on enantioselectivity was examined. The effect that different catalytic systems have on enantioselectivity and reactivity was also investigated in depth. Chapter 5 details the various transformations that β-peroxyaldehydes can undergo and the manipulation of these transformations towards the establishment of several routes for the formation of chiral 1,2-dioxane and 1,2-dioxalane rings. Chapter 6 details the full experimental procedures, including spectroscopic and analytical data for the compounds prepared during this research.

Fermion bag approach to lattice field theories

We propose a new approach to the fermion sign problem in systems where there is a coupling U such that when it is infinite the fermions are paired into bosons, and there is no fermion permutation sign to worry about. We argue that as U becomes finite, fermions are liberated but are naturally confined to regions which we refer to as fermion bags. The fermion sign problem is then confined to these bags and may be solved using the determinantal trick. In the parameter regime where the fermion bags are small and their typical size does not grow with the system size, construction of Monte Carlo methods that are far more efficient than conventional algorithms should be possible. In the region where the fermion bags grow with system size, the fermion bag approach continues to provide an alternative approach to the problem but may lose its main advantage in terms of efficiency. The fermion bag approach also provides new insights and solutions to sign problems. A natural solution to the "silver blaze problem" also emerges. Using the three-dimensional massless lattice Thirring model as an example, we introduce the fermion bag approach and demonstrate some of these features. We compute the critical exponents at the quantum phase transition and find ν=0.87(2) and η=0.62(2). © 2010 The American Physical Society.

permGPU: Using graphics processing units in RNA microarray association studies.

BACKGROUND: Many analyses of microarray association studies involve permutation, bootstrap resampling and cross-validation, that are ideally formulated as embarrassingly parallel computing problems. Given that these analyses are computationally intensive, scalable approaches that can take advantage of multi-core processor systems need to be developed. RESULTS: We have developed a CUDA based implementation, permGPU, that employs graphics processing units in microarray association studies. We illustrate the performance and applicability of permGPU within the context of permutation resampling for a number of test statistics. An extensive simulation study demonstrates a dramatic increase in performance when using permGPU on an NVIDIA GTX 280 card compared to an optimized C/C++ solution running on a conventional Linux server. CONCLUSIONS: permGPU is available as an open-source stand-alone application and as an extension package for the R statistical environment. It provides a dramatic increase in performance for permutation resampling analysis in the context of microarray association studies. The current version offers six test statistics for carrying out permutation resampling analyses for binary, quantitative and censored time-to-event traits.

Component-wise gradient boosting and false discovery control in survival analysis with high-dimensional covariates.

MOTIVATION: Technological advances that allow routine identification of high-dimensional risk factors have led to high demand for statistical techniques that enable full utilization of these rich sources of information for genetics studies. Variable selection for censored outcome data as well as control of false discoveries (i.e. inclusion of irrelevant variables) in the presence of high-dimensional predictors present serious challenges. This article develops a computationally feasible method based on boosting and stability selection. Specifically, we modified the component-wise gradient boosting to improve the computational feasibility and introduced random permutation in stability selection for controlling false discoveries. RESULTS: We have proposed a high-dimensional variable selection method by incorporating stability selection to control false discovery. Comparisons between the proposed method and the commonly used univariate and Lasso approaches for variable selection reveal that the proposed method yields fewer false discoveries. The proposed method is applied to study the associations of 2339 common single-nucleotide polymorphisms (SNPs) with overall survival among cutaneous melanoma (CM) patients. The results have confirmed that BRCA2 pathway SNPs are likely to be associated with overall survival, as reported by previous literature. Moreover, we have identified several new Fanconi anemia (FA) pathway SNPs that are likely to modulate survival of CM patients. AVAILABILITY AND IMPLEMENTATION: The related source code and documents are freely available at https://sites.google.com/site/bestumich/issues. CONTACT: yili@umich.edu.