网管环境下连接高可用性软件总线的研究与构造

指出了网管环境下高可用性系统的不足,提出了高可用性连接和高可用性管理域的概念.分析了软件总线的基本概念,提出了软件总线的连接模型、实现模型和网络实现模型.在提出的软件总线理论基础上构造并实现了一种基于消息机制的支持连接高可用性的软件总线模型.该模型系统在全国移动汇接网管项目中得到成功应用.     

基于相似性计算的领域模型语义查询

为提高领域资产库的复用能力,解决领域模型与用户的个性化需求不能完全匹配时仍能为目标应用系统的构建提供支持的问题,提出了领域模型语义查询算法.通过服务模型相似度计算结果,建立同一问题域中同类模型之间的语义关联,并以此为基础,提出领域模型的语义查询算法.最后介绍了该算法在领域建模平台中的应用.     

复杂网络共享管理信息模型的表示与应用机制研究

在基于IP技术的复杂网络环境中,为解决网络管理系统可扩展性、跨域管理和资源统一描述等问题,从模型表示和应用机制方面提出了构建和使用共享管理信息模型的方法:对OWL(Web ontology language)进行了改进,提出了基于OWL-NM的共享管理信息模型描述模板;提出将基于IDL的接口信息模型转换为基于OWL-NM的共享管理信息模型的映射规则;提出了将共享管理信息模型存储到数据库中的应用机制.通过开发原型系统的方式验证了所提出的方法和机制.     

基于网格模式的电子商务技术应用与研究

针对目前电子商务应用中存在的信息孤岛和资源瓶颈问题,应用网格技术方法,提出了基于网格模式下的电子商务模型;依据网格模型,提出了基于该模型的电子商务系统的体系结构、分层特性以及初步的设计和实现方案;最后,展望了电子商务应用未来的发展趋势.     

我国如何应用基于XML技术的国际标准

结合我国信息系统应用现状,提出了在我国应用国际信息化标准的过程模型.该模型可以使标准得到大规模应用推广,增强我国在国际信息化标准制定中的影响力.最后,结合国际上流行的财务报表披露标准XBRL,给出了在我国应用的实例.     

基于价格时间Petri网的网格计算应用模型及分析

网格计算环境下资源管理和任务调度是当前研究的热点问题,OGSA体系结构提出了网格服务的概念,但缺乏应用对网格服务质量要求的形式化描述.本文对OGSA体系结构进行了必要的扩展,提出网格用户应用的价格时间Petri网模型,利用该模型可对网格应用的QoS需求进行定义,并可利用Petri网的工具分析用户应用模型的正确性和时间特性,给出了具体的分析算法.     

一种基于语义关系改进的隐马尔可夫模型研究

中文信息处理中统计方法的应用越来越广泛.为了更好地利用统计方法进行中文词义标注,文中对隐马尔可夫模型进行了改进研究,提出了使用基于语义格改进的隐马尔可夫模型.通过应用线性插值方法来计算改进的模型参数,HowNet中文知识库在中文词义标注中应用此模型,最后得到了较好的实验结果,证明了该方法的有效性.     

CORBA异步消息的研究与实现

异步机制是构造大规模分布式系统必不可少的机制之一.作为一种典型的分布应用支撑平台,CORBA没有很好的解决异步机制问题,这限制了CORBA在一些领域的应用.如何在CORBA中提供异步通信支持,为上层应用提供异步通信支持成为研究的热点.本文提出一种CORBA异步消息模型Star-Async,该模型通过ReplyHandler对象实现应答处理、通过异常封装对象实现异常处理,通过基于修改抽象语法树的机制实现异步代码生成.在自主研制的分布对象中间件平台StarBus中实现了本文提出的Star-Async异步模型,实现和初步应用表明本文提出的异步消息模型为在CORBA中实现异步机制提供了一种有效的参考.     

RFID应用系统漏洞挖掘模型研究

通过对无线射频识别(REID)系统的安全性进行研究与分类,提出了一个漏洞发现模型.该模型包括4个方面:TR模型、TRB模型、TRMBE模型和TRMBEC模型,对此分别进行了阐述,并说明了漏洞发现模型的应用.     

多晶硅TFT模型的研究进展

全面介绍了多晶硅薄膜晶体管(TFT)紧凑模型的现状和应用前景,简单说明了多晶硅TFT特有的电学特性,这是多晶硅TFT建模的基础,重点介绍了基于阈值电压和基于表面势的多晶硅TFT紧凑模型的研究进展,并对这些模型进行了评述,其中RPI模型是基于阈值电压的TFT模型的典范.虽然TFT模型已经有所发展,但成熟度还远远不够.最后提出了改进多晶硅TFT模型的方向和策略,包括二维器件模拟的应用、基于表面势模型的发展、多晶硅材料特性的应用、统一模型的发展、短沟效应的建模和参数提取等.     

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…     

一种基于期望模型的自适应Singer模型滤波算法

针对使用固定模型滤波算法跟踪机动目标时滤波精度依赖于模型固有参数的问题,提出了一种基于期望模型的自适应Singer模型滤波算法。首先利用3组代表不同机动强弱的典型Singer模型组成基础模型集合,然后通过实时计算目标综合残差确定目标机动等级,根据目标机动等级的变化来生成期望模型,并实时扩充基础模型集合进行交互式多模型（Interacting Multiple Model,IMM）滤波。该算法降低了对基础模型选取的依赖性,具有更好的环境适应性,在目标不同机动状态下都能进行准确跟踪。     

