VERIFICA相关论文
新疆南疆地区水库由于建库初期蓄水运行,库容快速淤损,虽然改变了运用方式,但库区仍淤积严重。以水流运动方程及经过作者修正的泥......
How to compose existing web services automatically and to guarantee the correctness of the design(e.g. freeness of deadl......
阐述了在线签名验证作为一种个人识别手段的可行性,並在深入分析本系统所采用的签名笔动态特性的基础上,提出了签名过程个性特征的......
This paper presents the techniques of implicit traversing and state verification for sequential finite state machines(FS......
对2032年10月-2003年9月T213降水预报产品的预报效果进行了分型和分区检验，结果表明：冬半年对小量级预报能力较强，夏半年对大雨以上量......
为满足高原地区客运专线、高速铁路线路维修施工需求,以普通重型轨道车为基础,研发设计适用于高原的GCY-300Ⅱ重型轨道车。分别从......
《明史·四川土司传一》是记载明代四川土司制度和苗彝藏羌等少数民族状况的重要文献,具有很高的史料价值。但据《明实录》等......
AOP[1,2〕的主要思想是在计算中采用“人格化”这一抽象工具,来解释、理解并编制计算机系统.AOP的优点在于:l)便于agent描述:能用......
本文概要介绍了欧盟和美国现行的非自动衡器的管理模式,从侧面对欧美目前的衡器管理方法进行了描述,有益于衡器出口厂家和出口商了......
工作流模型的正确性和可靠性是工作流管理系统健壮性的基础。该文提出一种基于状态空间的工作流模型验证方法，从而确保在构造期间产......
阐述了利用Visual FoxPro9.0数据库平台开发测绘仪器检定管理应用程序的主要过程。实践证明,将其作为测绘单位设备管理的日常办公......
本文对JJG 46-2018《扭力天平》的主要修订内容进行了解析,阐明了与原规程的主要不同,并结合日常检定中遇到的故障问题并指出解决......
Web服务组合是面向服务架构的一个应用,是指将已有的Web服务组合成为新的服务。业务流程执行语言BPEL(Business Process Execution......
SoC系统功能日益复杂,规模也日益庞大,SoC验证面临着前所未有的挑战.对SoC验证方法学进行了研究和总结,包括验证流程、验证层次和......
叠加式力标准机由于具有产生力值大、体积小、重量轻、占地空间小、操作简便、易于维护保养、价格相对低廉等诸多优点而受到青睐,......
文章针对集装箱码头运输行业现状及需求,采用A*算法及全局规划等方法策略构建集装箱码头水平运输作业系统。通过模拟构建集装箱码......
...
水流挟沙力是运用河流动力学原理进行河床冲淤计算的重要指标，对常见的水流挟沙力公式进行了检验，检验所采取的判别方法有：相关系数法......
为配合苏集站京包上行线高速超偏载检测装置验证试验,对验证试验内容进行列车牵引仿真计算,以确定试验时长、影响范围以及列车动力......
缸体机加工中,引入模拟缸盖工艺新技术,以减少发动机装配时缸体因受缸盖螺栓轴向力作用而产生的较大缸孔变形,影响发动机品质和性......
The ability of respiratory-correlated fan beam CT (4DCT) and respiratory-correlated cone beam CT (4DCBCT) to accurately ......
人工增雨已有60余年历史,虽已取得很多成绩,仍存在很多亟待解决的科学技术问题,典型问题如作业具有一定的主观性及其与效果检验有......
