OLTP技术及模型概要设计

OLTP(Online Transaction Process，联机事务处理)是当今大型系统应用的主要模式。文章简要介绍了OLTP的技术原理及OLTP平台概要设计。     

数理统计法在土地定级中的应用研究

城镇土地定级中初步土地级别的验证按照《城镇土地定级规程》的要求，一般采用级差收益值法。文章在简要论述了该方法后给出一种辅助的验证土地级别的方法，即数理统计方法。两种方法的综合运用，简化了解决问题的过程，提高了结论的可靠性，具有应用价值。     

蓝牙链路管理的系统级SOC设计方法

提出了事务级面向对象的设计流程TLOOF（Transaction Level Object Oriented Framework）,强调高层次的设计和验证,并使用面向对象的Petri网和实时UML相结合的方法,用System C对系统的行为建模．将TLOOF应用于蓝牙芯片的设计中,蓝牙行为模型由链路管理器和链路控制组成,映射为CPU、内存、片上总线、链路控制等体系结构模块．建立了蓝牙链路连接的OOPN模型并描述了事务级模型的类图,完成了系统的仿真．仿真结果表明,该片上系统（SOC）设计方法可以很好地对蓝牙系统建模．     

基于组件的分布式应用系统的实现

为了解决传统的两层体系结构存在的不安全、不易维护、胖客户端等问题，提出了分布式计算的方法。该方法采用了企业应用服务器中的Jaguar CTS(Component Transaction Server，组件事务服务器)，为基于组件的分布式应用提供了中间层的框架结构。在探讨和研究分布式计算的基础上，用一个实例叙述了用PowerBuilder和Jaguar CTS实现基于组件的3层应用软件体系结构的过程。实践证明，该方法可行、有效。     

Java技术的事务处理的实现

本文介绍在Java中进行事务处理的方法,通过实例分别讲述了如何采用JavaBean、J2EE应用服务器支持的JDBC事务、JTA(Java Transaction API)事务。     

Java技术的事务处理的实现

本文介绍在Java中进行事务处理的方法,通过实例分别讲述了如何采用Java Bean、J2EE应用服务器支持的JDBC事务、JTA（Java Transaction API）事务。     

Java技术的事务处理的实现

本文介绍在Java中进行事务处理的方法,通过实例分别讲述了如何采用JavaBean、J2EE应用服务器支持的JDBC事务、JTA(Java Transaction API)事务。     

低渗亲水油藏剖面数值模拟计算参数的研究

介绍了长庆油田低渗亲水砂岩油藏剖面数值模拟方法．建立油水两相剖面数值模拟的地质模型，然后根据地质模型中的渗透率级别，将渗流参数无因次化为流动水饱和度的有效模拟参数．经计算验证，这一方法的计算精度较高．对认识低渗亲水油藏的水驱油机理，具有现实意义．     

产品设计过程建模及重组

产品设计过程是一项复杂的系统工程,是多种知识的有效集成和耦合．文中在综合分析目前设计过程建模技术的基础上,提出了基于扩展有向图和模糊设计结构矩阵的信息建模方法,对活动间的信息依赖进行了定量表示,通过对设计活动进行分解、撕裂和级别划分．实现了设计过程的优化重组．进而对耦合活动间的信息相关程度进行模糊排序,指导耦合活动的分解,并给出了算法流程．最后以冲裁模具设计过程为例,验证了上述方法的有效性和实用性．     

SQL Server数据库恢复技术研究

SQL Server用事务（Transaction）来跟踪数据库的一切变化，日志文件则用来记录事务对数据库的所有更新操作，它在数据库恢复技术中起着非常重要的作用。本文将以日志文件为技术要点，讨论SQL Server数据库的安全备份与恢复策略。     

一种可重用于不同总线的验证IP的方法

随着市场压力逐渐增大,设计验证的效率已经成为芯片设计领域中关注的焦点之一。传统的设计验证方法已经很难满足当前对芯片设计的要求,本文提出了一种综合了多种验证方法的可重用于不同总线的验证IP的方法来提高对IP设计验证的效率。     

芯片功能验证流的高效生成方法

设计验证（Design Verification）在数字系统设计中已经非常重要。功能验证成为了现代数字系统设计周期地瓶颈。作为对基于仿真地验证方法改进的一次尝试,介绍了一种基于有限状态机生成测试向量的方法。它有效地提高了状态空间的覆盖率。     

