搜索筛选:
搜索耗时2.8412秒,为你在为你在102,285,761篇论文里面共找到 6 篇相符的论文内容
发布年度:
[学位论文] 作者：孙仕欣,,
来源：河北科技大学 年份：2019
多核处理器的普及和快速发展使得多线程并发程序近年来变的越来越流行。为使并发程序变得简单和高效,研究人员将软件重构技术应用于并发程序中。并发程序在运行期间其内部具有的不确定性和并发性,使得在对并发程序进行重构后容易引发并发问题,导致重构前后行为......
[学位论文] 作者：孙仕欣,
来源：中国科学技术大学 年份：2021
微泵作为微系统领域的重要组成部分,具有小尺寸和易与其他设备集成在一起使用的特点,因而被广泛的应用于面向微流体的驱动与控制领域。蠕动微泵作为微泵的一个子类,是依靠泵腔的蠕动,将流体挤压到所需方向上的一种泵,可实现管道内液体的定向流动与运输。蠕动微......
[期刊论文] 作者：宗希媛,孙仕欣,王树林,陈培东,,
来源：低温建筑技术 年份：2017
在寒冷地区,自限温电伴热带作为一种加热元件主要应用于建筑工程的管道的防冻保温、地板采暖、屋面融雪等。若自限温电热工程出现故障,起不到预期的加热功能,不仅会发生管道...
[期刊论文] 作者：张杨,梁亚楠,张冬雯,孙仕欣,,
来源：计算机应用 年份：2019
针对数据竞争检测过程中的误报和漏报问题,提出一种静态数据竞争检测方法。首先,使用控制流分析自动构造线程内和线程间函数调用图;然后,收集线程内变量访问事件信息,定义竞争产生条件并分析检测出所有可能的竞争;其次,为了提高检测的准确率,进行别名变量和别名......
[期刊论文] 作者：张杨,孙仕欣,张冬雯,东春浩,乔柳,
来源：河北师范大学学报:自然科学版 年份：2020
针对并发软件重构后可能带来的行为不一致问题,提出了一种重构一致性检测方法,该方法使用控制流分析和数据流分析检测重构前后的变化,使用同步依赖分析检测重构前后同步依赖...
[期刊论文] 作者：孙仕欣,李保庆,马托,王友谡,褚家如,
来源：自动化与仪表 年份：2021
微泵作为微系统领域的重要组成部分,因其具有操纵小体积液体的能力被广泛应用。蠕动微泵作为机械式微泵的一个子类,通常包含3个泵送流体的微腔室。三腔室微泵反向截止压强较小会导致液体回流的问题,这限制了分离式蠕动微泵的广泛应用。该文设计制作了一种由PDMS......
相关搜索：