利用覆盖歧义检测法和统计语言模型进行汉语自动分词

该文探讨了利用覆盖歧义检测法和统计语言模型进行汉语自动分词的问题。采用了多次迭代的方法来进行汉语词层面统计语言模型的训练。该方法能够得到更优化的语言模型。该文详细介绍了统计语言模型的训练过程,给出了语言模型复杂度随迭代次数增加而减小的实验结果。还给出了在不同的统计语言模型阶数下切分正确率变化的情况,分析了切分正确率变化的原因。     

基于不同光折变模型的亮屏蔽光伏孤子特性

通过数值模拟的方法,研究了单光子、双光子光折变模型中亮屏蔽—光伏孤子特性。结果表明：在同样的外加条件下,双光子光折变模型中亮屏蔽—光伏孤子的半峰全宽小于单光子模型,孤子中心的自偏转距离大于单光子模型。改变外加参量,双光子模型中亮光伏孤子的半峰全宽略小于单光子模型,两模型中孤子中心的自偏转距离几乎相等;单光子光折变模型与双光子光折变模型中亮屏蔽孤子的半峰全宽、自偏转距离等特性相同。     

光传感器监控系统中行人识别模型的研究

针对传统的行人识别模型行人识别速度慢的问题,设计了一种光传感器监控系统中行人识别模型。引入抛物线拟合,将三维场景中的点阵聚合成现实场景中的物体,对监控区域三维重建,在此基础上,采用野点去除和噪声去除的方法去除外界因素对行人目标造成的高频干扰,采集行人区域数据。采用红外图像分割方法,分别对行人目标与背景建模,最后将行人目标模型与背景模型结合生成行人识别模型。实验对比结果表明,此次设计的光传感器监控系统中行人识别模型比传统的图像阈值分割模型、激光雷达行人识别模型、模板匹配行人识别这三种传统模型行人识别速度快,能够满足行人识别需求。     

IPA模型对Hopfield模型神经网络的改进

考虑Ｈｏｐｆｉｅｌｄ模型中假态之间的布尔逻辑关系，提出利用ＩＰＡ模型对神经网络中的假态进行抑制，并和原网络的性能进行了比较，结果表明：改进后的网络性能比Ｈｏｐｆｉｅｌｄ模型和ＩＰＡ模型均有较大提高。     

MEMS微惯性组合静态误差建模与补偿

安装误差和温度是MEMS微惯性组合的主要误差源,这两种因素所引起的误差通常占系统总误差的90%以上。通过对微惯性组合的安装误差及温度因素的影响进行深入分析,构建了一种适用于低成本导航微惯性组合静态误差补偿模型。该模型是一种基于线性模型的改进型模型,模型复杂度低,按实验标定方法获取模型参数后可实时计算惯组输出,用于对MEMS微惯性组合实时性要求高的环境中。并且,通过对模型深入分析,巧妙设计标定方法,大大简化了该模型的标定步骤,使模型参数的获取更为方便。为了论证模型正确性,进行了标定实验,实验结果表明模型是切实可靠的。     

MEXTRAM model based SiGe HBT large-signal modeling

An improved large-signal equivalent-circuit model for SiGe HBTs based on the MEXTRAM model (level 504.5) is proposed. The proposed model takes into account the soft knee effect. The model keeps the main features of the MEXTRAM model even though some simplifications have been made in the equivalent circuit topology. This model is validated in DC and AC analyses for SiGe HBTs fabricated with 0.35-μm BiCMOS technology, 1×8μm2emitter area. Good agreement is achieved between the measured and modeled results for DC and S-parameters (from 50 MHz to 20 GHz), which shows that the proposed model is accurate and reliable. The model has been implemented in Vefilog-A using the ADS circuit simulator.     

基于低阶近似分布源的目标方位估计

广义阵列流型描述的分布源模型,利用了一阶Taylor级数展开,使得模型与分布源空间能量分布形式无关,能够更加广泛地在实际中得到应用,称之为一阶近似分布源模型。研究表明,此种模型忽略高次Taylor级数项后带来的模型误差以及后续方位估计算法的性能损失,因此提出了二阶近似分布源模型,即利用二阶Taylor级数展开。新模型能够进一步减小模型误差,并且对相应的方位估计算法带来较大的性能提升。将分布源的一阶近似模型和二阶近似模型统称为低阶近似分布源模型。随后分析了低阶近似分布源模型在方位估计中的应用,提出了广义SMVDR算法。通过计算机仿真,验证了低阶近似分布源模型方位估计算法的性能,并且研究了分布源的低阶近似模型、空间频率模型和低阶Jacobi-Anger(JA)级数展开模型的模型误差。     

半导体激光器改进电路模型的大信号验证

实现了一种可以对于反射系数进行精确建模的半导体激光器电路模型并且与传统模型进行了比较。在ADS(Advanced Design Systems)中使用了SDD(Symbolic Defined Devices)器件实现,对于速率方程进行了变形以改进模型的收敛性,该模型可用于大信号仿真。对于不同偏置条件下的半导体激光器的反射系数进行了仿真并且和测量结果进行了对比。首次在大信号仿真中验证了改进模型的精确性。