检索结果-维普期刊中文期刊服务平台

一种多线程软件并发漏洞检测方法被引量：3: 1; 作者朱承丞董利达《西安电子科技大学学报》 EI CAS CSCD 北大核心 2015年第2期167-173,212,共8页; 多线程软件由于进程间共享使用资源而极易发生死锁这一严重的并发漏洞.通过Petri网模型对多线程软件进行建模,并利用混合整数规划技术检测其漏洞.目前,使用互斥锁的多线程软件可通过Gadara网建模和检测.而使用信号量的多线程软件,虽可用... 展开更多; 关键词多线程软件 PETRI网 S＊PR网死锁检测混合整数规划; 在线阅读下载PDF 职称材料

基于锁信息的多线程软件原子性错误检测方法被引量：1: 2; 作者王云飞刘剑马越《计算机应用与软件》 CSCD 北大核心 2014年第6期1-4,94,共5页; 原子性错误是多线程软件开发中常见的并发错误之一。传统的静态分析方法存在误报的可能,动态方法由于利用的信息过少而存在运行效率低下的问题。针对以上问题,设计以动态方法为基础通过计算锁信息,根据锁信息判断是否可能发生原子性错... 展开更多; 关键词多线程软件原子性错误锁信息模型检测动态优化; 在线阅读下载PDF 职称材料

基于LabWindows的实时多任务加载总控台软件设计被引量：3: 3; 作者黄伟杰王新民《科学技术与工程》 2008年第1期283-286,291,共5页; 针对起落架系统电液加载试验中具有参数实时测量和系统实时控制的多任务并行特点,采用多线程技术和LabWindows/CVI平台,开发出了实时多任务总控台软件,结果成功地应用于实际加载试验系统中,实现了系统可靠实时测控的要求。; 关键词起落架系统电液加载试验实时测量与控制多线程软件设计; 在线阅读下载PDF 职称材料

重磁三维自动反演软件系统的分析与设计被引量：3: 4; 作者郑元满姚长利张晨《现代地质》 CAS CSCD 北大核心 2012年第6期1225-1230,共6页; 由于三维反演计算非常耗时,导致目前的重磁三维自动反演系统的工作方式效率低。为了改善工作效率和提高反演结果的质量,提出实时可视化自动反演方式,设计并开发了一个重磁三维实时可视化反演系统。该系统在三维反演计算的过程中,将中间... 展开更多; 关键词重磁三维自动反演实时可视化反演三维可视化软件多线程; 在线阅读下载PDF 职称材料

