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

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

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

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

基于NET的Web服务安全验证

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

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

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

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

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

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

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

面向21世纪医院改革与发展的思考

中共中央、国务院《关于卫生改革与发展的决定》指出：“我国卫生事业是政府实行一定福利的社会公益事业”。公益性的本质是公众共同受益，政府的福利主要用于健康教育、预防、重点学科建设、特殊病人的治疗与救护等，国家对医院的投入将会逐渐减少甚至“断奶”。在市场经济条件下，医疗服务领域在没有投入的情况下，又不以盈利为目的，不能完全按经济领域的等价交换原则，     

一个基于关键字有向图的BCNF分解新算法

FD集中根据左部等价形成划分，划分的各子集根据左部的依赖关系形成一个有向图，有向图中每一个节点的FD可能是一个符合BCNF的子模式的FD，其关键字就是各子集的等价左部。     

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) .