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文档操作的自动判卷系统。学生答题完后计算机可自动批阅并显示分数和正确解,根据得分情况给出相应的学习建议。该系统具有较高的判卷准确性,可以成为学习者平时练习和模拟考试的辅助工具。     

利用C#Web Service应用程序的开发

通过一个Windows客户端/服务器程序,对数据库Web服务的调用进行了实例介绍。     

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

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

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

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

Optimizing nonlinearity of piezoresistive pressure sensors by an asymmetric Wheatstone bridge

Microsystem Technologies - Since nonlinearity is critical to silicon piezoresistive pressure sensors, this paper combined theoretical analysis and simulation to study the effect of changing the...