基于Web Service的公安交通管理信息市场化应用平台研究

为了充分利用全国公安交通管理信息中心存储的交通管理信息,更好地为各级政府、企事业单位、广大民众提供以机动车和驾驶人登记信息为主的综合信息服务,本文提出一种基于Web服务的公安交通管理信息市场化应用平台建设方案。该方案通过在全国公安交通管理信息中心建设专门的Web服务平台,利用Web服务(Web Service)实现与公安外网各类系统的信息共享和服务。本文还给出一个利用该平台实现信息服务的应用实例。     

回地球去

##正##我可以飞行,却没有天空;我可以游弋,却没有河流。2213年9月29日。一个很大很大的游泳池飘浮在半空中,我纵身一跃,跳到清澈的水里,舒展双臂,气泡和水花翻涌。阳光穿过云层射下来,把水面照得光彩夺目。睁开眼睛,游泳池不见了,天空不见了,窗外只有林立的高楼和层叠的街市,腕机响起     

二硝基茴香醚的可视化烤燃试验

为更深入地了解熔铸炸药在慢速烤燃过程的反应现象,以可视化烤燃装置开展了二硝基茴香醚(DNAN)的慢速烤燃试验。试验观察到DNAN的烤燃过程主要经历4个阶段,分别为固液相变阶段、慢速分解阶段、气体快速溢出和药液喷发及点火阶段。测试和计算了DNAN在270℃下的点火延滞期,结果表明空气对流解热方式会延长点火延滞期。相比于DSC测试方法,本试验方法可以避免因样本量少而导致的结果失真,同时能够获得更多的热分解反应的细节信息,对于研究含能材料的热分解及热爆炸过程具有重要意义。     

SPF级与普通级Hartley豚鼠血液学参数比较

目的测定SPF级与普通级Hartley豚鼠的血液学参数,并进行比对研究。方法选取300～350 g健康的SPF级和普通级Hartley豚鼠各60只,雌雄各半;运用血液分析仪、全自动生化分析仪,对血液进行生理生化指标测定。结果血液常规值：SPF级雄性豚鼠与普通级（CV）雄性豚鼠的白细胞数、血红蛋白浓度、血小板压积等9项指标差异极显著（P〈0.01）;SPF级雌性豚鼠与普通级（CV）雌性豚鼠血小板平均分布、单核细胞数、单核细胞比率差异极显著（P〈0.01）。血生化值：SPF级雄性豚鼠与普通级（CV）雄性豚鼠比较,总胆固醇、碱性磷酸酶、葡萄糖等8项指标差异极显著（P〈0.01）;雌性与雄性豚鼠指标比较一致。SPF级豚鼠雌雄之间比较,总胆固醇、碱性磷酸酶、葡萄糖等9项指标差异极显著（P〈0.01）;普通级豚鼠雌雄之间比较,总胆固醇、天门冬氨酸氨基转移酶、钾、钠、氯离子差异不显著（P〉0.05）,其余指标都出现了极显著差异（P〈0.01）。结论不同环境、性别对豚鼠血液学参数有重要影响。     

基于Kalman滤波的无线传感器网络多目标跟踪

设计无线传感器网络多目标跟踪系统,分析系统跟踪性能的影响因素,提出基于单点观测的扩展卡尔曼滤波(Extended Kalman Filter,EKF)算法和基于Kalman滤波算法预测功能的节点自适应调度策略,并引入多种事件辅助机制。实验结果表明,该算法和调度策略能够实现多目标实时跟踪,且具有减少计算量、缩短测量周期、降低能量消耗、提高跟踪精度等优点。     

乙烷氧化反应的瞬变应答研究：C2H6在Mn2O3催化剂上…

本文使用瞬变应答技术，研究了Ｃ２Ｈ６在Ｍｎ２Ｏ３催化剂上的氧化反应。根据产物ＣＯ２分别对反应物Ｃ２Ｈ６和Ｏ２的浓度阶跃变化结果，证实Ｃ２Ｈ６的催化氧化反应，必须经历催化剂表面上Ｏ２（吸附态）和Ｃ２Ｈ６（吸附态）的反应步骤，总反应的ＲＤＳ是催化剂表面上吸附态Ｃ２Ｈ６分子的形成。实验还证实了ＣＯ２不影响Ｃ２Ｈ６氧化反应的速率，而Ｈ２Ｏ对此反应有禁阻作用。     

基于Viterbi解码的中文合成音库韵律短语边界自动标注

该文提出了一种基于Viterbi解码的中文合成音库韵律短语边界自动标注方法,以降低大语料库单元拼接合成系统的构建成本。该方法分为模型训练和韵律标注两阶段:模型训练阶段得到频谱、基频和音素时长的上下文相关隐Markov模型(hidden Markov model,HMM);标注阶段借助训练得到的模型采用Viterbi解码完成韵律短语自动标注。实验结果表明:该方法进行韵律短语边界标注时的F-score值达到77.64%,超过了人工标注时不同标注人员之间的一致性水平;另外该方法可以方便地增加待标注韵律属性,具有良好的扩展性。     

中立型时滞系统耗散性控制

研究了一类中立型时滞系统的耗散控制问题，基于线性矩阵不等式(LMIs)方法导出了耗散控制器存在的充分条件。通过线性矩阵不等式的可行解构造出耗散状态反馈律，相应的闭环系统是严格耗散的。其特殊情形可以为控制和无源控制。     

软件测试用例的复用技术研究

软件测试用例的复用使其减少软件测试过程中重复性劳动成为可能。对于软件测试工程师而言,测试用例的有效复用必将有力地推进测试进程。软件测试工程师对测试用例库的充分利用,可以减少包括分析、设计、编码、验证等大量重复性劳动,最终提高软件测试效率和软件质量。     

基于证据理论的群组AHP判断矩阵集结方法

针对现有群组集结方法关注于专家权重和集结元素之间相似性,而缺少对AHP判断矩阵元素一致性考虑的不足,提出一种基于证据理论的群组AHP判断矩阵集结方法。该方法以群组AHP判断矩阵元素的相似性和一致性为证据源,采用DS证据理论计算上三角元素的合理性指标值,并以该指标值为边权计算最大生成树和相对应的完全一致矩阵;该方法在完全一致矩阵和PG算子集结矩阵的约束下,结合残缺元素的修复策略,计算满足最优相似一致度的群组集结结果。通过算例分析,说明该方法的可行性与有效性。