完美假日——三款300万像素数码相机

300万像素对于专业摄影来说可能不值得一提，但是对于家庭用户而言却已经十分完美了，下面三款数码相机是300万家族中令人兴奋的新品，它们的价格都在3000元到4000元人民币之间，想想一年前300万像素的相机要花多少钱？而在测试中它们的表现也的确让人觉得物有所值。     

最便宜的300万像素DC:爱国者A340使用手记

近日华旗资讯推出了一款300万像素的产品,其型号为爱国者DCA340,抛开外观和性能先不说,华旗资讯为其定价仅为1999元,300万像素的DC产品定价低于2000元可真够便宜的了。显然华旗资讯把这款A340定在了300万像素的入门级用户上,就让我们一起来看看这款数码相机的性能和使用方便与否吧。     

暗夜精灵 BenQ DC-C60

现在，高像素对于相机来讲已经是必不可少的配置了。根据CIPA的统计。2004年在数码相机领域，300万、400万像素的数码相机已经在很大程度上萎缩，500万像素的机型成了消费者的首选。当然有了500万像素来入门，600万～800万像素就成了一些对数字敏感用户的追求对象。在2004年末．BenQ也推出了一款600万像素的数码相机，这就是今天我们要介绍的DC-C60。     

联想1＋1 SOSHOW530

当前家用数码相机市场,多数用户能承受并认为合理的价位在2000元到3000元,而这一档次相机的像素值多在200万到300万像素之间。新近登场的联想1 1 SOSHOW530基于这样一个市场需求,以较合理的性价比切入,赢得了消费者广泛瞩目。     

岁月就此定格,瞬间变为永恒联想1+1 SOSHOW530

当前家用数码相机市场,多数用户能承受并认为合理的价位在2000元到3000元,而这一档次相机的像素值多在200万到300万像素之间.新近登场的联想1+1 SOSHOW530基于这样一个市场需求,以较合理的性价比切入,赢得了消费者广泛瞩目.     

数码相机跨入"理性消费"时代

日前,借着国内首款拥有自主知识产权的数码相机———联想V20的“东风”,联想集团同时推出3款性价比极高的数码相机产品,除210万像素的V20之外,还有330万像素的V30和价格999元的210万像素的V20C。稍加注意便可发现,联想此次新品的3款相机像素均在200万～300万之间,价格也在1000元至2500元之间。“无论从数码相机的应用、性能来看,还是从产品本身的价格发展趋势来看,联想认为,目前像素在200万～400万,价格在1000元～3000元之间的产品,才是真正最适合普通消费者应用的,联想反对盲目引导消费者一味追求高像素、高变焦等的‘追高’现象,我们倡…     

传感器

S5K2E1FX：CMOS传感器,OV9655：130万像素图像传感器,CYIWOSC3000A：300万像素CMOS图像传感器。     

"爱普泰克网e拍"DV3000

DV3000集成了数码摄像,数码照相,数码录音,电脑摄像头,电视放映(TVout)以及移动硬盘等出色功能,而且在外形上采用钢化外延,使得DV3000更加充满时尚感。不同的是DV3000的感光器提高到了300万像素,在配合适当的软件情况下可将像素提高为400万像素;在没有外力帮助的情况下,DV3000的10秒定时自拍功能可以完成自动拍摄。“爱普泰克网e拍”DV3000     

DC／DV

300D降价的消息无疑是这个秋天刚开始时最大的一个新闻，一直在800万像素阵营徘徊的消费者也不得不把目光转向了这款目前已经低过7000元的数码单反相机。     

夏日争宠——Canon MVX25i vs. SONY DCR-HC85E

2004年的DV市场主要是80万像素级和100万像素级DV的战场。但是在高端市场，竞争也没有中断。佳能、松下和索尼都先后推出了200万像素级的高端产品来征战这一市场。他们主要针对既需要优秀的动态视频拍摄质量，又需要不错的静态照片拍摄质量的中高端用户。我们在第一时间拿到了佳能和索尼推出的200万像素级的数码摄像机样机，对它们进行了全面的评测。     

基于全局背景模型和辅助模型的说话人确认系统的研究

大多数说话人确认系统都设置一个背景模型用于描述假冒者的特性。文中提出一种新的说话人确认背景模型,对所有说话人采用同一全局背景模型（UBM）,并为每个说话人建立一个竞争者模型（cohort model）和一个疏远者模型（c-cohort model）。在全局背景模型不能做出准确判断的情况下,启用竞争者模型或疏远者模型再次进行判决。该模型充分利用了相近者模型和疏远者模型的特性。实验表明新的背景模型使系统性能有明显的提高。     

Maneuvering target tracking by adaptive statistics model

