共查询到20条相似文献,搜索用时 15 毫秒
1.
2.
3.
1.基于程序变异的软件故障注入方法
软件故障注入的方法有很多种,本节着重介绍利用插入的故障代码违反程序中函数的满足条件(前置条件、后置条件或其它),改变其状态,迫使软件出现故障,使程序偏移正常的控制流,从而达到引发异常,执行异常处理代码的软件故障注入方法. 相似文献
4.
杨泽忠 《科学技术与辩证法》2006,23(5):84-87
明末清初随着《几何原本》等西方文献的汉译,在西方社会盛行了近两千年的公理化方法来到了中国。这种方法中国古代没有,且和近代科学的关系密切,本应受到国人的欢迎,并能尽快在科学研究中应用和传播。但事实却相反,公理化方法传入后一直被国人冷落,直到晚清。从当时的实际出发,我们认为这主要有三个原因:1、《几何原本》生涩难读;2、“西学中源”说轻视西方科学;3、公理化方法传来的时候本身不完整。正是这三个原因造成了当时公理化方法传播的停滞。 相似文献
5.
介绍公理化设计基础理论,将公理化设计理论应用到复合刀具的设计过程中,通过确定复合刀具的功能需求与设计参数之间的映射与分解过程,分析了复合刀具的公理化设计路线。 相似文献
6.
7.
针对软件模型的时间约束能力不强以及形式化验证复杂的问题,本文提出一种基于Petri网的形式化模型调度方法,从时间层次上对模型的合理性进行验证与分析.该方法通过构建系统领域模型到Petri网模型的转换规则,利用Petri网的分析验证技术,实现对软件模型的正确性验证,解决了系统建模时存在的问题.应用实例和实验结果验证了该方... 相似文献
8.
形式化方法是借助数学方法来研究计算机科学中的有关问题,软件工程中的形式化方法从软件的本质和规律入手,在开发过程中通过严格的数学推导和证明来保证程序的正确性。使用形式化方法可以帮助开发者获得对其所描述的系统的深刻而正确的理解,多种形式化方法在功能上可以实现互补。 相似文献
9.
10.
11.
东莞东江大桥南北引桥箱梁有大量钢绞线需要张拉,理论伸长量的正确性至关重要,为验证其正确性,在监理单位严格要求下,对所有钢铰线理论伸长量根据成熟的钢铰线伸长量计算理论运用Microsoft-Excel软件的计算功能编程计算,方法可靠性已得到验证. 相似文献
12.
采用了Matlab/Simulink仿真软件对旋翼飞机高度控制系统进行了常规PID控制器与引入前置滤波器相结合的复合控制仿真设计,设计方案不断改进.仿真结果表明,前置滤波结合PID控制器可以明显改善高阶系统性能.最后的设计方案,其动态性能与控制精度都非常令人满意,已大大优于文献[1]. 相似文献
13.
现代数学的主要研究对象为集合与映射;高中数学新课程主要以现代数学的集合论观点和公理化方法为两条主线. 相似文献
14.
介绍了电压空间矢量脉宽调制(SVPWM)的基本原理,详细阐述了在仿真软件MATLAB环境下实现SVPWM的方法,仿真结果验证了算法的正确性和可行性。 相似文献
15.
该文从分析牛顿的科学思想入手,对他在经典物理研究工作所蕴含的科学方法进行了探究,归结出仍适合于今天科学工作者使用的公理化方法、分析与综合、归纳与演绎等的科研方法。 相似文献
16.
利用文献管理软件辅助参考文献编辑及面临的问题 总被引:3,自引:1,他引:2
参考文献引用的正确性一直受到学术界的关注,文献管理软件能实现参考文献索引源数据库与编辑核查和撰写著录之间的无缝连接,提高参考文献著录的正确性。本文介绍了文献管理软件的基本工作方式,并以Reference Manager 11的试用版软件为例,详细阐述这类软件在著录参考文献中的重点应用环节——本机文献数据库的建立、特定参考文献格式文件的生成及在Microsoft Word中的参考文献著录等,以实现对同类软件应用的触类旁通。最后,探讨了应用文献管理软件面临的问题及可能的解决方案。 相似文献
17.
基于QuartusII7.0的数字电路设计研究 总被引:1,自引:0,他引:1
研究了基于Quartusll 7.0软件的数字电路的图形设计方法和程序设计方法,其中程序设计法采用了VHDL语言,然后分别用两个设计实例演示了设计过程,波形仿真结果验证了实验结果的正确性。 相似文献
18.
通过公理化设计的方法对空气压缩机常见的故障征兆进行了分析,通过对总目标进行了两层分解,将空气压缩机复杂的故障原因简单化,有利于及早解决空气压缩机出现的故障,减少经济损失。 相似文献
19.
在分析桥梁横向分布影响线和偏载系数的基础上,本文提出了一种应用平面杆系有限元软件来计算斜交箱梁桥的应力、应变和挠度的方法,算例表明了该方法的正确性和实用性。 相似文献