THE λ-GROBNER BASES UNDER POLYNOMIAL COMPOSITION

Polynomial composition is the operation of replacing variables in a polynomial with other polynomials. λ-Grgbner basis is an especial Grobner basis. The main problem in the paper is： when does composition commute with λ-Grobner basis computation？ We shall answer better the above question. This has a natural application in the computation of λ-Grobner bases.     

基于同步网的BPEL建模和验证

Web服务组合是面向服务架构的一个应用,是指将已有的Web服务组合成为新的服务。业务流程执行语言BPEL（Business Process Execution Language）是一种描述Web服务组合的语言。为了保证BPEL描述的Web服务组合的正确性,提出了分层建模和验证的思想,将BPEL流程分为逻辑层和语义层,并分别建立形式化模型和验证方法。这样不仅能保证对流程正确地建模,而且能降低建模和验证的复杂度。在逻辑层,BPEL元素映射为基于同步网的WSL_net模型。畅通性和无冗余变迁性质保证了BPEL流程基本控制流的正确性并避免了资源的浪费。语义层的建模和验证将另文给出。     

基于随机赋时Petri网的车辆交通系统建模与仿真

针对普通道口的车辆交通系统,将各道口描述为资源库所,车辆到达（离开）道口的事件描述为发生时间间隔服从泊松分布的赋时变迁,从而建立了该系统的随机赋时Petri网模型,并根据该模型开发了VB仿真系统平台,仿真实验显示该系统能够模拟道路口的车流动态过程,可以为交通调度算法提供了实验平台。     

多媒体传感器网络中服务感知的业务调度算法

作为传感器网络的高级形式，多媒体传感器网络在环境监控、安全监控以及医疗保健等诸多应用领域发挥重要作用。首先介绍一种提供区分服务的分簇传感器网络体系结构，进而提出一种服务感知的业务调度策略，使用非抢占的优先扳排队模型保障两类服务对时延的要求，以提供满足监控应用需求的QoS。理论分析和仿真试验证明了方法的有效性。较之其它典型方法，方法更适用于可提供区分服务的多媒体传感器网络。     

三七多糖的微波辅助提取工艺

采用正交试验法优化了三七多糖的微波提取工艺,采用激光粒度分析法探讨了提取机理,分析了多糖的单糖组成,并测定了多糖的溶解性。三七多糖的较佳微波辅助提取工艺条件为微波处理时间8min、浸泡时间60min、液固比30mL/g、粒度200目。微波辅助提取的多糖提取率(21.0mg/g)显著高于传统提取(12.7mg/g)。三七多糖的Molish反应呈阳性,多糖酸水解产物的薄层色谱呈现出3个斑点,分别与葡萄糖、半乳糖和阿拉伯糖相对应。微波辅助提取对三七多糖的提取效果明显优于传统提取,其机理可能是微波处理促进了三七样品的水化和溶胀过程,使样品结构变得松散、膨胀,从而促进了多糖从样品中扩散和溶出。三七多糖主要由葡萄糖、半乳糖和阿拉伯糖3种单糖构成,pH值对其溶解性影响较大。     

满足各种矿岩配车需求的露天矿车流规划模型

将汽车运输露天矿的运输设备与物料匹配关系分为统一运输、独立运输、组合运输3种类型,分析了难度最大的组合运输的车流特点,并充分考虑统一运输、独立运输的兼容性,提出了满足各种矿岩配车需求的通用车流规划数学模型.讨论了模型在3种类型下的应用差别,论述了简化模型计算步骤及提高模型计算速度的办法.实验结果不仅验证了模型的通用性,而且还证明在卸矿点与装岩点或卸岩点与装矿点的距离较近时,矿岩混运具有明显优势,对露天矿车流规划具有评价和指导价值.     

海南省松涛水库流域生活垃圾产生特征和现状

为了解海南省松涛水库流域生活垃圾的产量、组分特征和分布现状,对松涛水库流域白沙县雅叉镇和白沙农场生活垃圾清运量、回收率和清运率等进行了调查和采样分析,以及在农村典型的自然村设置生活垃圾收集设施,定时收集分析.结果表明:松涛水库流域城镇、农场、农村生活垃圾的人均产量分别为0.74、0.61、0.16 kg*d-1;生活垃圾平均回收率为10.15%,农村地区的回收率低于城镇;生活垃圾以易降解有机组分为主,玻璃组分含量较高,且不含有害固体废弃物.该研究将为松涛水库流域生活垃圾治理规划、综合利用和处理处置提供依据.     

长沙市商业街区单向交通组织的适应性评价

城市单向交通作为缓解城市交通拥堵问题的有效途径,在各大城市得到了广泛的应用,但是商业街区单行线的设置也产生了诸多负面影响.在分析城市商业街区交通组织中存在的主要问题的基础上,运用模糊综合评价法,对长沙市商业街区单向交通组织的商业适应性进行评价.认为城市交通管理部门应该从全局把握,慎重考虑单行线设置的必要性和可行性,使单行线设置的正面效应高于负面影响.对于商业利益的主体来说,应积极主动采取一定的措施来降低单行线的负面影响,适应商业新格局.     

基于优先级的航班到达调度算法

随着空中交通流量的迅猛增长,终端区空中交通拥堵以及由此导致的航班延误现象日益突出,甚至危及航空安全,航运效益也随之受到巨大的损失。作为终端区流量管理的核心,航班到达调度旨在为终端区待着陆的航班安排合理的着陆顺序和降落时刻,在确保安全的前提下提高进港航班运行效率。基于优先级思想,文章提出了PBSA和PBSA-CPS两种航班到达调度算法,并引入约束位置交换概念,以提高调度结果对于管制员的可操作特性。最后以首都机场为例进行了仿真,并与现行的先到先服务算法FCFS进行了对比。仿真结果表明,通过对航班赋予相应的优先级,有助于优化调配到达航班队列的降落时隙分配结果,提高终端区运行效率,减少延误损失。     

基于判别分析的高速公路交通安全实时评价指标

为了实时评价交通流变化对高速公路交通事故风险的影响,利用高精度交通流数据建立了高速公路交通安全实时评价指标.提取了美国加州I-880 N高速公路上采集间隔为30 s的实时交通流数据和事故数据,采用Fisher判别分析方法建立交通流参数的线性组合,以判别危险交通流状态.该线性组合被定义为高速公路交通安全实时评价指标,当该指标小于0时,代表危险交通流状态,有发生交通事故的风险;当该指标大于0时,代表正常交通流状态,没有发生交通事故的风险.采用条件logistic回归模型进一步研究了该指标与交通事故风险之间的定量关系.研究结果表明,该指标预测事故的精度为65.7％.另外,该指标每减小1个单位,交通事故风险将提高1.8倍.