Conversion of Object Oriented System into Software Product Line with Delta Modeling Abstract Behavioral Specification

This article contains a system conversion from object oriented design into Software Product Line (SPL) using delta modeling of Abstract Behavioral Specification (ABS). ABS is a modeling language which targets system with high level of variety and supports SPL development with delta modeling. The case study of this thesis is a digital library system called Library Automation and Digital Archive (LONTAR). Originally, LONTAR only uses SOAP-based web service. With ABS, LONTAR will be converted into SPL and implement another web service called REST. The motivation of this conversion of LONTAR from object oriented into SPL is because it is easier to develop system with ABS than using regular object oriented. Product definition in ABS is relatively easier than creating a new subclass and do customization to make it works well.

脑卒中患者复发风险感知与行为决策情境理论模型的初步构建

目的构建脑卒中患者复发风险感知与行为决策情境理论模型,为脑卒中行为管理提供新的指导框架。方法遵循护理学科理论模型发展过程,综合采用文献研究、质性研究及理论分析,初步构建脑卒中复发风险感知与行为决策情境理论模型,包括概念、命题(概念间假设关系)及模型边界(适用范围)。结果脑卒中复发风险感知与行为决策模型包含复发风险感知、行为决策、自我效能、社会支持、情感反应(担忧)和健康行为等6个核心变量,一条核心路径为“复发风险感知→行为决策→健康行为”,三条桥梁路径为“复发风险感知社会支持→行为决策→健康行为”“复发风险感知→自我效能→行为决策→健康行为”和“复发风险感知复发担忧→行为决策→健康行为”。结论脑卒中复发风险感知与行为决策模型或可丰富脑卒中健康行为管理相关理论研究,进而为开展脑卒中患者健康管理及复发防控实践工作提供新的视角。

拓展计划行为理论下休耕农户复耕行为及影响因素——以重金属污染休耕区为例

研究目的:基于计划行为理论和资产专用性理论构建休耕农户复耕行为的理论模型,以重金属污染休耕区为例,探究参与休耕农户的复耕意愿和复耕行为的特征以及影响因素。研究方法:结构方程模型。研究结果:(1)计划行为理论对于休耕农户的复耕意愿及行为的解释力较强。其中,农户复耕意愿受到行为态度和主观规范的显著正向影响;复耕行为受到复耕意愿和知觉行为控制的显著正向影响。(2)感知价值对于复耕意愿有显著正向影响,农业资产专用性对于复耕意愿和行为均具有显著正向影响,劳动力数量和家庭总收入对复耕行为有着显著负向影响。(3)不同性别、收入以及农业类型的农户复耕意愿与行为的影响机制仍能用拓展计划行为理论框架解释,但影响效应存在差异。低、中、高收入农户以及农业户、非农业户的资产专用性对其意愿和行为的作用强度依次减弱。研究结论:政府应关注休耕后续复耕情况,通过加强复耕宣传力度、完善复耕补偿机制、提升农户资产专用性等手段提高农户复耕积极性,进而增强休耕政策可持续性和保障粮食安全。

基于ABMS的矿工习惯性违章行为演化仿真

为探讨矿工习惯性违章行为(HVB)形成演化机理,基于复杂适应系统(CAS)理论、习惯领域(HD)理论和多主体建模方法(ABMS),构建HVB动态演化模型。利用Netlogo仿真平台设计仿真试验,动态模拟不同作业情境中组织、管理者、群体、矿工等多主体间的交互行为及其对HVB的影响。结果表明:矿工HVB形成演化系统是一个多主体交互作用的CAS;各主体对HVB的形成和固化作用效力有差异,安全执行力、安全督导和安全奖惩、示范性规范、安全意识对HVB形成和固化的作用效力较大。企业可通过调节各主体行为,实现HVB治理的自然演化和强制演化。

基于行为的软件测试过程模型及其应用研究

在深入研究各种综合测试技术的基础上,通过对比分析各种主流的测试模型,提出了一种基于行为的软件测试过程模型,包括了测试设计、测试计划、测试执行、测试结果分析和测试重用等活动,把这些测试活动嵌入到软件开发的整个生命周期当中。然后将这种测试模型应用到一个大型的应用程序测试项目(AMP)中,发现这种测试模型在尽早发现Bug和回归测试选择效率上具有较好的测试效果。

服务认知—行为模式对一线员工服务绩效影响研究——以酒店和旅行社为例