A good model can extract useful information about the target’s state from observations effectively. There are many models used to tracking a, maneuvering target such as constant-velocity (CV) model, Singer acceleration model (zero-mean first-order Markov model) and current model (mean-adaptive acceleration model), etc. While due to the complexity of maneuvering target, to seek the target model which can get better performance is still a subject worthy of study. Based on statistics relation between the autocorrelation function and the covariance of Markov random processing, this paper develops a model which can adaptively adjust system parameters on line. Simulations show the good estimation performance get by the model developed here, and comparing CV, Singer and current models, the model can adaptively get the model parameter while tracking the trajectory and needn’t doing several tests to obtain a priori parameter.     

基于几何和纹理混合的工业产品三维建模

基于风格化的特征形状或外观样式的三维建模是产品设计客观需求,为此本研究提出了一种基于程序化建模方法的工业产品三维建模软件设计。所述建模方法首先将产品三维模型分割为基础功能模型和样式特征模型,其次搜索基础模型和样式模型的所有可能组合,最后通过采用变形技术将模型在纹理和几何水平上组合。评估结果表明,该建模软件能够输出满足用户感官需求的风格化设计产品,且具有良好的系统性能。     

计算机支持多用户协同编著系统模型

文中提出了协同编著系统的基本要求,描述了时间、空间上分散而在任务上又相互依赖的多个作者的交互方式、协作机制,分析了协同编著要素,提出了协同编著系统的逻辑模型,研究了协同编著系统中多用户文档的、操作和并发控制模型,分析了同步会议的管理模型、会议的同步模型和消息的管理策略;最生设计了相应的系统结构模型。     

基于空变多项式的高精度重构模型

针对由于合成孔径雷达(SAR)图像几何失真的空变性,传统的多项式模型与距离多普勒模型精度不高的问题,文中提出了结合距离多普勒模型和空变的多项式模型的少量控制点精确重构模型。该模型从距离多普勒方程出发,通过优化地面控制点的方位向分布建立空变的多项式模型,实现SAR图像的高精度重构。实验数据表明:在少量控制点情况下,文中的重构模型精度高于传统的距离多普勒模型和多项式模型。     

基于PMC模型的条件故障诊断

系统级故障诊断是保证复杂多处理器系统可靠性的一种重要的手段,PMC模型是一种重要的系统级故障诊断模型.本文通过对PMC模型的t条件可诊断性进行分析和论证,首次给出了互测PMC模型的t条件可诊断的充要条件.并通过构建条件故障模式方程组,然后利用自然连接和笛卡尔积等关系代数对条件故障模式方程组进行求解,进而首创了一种便捷的条件故障模式算法.本文最后根据互测PMC模型的t条件可诊断的充要条件进一步给出了一种新型的t条件可诊断判定算法,该算法简单有效.     

基于信源、信宿的通信网模型

传统的通信网模型被称为信道和设备的模型,主要体现设备和信道间的关系.其缺点是,在描述一次具体的通信过程时,往往对发送端和接收端没有明确指示.文中在考察了传统通信网模型后,考虑发送端和接收端之间的关系,在原有通信网模型的基础上,引入信源点、信宿点和带方向箭头的边的新通信网模型.在新通信网模型中,明确指出发送端与接收端的关系,建立起"从信源到信宿的通信网模型".     

一种多尺度前向注意力模型的语音识别方法

注意力模型是当前语音识别中的主流模型，然而其存在一个缺点，即当前时刻的注意力模型可能产生异常得分.为此，本文首先提出前向注意力模型，其采用上一时刻正常注意力得分平滑当前时刻异常得分.接着通过对上一时刻的注意力得分添加约束因子来对前向注意力模型进行优化，达到自适应平滑的目的.最后，在优化模型基础上提出多尺度前向注意力模型，其通过引入多尺度模型来对不同等级的语音基元进行建模，进而将所得到的不同等级目标向量进行融合，以达到解决注意力得分异常值的目的.采用SwitchBoard作为训练集，Hub5'00作为测试集进行实验，相比于基线系统，多尺度前向注意力模型的词错误率（Word Error Rate，WER）相对降低14.28%.     

Combination of Model Checking and Theorem Proving to Verify Embedded Software

1IntroductionFormal methods have attracted more and more atten-tionin the development and verification of high trust-worthy software due toits rigor and precision, whichisbased on mathematics[1 ~4].Formal methods are dividedinto two categories :formal specification andformal ver-ification.Formal verification is based on formal specifi-cation and is used to decide whether a checked systemsupports some given properties . There are two ap-proaches to formal verification: model checking[5]andtheor…     

一种模糊BLP模型

BLP模型是一种适用于军事安全策略的计算机系统安全模型,基于模糊逻辑方法对经典BLP模型进行改进,提出了一种模糊BLP模型(FBLP),证明了该模型的安全性。它适用于商用计算机系统安全建模,在安全电子政务、电子商务等领域会有广泛应用。