差动吸收式SO2光纤传感器的研究

本文基于气体的窄带光吸收特性 ,研究了 SO2 气体浓度与载波光强的关系 ,在此基础上 ,设计了一种检测该气体浓度的差动光纤传感器及其系统 ,对改善仪器精度等特性指标的主要因素进行分析。实验结果表明该仪器具有较高的灵敏度和精度。     

一种时序电路的测试生成算法

本文提出了一种高效的时序电路测试生成算法,该算法是建立在自适应算法的基础上,并使用了十七值逻辑模型。文章详细介绍了该测试算法的内容及其实现过程,并举例说明了该算法的测试效率。     

基于彩色图像的色系坐标变换的面部定位与跟踪法

文中通过对彩色图像的色彩因素的分析,得出了关于色度与彩色坐标系的关系,建立了相应的肤色,唇色色系的坐标变换方法,基于这种坐标系,可以通过简单的阈值 定,得到彩色图像的人睑面部定位与跟踪的方法,此方法能有效、稳健地测得目标的位置,不受对象姿态、背景的影响,通过在线学习还可以支除光照条件变化的影响及摄像设备的影响,它是利用彩色图像中对亮度信息规一化处理后、提取出来的相对稳定的色义来检测和确定目标,进行     

一种公平接入的QoS路由算法

主要讨论了在网络负荷较重情况下带宽需求不同的连接公平接入问题,给出了ＱｏＳ路由的最小代价函数并提出一种公平接入的ＱｏＳ路由算法,同时给出了验证算法效益的网络效益函数,最后是实验仿真结果。     

Point Light Source Estimation from Two Images and Its Limits

In this paper, the performance of parameter estimation of a single static distant point light source from two video images is analyzed in terms of estimation theory. The illumination parameters are the intensity and direction of the light source.In the first part of this paper, estimators from the literature are reviewed. Most recent estimators evaluate as input data two video images as well as the 3D shape and the 3D motion of the visible moving objects.In the second part of the paper, the performance of these recent methods is analyzed. The input data to estimation as well as the inherent input data errors are described by a stochastic observation model. Based on this model, the performance is analyzed regarding the Cramér-Rao theoretical lower bound of estimation error variances. The bound is derived for a variety of cases of scene illumination, object motion and errors in input data. For simplification purpose, the bound is valid only for object motions with the rotation axis lying in the image plane. The analysis shows in which cases which estimation accuracy can be expected with current methods.Finally, a comparison of the bound with one of the recent estimators shows that recent estimators are suboptimal in case of errors in the 3D shape of the objects. In future work, the stochastic observation model presented in this paper can be used to improve illumination estimation.     

增强LSM模块叠加机制效率的研究与实现

为了提高Linux操作系统的安全性一般采用Linux安全模块LSM框架,在此基础上,对一种叫做stacker的模块叠加机制进行了研究,这种机制可以让多个不同安全模块叠加共同使用,另外对于多种不同类型模块的划分和排序,提出了一种提高运行的时间效率的解决方案。     

锅炉生产过程的神经网络建模方法研究

针对锅炉效率计算中正平衡法和反平衡法都不能完全反映真实锅炉燃烧过程的实际情况,该文提出基于神经网络的锅炉生产过程建模方法,该方法不需要太多监测数据并且保证了建模的准确性。     

新闻演播厅灯光系统改造方案

广播电视小型新闻演播厅灯光系统建设是目前广电行业和各高校建设者们关注的话题之一。近年来省内各县市广电行业和各高校已立项的小型新闻演播厅不少,然而灯光系统工程可参考资料不多。该文针对广播电视小型新闻演播厅的特点,结合安徽广播影视职业技术学院小型新闻演播厅的设计和使用情况,阐述了小型高清新闻演播厅灯光系统的设计原则、总体设计要求和具体设计实施等方面的问题。     

Characteristics of ACPDP test panels with aluminum fence electrode formed via anodic bonding with soda‐lime glass

Abstract— In an attempt to reduce materials and processing costs of ACPDPs, aluminum fence electrodes were prepared on soda‐lime glass substrates by chemically etching aluminum foil bonded directly onto the substrate via an anodic‐bonding process. Several different fence‐electrode patterns were designed and coated either with a glass dielectric layer or with an anodic aluminum oxide layer. Firing voltages, operation margin, luminance, and luminous efficiency of such test panels were evaluated. The results indicated that the performance of test panels with aluminum fence electrodes is comparable with conventional test panels with ITO/Ag electrodes, demonstrating the possibility of a dramatic reduction in the costs of ACPDPs.     

Logic-based automated multi-issue bilateral negotiation in peer-to-peer e-marketplaces

We present a novel logic-based framework to automate multi-issue bilateral negotiation in e-commerce settings. The approach exploits logic as communication language among agents, and optimization techniques in order to find Pareto-efficient agreements. We introduce , a propositional logic extended with concrete domains, which allows one to model relations among issues (both numerical and non-numerical ones) via logical entailment, differently from well-known approaches that describe issues as uncorrelated. Through it is possible to represent buyer’s request, seller’s supply and their respective preferences as formulas endowed with a formal semantics, e.g., “if I spend more than 30000 € for a sedan then I want more than a two-years warranty and a GPS system included”. We mix logic and utility theory in order to express preferences in a qualitative and quantitative way. We illustrate the theoretical framework, the logical language, the one-shot negotiation protocol we adopt, and show we are able to compute Pareto-efficient outcomes, using a mediator to solve an optimization problem. We prove the computational adequacy of our method by studying the complexity of the problem of finding Pareto-efficient solutions in our setting.