论文部分内容阅读
本文针对Java语言中多线程对共享资源访问的同步机制问题,提出了一种基于共享资源状态检测的同步测试系统.通过对共享资源及其状态特性的分析,合理定义出共享资源的不变式,并对其产生的状态进行测试,以此作为多线程之间同步的基础.
Java语言中一种基于共享资源不变式的多线程同步系统
【摘 要】
：
本文针对Java语言中多线程对共享资源访问的同步机制问题,提出了一种基于共享资源状态检测的同步测试系统.通过对共享资源及其状态特性的分析,合理定义出共享资源的不变式,并
【机 构】
：
兰州交通大学
【出 处】
：
中国科技博览
【发表日期】
：
2004年期
其他文献
本文主要针对调料类产品的生产、销售和使用这一整个消费链条做了过程分析，提出了行为量化的概念，并针对具体的使用需求做了设计，通过调料的形状、包装等细节的设计实现了行为上
本文利用虚拟仪器技术设计了一种三相不平衡度的测量分析系统。给出电能质量问题常见指标中的三相不平衡的定义以及三相不平衡度的计算方法。通过软件流程图进行三相不平衡度测量路线的设计。虚拟仪器软件平台Lab VIEW设计开发程序,人机交互界面友好,硬件电路搭建易于实现。最后进行仿真信号实验,结果证明本设计具有一定的可行性。
本文简要介绍了谐波的产生与危害,有源滤波器与无源滤波器的区别,及有源滤波器在改造项目中的应用
This article briefly introduces the generation and harm of harmonics
视觉监控是研究用机器代替人对监控视频进行处理并发现其中存在的异常情况的新兴学科。本文所提出的视觉监控系统采用三帧差分法和边缘检测法相结合来检测移动目标,通过对视频帧进行边缘提取,再用三帧差分法对图像进行处理得到前景目标的连续移动帧;采用基于变换域的跟踪方法对视频中的目标进行跟踪并可定位显示人脸。
发电集团在实现企业战略发展目标同时也遇到资金短缺的困难,如果不能很好地解决这个问题,势必影响发电集团的发展。本文在分析发电集团投融资现状和存在的主要问题基础上,就
曷苏昆山谋克故城遗址旧名南山湾古城遗址,因出土“曷苏昆山谋克之印”铜官印而确定其为曷苏昆山谋克故城遗址。笔者比较倾向于曷苏昆山谋克与曷苏馆路并无太多关联,“曷苏”
大学生科研训练计划是针对在校本科生开展的科学研究训练项目,是在本科教育阶段实施实践教学改革的一项措施。本文从本科生实际情况出发,基于一个具体的智能家用报警器项目,
会计的监督职能始终作用于企业运营活动的全部过程,它可以定义为经授权的会计人员按照本单位的相关规章制度使用特定的程序和方法,对单位内部经济活动的全过程进行综合监督和
质量保证体系是一套行之有效的质量管理手段。年鉴作为一项复杂的社会化工程,运用质量保证体系管理年鉴的编纂工作将会事半功倍。本文从外部和内部两方面浅谈如何建立年鉴质