中国科大在并发程序验证研究中取得进展
1月20日至23日，第43届编程语言原理国际会议（简称POPL）在美国佛罗里达州圣彼德斯堡召开。中国科学技术大学特任副研究员梁红瑾和教授冯新宇在并发程序验证领域取得新进展，首次设计出一种验证并发对象无饥饿性与无死锁性的程序逻辑，该研究成果发表在第43届POPL上。 多处理器系统上的并发程序在执行时，有多个线程同时共享系统资源。当对共享资源的管理和使用不当时，常常会出现饥饿、死锁、活锁等活性问题，造成一个或多个线程无限期等待资源而不再响应。由于并发系统自身的复杂性，程序测试难以找出全部问题。梁红瑾等提出了一个新的程序逻辑，能够严格证明一个并发系统不可能出现饥饿、死锁、活锁等问题。研究人员将并发环境的各种行为分为两类，称为“阻塞”和“延迟”，饥饿、死锁等问题分别对应于这两类并发环境的不同组合。然后，针对阻塞与延迟，分别设计出特定的程序规范和推理规则，保证并发系统最终一定会响应并有所进展。这样得到的程序逻辑具有很好的通用性，可定......阅读全文
中国科大在并发程序验证研究中取得进展
1月20日至23日，第43届编程语言原理国际会议（简称POPL）在美国佛罗里达州圣彼德斯堡召开。中国科学技术大学特任副研究员梁红瑾和教授冯新宇在并发程序验证领域取得新进展，首次设计出一种验证并发对象无饥饿性与无死锁性的程序逻辑，该研究成果发表在第43届POPL上。 多处理器系统上的并发程序在执
水平衡测试的程序
1、准备阶段要搞好“三落实”。一是组织落实：测试单位应成立专门机构，负责测试的组织领导，全面协调，测试实施、督促检查等。为了便于开展工作，该机构由主管领导，节水主管部门负责人、车间（部门）主任组成领导班子和包括管水人员、统计人员、工程技术人员，车间及班级组长和用水，管水人员在内的测试班子。二是技术落
电子元件的振动测试程序
子元件的振动测试程序1、适用范围：本标准规定用以测定电子组件(以下简称组件)于运输或使用中承受振动之耐久性能之试验方法Ⅰ、Ⅱ及Ⅲ。 注：试验方法Ⅰ适用于测定对一般振动之耐久性，试验方法Ⅱ适用于测定共振点及试验方法Ⅰ、Ⅲ前后共振点之偏距，试验方法Ⅲ适用于测定在共振点之耐久性。2、装置：振动装置应能作
仪力信318漆膜划痕测试仪测试程序
测试程序便携式 318 硬度试验棒使用特别简单。通过滑杆可设置估计或已知弹簧压力。将仪器垂直放在测试表面，以 10 mm / sec 的速度划一根 5~10 mm 的直线。测试头会产生一条肉眼仅看得见的划痕。如果弹簧压力太高，划痕会很清晰，如果弹簧压力太低，将没有划痕出现。通过锁定滑杆每次可以控制所
可程序冷热冲击测试机的功能参数
可程序冷热冲击测试机用于电子电器零组件、自动化零部件、通讯组件、汽车配件、金属、塑胶等行业，国防工业、航天、兵工业、电子芯片IC、 半导体陶瓷及高分子材料之物理性变化,测试其材料对高、低温的反复抵拉力及产品于热胀冷缩产出的化学变化或物理伤害。 技术参数： 规格型号
全自动工业分析仪测试程序
全自动工业分析仪测试仪主机原理及各部件功能1）高温炉：采用新型陶瓷纤维材料制成的红外炉，升温速度快，使用温度可达1000℃。2）电子天平：通过延伸到高温炉内的称杆来称量坩埚的质量。3）升降装置：通过步进电机的旋转带动丝杆，使与转盘相连的部件产生垂直方向的往复运动。4）热电偶：用于测量高温炉内的温度。
电子拉力测试机的校正程序及方法
在使用电子拉力测试机过程中，有遇到一些需校正的问题，下面由恒品技术部教您电子拉力测试机的校正程序及方法一﹑电子拉力测试机校正项目：力量值、行程二﹑电子拉力测试机校正器具：标准砝码、电子秒表及标准直钢尺三﹑电子拉力测试机校正周期：一年四﹑电子拉力测试机校正步骤：以下解说为厂内自校方式。 1.电子拉力
变压器绕组变形测试仪试验程序
1.首先检查变压器接地状况是否良好，套管引线应全部解开。 2.详细记录被试品的铭牌数据及原始工况有否异常，以及被试品变压器当前测试状况下的分接开关位置，并仔细输入被试品情况登记窗。 3.根据被试品的情况建立被试品数据文件的子目录；测试完成后应将测量的数据备份至该目录下，并注意进行整
关于可程序冷热冲击测试机的参数介绍
可程序冷热冲击测试机用于电子电器零组件、自动化零部件、通讯组件、汽车配件、金属、塑胶等行业； 国防工业、航天、兵工业、电子芯片IC、 半导体陶瓷及高分子材料之物理性变化； 测试其材料对高、低温的反复抵拉力及产品于热胀冷缩产出的化学变化或物理伤害。 技术参数
碎石冲击试验机测试程序及评定方法
碎石测试程序} 按照标准要求组装设备，接通电源；} 接通气压，调节气压至要求值；} 安装样品（有些需要前处理）并装入碎石（指定量）；} 开动设备，调节震动频率在指定时间内完成测试；} 用指定胶带粘被测样表面，除去受损未脱落的涂层（有些标准不用粘胶带）；} 评价（数点或对照图评价）。 碎石