摘要：探讨了二叉决策图(BDD)求解故障树失效概率和最小割集(MCS)的方法,包括如何将故障树转化为BDD、用BDD求解最小割集、利用零压缩二叉决策图(ZBDD)表示最小割集以减少存储空间、基于BDD求解故障树顶事件失效概率。用程序实现了BDD算法,以某电厂PSA模型部分分枝为对象,通过手工计算和RiskSpectrum PSA程序验证了该程序的正确性,对比结果显示该程序可用于求解小规模故障树失效率和MCS。

摘要：本文在详细介绍了一个虚拟的某公司人事管理信息系统的系统分析和系统设计的基础上,并结合前面介绍的方法、技术、技巧程序实现了该人事管理信息系统。

摘要：该文采用等效钢带和等效截面的综合分析方法推导了箱形截面双向偏心受压构件正截面强度计算公式,针对工程设计的需要,分别对箱形截面双向偏压构件的配筋设计和强度复核问题进行计算,并编制了计算机程序实现其全部过程。

摘要：本文在分析传统的学生成长记录袋不足的基础上,提出了构建基于Internet的“学生成长记录”系统,并对系统的设计与实现进行了较为详细的阐述(以义乌稠州中学为例),通过本系统的实施,可以为全面评价学生提供丰富翔实的依据。

摘要：在音频相关的系统中,迫切需要利用语音识别技术对音频流自动识别和分割,以及针对不同的应用需求, 利用消息-动作自动机进行各种复杂控制.为此,介绍了一种新的具有实时性的音频流分割系统的设计思路及其 程序实现.

摘要：关系数据库是应用广泛且成熟的数据库技术。随着Internet的飞速发展,XML作为数据存储和交换的手段也越来越受到重视。在很多Web服务和应用中,需要在XML和关系数据库之间进行数据交换,目前这种数据交换的实现主要依赖于XSLT(XSL Transformations),这种实现存在书写复杂、效率较低等缺点。针对这些缺点,设计了一种不同于XSLT的新型映射规则,并且通过程序实现和大量的测试比较,证明它能够更加简单高效地实现这种数据交换。

摘要：介绍了自行开发的探空资料后续处理程序的设计思路和主要模块功能。程序实现了测报质量自动统计、探空原始资料上传和光学经纬仪与701雷达对比观测数据处理程序化等功能,使高空探测业务工作在规范化、自动化方面更进一步。

摘要：基于GPS技术的测算仪样机设计。在GPS技术基础上，采用最小单片机系统实现了数据的存储和对数据的处理，采用控制程序实现了数据通信、键盘和显示的功能。

摘要：众多的电梯群控系统设计解决方案仅仅基于某一具体功能模块,少有整体系统设计.为此,本文使用Petri网建模工具给出了电梯群控系统的有效模型.该模型除了整体设计外,包括程序设计流程概要建模和局部功能细化,以及电梯低高速的切换和根据交通模式切换不同停留模式的实现细节.最后用S-不变技术、可达标识图等对模型进行了验证.

摘要：左转弯专用车道等候段的设计能够明显改变交叉口的运行效率,但目前国内外的设计规范以及现有研究文献并未建立通用的等候段长度计算模型,这会导致实际的设计可能不合理或存在危险性。基于车辆到达分布情况和排队论方法,分析不同情况下左转专用车道的最不利条件,确定在保护相位和许可相位下左转弯车道等候段长度计算模型,并利用C语言将计算模型程序化,便于设计人员使用。最后以北京某交叉口为例,利用VISSIM仿真验证新建模型的合理性,结果表明相比于设计规范和已有研究模型,该模型能够有效地减少在交叉口排队车辆的延误时间,提高交叉口的运行效率。因此该左转弯专用车道等候段长度计算模型可以有效地应用于实际交叉口左转弯专用车道的设计中。