基于情景演算多流程交互软件模型的研究与实现

多流程系统表示及多流程交互模型的研究对于以业务流程为中心的复杂信息系统开发有重要意义.提出基于动作逻辑中的情景演算来描述流程的静态模型;将流程状态的变化定义为事件,作为流程间交互的中介,以描述流程的动态行为;并提出一个基于黑板的流程交互模型,实现异步数据交换,具有集中控制、共享数据结构等特点,适用于流程间事件消息的传递,模型具有松耦合、灵活、通用和高效等特点;此研究方法与模型在CTS系统设计开发中得到具体应用.     

软件安全分析的有穷自动机模型

目的 为在软件设计与开发早期阶段对软件安全模型进行有效分析和验证.方法 软件安全分析验证法与形式化建模方法.结果 提出了一种安全扩展确定有限自动机(safety extended deterministic finite automata,SEDFA).在使用UMLsec建立软件安全相关的非形式化模型基础上,通过SEDFA准确的描述能够表达安全交互的序列图.首先创建序列图中单个对象的自动机,其次构造对象积自动机,从而得到表示系统整体交互的SEDFA.结论 为系统安全属性的验证提供了基础,可作为下一步生成软件安全测试用例.     

OMT功能模型的改进及实例分析

该文提出了将对象交互图和ＣＲＣ技术相结合来表示对象建模技术中的功能模型。原ＯＭＴ中的功能模型采用数据流图表示。     

虚拟现实软件的交互通信研究

虚拟现实软件是被广泛应用于虚拟现实制作和虚拟现实系统开发的一种应用软件,为增强虚拟效果的逼真性,提高虚拟现实的交互应用能力,软件之间的交互通信就尤为重要。以SMT仿真实训系统中的丝印仿真为例,研究了VR软件Eon Studio与多媒体软件Flash CS4、Director之间的交互通信,通过操作虚拟丝印机真实再现了丝印工艺的过程,此项技术对虚拟现实在系统开发领域的发展有着重要的作用。     

一种基于模板的管理Web页面用户交互表单的方法

提出了一种用于处理Web页面上的用户交互表格的元数据模型:模板模型.模板模型可以支持用户交互表格的集合语义,而且可以维护其层次结构.这种模型可能重用网页中的部分组件从而更容易的生成和维护网站页面中的大量用户交互表格.模板模型还可以帮助实现对于交互表格的查询.     

空间交互作用中的距离影响及定量分析

对地理学研究中空间交互问题的距离衰减现象进行描述和分析, 并总结重力模型的求解方法。首先, 大部分空间交互都受到距离衰减效应的影响, 距离衰减函数定量表示交互中距离的作用。对比幂律、指数等多种形式的距离衰减函数, 认为幂律形式能够更好地刻画距离影响的本质特征, 并且可以在不同交互中进行比较, 其对应的交互模型即为在地理学和区域经济学中广泛应用的重力模型。然后, 在重力模型的基础上, 总结解析法和模拟法两大类基于给定交互矩阵和距离矩阵定量计算距离衰减函数及衰减系数的方法。由于难以先验确定交互公式中节点规模的数值, 因此拟合重力模型, 同时估计距离衰减系数, 是应用重力模型的恰当方式。     

IMM算法在车辆机动目标跟踪中的应用

针对高速公路车辆的机动目标跟踪问题,采用交互多模型算法(IMM)中的2个模型分别表示车辆的匀速运动状态和匀加速运动状态,并结合目标运动模型对目标当前加速度和其方差进行蒙特卡洛仿真.仿真结果表明该算法不仅可以在匀速运动时将关键测量噪声减低,而且在机动模型中保证状态估计量比未滤波的雷达测量值精确,同时可以对运动模型进行准确的识别,从而改善路面机动目标的跟踪性能,提高车辆的安全性和可靠性.因此,交互多模型算法可以满足高速车辆机动目标跟踪的要求.     

大学视频公开课交互设计研究

我国大学视频公开课是在国际开放课程大发展和开放共享理念的推动下产生的，它的发展对促进我国优质数字教育资源的普及与共享具有重要意义。但当前视频公开课的教学过程只是单向的信息传递，缺乏深层次的交互设计，无法满足学习者在学习过程中的交互需求。文章在分析我国远程教育及国外开放课程交互设计的基础上，提出了视频公开课的交互模型，该模型以学习者为中心，分别设计了学习者与学习者、学习者与教师以及学习者与学习内容之间的交互方式，对我国大学视频公开课的后续建设具有启发和借鉴意义。     

交互网格中的会话管理机制研究

