一种支持最终用户探索式组合服务的方法

服务组合是构建面向服务、松耦合、高适应性的应用系统的主要途径.现行服务组合技术大多只适于构造需求明确、业务流程可预先定义的情况.然而,现实中存在大量需要边执行边探索、“摸着石头过河”式的问题求解形式.针对这类需求,结合网络化科研协作中的实际问题,提出一种最终用户可探索式服务组合的方法,重点讨论了探索式服务组合编程模型、服务推荐等关键问题.此外,从使用者角度对所提出的组合方法及其实现机制给予了定性分析和评价.     

基于OPS的计算流体力学软件多平台自动并行

当前高性能计算机体系结构呈现多样性特征,给并行应用软件开发带来巨大挑战.采用领域特定语言OPS对高阶精度计算流体力学软件HNSC进行面向多平台的并行化,使用OPS API实现了代码的重构,基于OPS前后端自动生成了纯M PI、OpenM P、M PI+OpenM P和M PI+CUDA版本的可执行程序.在一个配有2块I...     

基于Android的游戏化编程移动教学平台

传统移动教学平台设计多数采用个人计算机（Personal Computer,PC）端浏览器访问平台Web服务端,导致平台硬件运行的效率低和平台压力承受度较差,在并发访问用户数量较多的情况下,平台中央处理器（Central Processing Unit,CPU）使用率较高。针对该问题,引入Android服务端,以游戏化编程为例,提出了一种新的移动教学平台。首先,设计平台硬件性能参数,为平台的稳定运行提供良好的硬件环境。在此基础上,依据Android的分层架构,设计功能模块软件运行所需的网络,分别从平台教学功能设计和游戏化编程数据库建立两个方面完成教学平台软件设计。根据平台测试结果,新的教学平台在并发访问用户数量增加的情况下,对应的CPU使用率变化较稳定,未发生大幅度波动,平台压力承受度得到了显著提升。     

面向最终用户编程的服务虚拟化及其应用

随着Web服务的快速发展,如何实现最终用户编程从而达到应用的按需构造是迫切需要解决的问题。本文以“数字博物馆通用建设平台”项目为应用背景,对服务虚拟化方法进行了尝试,重点研究了虚拟化的运作机制,并基于服务虚拟化的流程给出相应算法。     

基于需求模型的最终用户编程软件开发

基于组件软件开发背景,探讨了软件开发方法的演进,提出了基于领域知识的需求模型方法.结合语义标注及语义匹配技术,给出了基于语义的用户需求到领域需求的映射,运用组件开发技术,给出了支持最终用户编程的基于知识的软件开发平台体系架构.     

面向最终用户的两级编程模型

为适应构造混搭应用时用户对数据的动态变化的需求,在电子数据表和数据流的基础上,提出了一种面向最终用户的两级编程模型,采用基于电子数据表的自上而下的构造模式和基于数据流的自下而上的自适应修改模式构造混搭应用,该方式不仅可以为用户提供电子数据表风格的数据呈现和编程方式,而且对数据流提供一组混搭修改机制支持用户快速撤销操作序列、更新组合应用以适应用户需求的变化,降低了构造混搭应用的复杂度,实验结果表明,该编程模型提高了混搭应用的效率.     

MM:面向最终用户的Mashup移动应用开发环境

MM是一款面向最终用户的数据整合应用开发平台,它能够使没有计算机背景的普通用户利用网络上的各种资源,通过简单的可视化操作,快速地构建个性化的数据整合应用,并且可以通过手机随时随地方便地使用这些应用。重点描述了平台的框架,对非专业用户建模的支持,以及数据整合引擎的设计;提出了通过个人电脑开发、手机订制使用的Mashup应用模式;基于原型系统的案例分析验证了平台的可用性。     

基于Java的“连连看”游戏

"连连看"是一款风靡网络的小游戏,版本也非常多,使用Java语言实现了一个单机版的连连看游戏,以期读者能通过游戏的制作来学习Java语言,达到事半功倍的效果。     

一种高级智能合约转化方法及竞买合约设计与实现

智能合约是运行在区块链上的数字协议,智能合约的开发涉及计算机、金融、法律等多个领域,近年来高级智能合约语言已被提出用于解决不同领域人员阅读、交流与协同开发难的问题,然而上述语言与可执行智能合约语言之间仍缺少有效的转化方法.针对这一问题,本文设计了一种SPESC到目标程序语言(Solidity)的转化规则,并提出了一种包...     

基于领域相关语言的拒绝服务攻击描述语言设计

鉴于抗攻击测试对攻击操作可信、可控、有效的基本要求,面向拒绝服务(DoS)攻击实现,基于领域相关语言(DSL)的思想,设计简单快速实现测试用例的DoS攻击描述语言(DASL)。通过定义攻击元,并基于对样本的分析设计构造语言的领域相关语法元素;利用LIBNET实现语言的语义功能函数;以ANTLR为支撑,设计实现语言的解释环境。实验验证表明,利用该语言构建DoS攻击,在保证功能有效、过程可控的前提下,能够大幅降低DoS攻击开发过程的复杂程度,减少代码编写量,提高开发效率。该语言的建立,确保了抗攻击测试过程中DoS攻击操作的基本要求,为实施DoS攻击渗透测试的提供了有力保障。     

Agent应用系统模板语言研究

为了有效地构造可靠、便于维护的多Agent系统（MAS），根据Grammarware的工程化思想与产生式编程技术，以基于黑板的单Agent结构为基础，提出一种Agent模板语言（APL）。通过一个企业业务过程管理（BPM）场景，说明在应用中如何使用APL描述Agent中针对具体应用的数据类型、知识源组件等，并由解析器将APL转换为JADE上的执行代码，进而实现多Agent系统的快速构建，实现MAS自顶向下的开发，从而提高系统开发的效率，增强系统的灵活性与可复用性。     

