网络协议中的时间约束测试

对协议实现的时间约束进行测试,是验证协议实现的实时特性的重要方法.本文考查了当前实时系统测试方面的进展,结合路由协议测试的实践,修正了现有方法几个不符合实际情况的假设,扩展了时间自动机的理论和思路,将时间约束下的状态机转换成非确定性有限状态自动机,运用Wp方法生成抽象测试集,讨论将抽象测试集参数化的方法.以路由协议RIP的时间约束为例说明了生成基于TTCN测试例的过程.     

宁夏电信客服系统与现有各业务系统的接口设计

本文对宁夏电信客服中心系统建设方案作了介绍，对客服系统与现有电信业务系统的接口方案设计进行了简要分析和说明。     

不同烹调方法对蔬菜中总酸性物质含量和氨基态氮含量的影响

总酸性物质含量和氨基态氮含量是反映蔬菜品质的两项重要指标,蔬菜在不同的烹调方法下会发生一系列的生物化学变化,从而导致其中所含的营养成分的含量也随之发生改变。因此,采取适宜的烹调方法,在保证烹调出的菜肴具有良好的色、香、味等外观性状外,还要具有较高的营养价     

LAB与LCH颜色空间及应用

本文介绍了LAB与LCH颜色空间及应用，并简要介绍了分色制版过程中一般是使用密度值或网点百分比来进行控制。     

一种用于SOC设计中的智能I/O处理器的实现

文章介绍了SOC设计流程，智能I／O处理器组成，在开发该处理器对VHDL源代码的优化问题。     

并行哈夫曼编码器的硬件设计与实现

文章设计了一种并行编码的哈夫曼硬件编码器，它采用了流水线和并行编码方法，使得在一个时钟周期内可以编码一个字节的数据，在编码时显著降低了工作频率。文章给出了关键部分的实现方案并分析了实验结果。     

A1611A/B DFB激光模块的应用设计

1引言 半导体激光模块,是指在一个密封单元内包含了激光器、阻抗匹配、功率监测、热电制冷等电路的功能部件.它被广泛用于HFC网络上的光端机中,桥接光纤与同轴电缆,从而提高宽带电视信号的传输距离,改善传输质量和系统可靠性.模块中的核心单元是半导体激光器,作为线性光纤系统的光源,一般选用高线性、大功率、宽动态范围的DFB(dis-tributed-feedback)激光器.     

在机械设计中对适应性设置的考虑

利用人机工程学原理，提出机械设计中应考虑机器的适应性设置，介绍了机器的适应性设置的作用及设计方法。