区别于传统的计算网格和数据网格,交互网格是未来网格应用发展的一个重要方面.分析了交互网格中协作应用的特点;提出了一种交互网格中的会话管理框架,通过会话管理支持网格中各种异构资源之间的协同交互;采用面向服务的架构实现了一个会话管理原型,并对其总体特性进行了评价.实验表明该系统能支持基于网格的协同应用.     

CSCL在教学中的交互与协作初探

自上世纪90年代以来,随着计算机多媒体技术的普及和应用,CSCL得到了迅猛发展,在国内研究者从事相关理论研究的同时,亦对其教学实践进行了深入探讨。在CSCL的研究中,交互与协作是众多学者研究的焦点,本文在对CSCL的演变描述及特点分析的基础上,总结了当前CSCL教学系统的特点,探究了CSCL在教学中的交互与协作。从而为CSCL在教学中的普及和推广奠定了基础。     

针对软件可靠性测试的扩展UML模型的设计与实现

在研究软件可靠性测试和UML模型的基础上,找到针对软件可靠性测试的关于UML用例图和顺序图模型的扩展方法,并进行了相关原型工具的设计与实现。     

顺序图在软件工程实践中的演化作用分析

以苗圃管理系统的设计为例,从类图及其对应的程序代码引申出顺序图,再进一步演化出协作图、活动图、状态图和部署图,为软件工程设计的实践化方法提供了有效的途径,有利于设计工作的开展.     

PLC在自动售货机控制系统中的应用

首先介绍了自动售货机的结构组成，简述了利用可编程序控制器（PLC）控制的自动售货机控制系统的控制原理，最后给出了该控制系统的软硬件设计，并编写了系统程序总框图和一个具体的梯形图，经实践验证该控制系统是可行的．     

UML 2．0状态图的XYZ/E时序逻辑语义研究

UML2.0状态图适合于描述软件体系结构中组件内部的动态行为及组件端口的行为,但UML2.0状态图的语义不够精确,使得它的描述结果不利于进行进一步的分析和验证。基于此,本文在定义UML 2.0状态图的语法的基础上,给出了UML 2.0状态图的XYZ/E时序逻辑语义,为使用UML 2.0状态图与XYZ/E相结合的方式来描述软件体系结构中组件内部的动态行为及组件端口的行为奠定了基础。     

两种有代表性软件图自动布局的研究

研究软件图自动生成中的软件图自动布局问题．把软件图分为无向的和有向的两大类，对于无向软件图，选择Ｅ－Ｒ图作为其代表；对于有向软件图，选择数据流图作为代表．对这两种图，分别给出其可读性准则，并建立了Ｅ－Ｒ图的行列整齐对联结式布局算法和数据流图的主流向式布局算法     

基于UML的机票预定系统的开发研究

为了实现机场的现代化管理，进一步提高工作效率，方便旅客，研究开发设计了一套机票的计算机预订系统，通过对机票预定系统的实际考察，对它进行技术可行性和经济可行性的研究和需求分析，并设计了软件的体系结构、基于UML对它进行了系统的静态模型、时序图的设计，最后给出了该系统的详细设计，界面设计等。     

基于Origin的牛顿环实验数据处理方法

用Origin软件对牛顿环实验的数据进行线性拟合与作图,拟合的结果与所作图形均与传统的最小二乘法进行数据处理的结果相吻合.实验表明：利用软件处理的实验数据与作图,具有简洁、快捷与直观等特点,避免了人为因素所造成的误差.     

锻压设备专用可编程序控制器的研究

本文研究了一种以单片机为主机的锻压设备专用可编程序控制器(FPC).文中阐述了FPC的系统工作原理和系统结构,提出了系统增强抗干扰能力和增强可靠性方面的措施.     

Al2O3-CaO-SiO2系截面图的计算与验证

以实测相图为依据选择溶液的基本相,采用FACT软件计算了复杂的Al2O3-CaO-SiO2三元氧化物体系的两个等温截面和两个多温截面,并根据实测相图绘制了同等条件下的截面图,对其进行验证分析.结果表明,由于Al2O3-CaO-SiO2三元系化合物数量多,结构复杂,计算相图与实测相图相差较大.在用FACT软件计算组元间相互作用较强的氧化物体系相图时,尚需进一步改进计算模型,完善热力学数据库.存在强相互作用的三元氧化物体系的等温截面和多温截面应以实验数据为基础,同时参考计算相图.     

计算机辅助设计（CAD）在井字梁设计中的应用

本文介绍计算机辅助设计（ＣＡＤ）在进字梁设计中的结构计算、结构优化设计及软件设计的过程，并绘制了乘子法的计算框图及软件的主要结构示意图。