高效验证平台在TD-SCDMA终端芯片功能验证中的应用

介绍了基于事务级验证的验证方法学（RVM）和覆盖率驱动技术,以及如何将RVM方法学和覆盖率驱动技术结合而搭建高效的验证平台,并详细分析了使用此验证平台对TD-SCDMA终端芯片进行完备和高效的RTL级功能验证.此验证平台比传统验证平台在效率上大大提高,有效地缩短了SoC芯片模块级和系统级的验证时间,缩短了3 SoC芯片的开发周期.     

基于VMM的LTE小区搜索模块验证

随着芯片设计规模和复杂度的增加,功能验证变得越来越复杂,验证面临着诸多挑战。有统计数据显示,验证工作占整个设计开发工作60%～80%的时间。在长期演进系统(long term evolution,LTE)中,小区搜索是一个非常关键的过程,是移动终端开机后首先要做的步骤。小区搜索的性能好坏直接影响LTE系统后续过程的进行,对LTE系统的性能有很大的影响。以LTE系统小区搜索模块为例,简要介绍了VMM(verifacation methodology man-ual)验证方法学,并基于VMM验证方法学搭建了小区搜索模块验证平台,对小区搜索模块进行了全面的功能验证。验证结果表明,本模块能够完成预期的目标,采用VMM验证方法学可以极大地提高验证效率,缩短验证周期。     

基于RVM的AVS视频解码芯片的验证

随着集成电路设计规模和复杂度的不断增大,验证工作越来越重要,如何快速地搭建一个强大、高效的验证平台是工程师们关注的重点。本文基于业内常用的高级验证方法学RVM(Reference Verification Methodology),利用Vera验证语言搭建了一个层次化验证平台,对AVS视频编解码芯片进行验证。本设计中,AVS(Audio Video coding Standard)视频解码芯片的验证一共开发测试用例2400多条,覆盖率也已达到项目要求,其中行覆盖率为99.2%,条件覆盖率为95%,状态机覆盖率是98.1%,跳转覆盖达95.2%,且平台可重用性较好。 验证结果表明,基于RVM的vera平台可以准确高效地对芯片进行验证。     

集成电路设计,验证,测试系统的研究

本文对“ＬＳＩ／ＶＬＳＩ设计、验证、测试系统”进行了理论总结,文中分别阐述了该系统中的设计子系统、验证子系统和测试子系统,以及它们所包含的软件概况和主要技术成果。     

基于神经网络时间序列预测器的弯管流量计传感器数据验证

传感器数据验证技术具有重要的实用价值。介绍了一种基于神经网络时间序列预测器的传感器数据验证方法，并利用Matlab对弯管流量计的传感器数据验证进行了仿真，结果表明这种方法是切实可行的。     

SoC自动化验证方法的研究与实现

为解决SoC(System-on-Chip)验证覆盖率和工作量问题,基于可重用思想、采用事务验证模型、随机激励生成的方法,建立了一个层次化的具有自主知识产权的自动化功能验证系统（LSAVS：LiShan Automatic Verification System）。采用该验证系统后,SoC验证工程师开发测试向量的工作量由使用传统验证方法的60％降低到10%,同时保证了功能验证100%的覆盖率,达到快速高覆盖率的验证目的。     

基于IEC61508的嵌入式软件可靠性设计与验证

作为流程工业领域中典型的现场设备,智能变送器的嵌入式软件可靠性备受关注。利用IEC61508功能安全标准中软件开发V模型的思想,对智能压力变送器进行了软件设计与验证,包括系统安全需求分析、软件结构设计、模块设计与测试,最后采用失效模式影响及诊断分析(FMEDA)和故障注入试验2种方法对系统进行了安全评估。评估结果表明:在生产工艺给安全性带来很大不确定性的条件下,所研究的智能变送器的安全失效分数为88.3%,基本达到了当前先进智能变送器的安全失效分数水平。     

基于加权动态匹配方法的联机签名鉴别

提出了在微机 Ｗｉｎｄｏｗ ｓ 环境下,联机签名鉴别的一种新方法。该方法的训练部分以普通动态匹配方法确定签名轨迹的点对对应关系,并以此为基础从真实签名样本训练得到标准模板、局部稳定性和判决门限。该方法的鉴别部分采用加权动态匹配,较好地弥补了普通动态匹配在签名鉴别这一特殊应用中的不足。该鉴别算法简单而高效,真实样本和非专业伪造样本的鉴别准确率达到９２％