PVM并行程序验证系统的原理与实现

本文主要介绍PVM并行程序验证系统的基本原理和实现技术．首先，我们扼要分析PVM程序的构成与特点；然后阐述验证系统的理论模型和验证算法；最后，讨论开发过程中的若干关键技术．本系统的研制可为并行程序的自动转换和分析验证提供一个可视化的运行环境．

用高梯度磁场分离磁性固定化酶技术研究

细胞和微球体的磁标记技术的新发展^([1]) 使得高梯度磁分离(HGMS)的应用范围扩展到生物工程中的许多重要领域。我们用自己设计,制造的HGMS和超顺磁性磁粉,对α-淀粉酶,糖化酶,葡萄糖异构酶和蛋白酶进厅了磁性固定化和分离,分离率至少在95%以上。磁性固定化酶活性好,可反复使用多次,对今后的工业应用提出了初步设想。材料与方法 (一)高梯度磁分离的原理世界上的物质按磁性来分可归于铁磁性、顺磁性和抗磁性三种。前两种可被高梯度磁场所吸引,后一种不能被吸引,但通过加磁种使之和磁种结合在一起,便能和磁种一起被分离出来。对生物上绝大多数物质来说都属于第三种。

微波电磁场生物效应机理研究进展

讨论了微波电磁场生物效应和它的机理。到目前为止，虽然我们已了解许 多这些生物效应的例子；但我们仍不能给出一个对健康危害的确切结论。

国内外生物磁学现状与发展

国内外生物磁学现状与发展张兆庆，张驰（河南省科学院应用物理所郑州）生物磁学是一门非常诱人的学科。它虽然不象磁性材料那样可形成大规模的工业生产，但它所涉及的面很广，包括的学科很多，有些还具有重要的意义，有广阔的应用前景，因此一些国家很重视。美国着重于基...

PORT：并行优化重构工具集

ＰＯＲＴ是以ＦＯＲＴＲＡＮ７７源程序为对象的并行优化重构工具集．它以自动并行重构程序为主体，辅以一组优化、静态分析、动态分析和程序执行过程可视化工具．通过良好的用户界面和统一的内部数据结构将它们集成为一个整体．本文介绍ＰＯＲＴ系统的特点、结构和若干关键技术．

静磁场生物效应机理研究进展

综述了静磁场生物效应机理研究进展。从这些考虑。

用高梯度磁分离技术分离细菌和酵母

以Fe_3O_4微粉和超顺磁性微粉为载体(磁种),用高梯度磁分离(HGMS)技术从污水或发酵废液中分离细菌和酵母,通过磁分离器一次的分离率多数可以达到99％以上。本文报导了分离原理和方法,以及我们得到的试验结果。

极低频电磁场生物效应机理研究进展

在大量调查研究基础上 。

室温磁致冷原理及磁冰箱探讨

本文从磁学角度阐明磁致冷原理,从理论和实践上指出了实现室温磁致冷所需解决的关键技术问题。对近期实现家用磁冰箱的可能性提出了个人看法。

并行程序行为及性能的可视化工具——Fara Vision

近年来,随着并行计算机及并行计算日益走向成熟,对并行程序的调试、行为及性能的研究成为国际上并行计算领域的一个异常活跃的课题。在国家智能中心开发曙光—1000大规模并行计算机过程中,笔者为曙光—1000设计实现了一个并行程序行为及性能的可视化工具——ParaVision。ParaVision对用户了解并行计算机的行为及性能提供了有效的手段, 与传统串行程序比,并行程序因其独有的特点对程序的调试及性能分析增加了难度,提出了新的要求。

气相色谱法分析苯乙烯化酚中有效组分及杂质含量

采用气相色谱技术 ,使用OV - 10 1毛细管色谱柱 ,利用程序升温及分流进样法 ,通过实验选择最佳分析操作条件 ,较成功地分析出苯乙烯化酚中组分及含量。

低功耗多线程编译优化技术

提出了在多线程体系结构中通过降低执行频率有效减小功耗的理论模型和方法.首先研究识别可降频运行的线程的计算模型和降频因子的计算,然后给出在编译过程中基于对应用程序行为的分析,结合线程划分的低功耗编译优化算法和实现策略.该模型和方法可用于具有执行频率可动态调整的多处理器类多线程体系结构,既可开发TLP(thread level parallelism),又可有效减小功率消耗.

静态检测中断驱动程序的数据竞争

直接运行于微控制器上的中断驱动程序中可能存在一种重要的程序错误:数据竞争.然而当前主流的数据竞争静态检测技术因其服务于多线程模型程序而不适用.设计简明、易用的中断特征描述语言可以使得竞争检测具有平台无关性;同时,提出了一个流敏感的、上下文敏感的、考虑中断驱动程序原子性、易变性和部分随机性的数据竞争检测算法.该算法具有高效、精确的特点.实验表明,其检测时间与代码规模基本呈线性关系,分析17850行代码仅用时3.6s;同时,相比于基于锁集技术的典型数据竞争检测方法,其准确率平均是后者的2.13倍.

二进制翻译中的标志位优化技术

