服务组合的代数规约

现有的服务组合描述途径不能有效地验证和测试组合正确性,针对这一问题,提出了一个代数规约方法,引入规约包机制扩展面向服务代数规约语言SOFIA以支持该方法。用代数规约单元描述服务系统中的各种实体,其中基调部分定义实体的语法和结构,公理部分定义其功能和行为特性。与一个服务相关的规约单元封装在一个包中或拆分在几个相互引用的包中,每个包形成一个命名空间。当多个服务组合在一起时,以这些服务的代数规约包为基础,一方面抽象地定义组合服务的交互过程和语义,形成描述服务组合实现方式的实现规约包;另一方面抽象地定义组合服务对外接口及其功能语义,形成描述组合服务需求的抽象规约包。在实现规约和抽象规约的双元结构基础上,进一步定义了实现规约和抽象规约之间必须满足的“实现”关系,证明了满足实现关系可以保证实现的正确性,从而为服务组合的可验证性和可测试性奠定了理论基础。最后结合实例分析阐述了用代数规约描述服务组合的抽象性、可表达性和可验证性。     

双笼翻板施工升降机进楼层存在问题案例分析

施工升降机的布置是一项技术性较强的工作,吊笼进入楼层的方式有是否使用脚手架平台之异。以某住宅项目为例,分析了双笼翻板施工升降机构造与外脚手架类型、建筑物平面与立面造型、施工进度动态管理等方面遇到的问题,提出了缩短附着架长度、调整外脚手架杆件、变更施工方式等解决方案,为今后类似条件下的施工提供借鉴参考。     

基于有向无环图支持向量机的水轮发电机组故障诊断模型

提高水轮机组的状态监测与故障诊断系统的准确性和及时性,对电力系统的安全运行具有重大意义。针对神经网络收敛速度慢、容易陷入局部最优解等不足,提出了一种基于有向无环图支持向量机方法的水轮发电机组故障诊断方法。该方法能有效解决小样本、高维数、非线性等问题,从而能在较短的时间内准确地诊断故障。     

助剂改性聚丙烯耐候性研究进展

近年来,聚丙烯老化改性的研究引起了广泛的关注,其中包括有机助剂改性和无机助剂改性。综述了聚丙烯老化改性的几种常用方法、国内外发展情况以及老化改性的机理等内容。     

无机阻锈剂的组分设计

选用NaNO2,Ca(NO2)2,以及可以消除亚硝酸盐对混凝土性能负面影响的Z盐设计阻锈剂的组分,并将其与减水剂、缓凝剂、引气剂进行复合,得到阻锈性能较佳,施工性能良好的阻锈剂,并且对混凝土的碳化、氯离子渗透等耐久性能有一定的提高。     

基于红外传感器ST188的自动循迹小车设计

设计了一种以红外传感器ST188、AT89S51为控制核心的自动循迹小车,系统采用单片机AT89S51产生PWM波调控小车速度,红外传感器ST188对路面黑色轨迹进行检测,并将检测到的信号反馈给微控系统AT89S51,AT89S51由采集到的信号发出指令,控制小车电机驱动电路以调整行驶方向,从而使小车能够沿着黑色轨迹自动行驶,实现小车自动循迹的目的.     

天线的电磁兼容技术

首次提出了"天线的电磁兼容性"问题.对天线电磁兼容的基本概念和工程研制进行了较为充分的阐述.探讨了表征和测量天线电磁兼容性的各项技术参数和技术指标.在海、陆、空、天、弹等载体上的天线电磁兼容的研究基础上,总结归纳出了天线电磁兼容的主要设计技术.例举了某机载天线电磁兼容的工程设计.实测结果表明,该技术具有一定的实用性和有效性.     

空对空多目标攻击载机攻击航线求解逻辑

介绍了空对空多目标攻击载机攻击航线的基本要求、航线选择和求解方法,以及载机航线、瞄准偏差、操纵指令的计算逻辑图.同时还介绍了多目标攻击"可能攻击扇形区"交集的概念和在载机航线求解中的应用等问题.     

超声波测距系统接收电路研究

介绍了超声波测距系统原理,针对超声波测距系统中常用的40 kHz超声波信号,提出了超声波接收电路设计原则,采用了集成运放OP27构成的同相放大器、仪表放大器、CX20106A红外接收芯片3种方案来检测超声波信号,设计了3种方法对应的接收电路,分析了各自的特点。