在以往的服务管理研究中,服务绩效的影响因素很多,然而没有文献研究员工对服务的概念性界定对服务绩效的影响。基于行为识别理论,文章提出服务认知—行为模式对一线员工的服务绩效存在影响。该研究利用旅行社业和饭店业402名一线服务员工的问卷调查数据,部分验证了所提出的假设,实证结果发现:(1)对顾客理解型服务认知—行为模式具有最高的角色外服务绩效,对工作规范型服务认知—行为模式具有最低的角色外服务绩效;(2)对工作规范型服务认知—行为模式具有最低的角色内服务绩效,对顾客理解型和手段型服务认知—行为模式具有较高的角色内服务绩效。

状态机嵌入DEVS的组合建模方法研究

DEVS提供了模块化、层次化的系统建模和仿真执行框架,但是缺乏对于系统行为的抽象建模能力。状态图扩展了原有的FSM,通过可视化的、灵活的状态迁移图描述系统的复杂行为。提出将状态图嵌入DEVS的组合建模方法,互为补充,以建立复杂的离散控制系统。DEVS作为系统的建模框架并提供执行逻辑支持,状态图扩展DEVS的事件交互机制和时间推进机制,描述系统的行为逻辑。详细介绍了状态图和DEVS的语法语义,重点阐述状态图嵌入DEVS的实现机制。结合一个应用实例,说明嵌入状态图的DEVS用于建立离散控制系统模型的优势。

协议规范挖掘研究综述

针对网络安全领域中的协议规范挖掘问题,通过对近十年相关文献的研究,将此问题进行了规范的形式化定义,根据协议规范的作用域将其分为两个层面:报文内部的格式、语义规范挖掘与报文之间的协议行为规范挖掘。针对每个层面研究中涉及到的方法与技术,给出了概要的分析介绍、评价及应用场景。针对目前研究的不足与应用需求,对整个协议规范挖掘的研究趋势进行了展望。

面向体系结构的构件接口模型及其形式化规约

借鉴软件体系结构的思想,提出了面向体系结构的构件接口模型,它既能表达体系结构设计的高层抽象构件,又能表达底层代码级别的实现构件。同时基于该模型,运用顺序通信进程,提出了两级构件接口行为协议规约方法,能够有效规约大粒度复杂软件构件的行为交互协议。

日本受贿罪立法及对我国的借鉴价值

日本刑法中关于受贿罪规定了7个具体罪名,各个罪名之间既互相区别又相互补充。不同的具体罪名虽总体均属受贿罪,但每个罪名的构成要件的规定又有所不同,日本刑法中受贿罪的立法模式对我国刑法中受贿罪立法规定的进一步完善具有重要的借鉴意义,其中,日本刑法中受贿罪的行为基本模式、特殊行为的规定模式及法定刑设定模式对我国刑法的借鉴意义重大。

形式化研究基于Agent的行为建模及应用

为了实现虚拟环境中Agent的行为真实感以及行为动画,必须开展基于Agent的行为建模相关问题的研究。提出了一个包含Agent自主行为和全局互操作行为的基于Agent的行为模型,并利用形式化语言对相关概念例如状态、时间、动作和行为进行了规范描述与定义。在此基础上形式化研究了复杂智能行为的抽象机制,包括行为分解与聚合、行为特化与泛化,并因此提出在基于Agent的元行为模型的基础上,通过行为逻辑运算和行为抽象机制实现基于Agent的行为综合方法。同时以空间作战中的导弹预警为背景,分析了预警卫星的预警行为模型,并对预警卫星的数据获取行为进行了建模,这有利于实现预警卫星的行为动画以及对预警卫星的传感器进行调度,进而对预警行为进行规划、调度与仿真。

校园网可信运行架构设计与实现

提出对异常事件进行分析、提取、评估和响应的机制。该机制通过采集网络流并分析其行为,挖掘出异常行为网络流,利用贝叶斯模型评估其对网络可用性的威胁,根据威胁等级自动生成不依赖设备实现的策略规则,采用XML技术将策略规则转换成不同厂商设备的策略配置命令并部署到具体设备中。整个机制具有持续的网络控制能力并支持跨平台工作。

基于VDEVS的离散制造车间虚拟实体行为模型描述方法

虚拟实体是数字孪生五维模型中重要的组成部分,其行为模型描述了物理实体在外部环境与内部运行机制作用下的实时响应及行为。针对离散制造车间数字孪生虚拟实体行为模型缺乏统一描述与精确定义的难题,提出一种使用基于值的离散事件系统规范(VDEVS)对行为模型进行描述的方法。在原有数字孪生五维模型基础上定义了数字孪生车间虚拟实体分层模型,实现了其与数字孪生车间物理实体的一一映射。通过对传统离散事件系统仿真规范(DEVS)进行扩展提出了VDEVS,从而更加精确地描述离散制造车间复杂系统级、系统级、单元级虚拟实体的行为。最后,针对某加工单元,利用基于VDEVS的方法对其行为模型进行了描述。

