基于Petri网的Java多线程程序分析

多线程程序可以更好地利用计算机资源,提高程序运行效率.但是由于多线程执行的不确定性,程序设计中的潜在错误不易被发现.作为系统建模和分析的工具,Petri网适合对具有同步、并发、冲突的离散事件系统进行建模和分析.文中探讨利用Petri网对Java多线程程序建模,并通过分析模型的结构性质和动态性质定位程序设计中的错误.通过对一个多线程程序实例的建模以及对模型的分析,定位了引发错误的原因,并给出了解决方案.从而说明Petri网在分析多线程程序和提高程序稳定性方面具有优越性.     

Charting online OMICS resources: A navigational chart for clinical researchers

The life sciences have sprouted several popular and successful OMICS technologies that span all levels of biological information transfer. Ever since the start of the Human Genome Project, the then revolutionary idea to make all resulting data publicly available has been central to all of the efforts across OMICS technologies. As a result, a great variety of publicly available data repositories and resources is currently available to the research community. This widespread availability of data does come at the price of increased confusion on the part of the users, especially for those that see the OMICS technologies as tools to help unravel a larger biological or clinical question. We therefore provide a comprehensive overview of the available resources across OMICS fields, with a special emphasis on those databases that are relevant to the study of proteins. Additionally, we also describe various integrative systems that have been established, and highlight new developments in the field that can revolutionize the way in which live data integration is achieved over the internet.     

Inductively coupled probe for the measurement of partial discharges

Partial discharges are a transient phenomena whose measurement is remarkably important for electrical equipment diagnosis and maintenance. These discharges appear in the measurement circuit as very narrow current pulses of some nanoseconds. Therefore, discharge pulse detection is a particularly difficult problem, especially because they are superposed on the high voltage waveforms that cause them. In this paper, we present an inductively coupled probe able to measure this physical phenomenon by means of a very simple and inexpensive device that can be installed in the equipment under test. After modeling the probe, its response will be compared to that of commercial devices using both calibrated discharges and partial discharges occurring at real power.     

一种改进的卡尔曼滤波语音增强法

提出一种基于谱减法和听觉掩蔽效应的改进的卡尔曼滤波语音增强算法.引入基于谱减法的AR参数估计使卡尔曼算法降低了复杂度和计算量从而易于实现.用卡尔曼滤波滤除噪声的同时结合人耳听觉掩蔽特性设计一个后置感知滤波器,使得从卡尔曼滤波获得的估计误差低于人耳掩蔽阈值,在去噪和语音失真之间取较好的折中.仿真结果表明所提方法优于传统的卡尔曼滤波增强法,能够有效地减少语音失真,并且更符合人耳听觉特性,特别是在低信噪比的情况下,语音具有更好的清晰度和可懂度.     

基于FPGA的I2C控制器设计

阐述了I2C的通信原理,介绍了基于FPGA的I2C的硬件接口实现方法.采用Altera公司生产的EP1C2Q240C8为硬件平台.将以Verilog编写的I2C核心模块嵌入到FPGA内部来实现FPGA与具有I2C接口的EEPROM的通信.所设计的I2C模块通过Modelsim6.0进行软件仿真,所得结果符合I2C通信标准.下栽到FPGA中电路运行稳定.     

PXE启动技术在计算机实验室的应用

介绍了PXE启动技术的工作原理并结合Ghost Cast Server8.3企业版和Tftpd32程序.实现计算机在不使用光驱和软驱的情况下进行网络克隆的功功能.     

基于情景感知的相关推荐信息挖掘研究

通过对移动用户在位置、时间、业务需求即用户所处情景的综合挖掘分析,本文分三个步骤为移动用户提供当前情景下与用户当前业务需求相关性最强的业务信息以及下一情景下与当前情景下业务需求相关性最强的业务信息的主动推荐.     

基于ARM的机场驱鸟车自动控制系统

针对目前机场驱鸟的迫切需要,本文设计了一种新型的驱鸟控制系统,将多种驱鸟方式整合在一起。通过视频监视模块将现场的鸟情实时地反映在监视屏上,工作人员根据不同的鸟情,选择不同的驱鸟方式,也可以多种驱鸟方式一起使用,以达到最好的驱鸟效果。