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

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

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

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

Bottom Factors Applied to the Zoning Study of the Risk Levels of Landslides in the Three Gorges Reservoir Area

Without taking inducing factors into consideration, this paper adopts a quantitative analysis of the bottom factors in the Three Gorges Reservoir area, studies the relationship between the bottom factors and the development of landslides, and then zones the area according to risk levels. The bottom factors adopted in this paper include lithological characters（U1 ）, gradient（U2 ）, slope form （U3）, difference of helght（U4 ）, and slope orientation（U5 ）. In 4 650 km^2 of the studied area, the areas of the very high, high, medium and low hazard degree area respectively were 57. 94 km^2 , 2 305.15 km^2, 1 241.6 km^2, 1 045.31 km^2. The methodological steps are （1） inversion statistic analysis, （2） the analysis of contribution ratio and weighing, （3） getting results via fuzzy evaluation of risk levels.     

MATLAB与C/C++、FORTRAN语言混合编程

对MATLAB与C／C 和FORTRAN语言进行混合编程的常用方法进行了介绍，分析了其实现方式和各自的利弊，并用实例对MEX文件实现方式进行了较详细的论述．     

基于NET的Web服务安全验证

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

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

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

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

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

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

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

生物絮凝强化一级处理城市污水的实验研究

在城市污水生物絮凝强化一级处理的基础上，通过投加高效微生物凝剂产生强化生物絮凝作用，以提高强化一级处理出水水质，首先采用静态正交实验确定强化一级处理工艺的优化运行参数，然后通过两个动态实验（普通工艺和投菌工艺）的对比，证实了投加高效絮凝剂产生菌M-25能促进天然絮凝物质的产生，强化生物絮凝吸附作用，使污水COD，SCOD和SS的去除率分别达到63.7%,35.2%和74.2%，比普通工艺分别提高9.2%，7.2%和12.6%，有利于减少城市污水污染物的排放总量，减轻对自然水体的污染。     

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

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