WO2020248511A9 - 一种基于运行时模型实现对终端应用控制的方法 - Google Patents

一种基于运行时模型实现对终端应用控制的方法 Download PDF

Info

Publication number
WO2020248511A9
WO2020248511A9 PCT/CN2019/119271 CN2019119271W WO2020248511A9 WO 2020248511 A9 WO2020248511 A9 WO 2020248511A9 CN 2019119271 W CN2019119271 W CN 2019119271W WO 2020248511 A9 WO2020248511 A9 WO 2020248511A9
Authority
WO
WIPO (PCT)
Prior art keywords
utilization
model
run
basis
control over
Prior art date
Application number
PCT/CN2019/119271
Other languages
English (en)
French (fr)
Other versions
WO2020248511A1 (zh
Inventor
张颖
黄罡
蔡华谦
刘譞哲
Original Assignee
北京大学
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by 北京大学 filed Critical 北京大学
Publication of WO2020248511A1 publication Critical patent/WO2020248511A1/zh
Publication of WO2020248511A9 publication Critical patent/WO2020248511A9/zh

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/30—Creation or generation of source code
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for program control, e.g. control units
    • G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
    • G06F9/44—Arrangements for executing specific programs
    • G06F9/448—Execution paradigms, e.g. implementations of programming paradigms
    • G06F9/4482—Procedural

Landscapes

  • Engineering & Computer Science (AREA)
  • Software Systems (AREA)
  • Theoretical Computer Science (AREA)
  • General Engineering & Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Stored Programmes (AREA)
  • Control Of Eletrric Generators (AREA)
  • Feedback Control In General (AREA)

Abstract

一种基于运行时模型实现对终端应用控制的方法，通过定义运行时模型上的操作以及模型片段在堆、栈区域影响的等价性，实现了复杂的应用行为模型的分解，可操作的模型片段，并基于分解的模型片段，建立行为模型与应用状态和应用代码的因果关联，实现了在终端应用运行时对其应用行为的指令级别的控制。
PCT/CN2019/119271 2019-06-10 2019-11-18 一种基于运行时模型实现对终端应用控制的方法 WO2020248511A1 (zh)

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
CN201910498732.0 2019-06-10
CN201910498732.0A CN110362363B (zh) 2019-06-10 2019-06-10 一种基于运行时模型实现对终端应用控制的方法

Publications (2)

Publication Number Publication Date
WO2020248511A1 WO2020248511A1 (zh) 2020-12-17
WO2020248511A9 true WO2020248511A9 (zh) 2021-02-11

Family

ID=68216893

Family Applications (1)

Application Number Title Priority Date Filing Date
PCT/CN2019/119271 WO2020248511A1 (zh) 2019-06-10 2019-11-18 一种基于运行时模型实现对终端应用控制的方法

Country Status (2)

Country Link
CN (1) CN110362363B (zh)
WO (1) WO2020248511A1 (zh)

Families Citing this family (6)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN110362363B (zh) * 2019-06-10 2021-03-12 北京大学 一种基于运行时模型实现对终端应用控制的方法
CN110347448B (zh) * 2019-06-10 2021-02-12 北京大学 一种构造终端应用行为的运行时模型的方法
CN111552524B (zh) * 2020-05-06 2023-10-13 Oppo（重庆）智能科技有限公司 一种插件加载方法、装置及计算机可读存储介质
CN111953686B (zh) * 2020-08-12 2022-11-29 浙江互灵科技有限公司 一种应用于智能化基站的多协议自适应方法
CN111966429B (zh) * 2020-08-21 2022-07-08 支付宝(杭州)信息技术有限公司 小程序处理方法及装置
CN116975159B (zh) * 2023-09-25 2024-02-23 云筑信息科技(成都)有限公司 一种增量数据同步的处理方法

Family Cites Families (7)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN103473400B (zh) * 2013-08-27 2016-12-28 北京航空航天大学 基于层次依赖建模的软件fmea方法
US9389890B2 (en) * 2014-03-27 2016-07-12 Microsoft Technology Licensing, Llc Hierarchical directives-based management of runtime behaviors
CN109240666B (zh) * 2018-06-22 2020-08-25 北京大学 基于调用栈和依赖路径的函数调用代码生成方法及系统
CN109189469B (zh) * 2018-06-22 2020-08-28 北京大学 基于反射的安卓应用微服务化方法及系统
CN109189374B (zh) * 2018-06-22 2020-08-28 北京大学 基于对象引用链的对象构造代码生成方法及系统
CN110362363B (zh) * 2019-06-10 2021-03-12 北京大学 一种基于运行时模型实现对终端应用控制的方法
CN110362301B (zh) * 2019-06-10 2021-04-09 北京大学 一种终端应用行为反射的处理方法

Also Published As

Publication number Publication date
CN110362363A (zh) 2019-10-22
CN110362363B (zh) 2021-03-12
WO2020248511A1 (zh) 2020-12-17

Similar Documents

Publication Publication Date Title
WO2020248511A9 (zh) 一种基于运行时模型实现对终端应用控制的方法
JP5877867B2 (ja) 複数台のロボットのシミュレーション装置
SG10201804845PA (en) Memory controller and operating method thereof
WO2015172034A3 (en) Automation operating and management system
AU2003258738A1 (en) Method of operating an automated land maintenance vehicle
WO2022031726A3 (en) System and method for carbon dioxide reactor control
WO2020239184A9 (en) Control of a multipurpose robot arm
WO2009114309A3 (en) Apparatus for optimizing a chemical looping combustion plant using a model predictive controller
TW200710729A (en) Execution control during program code conversion
WO2007066271A3 (en) Resource control
GB201118978D0 (en) Storage device erase command having a control field controllable by a requestor device
TW200615446A (en) Apparatus and method for controlling a plant
WO2020033415A3 (en) Augmented loader controls
CN104571993A (zh) 粒子系统的处理方法、显卡和移动应用平台
RU2013115761A (ru) Способ управления компрессором
ATE463770T1 (de) Gerätetreiber für feldgeräte der prozessautomatisierungstechnik
RU2017116232A (ru) Адаптивное управление транспортным средством
JPS5417421A (en) Exhaust gas recycle controller
TW200701079A (en) Interrupt control system and method
JP2008242572A (ja) 制御処理シミュレーション装置
CN113771031B (zh) 一种机器人自适应调速方法及多关节机器人
CN111965980B (zh) 一种机器人自适应反馈学习控制方法、控制器及机器人
CN104615349A (zh) 一种信息处理的方法及电子设备
JP2017220240A5 (zh)
MX2022013958A (es) Metodo y sistemas para la provision de un modelo de simulacion de una maquina giratoria electrica.

Legal Events

Date Code Title Description
121 Ep: the epo has been informed by wipo that ep was designated in this application

Ref document number: 19932343

Country of ref document: EP

Kind code of ref document: A1

NENP Non-entry into the national phase

Ref country code: DE

122 Ep: pct application non-entry in european phase

Ref document number: 19932343

Country of ref document: EP

Kind code of ref document: A1