一种基于进程代数的Android组件行为形式化描述方法

已有多种技术和方法用于Android恶意应用的检测,但关于应用行为形式化描述的研究仍有待完善.本文基于π演算提出一种使用进程代数从组件层次描述Android应用及组件行为的形式化描述方法.首先给出组件行为的基本语义和组件行为的定义,并给出了组件行为相应的演化规则,然后给出了组件交互行为的形式化描述,并应用于一个案例表明了方法的正确性和有效性,最后给出了基于模拟机制的行为判定规则,为应用行为的分析和判定提供有效支持.

面向流水型设备的组件行为协同自动化

现有的面向自动化设备的建模工具不能完全具备直接描述设备行为、行为可推导以及领域友好性等3个基本特征,业界亟待出现一种面向组件行为协同的自动化代码生成工具.为此,基于实体流模型和自动规划技术,文中提出了一种面向流水型设备的组件行为协同自动化方法,并证明了所生成的协同组件行为的操作序列满足物料安全加工条件,展示了一个中型银行卡个人化设备中的组件行为协同自动化的案例.由示例可见,生成的序列既可便于映射物理操作指令,又可观察系统状态变化以利于调试,有效地提高了流水型设备的控制系统的开发效率和可靠性.

利用.NET开发IE二进制行为组件

概述了IE二进制行为组件的工作原理,根据其COM接口原始语义,针对.N ET平台的特点进行了重新定义,在此基础上阐述了利用.N ET开发IE二进制行为组件的一般方法,并介绍了在H TM L页面文件中使用IE二进制行为组件的方法。

基于行为组件的闭环仿真实验实时评估系统设计及实现

实验评估是闭环仿真实验研究的关键环节。针对常规的事后评估方法属于静态评估、耗时较长、结论不全面等问题,采用评估行为组件建模、多引擎协同耦合等技术,设计并实现了基于行为组件的实时评估系统。该系统能够对人不在环的闭环仿真实验各种瞬态和过程数据进行采集,并进行实时分析、信息对比和指标动态分析,为有效解决闭环仿真实验评估问题提供了一种新的方法途径和工具支持。实验验证与实例应用表明该技术可行有效,当调整仿真加速比、增加仿真实体、改变实验想定、扩展仿真规模时,系统依然能够适应不同情况稳定运行,在闭环仿真实验评估方面具有较好的应用前景。

认识DHTML中“行为”组件

在微软IE 5.0版本的浏览器发布以前,网页编程中面对的最大挑战就是不能轻易地创建组件,以达到代码重用和多页面共享的目的。这个问题一直困扰着DHTML(动态HEML)的网页编程者。他们只能不断地重复书写HTML、CSS和JavasScript的代码,以实现多个页面上的重复或相似的功能。自IE 5.0浏览器发布以后,这种情况得到了改善,它带给我们一个新的指令组合方法,可把实现特定功能的代码封装在一个组件内,从而实现多页面的代码重用,使网页编程进入一个全新的天地。这个新的技术就是我们要谈到的DHTML中的“行为”(Behaviors)。

程序调试中的数据结构演变可视化方法

数据结构是程序执行时的重要信息载体,其演变过程往往较为复杂和抽象。针对程序设计初学者较难理解数据结构演变过程的问题,提出一种面向程序调试中的数据结构演变可视化方法。在调试开始时,首先使用组件表达式表示数据结构,然后通过配置表以及布局函数将组件表达式生成可视化视图。在进行单步调试后,通过对比单步调试前后的可视化数据方式生成组件演变行为,运用有限状态机理论构建数据结构演变模型,该模型的执行使得组件发生演变,同时生成可视化动作。使用动画单元执行可视化动作,实现数据结构演变的可视化呈现,帮助初学者理解数据结构相关程序的执行过程。实验结果表明,将该方法应用于1个数据结构演变可视化框架StructV,并应用于1个在线可视化编程实训云平台的研发,可有效降低初学者理解数据结构演变过程的难度,并提升编程实训时的程序调试效率。

时空对象行为驱动的城市感知设施虚实联动交互控制方法

基于时空数据模型来描述现实世界的时空实体,以及基于时空对象的行为能力建模来控制时空实体的行为动作,既是对GIS时空数据模型的创新扩展,也能够适应数字孪生城市建设中对人、机、物三元融合表达和交互分析的现实需求。作为城市基础设施的重要组成部分,城市感知设施是典型的时空实体,其交互控制的相关研究目前主要集中于物联网、VR/AR以及GIS领域,而这些领域普遍缺失对基于GIS构建的数字世界中城市感知设施的交互控制研究。针对上述问题,基于全空间信息系统的多粒度时空对象数据模型对城市感知设施的行为能力进行建模,在此基础上提出一种时空对象行为驱动的城市感知设施虚实联动交互控制方法。通过构建设施时空对象的交互控制“五元组”模型,能够支持用户通过虚拟场景与设施实物之间的虚实联动交互控制,从而将基于直接通信指令的城市感知设施交互控制过程在数字世界中进行表达,为数字孪生城市中的感知设施智能化、交互式分析应用提供理论与技术支撑。实验结果表明,所提出的城市感知设施交互控制方法具备有效性与可行性。

基于IE内核开发本机轻量级软件的研究和实现

本论文介绍利用IE内核开发本机轻量级软件的优势,并分析Web开发技术的局限性,以及如何通过扩展IE内核来满足本地轻量级软件开发的要求。

基于原子行为、通信和协商的计算机生成兵力协同作战研究

步兵组协同行为建模是构造计算机生成兵力的关键技术之一。基本动作建模、步兵小组间的通信策略和协商策略是完成步兵组协同行为建模的三项重要研究内容。针对基本动作建模,提出组件行为的概念并给出其形式化描述,把计算机生成兵力完成任务的过程看作组件行为的有序集,建立基本动作模型库。针对步兵小组间通信策略,侧重于智能体对信息的筛选与可靠性评估,使信息交流更贴近战场实际。时间约束协商策略是针对现有协商模型缺少时间约束的缺陷进行改进,提出在时间约束下的冲突消解办法。最后,提供一个例子予以说明。

涉密网络安全管理技术的研究与实现

随着企业内部网络和办公自动化的普及,保护企业内部网络中涉密数据的技术越来越受到关注。论文设计了一个基于安全事件驱动的网络安全管理联动体系结构,提出了多层次保护内部涉密网络的思路以及安全事件描述方法,设计了相关安全行为组件,具有良好的扩展性和灵活性,经实际环境测试得到了比较满意的效果。

Virtools中控制人物的几种方法

在虚拟现实环境中,控制人物角色的运动是常见的人机交互方式。本文阐述了在Virtools中键盘控制人物、鼠标控制人物和按钮控制人物的方法,并分别描述了键盘控制人物、鼠标控制人物和按钮控制人物中行为组件的设置。

Negative differential resistance behaviors in OPE derivatives combined C_(60) molecular junctions modulated with side groups

By applying non-equilibrium Green's functions (NEGF) in combination with the density functional theory (DFT), we investigate the electronic transport properties of molecular junctions constructed by OPE derivatives with different side groups combined C60 molecules. The results show that the side groups play an important role in the properties of electron transport. Negative differential resistance (NDR) is observed in such devices. Especially for the molecule with electron-donating group ( OCH3), two NDR appear at different bias voltage regions. And the mechanism is proposed for the NDR behavior, owing to the shift of the molecular orbitals caused by the change in molecule charge.