在二进制翻译技术中 ,如何有效降低对源指令集体系结构标志位的模拟开销是一个值得研究的课题 分别针对二进制翻译中的解释执行和动态翻译 ,提出了相应的标志位模拟优化算法 ,能够有效地减少翻译生成的目标代码数量 ,提高目标代码性能 经过大量测试验证 ,在应用该标志位模拟优化算法后 ,DigitalBridge系统翻译生成的目标代码量是源体系结构目标代码量的 12 0 % ,而没有应用该优化算法时该比例是 2 5 0 % ,作为对比系统UQDBT系统的比例是 15 0 %

动态硫化聚氯乙烯/再生胶/硫化胶粉共混型热塑性弹性体的研制

对聚氯乙烯（ＰＶＣ）／再生胶（ＲＲ）／硫化胶粉（ＶＲＰ）共混型热塑性弹性体的配方和加工工艺进行了研究。结果表明，在１６０～１７０℃条件下，采用二阶一段动态硫化法制成的热塑性弹性体，其拉伸强度为８．２ＭＰａ，扯断伸长率为２９０％，邵尔Ａ型硬度为７０±５，撕裂强度为４３ｋＮ／ｍ。流变试验和ＢｒａｂｅｎｄｅｒＧａｒｖｅｙ口型挤出均得到了外观较好的挤出物，共混物的热塑性级别为４级。

二进制翻译中解析多目标分支语句的图匹配方法

二进制翻译技术现已成为实现软件移植的重要手段．在二进制翻译系统中，如何有效地挖掘程序的代码并对其进行高效翻译是影响系统性能的关键，而二进制代码中间接跳转语句的存在，使得静态时难以得到它的跳转目标，影响了代码的发掘率和最终的翻译效果．在通常的应用程序中，间接跳转指令经常用来实现多目标分支语义，分支目标存放在跳转表中．提出了一种解析多目标分支语句及其跳转表的方法，能够挖掘出间接跳转的目标，进而对其进行有效翻译并提高二进制翻译系统的性能．该方法提出使用语义图来对预期语义进行刻画和表达．语义图能够对考察的指令序列进行语义提取，识别出与预期语义相匹配的指令流，还可以应对编译器在不同优化选项下生成的指令，并能有效滤除不相关指令带来的干扰．实验结果表明，对于SPEC CINT2000中的部分测试用例，代码翻译的覆盖率可以提高9．85％～22．13％，相应带来的性能提升可达到8．30％～17．71％，而使用的算法时间复杂度仅为O（1）．

二进制翻译中的过程恢复技术

目前对处理器速度的追求促使体系结构不断发展,但是软件的支持却不能与其匹配,造成新体系结构推广的困难,研究、解决代码迁移问题的二进制翻译方法应运而生。文中介绍了在开发一个静态二进制翻译系统(XM翻译器)中的过程恢复技术,包括参数恢复和返回值恢复,并提出了解决返回值恢复问题的一个新的实现方法。它回避了一般方法中必须要进行数据流、控制流分析的复杂性,基于x86机器本身的调用特点以及实例的分析,是一种简单实用的实现返回值恢复的方法,经XM系统验证是行之有效的。

基于传播引擎的指针引用错误检测

指针在C程序中应用广泛,指针引用错误多发且危害严重.目前代表性的检测工具由于使用方便性和检测精度不足以及难以处理大规模程序等原因,并不能满足实用需求.文中提出一种新型的错误检测方法,该方法基于域敏感、流敏感和上下文敏感的传播引擎,通过定义错误属性格、在源程序中对错误属性格值进行计算和传播来完成错误检测.在开放源码编译器Open64中实现了其原型系统Propagator.以空指针引用错误检测为实例研究内容,使用Apache、OpenSSH、gzip等应用领域广泛的典型应用为实验用例.与Saturn、Splint和Clang-SA进行对比,Propagator的平均检测时间仅为12s,误报率平均仅为13%,远低于对比工具,且没有发现漏报已知错误.上述结果表明,Propagator既提高了检测精度又保证了可扩展性,具有很好的实用前景.

代码翻译中PERFORM和GOTO语句复合结构的变换

传统语言COBOL从诞生至今已有近50年历史,现存约有1 000亿行代码是用COBOL编写的.维护这些遗产代码的一个有效方法是将其翻译成现代语言,例如Java.其中将COBOL语言中GOTO和PERFORM语句及其复合控制结构消除是翻译过程中的一个关键步骤.提出一种利用switch,while语句来消除GOTO和PERFORM复合控制结构的方法,实现了程序的等价变换.该方法不改变程序的控制结构,保持其可读性,并将代码膨胀率控制到2倍左右.该方法已在所开发的C2J翻译系统中进行应用,通过了400万行实际商用程序的测试,结果证明,该方法是正确、有效的.

编译指导的多线程低功耗技术研究

多线程和低功耗将是研究下一代微处理器结构所要解决和实现的重点目标之一 .提出了一个在 SMT体系结构中通过动态调整 CPU执行频率降低功耗的计算模型 ,进一步分析和讨论了如何在编译时识别具有可使处理部件降低频率执行的期望区间 ,并给出了调整频率和能量分析的计算模型以及编译实现策略 ,目的是在不降低或不明显降低程序执行性能的情况下 ,显著降低处理器的功率 /能量消耗 .理论上该模型也可以用于