形式化与UML结合的建模方法及其应用

首先阐述了形式化方法与可视化方法的优缺点,并在此基础上提出软件体系结构形式化与可视化UML互补的建模方法,主要探讨UML和Z结合的建模过程,并用一个系统开发实例进行展示。     

基于Promela的UML建模方法及其应用

针对形式化方法与可视化方法的优缺点,本文提出形式化方法与可视化UML互补的建模方法,主要探讨用形式化方法验证UML模型,将UML模型转换为Promela模型,再用模型检测工具SPIN对Promela模型进行验证。最后通过实例对此转换方法进行验证,实验结果表明了此方法的有效性。     

DEVS的面向对象可视化建模

DEVS是对离散事件系统的一种形式化描述,该文在DEVS中引入面向对象的方法,并采用UML（Unified Modeling Language)对它进行可视化建模。文中提出了基于DEVS的面向对象的一种建模规则和基于UML的可视化建模思想和方法,该方法是对DEVS和UML的扩充和改进。     

一种软件自适应UML建模及其形式化验证方法

软件自适应的建模和形式化验证是提高自适应软件开发效率、保证自适应软件可靠性的基础,现有研究中软件自适应可视化建模与形式化建模相隔离,一定程度上阻碍了自适应软件的开发.为此,提出MV4SAS的方法,将可视化的UML与严格化的时间自动机相结合,用于软件自适应的建模和形式化验证.首先,应用UML扩展机制引入新的构造型、标记值和约束条件,定义软件自适应建模设施,在此基础上构造软件自适应结构模型和行为模型;然后,根据定义好的转换算法将软件自适应行为模型转换为时间自动机网络,建立软件自适应形式化模型;最后,定义一组软件自适应形式化验证性质,并利用模型检测工具UPPAAL验证软件自适应模型的可靠性.案例研究表明,该方法可有效降低软件自适应建模和验证的复杂度,提高软件自适应的建模效率和模型可靠性.     

嵌入式建模中带有时间扩展的UML状态图的形式化方法

面向对象建模语言UML(Unified Modeling Language)已广泛用于嵌入式系统建模,但它在嵌入式实时系统建模时存在概念模型形式化复杂和状态图对时间约束方面的建模功能不强的问题,针对这些问题,提出一种对UML状态图进行时间扩展的方法,并提出利用"可执行UML"对带有时间扩展的UML状态图形式化的方法.     

基于UML的嵌入式建模方法改进策略研究

统一建模语言UML(unified modeling language)在嵌入式系统设计建模中已经获得了广泛的承认,有很多成功的应用.但UML在嵌入式建模中存在时间约束描述能力不强和所建模型形式化复杂、验证难及模型重用性不高等问题.针对这些问题提出了一种改进策略:定义实时语义和映射规则,建立实时描述模式模板,使用模板中实时描述模式描述时间约束信息.改进后的方法能可视化地分析模型、纠正错误和简单地进行形式化转换,能利用支撑工具对模型进行验证,较好地解决了UML在嵌入式系统建模中存在的问题.     

使用时间化自动机形式化带有时间扩展的UML状态图

严格建模是嵌入式实时系统设计的核心技术，通过UMI。方法与形式化方法结合可以给严格建模提供很好的工具支持。时间化自动机(Timed Automata)是一种用于描述、验证实时系统的理论模型。文中提出了一种通过时间化自动机来形式化带有时间扩展的UML状态图的方法，这种方法为UMI。与形式化方法的结合构造了桥梁作用。带有时间扩展的UML状态图用于嵌入式系统动态模型的建模，从时间化自动机模型得到形式化规范将更容易。UML状态图的形式化分为两部分完成；层次状态图的平面化以及时间化自动机的构造。     

基于UML的商业建模及模型验证机制研究

传统的商业建模方法存在无法为商业系统开发提供一个集成的"从概念到代码"的方案的缺陷,为解决在商业建模中存在的问题,提出了使用基于UML的商业建模方法.用实例阐述了该方法的具体步骤,并针对基于UML模型形式化复杂、验证难的问题,进一步提出了一种模型形式化的方法.应用实例和实验结果表明,基于UML建模方法和形式化方法能够减少商业建模的工作量,提高商业软件的开发效率及质量,较好地解决了商业建模中存在的问题.     

基于UML的业务流程模型分析方法研究

基于UML的业务流程建模方法是业务流程建模领域中的一种重要方法,该文对基于UML的业务流程建模方法中的重要工具活动图进行形式化定义,给出了基于活动图的业务流程模型与工作流网之间的规范化转换方法,从而可以分析和检验基于UML的业务流程模型的静态和动态属性。     

形式化方法与可视化模型的结合及其应用

