基于TMS320C6701的图像匹配处理机的设计与实现

图像匹配处理技术是目标识别系统的重要组成部分，作者提出了采用以TMS320C6701DSP为核心处理器实现图像匹配处理的方案，给出了硬件框图和软件流程图，并分别进行了分析讨论，实验结果证明，该处理机完全可以实时进行图像匹配。     

铁路车站计算机联锁软件的安全性评估策略

安全控制系统的行为直接关系人身和大宗财产的安全，如何定量地反映系统中计算机软件的安全性品质是一个值得探讨的问题。应从软件可靠性和安全性含义的讨论中，明确它们之间的区别。在此基础上，提出一种能定量反映计算机联锁安全软件安全性的评估策略，最后论述了对某制式铁路车站计算机联锁安全软件进行分级测试后，利用J－M可靠性模型对其进行安全性定量分析的方法。     

软件安全性3M评价中评价因子修正的研究

安全性苛求系统需要防范意外事件造成对人体，环境或大宗财产的损害，为此，对软件需要进行严格的安全性测试，并对软件防范意外事件的能力进行评价，然而，完全依靠试验统计或事故累积数据进行安全性评价。会由于测试开销过大或等待累积时间过长影响评价的准确性和及时性，需要利用软件开发过程中涉及的诸多要素和在各个阶段来自多个方面所提供的信息参与安全性评价，但是，在这些信息中包含了某些主观的成分有待验证，在多元，多模型，多阶段（3M）安全性软件评价方法的框架中，有可能利用后续测试得到的信息不断对评价因子进行修正，提高评价的准确性，讨论了后续测试对3M模型中的复杂性，技术支持和开发水平因子的修正方法，着重论述对开 水平因子的修正，提出了后续测试信息和先期测试信息进行比较和处理的过程和一些规则。     

利用软件故障注入提高软件测试覆盖率

软件测试过程是软件生命周期中提高软件质量的重要阶段，但无论结构测试还是接收测试（AT），都很难测试程序的所有分枝，对于容错软件的异常处理和故障恢复代码的测试尤其困难。使得这些代码中可能包含软件故障，反而成为软件质量的隐患，为此采用程序变异的方法对被测软件进行故障注入，用强制的方法执行被测分支，从而提高软件的测试覆盖率。     

基于互联网的远程状态监测与故障诊断系统研究

针对传统故障诊断受到地域限制、无法实现多专家协同诊断的问题，把互联网技术应用到设备状态监测和故障诊断领域之中，以便汇聚更多领域专家对故障设备进行会诊，讨论了基于互联网的远程监测与诊断的系统结构模式，分别提出了硬件和软件实现方式。     

民办二级学院实行助学贷款的现状及对策

随着高等教育收费制度改革力度的加大，家庭经济困难的学生化比例日增，特别是在浙江省的民办二级学院中，这一现象更为明显。国家助学贷款政策的出台，有效地解决了部分经济困难家庭孩子上大学的问题。但由于宁波科技学院2001年才实施这项利国利民的政策，并且在实际实施过程中有一定难度。为此文章针对民办二级学院中实施国家助学贷款的现状进行了分析研究，提出了相应对策，力求把助学贷款工作做得更好。     

Protel 99SE-PCB设计与使用技巧

详细介绍了用Protel99SE设计高速印刷电路板PCB的设计过程，对其各种设计规则进行了归纳，并针对高速电路设计中常见的电磁干扰等技术难点为给出了具体解决的办法，同时提出了在设计中如何降低设计成本，提高设计效率，实现产品设计的可靠性，使电路板设计最优化所使用的一些技巧。     

用Mathematica软件化二次型为标准型

本文指出在高等代数与解析几何合并的教改工作中，应重视使用计算机软件来求解高等代数与解析几何中的问题，并给出了用Mathematica软件把二次型化为标准型的方法。     

面向对象程序设计与软件复用技术

面向对象程序设计是—个非常实用且强有力的软件开发方法，可为软件复用提供基本的技术支持。软件复用技术是软件开发中避免重复劳动的一种行之有效的解决方案。本文介绍面向对象程序设计和软件复用的基本概念和关键技术，并提出面向对象程序设计支持软件复用的技术方法。     

Mathcad在电力电子变换器分析设计中的应用

Mathcad具有强大的数值，方程，符号，本以及图形的处理能力，运算速度快，使用简单，给出了Mathcad在电力电子变换器的参数选择，瞬态分析，波形生成等方面的应用。