创新的带卷涂层产品

BASFCoatingsAG已经研制出一系列的新产品应用于带卷彩涂。热反射带卷涂层超凉带卷涂层以含氟聚合物树脂系统为基础用于喷涂金属屋顶 ,能够使建筑物在炎热的夏天保持凉爽并节省空调的费用。该涂层的平均热反射大于 3 8% ,相同颜色的传统涂层大约是 2 5 %。每个百分点降低金属温度一摄氏度。产品按顾客的颜色喜好来制造。它的高耐用性 ,颜色和光泽的持久性使得它实际上不需要维护。抗腐蚀性得以改善和更高的耐久性。称作底层的两个品种准备用作金属的预处理。这两种创新产品是无机酸和有机树脂的结合。连同合适的底层涂料和顶层涂料一起 ,…     

正视宗教现象提倡有序信仰

宗教是一种长期的普遍而复杂的社会现象.宗教的社会作用也是多方面的.我们提倡有序信仰,也就是更好地贯彻党中央"讲政策"、"抓管理"、"促适应"的指示.     

钢包遥控喷补炉衬设备

德国Velbert GmbH Velco,已研制成功半自动和全自动喷补炉衬机,用于修补熔炼炉和铁水罐车耐火炉衬。该设备可用来对铁水包和钢水包磨损的衬里进行填衬和修补,这种方法与传统填衬技术相比具有经济性高和操作安全的优点,它省时,仅用一台设备、一个人操作就能完成。在热补时,操作者可借助遥控器远离钢包的热辐射区域。     

基于RBAC的高校办公自动化系统设计

分析了基于角色的访问控制的工作原理,提出了一种基于Web应用的RBAC权限控制有效实现方法,并将其应用于高校办公自动化系统设计.介绍了OA系统的设计与配置方法,重点阐述了基于Web的RBAC控制模型在OA系统中的实现方法.基于该模式开发的系统具有较高的安全性与稳定性,很好地满足了高等学校办公自动化的需求.     

基于算法框架的可重用部件设计与实现

对算法程序的功能规约进行等价变换,可以自然而且方便地得到求解问题设计思想的精确表达,即循环不变式。抽象算法又可以通过循环不变式获得。对算法程序中的算子进行提取、抽象就可以得到算法框架,而算法框架可以设计出可重用部件。文章通过对数组段极值问题的求解,展示了形式化推导不仅可以得到正确、高效的算法程序,而且具有软件重用的功能,并进一步给出了利用可重用部件求解数组段极值问题的C++实现。     

一种基于程序正确性证明理论的程序开发方法

程序的形式推导方法是一种基于程序正确性证明理论的程序开发方法,它使得程序的开发和证明同时进行,程序开发完成的同时其正确性亦得以保 证,以两个问题的程序开发为例说明了程序的形式推导方法的使用。     

太极拳锻炼对大学生心理健康的影响

目的,探讨太极拳锻炼对大学生心理健康的影响。方法,发放问卷调查500份,采用症状自评表SCL-90,由102名非体育专业的大学生组成太极拳组和对照组进行为期四个月的自然实验。结果,问卷调查显示大学生心理异常或心理问题的检出率为12.25%,太极拳组锻炼前后在10个因子、总分、均分上的P值均小于0.05,具有显著差异,其中在总分、均分、强迫、敌意、、妄想症因子上有非常显著性差异。结论:经过四个月的实验,太极拳组的大学生在心理健康状况改善教明显。     

算法形式化推导及其在软件重用中的应用

将形式化技术和软件复用结合是非常有意义的工作。利用规约进行变换，寻找递推关系，可以比较容易得到抽象算法。在变换中，尽可能地特有关操作抽象表示，将操作细节延迟，以适合现代软件工程的软件开发需要，对一个具体问题将得到包含抽象操作的抽象算法。利用面向对象程序设计语言中的多态性等机制，将抽象操作用虚函数表示，如此设计的类可以作为可重用部件使用。     

PAR方法在组合游戏上的应用

简述了薛锦云教授所创的PAR方法和组合游戏(Nim)之后,本文运用PAR方法详细推演出解决组合游戏中的一个典型例子(Nim)的算法的数学模型。在此数学模型的基础之上,再次运用PAR方法推演出解决Nim的简短的核心算法。