基于模型的设计加速功能验证

本文介绍了片上系统设计中的系统模型,提出了各种功能验证的方法,说明了基于模型的设计可加速功能验证流程。     

药品交易监督系统的设计与实现

药品交易监督系统可以有效的对药品的采购和配送情况进行监督。开发基于．NET平台的B／S应用程序,可以大大提高工作效率和工作方便性。该文介绍了监督系统设计的主要流程,主要描述了对药品交易数据统计查询的功能,并对业务逻辑的设计进行了简要分析。     

一种在线测算交流永磁同步电机定子电感参数的方法

本文介绍了一种采用准电流定向控制在线测算交流永磁同步电机定子电感参数的新方法,该方法利用通用的PWM调制的电压型逆变器在电机定子d轴上施加了一个正负交替的小电压,与d轴上获得的正负交替的小电流一起推算出定子电感参数。该法具有测试时间短和电机无需堵转的特点。它所涉及到的数学计算简单易于数字编程实现。MATLAB仿真结果证明了该方法的可行性和正确性。     

网银身份认证系统中的“安全门”

20世纪90年代以来,随着Internet在中国的迅猛发展,“网络银行”这一名词已不再陌生,网银在线交易金额不断扩大,网络信息安全问题日益凸现,消费者越来越关注网上银行的安全问题。网络钓鱼、专业偷盗银行账号和密码的木马程序、黑客侵入、内部盗窃等都对网络银行的安全性提出了新的挑战。怎样才能加强系统应用的安全性,提升人们对网上银行的信任度,已成为各家银行网上银行业务中亟待解决的问题。     

布尔表达式的化简与并行排序网络验证

为设计出能够验证并行排序网络正确性的有效工具,根据[0,1]原理和布尔函数的特点和性质,提出一种布尔表达式的化简算法,并根据此算法设计出验证工具.对[0,1]原理和布尔函数的特点和性质进行了讨论,指出有利于化简操作的性质.设计出的工具能够根据并行排序网络的参数显示网络图形、自动生成布尔表达式并实现化简验证,工具的输出有利于对排序网络的分析,也可以用于辅助排序网络的设计和优化.实验结果表明了该工具的有效性.     

基于Synopsys VMM方法的FPGA验证技术

针对可编程器件在数字系统设计领域日益显现的重要性,分析了基于现场可编程门阵列(FPGA)的硬件设计的质量保证方法,指出必须对FPGA设计进行充分的验证以提高相应产品的可靠性.从验证方法和方法学角度阐述了验证平台的发展趋势,比较了当前主流的验证方法学,基于Synopsys VMM方法提出并实现了一种层次化的通用验证技术,运用该技术搭建的验证平台已在工程实践中得到应用,验证结果表明,在保证平台通用性的同时提高了验证效率.     

一种时间相关安全协议的自动验证工具

设计并实现了一个时间相关安全协议的自动验证工具。工具以一种时间相关安全协议逻辑TCPL为基础,以XML语言为描述方式,采用构造分层逻辑树的方法,完成了对安全协议目标的自动验证。实现结果表明,该工具简化了安全协议的证明过程,提高了效率,具有较好的实用性。     

基于角色的设计模式形式建模及演化

重用设计在改善软件开发过程中的作用越来越受到人们的重视.面向对象的软件设计模式概念的提出为软件设计的重用打开了新的局面.但在设计模式的具体应用中存在实现、文档和组合的问题.给出了一种基于角色的设计模式形式建模方法,将类、类属性、类之间的关系等都看作角色,并用形式建模语言Object-Z形式表示这些角色,可有效地解决设计模式实例化时存在的问题.基于角色的设计模式形式模型在演化时也基于角色进行演化,将模式的演化分为角色层演化和模式层演化,模式层演化是由多个角色层演化组成的.演化后的模型可以通过定理证明器验证与前模型是否保持一致.     

基于Struts的Web开发

Struts是目前比较流行的一个基于MVC设计模式的JavaWeb应用框架,文章详细地阐述了Struts框架实现MVC的构架机制及其核心组件和框架特点,介绍了集成在Struts框架内部的Validator框架在具体Web系统中的开发应用,比较了基于该验证框架的两种验证的优缺点。     

康耐视提供最广泛的基于图像的ID读码器

DataMan700手持读码器可保证读码的全部可信度这款新型DataMan700手持读码器可应用于任何代码、任何表面、任何标记方法。通过引进DataMan 700手持ID读码器,目前康耐视拥有了最广泛的基于图像的ID读码器,且读码质量验证器无论在何处都可用。