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