题名一种多线程软件并发漏洞检测方法被引量：3: 1; 作者朱承丞董利达; 机构浙江大学电子电路与信息系统研究所杭州师范大学国际服务工程学院; 出处《西安电子科技大学学报》 EI CAS CSCD 北大核心 2015年第2期167-173,212,共8页; 基金国家自然科学基金资助项目(61071062) 浙江省自然科学基金资助项目(Y12F02030); 文摘多线程软件由于进程间共享使用资源而极易发生死锁这一严重的并发漏洞.通过Petri网模型对多线程软件进行建模,并利用混合整数规划技术检测其漏洞.目前,使用互斥锁的多线程软件可通过Gadara网建模和检测.而使用信号量的多线程软件,虽可用S*PR网建模,但是尚未有理论支撑混合整数规划用于其漏洞检测.定义了S*PR网的一个子类——SEM-S*PR网,它允许资源库所初始标志大于1且分支可对称地使用资源,进而可建模一类使用信号量的多线程软件.依据结构特点,证明了该网保持活性的充分必要条件是网运行过程中所有信标始终非空.此结论是混合整数规划用于SEM-S*PR网建模的多线程软件的并发漏洞检测的理论基础.; 关键词多线程软件 PETRI网 S＊PR网死锁检测混合整数规划; Keywords multithreaded software petri nets S＊ PR net deadlock test mixed integer programming; 分类号 TP301 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名基于锁信息的多线程软件原子性错误检测方法被引量：1: 2; 作者王云飞刘剑马越; 机构中国科学院软件研究所; 出处《计算机应用与软件》 CSCD 北大核心 2014年第6期1-4,94,共5页; 基金核高基项目(2012ZX01039-004) 中国科学院知识创新工程项目(KGCX2-YW-125); 文摘原子性错误是多线程软件开发中常见的并发错误之一。传统的静态分析方法存在误报的可能,动态方法由于利用的信息过少而存在运行效率低下的问题。针对以上问题,设计以动态方法为基础通过计算锁信息,根据锁信息判断是否可能发生原子性错误的方法,据此减少程序的回溯次数和运行时间。通过对一系列开源程序的测试,实验数据证明此方法可以大大提高原子性错误检测的效率。; 关键词多线程软件原子性错误锁信息模型检测动态优化; Keywords Multi-threaded program Atomicity violation Lock information Model checking Dynamic optimisation; 分类号 TP312 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于LabWindows的实时多任务加载总控台软件设计被引量：3: 3; 作者黄伟杰王新民; 机构西北工业大学自动化学院; 出处《科学技术与工程》 2008年第1期283-286,291,共5页; 文摘针对起落架系统电液加载试验中具有参数实时测量和系统实时控制的多任务并行特点,采用多线程技术和LabWindows/CVI平台,开发出了实时多任务总控台软件,结果成功地应用于实际加载试验系统中,实现了系统可靠实时测控的要求。; 关键词起落架系统电液加载试验实时测量与控制多线程软件设计; Keywords landing-gear electro-hydraulic gramming loading real-time measurement and control multithread pro-gramming; 分类号 V226 [航空宇航科学与技术—飞行器设计]; 在线阅读下载PDF 职称材料

题名重磁三维自动反演软件系统的分析与设计被引量：3: 4; 作者郑元满姚长利张晨; 机构中国地质大学地球物理与信息技术学院; 出处《现代地质》 CAS CSCD 北大核心 2012年第6期1225-1230,共6页; 基金中央高校基本科研业务费专项资金资助项目(2011YYL123) 国土资源部"深部探测技术与实验研究专项"项目(201011039) 国家"863"计划项目(2007AA06Z134); 文摘由于三维反演计算非常耗时,导致目前的重磁三维自动反演系统的工作方式效率低。为了改善工作效率和提高反演结果的质量,提出实时可视化自动反演方式,设计并开发了一个重磁三维实时可视化反演系统。该系统在三维反演计算的过程中,将中间反演结果同时进行成图可视化,使得工作人员能及时分析和评价中间反演结果并能修改参数,以此来介入和引导复杂的反演过程,快速有效地得到比较理想的反演结果。该系统具有实时性、交互性和引导性特点。对该系统进行了分析和设计,并给出了其中的关键技术与设计方案。; 关键词重磁三维自动反演实时可视化反演三维可视化软件多线程; Keywords 3-D automatic gravity and magnetic inversion real-time visual inversion 3-D visualization software multi-threading; 分类号 P631 [天文地球—地质矿产勘探]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	一种多线程软件并发漏洞检测方法	朱承丞董利达	《西安电子科技大学学报》 EI CAS CSCD 北大核心	2015	3	在线阅读下载PDF 职称材料
2	基于锁信息的多线程软件原子性错误检测方法	王云飞刘剑马越	《计算机应用与软件》 CSCD 北大核心	2014	1	在线阅读下载PDF 职称材料
3	基于LabWindows的实时多任务加载总控台软件设计	黄伟杰王新民	《科学技术与工程》	2008	3	在线阅读下载PDF 职称材料
4	重磁三维自动反演软件系统的分析与设计	郑元满姚长利张晨	《现代地质》 CAS CSCD 北大核心	2012	3	在线阅读下载PDF 职称材料