面向对象的机电系统结构及行为建模

针对原理设计阶段机电一体化系统的逻辑结构模型、逻辑/物理行为模型和原理方案表达,提出了基于参考模型的机电一体化系统初步逻辑结构,以及基于统一建模语言(UML)类图的详细逻辑结构(即原理方案表达);提出了基于消息序列图(MSC)的交互行为建模及基于规范和描述语言(SDL)的逻辑/物理行为建模方法,从而基于人类认知客观世界的思维方式提出了面向对象的机电系统设计和分析的新视角。基于此对CD播放机工作系统中关键组件的原理方案解进行了表达,研究结果显示了面向对象系统建模方法的有效性。

Java建模语言在程序不变量动态发现过程中的应用

通过程序不变量动态生成技术,可以分析程序内部的关联属性,从而有助于设计高质量的程序代码以及规范化的程序架构。主要描述基于契约的似然程序不变量发现的基本理论模型,并结合Java建模语言进一步阐明程序断言动态生成技术及其现在产生的重点问题,针对提出的问题给出了相应的解决方法。

IBIS建模和PCB信号完整性分析

随着数字系统中时钟频率的提高,PCB上的信号完整性也日益成为设计过程中不可忽略的问题.文中通过阐述IBIS模型的建立和PCB板上信号完整性的分析,介绍了一种必要的基于IBIS模型建立的信号完整性仿真及分析方法,例举了时钟网络设计的反射仿真结果对比.

三维四向和五向编织复合材料冲击断裂行为的多尺度模拟

为对三维编织复合材料的结构特性进行模拟预测分析,采用一种多尺度和细观结构结合的方法,建立三维编织复合材料的等效拼接组合模型,进一步揭示编织复合材料在微观结构水平下的冲击损伤演化、裂纹扩展和能量吸收。设计制备三维四向和三维五向2种编织结构的碳/环氧树脂三维编织复合材料,根据编织参数建立等效拼接组合模型;通过落锤式冲击试验仪结合高速摄影系统记录2种编织复合材料在低速冲击下的断裂行为,与等效拼接组合模型在有限元数值模拟结果相对比,验证等效拼接组合模型的有效性。模拟结果表明,相同的体积分数下轴纱表现出最高的能量吸收,由于轴纱的存在,三维五向编织复合材料的抗裂性和裂纹扩展性优于三维四向编织复合材料。

基于在线3D教育平台的学习者行为分析模型研究——以GeekCAD平台为例

3D设计软件作为STEAM教育领域中的教学软件,可以有效培养学习者的空间思维、创新创造、批判性思维与解决问题等能力。目前,随着3D设计课程蓬勃发展,评价课程效果成为必然需求,但评价主要基于总结性和形成性评价,缺少基于学习过程行为数据驱动的评价。文章提出使用基于xAPI规范的3D设计软件数据采集机制与STEAM 3D教育学习者行为分析模型,首先针对3D设计软件对微观“点击流”和中观“活动流”数据进行编码,定义适合3D设计平台的动词和对象,获取学习者在3D设计平台中的全过程行为数据。并在此基础上,根据STEAM 3D教育学习者行为分析模型对小样本教学实践3D设计课程的学习过程数据进行分析,以期实现STEAM教育领域中数据驱动的学习评价,提高教与学效率。

一种基于离散事件系统规范的复杂产品行为模型描述方法

基于离散事件系统规范(discrete event system specification,DEVS)的多分辨率形式化描述具有层次化、结构化的描述能力,但对模块内部智能行为描述相对匮乏,而基于Agent的建模可以刻画个体的感知行为、通信协作和学习进化。在多分辨率建模框架下,结合DEVS和Agent模型描述以提供对事件、行为、机理等的描述能力;基于多分辨率DEVS模型描述,提出了一种具有耦合封闭性的形式化模型描述方法,其包含多分辨率实体级原子模型描述、多分辨率系统级耦合模型描述;根据该框架特点规范了建模流程并结合实际案例验证了描述框架的有效性。

时序行为特征描述模式体系的化简

定义基于行为特征的业务过程模型的查询语言,需要坚实可靠的理论基础。业务过程中任务间发生的时序关系是业务过程模型行为的直接反映。现有的描述任务间发生的时序关系特征描述模式体系过于庞大、复杂,同时缺少对本质内在关系的分析和反映。运用数理逻辑的原理和方法对现有的描述任务间时序关系的模式体系进行了深入的分析和推导,在保留原体系描述能力的前提下,大大缩减了该体系的规模和复杂度,并为定义高效的基于行为语言的过程模型提供了理论基础。