实施整合型贯标建设和谐工地

1 引言 随着水利水电建筑工程不断向坝体高、规模大、结构复杂及工期要求紧、质量安全要求高的方向发展,施工的复杂性、难度性和风险性不断增加.加之能源基础建设的大规模展开,施工的点和面呈广泛性分布,施工企业仅靠自身的力量根本不能满足施工需要,必须依靠外来协作力量.同时随着改革开放的不断深入,劳动力市场更加活跃,施工队伍的来源日趋多样性,使用更新变化的频率不断加速.工程建设与工程所在地居民安全、生活环境之间的关系愈加密切,各种人文、社会和环境方面的矛盾和问题时常出现.     

Wavelength tuning of InAs/InAlGaAs quantum-dash-in-well laser using postgrowth intermixing

The first demonstration is reported of a bandgap tuned laser using InAs/InAlGaAs quantum-dash-in-well structures on an InP substrate, which utilises impurity-free induced intermixing. The intermixed laser exhibits comparable light-current characteristics after the bandgap is postgrowth-tuned by 100 nm     

"关于Vague集的模糊熵及其构造"的注记

讨论了文[1，2]中将vague集变换为fuzzy集的转换函数的作用，指出了vague集就是一类特殊的L-模糊集，分析了文[1，2]中提出的vague集的模糊熵概念的不足，在此基础上，基于对不确定性信息处理的背景，提出了一种模糊正熵和模糊负熵的概念，并讨论了它们的性质。     

定位—运输路线安排问题的遗传算法研究

定位—运输路线安排问题(LRP)是分销网络设计和物流管理决策中的难题。由于LRP是NP-complete问题,对它的求解方法大多局限于将其分解为定位—分配问题和车辆运输路线安排问题,或者是基于这种分解思想。文章通过对遗传算法(GA)中树编码、免疫遗传算法以及GA阶段进化策略深入地分析和研究,构建了定位—运输路线安排问题的遗传算法,它与以往算法最大的不同点就是并没有基于两阶段求解的思路,而是将LRP的解看作一个整体,从而减小了在进化过程中停滞于局部最优解的概率,提高了GA的计算效率和计算速度。文中详细叙述了针对LRP问题的树编码、交叉、变异、爬山、免疫、合并小路线等各种算子设计过程,并利用一实例来验证算法的可行性。该算法为LRP问题以及相关大规模组合优化问题的求解开辟了一个新的思路,同时也为GA中树编码在实际中应用做了有益的尝试。     

一种电网调度中心的故障信息识别方法

故障信息的误发，误传及丢失是影响电网调度中心运行人员准确识别故障的重要因素，并可能导致事故的扩大。文中介绍了一种实现故障信息数据滤波的方法，该方法将SCADA系统采集的数据作为数据基，建立动态数据库，以时间为索引，运行方式状态为参照知识库，生成剔除了不良信息的，可用以进行故障识别的动态数据链，文中描述了该方法的理论依据和实现方法。     

短程硝化-反硝化技术经济特性分析

在试验的基础上，从曝气量、外加碳源量、反应器容积等方面对短程硝化-反硝化工艺的优点进行了分析讨论，结果证明短程硝化-反硝化是一种高效、节能的工艺，对现有的生物脱氮工艺的改造有重要的实用价值。     

循环流化床锅炉点火装置与锅炉的安全运行

循环流化床锅炉点火启动时的燃烧事故时有发生，甚至危及设备的安全，与其点火装置的设计缺陷有直接关系。通过对点火装置存在问题以及所造成的事故类型分析，提出改进对策，供设计运行人员参考     

提高小麦精少量播种技术应用效果的方法

根据农机推广工作的实践,分析了目前小麦精少量播种技术应用中存在的具体问题,并探讨总结了提高其技术应用效果的方法,对指导广大农机户科学使用机具具有一定的指导作用.     

基于博弈论的MAS任务分配模型及算法研究

以博弈论为基础,引入Agent能力的概念,提出了一种MAS任务分配模型,同时给出了MAS任务分配和资源竞买的详细算法,最后用实例表明了本模型的合理性和算法的有效性.     

Hierarchical modeling and analysis of embedded systems

This paper describes the modeling language CHARON for modular design of interacting hybrid systems. The language allows specification of architectural as well as behavioral hierarchy and discrete as well as continuous activities. The modular structure of the language is not merely syntactic, but is exploited by analysis tools and is supported by a formal semantics with an accompanying compositional theory of refinement. We illustrate the benefits of CHARON in the design of embedded control software using examples from automated highways concerning vehicle coordination.