期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到7篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
基于上下文定界的递归队列并发程序可达性分析 被引量：1
1
作者 钱俊彦 贾书贵 +1 位作者 赵岭忠 郭云川 《计算机学报》 EI CSCD 北大核心 2014年第12期2574-2585,共12页
基于无界FIFO消息队列的通信框架作为一种通用的并发系统模型,常用于事件驱动的并发程序或分布式程序建模.然而当模型包含递归过程调用时,即使仅考虑执行有限次上下文切换,其可达性问题仍是不可判定的.假定进程的消息队列约束为良序,即... 基于无界FIFO消息队列的通信框架作为一种通用的并发系统模型,常用于事件驱动的并发程序或分布式程序建模.然而当模型包含递归过程调用时,即使仅考虑执行有限次上下文切换,其可达性问题仍是不可判定的.假定进程的消息队列约束为良序,即仅当进程的局部栈为空时才能从队列中读取消息,则其在上下文切换定界上的可达性为可判定.文中以基于队列通信的递归并发程序为对象,研究其可达性问题.首先构造能模拟递归队列并发程序执行的多栈下推系统,并提出转换方法;然后给出一种基于多栈下推系统的上下文切换定界可达算法,算法使用标准Post*操作描述下推系统的迭代,基于良序排队控制进程对队列的出队操作,穷尽地计算k次上下文切换之内的正向可达格局,并证明了构造多栈下推系统方法和上下文切换定界可达算法的正确性;最后对目标状态集合与可达格局状态集合的交集进行判空,确定目标状态是否可达,从而较好地解决此类并发程序的可达性问题. 展开更多
关键词 上下文定界 良序排队 可达性 递归 并发程序
下载PDF
基于上下文定界的Fork/Join并行性的并发程序可达性分析
2
作者 钱俊彦 贾书贵 +1 位作者 蔡国永 赵岭忠 《计算机工程与科学》 CSCD 北大核心 2013年第2期1-6,共6页
随着多核技术日益发展,并发程序通过引入Fork/Join并行性,将任务分解为更细粒度的子任务并行执行,从而充分利用多核处理器提供的计算性能。并发执行线程之间的交错可能产生隐匿的程序设计错误,因此有必要对此类并发程序的正确性进行分... 随着多核技术日益发展,并发程序通过引入Fork/Join并行性,将任务分解为更细粒度的子任务并行执行,从而充分利用多核处理器提供的计算性能。并发执行线程之间的交错可能产生隐匿的程序设计错误,因此有必要对此类并发程序的正确性进行分析。上下文定界分析方法是一种检测并发程序中隐匿错误的高效方法,计算线程有限次上下文切换内的可达状态,确定错误状态是否可达。针对Fork/Join并行性的并发程序的可达性分析思想如下:首先,动态并发程序被建模为可模拟线程Fork/Join操作的动态并发下推系统P;然后从P中提取模拟其k-定界执行的并发下推系统Pk。现有的上下文定界可达算法可解决提取后的并发下推系统的k-定界可达性问题。 展开更多
关键词 上下文定界 并发 可达性分析 FORK Join并行性 动态线程创建
下载PDF
USB测距系统差超差分析
3
作者 魏永辉 贾书贵 +3 位作者 成票宁 贾晓鹏 白英奇 高燕 《飞行器测控学报》 2006年第4期52-56,共5页
针对测控雷达外测精度评估和任务中测距数据系统差超差的问题，进行多项试验和测试，并从机理上进行分析。找出了问题原因，并提出了有效的解决办法。
关键词 测距 同步 解码秒信号 分频链
下载PDF
水泥中工业废渣掺兑比例的快速计算
4
作者 贾书贵 张彦伟 王久生 《河南建材》 2003年第3期44-44,25,共2页
水泥企业为保护环境、降低生产成本,在工业废渣的综合利用上做了大量工作,取得了显著的经济效益和社会效益.部分企业经过税务部门审查认可,享受了国家的免税政策.
关键词 水泥 工业废渣 掺兑比例 生料 立窑
下载PDF
超细粉磨系统的改造及其应用
5
作者 刘祖衡 贾书贵 张艳红 《水泥技术》 2009年第4期92-93,共2页
机立窑关停后,在原有设施的基础上对磨机工艺参数、分选、收集、存储、计量、输送等设备进行技术改造,生产可同时满足水泥或混凝土的超细矿物掺合料,产品具有优良性能,应用范围广泛。
关键词 超细 微粉 掺合料
下载PDF
四路智力抢答器
6
作者 张艳红 刘祖衡 贾书贵 《中小企业管理与科技》 2009年第25期249-250,共2页
本设计是四路智力抢答器。使用51系列单片机,编写应用程序来实现智力抢答功能。设计思路是先等待主持人按键,当有主持人按键时,开始计时一分钟,并显示时间。有人抢答时,报警电路启动,并显示组号,同时计时显示停止。若在计时时间内无人抢... 本设计是四路智力抢答器。使用51系列单片机,编写应用程序来实现智力抢答功能。设计思路是先等待主持人按键,当有主持人按键时,开始计时一分钟,并显示时间。有人抢答时,报警电路启动,并显示组号,同时计时显示停止。若在计时时间内无人抢答,一分钟到时,无报警,且计时停止,重新开始等待主持人按键,进行下一轮抢答。 展开更多
关键词 四路智力抢答器 单片机
下载PDF
林彪、孔老二鼓吹的“仁者爱人”是一把杀害劳动人民的软刀子
7
作者 贾书贵 《文物》 1974年第5期9-10,共2页
到过曲阜"孔府"的人,都会看到在内宅外边,有一间不到六平方米的又矮又阴暗潮湿的"挑水夫小屋"(图一)。在旧中国,我父亲贾振起是孔府的挑水夫,他拖着全家五口人就住在那间小屋里。这样的小屋,勉强能放开一张破床和... 到过曲阜"孔府"的人,都会看到在内宅外边,有一间不到六平方米的又矮又阴暗潮湿的"挑水夫小屋"(图一)。在旧中国,我父亲贾振起是孔府的挑水夫,他拖着全家五口人就住在那间小屋里。这样的小屋,勉强能放开一张破床和一张小桌,烧水做饭只好在露天。那时候,孔老二的后代自吹"孔府"是:"文章道德圣人家",实际上却是十足的豺狼窝。在这个豺狼窝里,我们受尽了折磨,过的日子好比黄连树上挂猪胆,根苦,梢苦,全是苦。 展开更多
关键词 劳动人民 孔府 旧中国 父亲 林彪 小屋 圣人 道德 仁者爱人 无产阶级专政
原文传递
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部