摘要：形式化方法是构建可信软件的重要途径.基于对算法问题的分析,针对形式化方法par开发算法的特征,刻划了问题分划、递推关系构造方面的规律.从一类问题的形式化功能规约出发,可机械地完成问题的分划及规约的变换,自然地揭示出求解问题的算法思想,在相关工具的支持下自动生成算法程序.研究结果将算法设计中尽可能多的创造性劳动转化为非创造性劳动,降低了形式化求解算法问题的难度,提高了算法程序的可靠性和形式化开发效率.

摘要：　单有机材料par的薄膜在三明治结构中,在电场作用下有电双稳性质。利用这一性质,在STM针尖强电场作用下,par可形成纳米尺寸的导电的库仑岛,从而通过电流 电压特性的测量,在室温下观察到了库仑阻塞现象。估算了库仑岛的尺寸和所形成的双势垒隧道结构的参数,理论计算与实验结果相一致,本研究结果提供了一种新的室温单电子晶体管的设计思路。

摘要：透光特性是温室透光覆盖材料的一个重要指标,其数值的表达却因测试方法的不同而有所差异。该文介绍了透光覆盖材料太阳辐射透过率的测试及计算方法,选用聚乙烯塑料膜(PE)、浮法玻璃、聚碳酸酯双层中空板(PC)三种典型的覆盖材料进行了测试,计算了国际照明委员会(CIE)规定的标准C、标准A和标准D65三种光源下,在可见光与par波段范围内,基于4种权重系数下的覆盖材料透光率和光合有效辐射(par)透过率。结果表明,PE薄膜几乎不受影响,浮法玻璃相差2%左右,聚碳酸酯双层中空板差异达2%～3.7%。

摘要：本文主要阐述如何运用一种系统的、统一的算法程序设计方法即par方法来开发正确的、高效的算法。该方法将算法设计从程序设计中分离出来 ,因此我们可以集中精力开发出正确的、高效率的算法。使用该方法得到正确的算法后 ,经过自动转换系统直接得到某一可执行语言程序。

摘要：信任为王,声誉攸关＂声誉是一个企业得以正常运营的许可证,它对于企业的成功与否有着决定性的影响,因此也常常被视作是企业最重要的资产之一＂,这是明思力中国所发布的＂影响企业声誉因素＂调查报告的卷首语。随着互联网以及移动互联网的快速发展与普及,每个人都深刻体验到在这个快速变化的背景下．无论是专业还是企业品牌的传播都发生了颠覆式的变化。就像机遇总是与挑战并存，每个行业都面临着巨大的挑战．公关行业也是一样。

摘要：在默剧大师乐寇（Jcques Lecoq，1921－1999）主持的“戏剧表演教育学校”（L’Education par le jeu dramatique）传单上写着这样一句话：“默剧是所有现存剧场的本质……”。

摘要：目的采用par指数研究萌出诱导器对混合牙列中期错畸形患者的矫治疗效。方法采用前瞻性队列研究设计,纳入混合牙列中期牙列轻度拥挤、安氏I类或II类患儿56例。试验组(29例)采用萌出诱导器进行矫治,直至上前牙排齐;对照组(27例)不作处理,仅随访观察。采用par指数评价试验组治疗前后、对照组随访前后模型数据。结果试验组患者矫治后par加权后总分减少率为67.49%±13.47%,对照组随访前后par加权后总分减少率为18.69%±12.99%。两组患者在前牙排列、磨牙关系、覆覆盖关系改善上的差异均存在明显统计学意义(P<0.05)。结论萌出诱导器可以改善混合牙列中期患者上下前牙排列,纠正磨牙关系,明显减少患儿覆盖。

摘要：par即信号峰值与平均值的比率 ,在 ADSL 系统中 ,由于采用 DMT调制 ,随机相位的正弦信号累加可能在某一位置使这些信号同相相加 ,产生幅度非常大的尖峰信号 ,因此 ADSL 系统 par值很高 ,par值高将给系统性能带来损害 ,本文研究 par消减问题 ,通过仿真得到有益的参数 ,为实际设计实现提供了参考。

摘要：目前多核软件的发展远滞后于多核硬件的发展,多核程序开发的瓶颈集中在软件上.文中介绍了Apla-Java可重用部件库的设计方法,提出了一种基于该部件库的多核程序开发方法,通过实例说明了该部件能够正确应用于多核程序设计.该方法对提高多核程序开发效率具有积极意义.

摘要：【目的】总结分析支抗丧失的原因,探讨支抗丧失的有效补救措施。【方法】对使用.022槽沟系统方丝弓、直丝弓矫治器治疗中支抗丧失的20例患者,根据引起支抗丧失的原因,相应地采用磨牙的直立、减少牵引力量或停止牵引、更换弓丝、增加转矩、增加支抗牙、推磨牙向后和J钩口外牵引等进行治疗。并采用par(peerassessmentrating)指数对患者模型进行测量评估。【结果】支抗丧失的原因依次为牵引力过大65％,弓丝过小、过软60％,支抗不足55％,其它因素15％;单因素占20％,双因素以上占80％;支抗丧失80％表现为合并有水平、垂直和转矩三维方向的丧失。病例完成平均为25.86月。所有的病例侧貌改善,达到了Ⅰ类磨牙关系和Ⅰ类尖牙关系,牙列排齐,前牙覆(牙合)、覆盖正常。par指数结果显示,矫治前后par总分差值19.71,减少百分率为84.64％。【结论】支抗丧失多表现为三维方向的,引起的因素也可是多种的,其中牵引力过大,弓丝过小、过软和支抗设计不足是主要因素。处理应是多种方法的综合应用,才能最大限度减少支抗丧失,达到较理想的效果。