一种改进的实时系统可达性分析算法

首先简介了时间自动机、时钟区域、区域等价、时钟带的概念.利用时钟带,可以将时间自动机的无穷状态空间转化为有穷.实时系统的绝大多数安全性和部分活性可以通过可达性分析算法来验证.然而,当系统时钟个数较多时,用DBM存储时钟带,会造成内存空间的很大耗费.该文提出了用邻接表存储时钟带,给出了改进的算法,并对算法的空间复杂度作了分析.实验表明,当时钟个数大于5时能节约很大的内存空间,从而在一定程度上缓解了状态爆炸.     

基于多服务等级随机网络系统价控策略分析

引进多服务等级随机网络系统的用户需求量与价格模型,讨论了定价策略问题,同时给出了用户需求量的无偏估计.对于用户呼叫到达时间服从于几何分布的网络系统,制定了静态无激励定价策略.对一般较复杂网络模型制定了动态定价策略,该策略可调整用户需求估计量均值,使网络取到最大收入.由于用户需求量是一随机变量,对系统施加点激励价控策略,激励和引导用户选择对网络整体有利的服务请求.建立的定价策略,可提高网络资源的利用率,控制网络拥塞,较适合于目前网络日益发展的需要.     

基于NET的Web服务安全验证

NET平台简化了Web服务的创建和使用，然而需要服务开发自己选择一种安全策略来保护Web服务，验证SOAP消息中凭证的安全性，这篇章在介绍几种WEB服务自份认证的同时．提出了一种基于数字签名技术、信任凭证、soap头的用户自定义的两因素动态加密认证方法。     

提高甘薯淀粉出粉率的研究

6个品种甘薯的淀粉含量被测定，淀粉含量较高的为868号、大地1号、辽师1号；从磨碎程度、沉淀时间、二次过滤3个因素对提高出粉率进行了研究，结果表明，在本实验条件下磨碎时间15min，沉淀时间10h可获得较高的出粉率．经二次过滤可以挽回淀粉损失平均为12．0％。     

基于Petri网的填土路基施工过程的建模与研究

将填土路基施工过程系统分解为相互关联的子对象系统，分别用Petri网对子对象系统建立分级子模型，然后再将子模型系统作为变迁元素嵌入到道路施工的主网络模型中去，从而获得整个道路施工系统的Petri网模型.     

丝状菌性污泥膨胀及生物选择器控制

论述了利用生物选择器来控制活性污泥的丝状菌膨胀问题，阐述了选择器的作用原理、动力学选择性理论、积累／再生理论、饥饿理论，指出茵胶团的吸附储存能力比丝状菌强得多，从而在选择器中可以大量储存有机物，在后续的曝气池中得到大量的增殖，但选择器无法控制丝状菌引起的膨胀。     

单一与混合体系的透明有机材料的性能比较

介绍了由甲苯二异氰酸酯(TDI)与各类二醇反应制备透明有机材料的过程。比较了单一大链与混合大链制备的透明有机材料的性能，指出混合大链制备的透明有机材料具有良好的机械性能和光性能以及良好的热挠曲温度。     

二维开放骨架硫酸镧的水热合成与表征

采用水热合成方法，以氧化镧、硫酸和哌嗪、水为原料得到了具有新颖结构的硫酸镧．单晶衍射结果表明该化合物是有机胺支撑的、通过镧与硫酸根配位形成的层状开放骨架结构，该化合物也用元素分析、差热-热重和红外进行了表征．结果表明结构解析能够同相应的表征较好地吻合．     

SARS患者专用微型制氧机工艺参数实验研究

为了开发用于SARS病人的微型变压吸附制氧机,实验研究了吸附时间、反吹比、产品气量、吸附塔高径比以及吸附剂种类等工艺参数对微型变压吸附分离空气制氧装置的产品纯度和回收率的影响.实验结果表明:在变压吸附微型化条件下,最佳的吸附时间为12 s和反吹比为0.5;随着产品气流量的增加,产品气纯度下降,而回收率升高,在所要求的纯度下,回收率能达到19%;吸附剂的种类对变压吸附制氧过程有重要的影响;在微型化条件下,合适吸附塔的高径比为3.7～4.0之间.     

用遗传算法求解多目标0/1背包问题

扼要介绍多目标优化的Pareto最优性概念 ,研究搜索多目标 0 1背包问题Pareto最优解集的快速遗传算法 (FPGA :fastParetogeneticalgorithms) .FPGA采用种群中非支配解的层次评价可行解的适应值 ,提出了一种快速非支配解层次辨识算法 ,辨识算法仅有O(n2 )数量级的计算复杂性 ;采用基于聚类概率排挤的小生态技术维持种群多样度和Pareto最优解集的分布均匀性。对多种多目标 0 1背包问题的仿真优化实验结果表明 ,FPGA能够以有效的计算成本搜索到精度高的、分布均匀的高质量Pareto非劣解集 ,其收敛速度和收敛准确性一致地优于代表性的强度Pareto进化算法 (SPEA) .