1)PAR methodPAR方法
1.Research and Application of On-line Network Teaching System Using PAR Method Based on Streaming Media Technology;基于流技术的《PAR方法》在线授课系统的研究与应用
2.PAR method and loop invariants'category theory semanticPAR方法和循环不变式的范畴语义
3.Based on partition and recurrence, rules of quantifier transformation, new strategies for developing loop invariants, and software transforming tools, a unified formal approach called PAR method gives a new way to develop complicated algorithmic programs.PAR方法基于分划与递推、量词变换规则、循环不变式开发新策略和软件转换工具,实现了复杂算法问题的形式化开发。
英文短句/例句
1.The Research of Developing Algorithmic Program Based on PAR Method;基于PAR方法开发算法程序的研究
2.The Analysis of Isabelle Theorem Prover and Its Application in PAR Method/PAR PlatformIsabelle定理证明器的剖析及其在PAR方法/PAR平台中的应用
3.The Applied Research of PAR Method on Combinatorics Problems;PAR方法在组合数学问题中的应用研究
4.The Applied Research of PAR Method in Numerical Methods;PAR方法在数值计算中的应用研究
5.Research on the PAR Method Applying to Single-Source Shortest Paths用PAR方法解单源最短路径问题的研究
6.PAR method and loop invariants'category theory semanticPAR方法和循环不变式的范畴语义
7.The Applied Research of PAR Method on the Problems of the Informatics Olympiad Race;PAR方法在解信息学奥林匹克赛题中的应用研究
8.The Description and Realization of RelatioalDatabase Mechanism in PAR Method;PAR方法中关系数据库机制的描述与实现
9.The Research and Implementation of Component Software Development Based on PAR Method;基于PAR方法的构件化软件开发方法的研究与实现
10.The Primary Research of PAR Applied to MIS Development Method;PAR方法应用于管理信息系统开发方法的初步研究
11.The Research on the Application of PAR Method in Constructing High-Reliability MIS;PAR方法在构建高可靠管理信息系统中的应用研究
12.Research and Application of On-line Network Teaching System Using PAR Method Based on Streaming Media Technology;基于流技术的《PAR方法》在线授课系统的研究与应用
13.The Research and Implementation of Programming ICAI Experimental System Based on PAR Method;基于PAR方法的程序设计ICAI实验系统的研究与实现
14.The Software Testing Based on Par Method and Par Platform;基于Par方法和Par平台的软件测试
15.The Research of the Remote Teleducation Platform for Par Method Based on Web Service;基于Web Service的Par方法远程教学平台研究
16.Project-at-Risk (PaR):A New Risk Management Method for Large-Scale Project;PaR——大型项目风险管理新方法
17.Research on the PAR Reduction of an OFDM Signal Using PTS MethodOFDM信号PAR抑制的PTS方法研究
18.Identification of nonlinear PAR system based on non-Gaussian stable noise稳定分布噪声下非线性PAR系统辨识新方法
相关短句/例句
PAR Method and PlatformPAR方法和PAR平台
3)prostate apoptosis response-4Par-4
1.Methods Based on PC12 cell apoptosis induced by H_2O_2, cell survival rate was determined by MTr colorimetric analysis,prostate apoptosis response-4(Par-4)mRNA ex- pression and nuclear factor-kappa B(NF-κB)mRNA expression determined by reverse transcription-polymerase chain reaction(RT-PCR),Par-4 and NF-κB protein expression determined by Western blot method.方法在H_2O_2诱导PC12细胞凋亡模型的基础上,采用MTT比色分析检测细胞存活率,RT-PCR检测前列腺凋亡响应基因Par-4(prostate apoptosis response-4,Par-4)和核转录因子-κB p65(nuclear factor-kappaB,NF-KB)mRNA表达,Westem blot检测Par-4和NF-κBp65蛋白表达。
4)PAR-ethanolPAR乙醇
1.A double-wavelength spectrophotometry was used to determine the Co~(2+) and Ni~(2+) content in nickel-cobalt alloy electrolyte simultaneously,using PAR-ethanol solution as developer.通过筛选确定PAR乙醇液作为显色剂。
5)polyarylate(PAr)聚芳酯PAr
6)PAR transferPAR传输
延伸阅读
地下采矿方法设计的计算机方法地下采矿方法设计的计算机方法computerized design of under-ground mining method d一x!0 eo一kuong fongfo shejl deJ一suanjl fongfa地下采矿方法设计的计算机方法(c omPuter-ized design of underground mining method)用计算机和优化技术完成地下采矿方法设计的一种手段。由于地下采矿方法设计时，要考虑的因素很多，判断决策时又十分灵活，没有固定的程式和准则，计算机处理时难度较大，因此，世界各国在20世纪80年代才开始将计算机和现代数学方法应用于地下采矿方法的设计。地下采矿法设计的计算机方法包含采矿方法优选和采场结构参数的优化两方面的内容。其目的是达到安全、经济、有效地采出矿石。 采矿方法的优选主要方法有模糊数学法、专家系统法、多目标决策法和价值工程法等。 (l)模糊数学法选择采矿方法的主要依据是众多的地质技术条件。但是，并没有定义明确的选择准则可以遵循，所以，采用模糊数学法处理。首先，初选一些采矿方法作为候选者，已知这些采矿方法所要求的地质技术条件。然后列出拟选择采矿方法的矿山的地质技术条件，计算并确定它们与候选采矿方法所要求的地质技术条件之间的模糊相似程度，选择条件最相近的那个采矿方法。 模糊数学还可用来预测采矿方法将取得的技术经济指标。首先，列出本矿山的地质技术条件，再收集一些采用同样采矿方法的其他矿山的地质技术条件，对它们进行模糊聚类。聚类时，与本矿山近似程度最高的矿山取得高权值，其余矿山按聚类近似程度排序依次取较低的权值;然后将各矿山用这种采矿方法取得的技术经济指标加权平均，得到本矿山采用这种采矿方法可能取得的技术经济指标。 (2)专家系统法采矿专家选择采矿方法时，通常先根据矿岩稳固性选择空场法、崩落法或充填法等采矿方法的大类别;然后根据矿体倾角及其他条件选择运输方式和长壁法、分段崩落法等采矿方法小类别;再根据矿体厚度或分段高度选择浅孔、中深孔或深孔等不同的落矿方式。这个过程是一个明显的逻辑推理过程。把这种逻辑因果关系总结成规则，存放在计算机系统中，就建立了采矿方法选择的专家系统(见采矿专家系统)。使用时，输人所设计的矿山的地质技术条件.系统就会自动推理，选择出适用的采矿方法。 (3)多目标决策法选择采矿方法时，考虑采矿成本、采准切割量、矿石贫化率、矿石损失率、采场生产能力等多个因素。这些因素从不同侧面反映采矿方法的优劣，具有各自的计量单位。采用多目标决策法，将这些因素综合起来，从整体上评价几种采矿方法的可行方案，从中择优。 (4)价值工程法价值工程中，事物的价值用其功能与成本的比值来衡量。