阐述形式化方法的特点及存在的问题,分析在形式化开发过程中引入可视化模型的必要性.为降低直接使用形式化方法的难度,提出B方法与UML的结合过程,并通过一个自动取款机系统说明其应用过程.     

作物病虫害信息采集与远程诊断系统设计与实现

为了快速准确采集传输作物病虫害综合信息并及时获得诊断结果与防治措施,设计并实现了以移动GIS手段的采集诊断系统。提出了基于时间匹配的空间多媒体图像信息融合方法,描述了SQLite嵌入式数据库在移动端对作物病虫害综合信息采集、存储和管理,应用GPRS无线通讯实现了移动端与服务器端间的信息传输和服务器端对用户监听、实时诊断反馈。该系统为指导提高作物病害防治的管理效率提供了有效途径。     

参数化零部件库建库技术研究与实践

在论述特征、事物特征表、特征造型与参数化设计的相互关系的基础上, 提出了基于通用CAD 系统的参数化零部件设计思路。在研究Inventor 平台二次开发的基础 上,提出了基于Inventor 的参数化零部件库的构建方法和关键的实现代码,并通过实例验证 了该方法的可行性。     

Text detection and recognition in images and video frames

This paper presents a new method for detecting and recognizing text in complex images and video frames. Text detection is performed in a two-step approach that combines the speed of a text localization step, enabling text size normalization, with the strength of a machine learning text verification step applied on background independent features. Text recognition, applied on the detected text lines, is addressed by a text segmentation step followed by an traditional OCR algorithm within a multi-hypotheses framework relying on multiple segments, language modeling and OCR statistics. Experiments conducted on large databases of real broadcast documents demonstrate the validity of our approach.     

矢量栅格一体化数据结构设计与应用

针对如何在“3S”集成过程中选择良好数据结构的问题,通过分析矢量数据结构与栅格数据结构的优缺点,以二级划分策略建立具有两种结构优点的矢量栅格一体化数据结构,使空间数据在栅格化的同时能满足矢量精度要求,并给出其逻辑表示。在此基础上,讨论基于该数据结构的空间数据采集与叠加分析策略。     

CPU与GPU上几种矩阵乘法的比较与分析

描述了矩阵乘法在CPU上的三种实现方法和在GPU上基于CUDA架构的四种实现方法,分析了高性能方法的原由,发现它们的共同特点都是合理地组织数据并加以利用,这样能有效地减少存取开销,极大地提高算法的速度。其中CPU上的最优实现方法比普通算法快了200多倍,GPU上的最优实现方法又比CPU上的最优实现方法快了约6倍。     

基于规则与代理的信息网关设计与实现方案研究

介绍了一个面向移动用户的企业信息服务系统,该系统实现了个人通信与各种形式的Intranet信息资源之间的网关连接。研究了信息分发系统中异构信息的转换问题,并提出一种基于规则的信息转换机制。该文还描述了采用代理结构的系统实现方案。     

基于C＋＋和OpenCV的人脸识别系统的设计与实现

人脸识别是通过对人的脸部特征信息进行身份识别的一种生物识别技术.研究现实基于人脸识别的身份验证系统具有重要意义.提出一种基于C＋＋和OpenCV的人脸识别系统的设计与实现方法.系统实现的功能模块包括人脸图像采集、图像预处理、人脸检测与定位、人脸特征提取与识别、人脸数据库管理等.系统中人脸检测采用基于Haar-like特征的Haar 分类器,人脸识别采用Eigenfacae算法.系统经过运行测试,结果表明该系统能够满足一般的基于人脸识别的身份验证需求.     

Measures and models of personality and their effects on communication and team performance

The importance of teams and their impact on the contemporary workplace cannot be overstated. Many studies have been conducted to point to specific relevant factors related to team performance. Nonetheless, there remains relatively little that is known about the mechanisms and interactions that lead to high performing teams. In this study we consider communication (a key feature of teamwork) as a potentially mediating factor between each aspect of human personality (as measured by the Five Factor Model) and team performance. This exploratory study sheds further light on how personalities affect teams via communication, using a structural equation modeling approach. Results indicate that at least one team measure of extraversion, agreeableness, neuroticism, and openness is moderated by communication in influencing team performance.Relevance to industryThis research can aid managers on the relative importance of personality metrics on team performance, as well as the nature of the relationships among these metrics. This has the potential to improve organizational performance and reinforces the need for communication in fostering teamwork.     

图像存储与传输系统在iPad上的设计与实现

在研究传统的CS架构的图像存储与传输系统软件产品的基础上．创造性地实现了通过iPad终端从服务器端下栽病人的病例图像,并可以在iPad上对图像进行标注、测量、切片变换等操作,方便医护人员进行检查、诊治,极大地提高了诊治过程中的效率。