SDL规范性能自动分析

重点阐述 SDL 规范性能的自动分析.分两个步骤,首先将 SDL 规范映射到等价的 Petri 网模型,再对 Petri 网模型进行分析(可达性分析和线性不变式分析).分析工作与转换工作由工具 SDLPN 自动完成.     

支持多媒体和移动业务的软交换系统设计

软交换是NGN中的一项重要技术,目前,支持语音通信的软交换技术已经比较成熟,但在支持多媒体和移动业务方面仍然需要进一步研究。文中分析了支持多媒体和移动业务的软交换系统的软件功能结构,简要说明了软交换系统的呼叫控制、承载控制、切换管理、业务适配的设计思路。     

数字系统故障模拟的图形算法

本文提出一种数字系统故障模拟的新算法——图形算法。图形法的基本思想是利用数字电路本身的结构信息来完全取代传统故障模拟算法中所必须的故障表的运算。图形算法的第一步是把数字系统转换为一种特殊图形——条件有向图。然后运用图论方法,通过对图的遍历找出其全部敏化通路(1通路),所有能到达原始输出端的1通路,其相应的故障均可得到检测。本文给出同步时序电路的故障模拟算法,并说明内存芯片的图模型及其故障模拟时压缩数据量的方法。     

程控交换机用户级控制系统的诊断测试

研制程控交换机是我国目前通信科研中的主要项目之一。诊断维护程序是交换机软件的重要组成部分,虽然引进的程控交换机一般都带有诊断维护程序,但这些程序都是针对具体机器设计的,而设计思想则属厂家机密。因此,要研制程控交换机,在诊断测试方面也有不少工作要做。本文对该项目中的一个不可缺少的技术课题——用户级控制系统的诊断测试进行了研究,主要做了以下三个方面的工作:     

数字交换网络中时分接线器的测试算法

时分接线器(T接线器)是数字程控交换机等中换网络的核心部件之一,如何对它进行自动测试是国内研制数字程控交换机急待解决的一个课题。本文对这一问题进行了研究,作了以下几项工作: 一、提出了一种基于功能块的T接线器测试算法作者将T接线器表示成功能块的形式(见论文图1-2),并将T接线器划分成图1所示的五个模块。在此基础上,先分别导出这五个模块的测试,再导出整个T接线器的测试。     

天然气提氦技术现状及发展趋势

氦气作为稀缺的重要战略性资源，我国95%以上依赖进口。氦气多赋存于天然气中，从天然气中提取氦气是生产氦气的最主要途径。天然气提氦主要采用低温法和非低温法，其中低温法和非低温膜分离法是当前采用的主要技术路线，原料气膜分离提氦和LNG+BOG提氦技术是今后发展方向，具体工艺的选定需要根据气田的气质组分及处理工艺进行具体论证。     

熊果酸壳聚糖纳米粒子的体外消化特性及稳定性

分别采用冷冻干燥、微波冷冻干燥和喷雾干燥方式制备熊果酸-壳聚糖纳米粒子，研究了熊果酸纳米粒子在光照、不同温度及体外模拟胃肠消化过程中的贮藏稳定性和抗氧化能力。结果表明，胃消化阶段，熊果酸纳米粒子释放率较少；肠消化阶段，冷冻干燥、微波冷冻干燥和喷雾干燥制备的熊果酸纳米粒子释放率分别为59%、55%和50%,说明熊果酸纳米粒子具有缓释特性。体外模拟胃肠消化阶段的1,1-二苯基-2-三硝基苯肼(1,1-diphenyl-2-picrylhydrazyl, DPPH)自由基清除率试验结果表明，熊果酸纳米粒子的抗氧化性高于熊果酸。熊果酸和熊果酸纳米粒子在4℃下稳定性较高，熊果酸保留率均在80%以上。避光室温条件下，冷冻干燥、微波冷冻干燥和喷雾干燥制备的熊果酸纳米粒子保留率分别为66%、64%和60%。其中，冷冻干燥制备的熊果酸纳米粒子在4℃和避光条件下DPPH自由基清除率最高，分别为2.32、2.09 mg/g。研究结果表明，冷冻干燥和微波冷冻干燥制备的熊果酸纳米粒子的光照、温度以及模拟胃肠消化稳定性和抗氧化性均高于熊果酸，熊果酸的稳定性显著提高。