AUTOMATED REASONING IN DIFFERENTIAL GEOMETRY AND MECHANICS USING THE CHARACTERISTIC METHOD Ⅳ. Bertrand Curves

This paper reports the study of properties of the curve pairs of the Bertrandtypes using our automated reasoning program based on Wu's method of mechanical the-orem proving for differential geometry. A complete list of results about Bertrand curvesin metric and affine spaces is derived mechanically. The list includes most of the knownresults of various Bertrand curves. We also derive some new results about Bertrand curves.     

求解多目标二层规划的多目标进化算法

提出了一个求解多目标二层规划问题的多目标进化算法.用传统优化算法求解下层规划中用权向量线性加权后得到的单目标问题,而对上层的多目标规划问题则采用基于NSGA-II的选择机制的多目标进化算法求解.数值试验表明所提出的算法是有效的.     

求解车辆路径问题的一种遗传算法

车辆路径问题(VRP)是一个典型的NP-hard问题,采用传统方法求解往往找不到满意解。在分析现有求解该问题的遗传算法的基础上,对现有的交叉算子进行了改进,并设计了基于自然数编码的遗传算法,用来求解一般的和有时间窗限制的车辆路径问题。采用文献中的实例进行了数值试验,试验结果表明该算法是有效的。     

不同构的2t+1阶Kirkman三连系

证明了关于2t+1阶S te iner三连系的存在和构造方面的定理,提出了2t+1阶S te iner三连系构造的具体步骤,介绍了105个不同构的15阶K irkm an三连系构造的全过程,分析了2t+1阶S te iner三连系的计数问题.     

循环赛图K2n^（i）与完备匹配的新算法

提出了求K2n的△（G）个完备匹配Mi的一种算法。给出了循环赛图的定义。阐明了循环赛图K2n^（i）的构造的过程。介绍了循环赛图K8^（i），K10^（i），K14^（i），K16^（i）的构造结果。     

Isothermal section of ternary Sn-Zn-Ni phase equilibria at 250℃

Ternary Sn-Zn-Ni alloys were prepared and equilibrated at 250℃for 4-15 weeks.The phases formed in these equilibrated alloys were determined experimentally.The isothermal section of Sn-Zn-Ni system was constructed,based on the phase diagrams of the three constituent binary systems and the ternary phase equilibria data,determined in this study and referenced in literatures.12 single-phase regions were identified in the Sn-Zn-Ni ternary system at 250℃,including the three ternary compounds,δ,τ_1 andτ_2.There...     

澳洲茄胺盐酸盐注射剂对小鼠Lewis肺癌抑瘤作用研究

目的通过3次抑瘤实验观察研究澳洲茄胺盐酸盐注射剂对小鼠Lewis肺癌的抑瘤作用.方法通过肿瘤细胞悬液接种法,制备小鼠Lewis肺癌动物模型,采用腹腔注射给药法,连续7 d,2次/d.给药结束后解剖小鼠,取瘤称重,观察药物作用.结果从给药剂量上来看,与对照组比较,11 mg/kg剂量组开始出现抑瘤作用,抑瘤率为43.82...     

基于SWOT分析的西安旅游地产开发及策略

近年来,随着旅游产业的发展,旅游＋地产模式越来越受到城市发展的青睐,而西安旅游地产的发展势头强劲,潜力巨大。立足西安的特色旅游资源,以SWOT分析为基点,分清优劣形势、抓住机遇、避免威胁,以最大的收益和最小的风险寻求西安旅游地产的开发策略,加快西安国际大都市的建设进程,提升城市经营水平。     

20面体平图的4着色与对偶树的分解

阐明了任意平图的对偶图的4着色的基本思路,提出了借助于对偶图的2棵对偶树T^A和T^B的分解,实现对偶图的4着色方法。介绍了20面体平图的对偶树T^A和T^B的分解及4着色的不同方案。     

20面体的4着色

给出了对偶树的定义.提出了对偶树的算法和利用对偶图G(p,g,f)的2棵对偶树TA及TB的分解实现对偶图G(p,g,f)的4着色方法.阐明了任意对偶图G(p,g,f)的4着色的基本思路.介绍了20面体的4着色的全过程.