排序方式: 共有6条查询结果,搜索用时 0 毫秒
1
1.
陈望梅 《北京航空航天大学学报》1982,(4)
SMJ是一种属于块结构的连续系统数字仿真语言。语句中的关键字采用意义相同的英文字或缩写,语句的格式方便书写和输入。用户程序几乎是一分描述在迭代模拟计算机上排题,设置初值和解题步骤的说明书。程序的编写输入特别方便。 SMJ已在我院Felix C—256及VT—60计算机上调试成功。 本文介绍SMJ的语言特点及实现方法,并给出一些实例及其在计算机上的运行结果。 相似文献
2.
研究提高FORTRAN77软件的开发效率和可靠性的软件工具仍然是非常重要的课题,尤其是研究和开发检查编译程序查不出来的错误系统更具有实用价值。本文介绍FORTRAN77静态分析系统FSAS的结构和功能,着重介绍完成检查子程序接口参数一致性的方法。FSAS是在微型计算机系统Z8000上于UINX系统下开发出来的。 相似文献
3.
陈望梅 《北京航空航天大学学报》1987,(3)
本文讨论通用离散系统仿真程序包GPSS-F移植到IBM-PC上时需要解决的一些子程序和主程序中的修改问题。为保持原来的仿真程序不改变,采用了一个预处理程序。文中也介绍了仿真程序运行的例子及仿真结果。 相似文献
4.
软件容错是提高软件可靠性的重要方法之一。我们可以认为软件可靠性提高技术有两种:容错技术与非容错技术。非容错技术是应用各种方法使软件不舍错误,即力求使软件在成为产品以前达到完美无缺,软件说明书设计、结构设计、软件测试等避错、除错方法都属于非容错技术。可是随着计算机的应用领域越来越广。软件越来越复杂。而人的思维是有局限性的,因而软件设计的缺陷是不可避免的。同时软件的复杂性又决定了我们不可能进行软件的“穷举测试”。因此对要求高可靠性的系统,仅仅用非容错方法是不够的。如核反应堆系统、飞行控制系统、航空专业应用。都必须采用容错技术来进一步提高其可靠性,因为容错软件可以系统发生错误的情况下,保证系纯正常运行。 相似文献
5.
6.
1