Complexity of synthesis of composite service with correctness guarantee

How to compose existing web services automatically and to guarantee the correctness of the design (e.g. temporal constraints specified by temporal logic LTL, CTL or CTL*) is an important and challenging problem in web services. Most existing approaches use the process in conventional software development of design, verification, analysis and correction to guarantee the correctness of composite services, which makes the composition process both complex and time-consuming. In this paper, we focus on the synthesis problem of composite service; that is, for a given set of services and correctness constraint specified by CTL or CTL* formula, a composite service is automatically constructed which guarantees that the correctness is ensured. We prove that the synthesis problem for CTL and CTL* are complete for EXPTIME and 2EXPTIME, respectively. Moreover, for the case of synthesis failure, we discuss the problem of how to disable outputs of environment (i.e. users or services) reasonably to make synthesis successful, which are also proved complete for EXPTIME and 2EXPTIME for CTL and CTL*, respectively.     

贝加莱ACOPOSmulti在奇瑞6关节机器人控制系统中的应用

本文关于贝加莱ACOPOSmulti伺服系统和机器人软件库在奇瑞6关节机器人研发中的应用。介绍了机器人机械系统的组成和性能参数,重点描述了以APC820工控机和ACOPOSmuhi伺服驱动器为核心。基于EthernetPOWERLINK工业实时以太网和AutomationStudio集成软件开发平台的机器人控制系统,并讨论了通过MATLAB／Simulink的代码自动生成技术、ACOPOSmuhi驱动系统的负载惯量前馈技术等关键技术环节。     

立铣加工过程中的微元铣削力建模分析

针对单纯通过高速切削技术制造某些大型飞机零件过程中,存在难以控制的加工变形和较强表面残余拉应力分布等突出问题,以直齿和螺旋齿立铣加工过程为研究对象,基于微元切削机理,通过对刀齿铣削过程的分析,建立动态铣削加工仿真模型,导出铣削面积、铣削力、主轴扭矩、铣削功率与切削用量的关系.数值模拟结果与试验值较吻合,表明该模型可以实现动态铣削力预测,优化切削用量.     

一种相容决策表的属性值与属性约简方法

针对相容决策表,另辟一种数据约简思路,与传统数据约简方法不同的是,本文方法考虑属性值约简与属性约简之间的关联,该方法首先进行属性值约简,然后再进行属性约简,本文并给予了充分的证明,而普通的方法并没有考虑它们之间的联系,并有许多冗余的比较操作。     

基于VBA技术的Word自动判卷系统的实现

介绍一种用VBA技术实现对Word文档操作的自动判卷系统。学生答题完后计算机可自动批阅并显示分数和正确解,根据得分情况给出相应的学习建议。该系统具有较高的判卷准确性,可以成为学习者平时练习和模拟考试的辅助工具。     

中职编程教学培养学生能力策略谈

从学生学习计算机编程时能力的重要性出发,介绍了教师在进行编程教学时必须注重学生几种能力的培养,并阐述了教学过程中可以采用的几种教学方法。     

高校计算机公共课教学改革探索

计算机公共课作为非计算机专业本科学生的公共基础课程核心之一,在教学组织、教学内容、教学方法、实践环节等方面还存在很多亟待解决的问题。针对目前存在的问题,结合相关的指导性文件,探讨解决的思路及对策。     

基于MODIS数据的浙江省植被覆盖度时空变化分析

以浙江省为研究区,基于2009—2018年MODIS_NDVI数据,采用MVC最大值合成法获取逐月NDVI值,利用改进的像元二分模型估算2009—2018年植被覆盖度,结合DEM数据及《浙江省林地保护利用规划》(2010—2020年)中的林地分区,分析浙江省植被覆盖度的时空变化情况。结果表明:①2009—2018年浙江省植被覆盖度总体处于高盖度级别,存在缓慢降低的趋势。②2009年和2018年的植被覆盖度空间格局基本一致,即浙南山地区、浙西山地丘陵区>浙中丘陵盆地区、浙东沿海丘陵海岛区>浙北平原区;植被覆盖度变化以稳定为主,占总面积的62.79%,退化区域面积大于改善区域面积,退化趋势以浙北平原区最为严重,占总面积的6.73%,改善趋势以浙南山地区最为明显,占总面积的4.87%。③各地形因子范围内的植被覆盖度变化均相对稳定;不同高程范围内,明显退化区域在高程100 m以下,明显改善区域在高程200 m以上;不同坡度范围内,退化最明显区域为坡度[0°,5°)范围,明显改善区域为坡度15°以上;不同坡向间,植被变化的差异并不明显。研究成果可为该地区的生态环境建设和水土流失防治提供理论依据。     

气垫式调压室热力学特性及其对围岩应力变形的影响

为了解气垫式调压室气室内压缩气体温度和压力变化规律及其对调压室围岩的应力变形特性的影响,基于水位波动方程和能量守恒方程,提出了考虑传热影响的调压室压缩空气热力学过程的计算模型,并进行合理性分析。采用裂隙岩体单向热力耦合数值方法,将调压室内空气的压力和温度作为瞬时变化边界条件,对调压室围岩的应力变形特性进行了深入分析。结果表明：在调压运行工况条件下,调压室内的空气压力和温度将发生大幅度波动变化,进而会导致围岩温度也出现相应的改变,且围岩温度呈现出显著的不均匀分布特点;节理裂隙处的岩石温度变化相对较大,且出现了较大的拉应力。     

基于SPOT-5多光谱影像的矿区塌塘水体提取方法研究

针对基于遥感影像的水体提取方法存在水体提取不完整和误提的现象,提出了一种基于SPOT-5多光谱影像的矿区塌塘水体提取方法。在利用波段合成增加一个可用波段的基础上对已有的水体提取方法进行适当的改进,并基于决策树分类器和改进后的方法进行矿区水体的四级提取,保证了水体提取的完整性,同时减少了误提率;最后利用实测数据对水体提取的精度进行了评定。试验结果表明,基于决策树分类器的水体提取方法具有较高的精度,能满足矿区实际应用的需要。