 基于LABVIEW的矿用通风机测试系统特性的研究 |
中文摘要:
本文采用LABVIEW技术,并严格按照矿用通风机系统安全检验规范,在实验和理论分析的基础上,对原系统不断进行改进和扩充,完善了基于虚拟仪器的矿用通风机性能检测系统。在对系统特性进行研究的....
|
| 工作流模型性能分析与形式化验证：一种基于扩展Petri网的方法 |
中文摘要:
模型的性能分析以及过程验证是工作流系统研究和应用的重要内容。根据863项目“面向金融领域的分布式工作流关键技术及应用框架”对于工作流仿真和验证的需求,针对Petri网在复杂工作流建模中模....
|
| 和田子项目区水盐平衡研究 |
中文摘要:
本文在查阅了大量国内外文献，并了解水盐运动研究的现状和未来发展趋势的基础
上，对水盐运动及其模型进行了评述，发现利用概念性模型用于模拟计算区域水盐运
动及其变化规律的国内尚未....
|
| 安全协议模型检验技术研究与实现 |
中文摘要:
随着计算机网络通信的迅猛发展，安全协议的重要性越来越得到重视。安全协议负责密钥分发和身份认证，一旦其自身出现漏洞，那么将会对通信的安全造成威胁。模型检验方法在对安全协议的验证中体现出了巨....
|
| UML顺序图的自动分析技术研究 |
中文摘要:
当前，计算机应用已经深入到各个领域，在一些重要的应用中，对系统的质量要求非常高，一旦出错，将造成重大损失。经过多年的工程实践，人们普遍认识到形式化方法是设计实现高可信并发系统的重要途径。....
|
| 时间自动机可达性研究 |
中文摘要:
实时系统的模型检验方法是一种保证计算机实时系统安全性和可靠性的严格的形式化方法，随着计算机科学的发展，这种方法已经被广泛地接受和使用。由于模型检验方法在对系统建模时存在状态空间爆炸问题，....
|
| 形式验证技术的应用研究 |
中文摘要:
芯片设计的日趋复杂化和高速化，对设计自动化的理论和方法提出了新的要求。EDA研究是一个具有挑战性又有发展前景的领域，本论文研究的是EDA领域中超大规模集成电路的形式验证技术。
....
|
| 内摆式客车车门结构动态模型检验方法的研究 |
中文摘要:
在汽车工程中普遍采用有限元分析方法和试验模态分析技术进行结构动力分析,这两种技术都各有优缺点,近年来,有人提出把有限元方法和试验模态分析技术有机的结合起来,相互取长补短,分析计算结构的动....
|
| 商业银行财务业绩评价模型的建立和实证研究 |
中文摘要:
经营业务及资产负债结构的独特性决定了适用于一般企业的财务业绩评价方法并不适用于商业银行。近几年来,我国明确了商业银行作为金融性企业的定位,并相继颁布了一些适用于商业银行的绩效评价体系。但....
|
| 基于LSC的模型检验研究与实现 |
中文摘要:
随着软件工程学科的发展,形式化方法越来越多地用于软件开发周期的各个阶段。在需求分析阶段,利用场景对系统进行建模和分析已成为一门重要技术。LSC(Live Sequence Chart)语....
|
| 本类更多收费论文>> |
