可证明的

The method consists of tree steps: enhancement, contour segmentation, and feature selection. In this study, our method is able to enhance the signals from masses and extract the useful contour feature from the segmented regions. The ruler method of fractal dimension computed for each case was used to form a contour feature. These feature measures can be input to a classifier based on sorting. The experimental results show that our scheme can provide useful contour extraction for spiculation structures in mammographic images.

我们的研究目的是在乳房的X光影像中选取肿瘤怀疑的区域，分成三步骤，影像前处理、轮廓分割、特徵选取，找出具有星状物轮廓的肿瘤，我们的方法首先强化肿瘤组织，接著有效分割出肿瘤的轮廓，最后利用规则式的碎形维度计算其轮廓特徵值，接著排序分出肿瘤轮廓类别，实验结果证明我们的方法可有效侦测出星状物肿瘤轮廓及其特徵。

This paper deals with the design and implementation of the SPOOLing system based on MS-DOS including its system structure, user interface, data structure and algorithm of the relevant modules, and discusses a further upgrade o...

本文介绍一个基于 MS-DOS的SPOOLing系统的设计和实现，包括它的总体结构、用户界面、数据结构和有关模块的算法。另外还对该系统的进一步升级作了讨论。事实证明，SPOOLing系统可大大提高整个系统的效率。

There is a new scientific theory of evolution-the theory of cellular automata : A simple procedure could be evolving into complex patterns can be accurately and easily simulate a variety of complex phenomena, from the growth of snowflakes to the universe, such as the evolution of the theory of evolution -- but often overlooked all their background-environment system stability and the supporting role of the smart set!

有一种新科学进化论－元胞自动机理论证明：一种简单但可演变出复杂样式的程序能精确、轻易地模拟出各种复杂现象，诸如从雪花的增长到宇宙的演化－－－然而所有的进化论往往忽略了其背景－环境系统的稳定而智能的支撑作用！

That Lotto, who was one of the most productive painters of his time, could work for thirty years without succumbing to the mighty influence of Titian's sumptuous color, is explained by the fact that during these years he was away from Venice, as is abundantly proved by documents and by the evidence of signed and dated works.

认为乐天，谁是其中一个最有生产力的画家，他的时间，可工作三十年没有屈服于强大的影响，提香的华丽色彩，是解释的事实，在这些年里，他离开威尼斯，作为是非常证明由文件和证据，签名并注明日期的工程。

Experiments show that C-B spline curve, uniform B-spline with shape parameter, hyperbolic polynomial uniform B-spline with shape parameter and trigonometric polynomial uniform B-spline with shape parameter can be used to produce some frequently used free form curves in the industrial field when the shape parameter is assigned with some specific values. This process is simpler than producing these free form curves by using controlling vertex.

实验证明，C-B样条曲线、带形状参数的均匀B样条曲线、带形状参数双曲多项式的均匀B样条曲线、带形状参数三角多项式的均匀B样条曲线都可利用形状参数的特定取值表示一些工业领域常用的自由曲线，这比起用控制顶点表示同样的自由曲线更为简单。

The results prove that T*1 S-closed space and T2 S-closed space are identical and that the regular S-closed space and normal S-closed space are the same. Therefore, to make T*1 space X become the complete conditions of S-closed space is the X extremely unconnected H-closed space, while S-closed space X can be measured as the complete condition X of S-closed T1 normal (A1) space.

首先讨论了S-闭空间的分离性，证明T*1型的S-闭空间与T2型S-闭空间是相同的，正则的S-闭空间与正规的S-闭空间是相同的，从而得到要使T*1型空间X成为S-闭空间的充要条件是X为极不连通的H-闭空间， S-闭空间X可度量化的充要条件是X为S-闭的T1型正则(A1)空间。

For that, either the network link or network nodes can be unreliable; the network can be unrepairable or repairable with either limited or unlimited repair capability; furthermore, life distribution and repair time distribution of the network elements can be either exponential or not.

通过对有向和无向的具有各种维修能力的几种网络实例的仿真分析，表明该模型可灵活有效地用于对各种网络的多种可靠性参数进行模拟和分析；与前人研究结果的比较进一步证明了该模型的正确性和应用的灵活性。

The result indicated: antibacterial concentration of inner thallus increased progressively with time prolongation when added CCCP with antibacteria, proved that multi-resistance of E.coli in livestock and avian is mediated really by active efflux system; The multi-resistant level have positive correlation with AcrAB transcription and expression level; Quantitive RT-PCR,Western-blotting and fluorescence quantitive PCR can use to detect AcrAB.these results provide theory foundation to detect and study multi-resistance of E.coli in veterinary clinic and have a important scientific significance to develop neotype antibacterials.

结果表明，多重耐药株在有CCCP 存在时，菌体内抗菌药物的浓度随时间的延长而递增，证明畜禽大肠杆菌多重耐药性确实由主动外排系统介导；其多重耐药水平与AcrAB的转录、表达水平呈现正相关；定量RT-PCR、Western-blotting、荧光定量PCR可用于AcrAB水平的检测。这些结果对检测临床大肠杆菌的多重耐药水平、对研究兽医临床大肠杆菌多重耐药机制提供理论依据，对开发新型抗菌药物有重要的科学意义。

This paper presents a Tableau decision algorithm for the dynamic description logic D-ALCO.D-ALCO is a combination of the description logic ALCO,the dynamic logic,and an action theory based on the possible models approach.

以D-ALCO的构建过程为基础，将ALCO的Tableau算法、命题动态逻辑的Tableau算法以及对可能模型途径的处理有机地结合起来，给出了D-ALCO的Tableau判定算法，证明了算法的可终止性、可靠性和完备性。

Thunberg Fritillary Bulb is one of the most popular Traditional Chinese herbs. Some trials in vivo and animals indicated that Peimine and Peiminine, extracted from Thunbery Fritillary Bulb, have the function of reversing MDR of two different kinds of mechanisms. They can improve the cytotoxic of ADR to cancer cells by 5～10 folds under concentration of 10% cancer cell growth inhibitory rate. Peimine and Peiminine not only feather typical character of modifier of MDR, but also differ from other moldifiers such as Calcium channel blocker, Cyclosporines in chemical structure, they belong to cevine groups alkaloid, a subgroup of C-Nor-D-homosteroid alkaloid.

浙贝母是临床常用中药，体外及动物试验证明，浙贝母中的有效活性成分贝母甲素和贝母乙素具有逆转肿瘤细胞MDR的作用，而且能逆转两种不同机制的多药耐药肿瘤细胞的耐药性，在无明显细胞毒剂量下，可使阿霉素对耐药肿瘤细胞的杀伤活性提高5-10倍，不但具备明确的多药耐药逆转剂的特征，而且在化学结构上属异甾类生物碱中的瑟文类生物碱，完全不同于钙离子拮抗剂、免疫抑制剂和其它现有的耐药逆转剂，具有作用靶点宽、化学结构独特的特点。

Chrysanthemum of 10 thousand birthday is lax to edaphic requirement, with the arenaceous qualitative loam with fecund, good drainage had better.

万寿菊对土壤要求不严，以肥沃。排水良好的砂质壤土为好。

He unstepped the mast and furled the sail and tied it.

他拔下桅杆，把帆卷起，系住。