计算机软件安全检测技术与应用

近年来,我国网络市场得到了逐步的强大,计算机软件的安全问题得到了越来越广泛而深入的关注,如何检测、防范软件的漏洞,保证信息的安全,不但成为我国当前需要重点面对的问题,还与我们每个公民的工作、生活和学习息息相关。基于此,该文首先阐述了计算机软件所面临的威胁与安全漏洞的种类,然后给出了计算机软件中安全漏洞的检测技术,最后从多个角度讨论了检测技术的应用问题。     

大伙房水库藻类简析

介绍了藻类的基本特征、主要分类和生活习性,通过对大伙房水库藻类监测的数据进行分析归纳,总结藻类的变化因素以及对生态环境的影响。     

Algorithms for checking channel passing in web service choreography

Web service choreography describes global mod- els of service interactions among a set of participants. For an interaction to be executed, the participants must know the required channel（s） used in the interaction, otherwise the ex- ecution will get stuck. Since channels are composed dynami- cally, the initial channel set of each participant is often insuf- ficient to meet the requirements. It is the responsibility of the participants to pass required channels owned （known） by one to others. Since service choreography may involve many par- ticipants and complex channel constraints, it is hard for de- signers to specify channel passing in a choreography exactly as required. We address the problem of checking whether a service choreography lacks channels or has redundant chan- nels, and how to automatically generate channel passing based on interaction flows of the service choreography in the case of channel absence. Concretely, we propose a sim- ple language Chorc, a channel interaction sub-language for modeling the channel passing aspect of service choreography. Based on the formal operational semantics of Chore, the algo- rithms for static checking of service choreography and gen- erating channel passing are also studied, and the complexity results of algorithms are discussed. Moreover, some illus- trated service choreography examples are presented to show how to formalize and analyze service choreography with channel passing in Chorc.     

矿车立体调度及定位电控系统设计

大型煤矿矿车数量、类型较多,存在矿车出入库空间如何充分利用的问题。文章提出了一种矿车立体调度及定位电控系统的设计方案,给出了基于丝杠传动方式的矿车出入库立体调度及定位规划设计;结合该系统架构,介绍了运动控制器SIMATIC CU320的电控配置、PLC单元与现场检测单元的配置及系统的网络组态。调试结果表明,该系统实现了稳定、准确的矿车调度及定位,提高了车位利用率。     

曲沃县干旱灾害成因分析与对策研究

从曲沃县的干旱灾害概况入手,分析了曲沃县旱灾成因,提出了做好当前该县抗旱工作的主要对策措施。     

大底盘层间隔震结构抗震性能研究

随着我国城市化进程的加快,高层建筑已屡见不鲜,而大底盘塔式结构最为常见.由于大底盘和塔楼之间刚度和质量的突变,使其抗震性能明显降低,如何提高这类结构的抗震性能成为工程界需要解决的重要问题之一.目前,工程中普遍使用的方法是使用变形缝将塔楼与附属建筑分开,但这种做法不仅构造麻烦,而且也给结构的正常使用带来不便.本文研究通过...     

浅析人民币升值对广州市加工贸易出口的影响及对策

从人民币升值的大背景入手,对广州2005至2008年市加工贸易出口特点进行分析,以人民币汇率升值对广州市对外贸易的正反影响为例,从政府干预及政策支持和加工贸易出口企业的角度,提出广州加工贸易出口对应人民币升值的对策.     

基于多目标模糊优选理论的城市供水方案优选研究

以玉林市城市供水方案为例,通过综合分析,提出城市供水方案评价的8个特征指标,包括97%保证率可供水量、水质、输水距离、工程投资规模等4个定量指标和工程地形复杂程度、水源保护的难易度、对经济发展的影响程度、水源污染风险4个定性指标。采用德尔菲法(Delph i)将定性指标量化,并将量化后的定性指标和定量指标藕合,应用多目标系统模糊优选模型,从4个方案当中优选出最佳供水方案,取得了良好的应用效果。     

节点在线率和资源热度相关的P2P存储系统副本复制和修复策略

在半结构化的P2P存储系统结构下,副本是提高数据可用性的有效保证.本文结合资源所在节点的在线率和资源访问的频度来衡量所需要的资源副本数量.它较好地反映了高动态P2P网络中节点的行为特征,并据此设计了冗余数据修复策略.实验表明,设计的方法虽然占用了一定的维护带宽,但是网络中资源的可用率得到了显著提高.     

网格域间信任评估模型的研究

在网格域划分的基础上,提出一种域间信任关系评估模型,具有同时兼顾服务的上下文和信任的时衰性的特点,并针对网格环境中的恶意节点和恶意推荐行为,给出相应的应对机制。实验表明,该模型能够有效地解决网格环境中的恶意行为,对恶意节点进行惩罚。