基于XML的嵌入式异构域图编程数据的描述方法

针对目前图编程设计软件对界面的形式化描述不规范而导致的数据交互能力不强的问题,提出了一种基于XML的嵌入式异构域图编程数据标准描述方法。以IEC61131-3和IEC61499标准为基础,将图元表示为表现型和执行型部分,抽象出图编程数据标准描述模型及图元构件关系。通过对其形式化定义与描述,为图编程数据描述文件的交互提供转换基础,提高图编程数据的交互能力。可行性和有效性得到了实验验证。     

面向自然语言处理任务的预训练模型综述

近年来,深度学习技术得到了快速发展.在自然语言处理(NLP)任务中,随着文本表征技术从词级上升到了文档级,利用大规模语料库进行无监督预训练的方式已被证明能够有效提高模型在下游任务中的性能.首先,根据文本特征提取技术的发展,从词级和文档级对典型的模型进行了分析;其次,从预训练目标任务和下游应用两个阶段,分析了当前预训练模...     

Towards robust assembly with knowledge representation for the planning domain definition language (PDDL)

The effort described in this paper attempts to integrate agility aspects in the “Agility Performance of Robotic Systems” (APRS) project, developed at the National Institute of Standards and Technology (NIST). The new technical idea for the APRS project is to develop the measurement science in the form of an integrated agility framework enabling manufacturers to assess and assure the agility performance of their robot systems. This framework includes robot agility performance metrics, information models, test methods, and protocols. This paper presents models for the Planning Domain Definition Language (PDDL), used within the APRS project. PDDL is an attempt to standardize Artificial Intelligence planning languages. The described models have been fully defined in the XML Schema Definition Language (XSDL) and in the Web Ontology Language (OWL) for kit building applications. Kit building or kitting is a process that brings parts that will be used in assembly operations together in a kit and then moves the kit to the area where the parts are used in the final assembly. Furthermore, the paper discusses a tool that is capable of automatically and dynamically generating PDDL files from the models in order to generate a plan or to replan from scratch. Finally, the ability of the tool to update a PDDL problem file from a relational database for replanning to recover from failures is presented.     

Decentralised zero-sum differential game for a class of large-scale interconnected systems via adaptive dynamic programming

In this paper, a novel decentralised differential game strategy for large-scale nonlinear systems with matched interconnections is developed by using adaptive dynamic programming technique. First, the Nash-equilibrium solutions of the corresponding isolated differential game subsystems are found by appropriately redefining the associated cost functions accounting for the bounds of interconnections. Then, the decentralised differential game strategy is established by integrating all the modified Nash-equilibrium solutions of the isolated subsystems to stabilise the overall system. Next, the solutions of Hamilton–Jacobi–Isaaci equations are approximated online by constructing a set of critic neural networks with adaptation law of weights. The stability analysis of each subsystem is provided to show that all the signals in the closed-loop system are guaranteed to be bounded by utilising Lyapunov method. Finally, the effectiveness of the proposed decentralised differential game method is illustrated by a simple example.     

Pearl at the age of five: Case study of development and application of a common high order realtime programming language

The Programming language PEARL for industrial process automation has been developed since 1969. After extensive studies its final definition was frozen in 1976. Since then considerable experience has been gained with some 25 implementations and 200 applications.With PEARL at the age of three, these experiences are offered as a case study in this paper.The paper starts with a characterization of PEARL by indicating the requirements for such a tool, by classifying it with respect to other language types and by pleading for embedded realtime features. As PEARL has been submitted to ISO for international standardization, the question of how it meets the requirements set up by ISO is more thoroughly answered in Appendix A.The report of experience is given separately for implementation, application, and standardization with as much quantitative results as possible, including compiler behaviour, application areas, and economical benefit.For readers not yet familiar with PEARL a tutorial introduction by means of a simple but completely programmed control problem is given in Appendix B.     

基于可视化程序设计语言的编译系统

采用面向对象技术设计可视化程序设计语言的编译系统,通过对复杂的可视化图片语法进行分析,将各语法现象以语法单元类的形式进行抽象分类,提出了编译器－编译器的设计策略,给出了从可视化图片设计语言到伪指令代码的解决方法。主要研究在面向对象的编辑环境中如何实现满足硬件设备控制器的稳定、高效的编译系统。通过将可视化程序语言分析器(VPLPG)和小型的类C编译(LCC)器配合使用最终实现可视化程序设计语言的编译系统。     

基于深度自适应动态规划的孤岛主动配电网发电控制与优化一体化算法

随着多种分布式新能源的并网,如风电与光伏发电、生物质能发电、储能与电动汽车等,传统情况下孤岛配电网的发电控制方法已很难达到高品质频率稳定控制的要求.为解决此问题,本文提出了一种新颖的深度自适应动态规划算法.该算法将自适应动态规划算法中的神经网络替换为机器学习领域中的深度神经网络,并在其中添加深度模型预测网络.所提算法能一次性完成传统模式下"发电控制算法+指令优化分配算法"共同完成的工作.最后,为验证深度自适应动态规划算法的鲁棒性,设计了多种配电网的仿真实验,即正常情况、"即插即用"启停机情况、通讯故障情况、全天扰动仿真情况、变拓扑结构的孤岛配网情况和变参数模型的仿真,设置的总仿真时长达25年.仿真结果验证了所设计的深度自适应动态规划算法有效性、可行性与强鲁棒性.