鞋服企业的商业智能之路

商业智能,（Business Intelligence,BI）,通常是指用信息技术和工具来整合、处理和分析结构化和非结构化的商务数据和信息,目的是使企业各级决策者获得有价值的知识,创造和累积商务知识和见解,改善商务决策水平。     

GDSS中Brainstorm的模型与实现

作为CSCW的一个分支，群体决策支持系统（GDSS）是各决策领域结合数据、分析工具和模型以支持半结构化、非结构化决策的计算机系统。文章描述了它的发展概况和模块划分，提出了其中一个关键步骤－集体自由讨论（Brainstorm)的一个模型，并从表示级、系统协同级、存储级等各个级别具体讨论了Tcl/Tk及GroupKit的实现技术细节。     

用模型驱动Eclipse开发

EMF(Eclipse Modeling Framework)是一个模型架构和代码生成工具,它可以用来建构以结构化数据为基础的工具或者应用。作为MDA和Eclipse的结合体,它发展迅速,IBM的大部分工具产品如RSA等都将建立在它的基础之上。     

基于多Agent的信贷风险预测实现技术研究

1 概述信贷决策过程是一个对数据进行逻辑分析与综合判断的过程,随着经济的飞速发展,各商业银行对信贷过程中的各种风险越来越重视,其高层管理者面对的是大型、复杂和非结构化的决策问题。要使用计算机为决策者提供有价值的辅助决策信息,就得对软件和软件设计人员提出更高的要求,同时软件系统也变得越来越复杂。为了满足多种功能要求,软件系统     

MDA模型转换工具的研究

模型驱动架构MDA(Model Driven Architecture)是由OMG提出的,用于解决企业间应用集成问题的软件开发方法.自提出以来,MDA方法得到很多软件供应商和研究人员的强力支持,在工业界和学术界出现了很多支持MDA开发方法的模型转换工具.这些工具使用了不同技术和实现方法,各有千秋.这些工具的出现有力地促进了MDA开发方法的发展.从模型描述方法、模型转换方法和模型转换工具在软件生命周期中的位置等三个方面分析比较了当前流行的MDA模型转换工具.根据这些分析结果,进一步讨论了MDA模型转换工具的发展前景,并指出了进一步改进MDA模型转换工具的研究方向.     

范例推理在地理信息系统中的应用研究

范例推理(CBR)是一种用先前求解问题的经验和方法,通过类比和联想来解决当前相似问题的推理技术,它是动态决策环境下求解不良结构问题的常用方法。GIS系统作为一种新兴的地学工具,具有很强的空间分析能力,但由于地学问题的复杂性,一些地学现象很难用确切的模型进行模拟和预测。考虑到范例推理系统在处理半结构化和非结构化问题方面的出色能力,文中探讨了一个基于范例推理的GIS系统结构,并给出了地理范例的构建方法和表达模型。     

基于SPEM的CMM软件过程元模型

软件企业在实施CMM(capability maturity modelfor software)的过程中面临最主要的障碍是如何将CMM 软件过程模型转换成可实施的、体现组织过程特征的CMM实施过程模型.可以利用模型驱动架构MDA来支持CMM模型转换,其首要问题是建立CMM软件过程元模型.通过分析CMM软件过程,给出了面向CMM的软件过程工程元模型SPEM的扩展策略,提出了一个基于SPEM的CMM软件过程元模型一-SPM-CMM.该元模型既支持CMM软件过程的抽象语法和规则语义,也支持利用UML CASE工具操作CMM软件过程模型.     

J2EE平台上的所见即所得的HTML电子表格工具的设计

本文介绍了一个MDA软件开发工具的设计思想和实现工具。该工具可以根据MDA中的平台无关模型的信息，由用户通过所见即所得的方式来编辑HTML表格。用户编辑了HTML表格框架后，可以基于PIM中的ER模型来定义表格中各个单元格的值。用户在编辑的过程中就可以直接看到表格的最终显示。这个工具和我们研究的其它两个工具协同使用，可以高效地把PIM转换成为J2EE平台上的应用程序。     

间歇过程生产调度建模的研究

生产调度是为实现某一目的而对共同使用的资源进行时间上的分配.调度中存在大量的模糊因素,将模糊的思想运用到调度领域可以帮助决策者进行有效决策.本文提出一种基于模糊规划的间歇过程生产调度建模方法及其模糊优化的新算法.应用模糊集合论的方法,在已有模糊规划模型的基础上,针对间歇生产过程,分析调度中存在的模糊信息以及出现的形式和方式,将确定型生产调度模型的约束条件和目标方程中的参数模糊化,采用非精确的量化形式,以隶属函数来表示,建立基于模糊参数的生产调度模糊线性规划模型MIFCLP.通过对一个调度问题实例进行了仿真,仿真结果证明,采用模糊模型更容易得到可行解,采用模糊线性规划解决间歇生产调度问题是一种有效方法.     

范例推理在地理信息系统中的应用研究

范例推理（CBR）是一种用先前求解问题的经验和方法，通过类比和联想来解决当前相似问题的推理技术，它是动态决策环境下求解不良结构问题的常用方法。GIS系统作为一种新兴的地学工具，具有很强的空间分析能力，但由于地学问题的复杂性，一些地学现象很难用确切的模型进行模拟和预测。考虑到范例推理系统在处理半结构化和非结构化问题方面的出色能力，文中探讨了一个基于范例推理的GIS系统结构，并给出了地理范例的构建方法和表达模型。     

网络面向对象的软件测试技术的研究

面向对象软件测试技术的研究是面向对象开发方法不可缺少的一环。但是随着面向对象技术的引入,面向对象程序开发语言成为主流编程语言，传统的瀑布式软件工程模型受到挑战，传统的测试技术已经无法有效地进行测试。因此文中在对软件测试技术进行了综合分析的基础上，提出了面向对象的测试模型。同时对一个已实现的、具有高度可重用性和灵活性的面向多种OO语言的测试工具Panorama的系统结构进行了分析。     

基于本体的构件化软件演化信息获取及度量研究

软件演化信息是一种重要的、能反映软件变化历史的信息.然而,传统的软件演化信息以文件或者项目作为跟踪软件变化的基本单元,不能有效地支持构件化软件演化信息的存储和检索.提出了采用本体概念表示构件化软件演化信息的策略,并利用Jena推理机实现构件化软件演化信息的荻取.该方法不仅能检索构件化软件的基本演化信息,而且可以通过定义规则的方式检索出蕴含的演化信息.同时,文中也提出了一种构件化软件演化度量的模型,该模型通过对演化属性的计算分析来预测构件化软件的演化趋势.     

Model-Based Verification and Validation of Properties

One of the key issues in software development, like in all engineering problems, is to ensure that the product delivered meets its specification. Verification and validation are well-established techniques for ensuring the quality of a product within the overall software development lifecycle. With models being expressed in the Unified Modeling Language, the application of verification and validation is complicated. Firstly, concerning verification, a UML model is typically not the input language of a verification tool. Secondly, with regards to validation, a UML model is also not directly executable.In this paper, we show how verification and validation can be achieved for UML models. Within our approach, graph transformation techniques are applied for automated translation of UML models into a language understood by a verification tool or directly into an implementation. By the use of such semantic-preserving transformations, both verification and validation can be lifted up to the model level, allowing for a seamless integration of verification and validation into a UML-based development process.     

基于度量的软件生产线管理研究

软件生产线是一种全新的软件开发方式,生产线的管理作为三大基本活动之一直接影响生产线实践。从软件度量角度出发,根据GQ(I) M模型,提出了基于度量的软件生产线管理框架,并定义了管理活动中需要跟踪的度量元,这对生产线管理活动的有效实施有积极的指导意义。     

基于ASP实现Flash MX对SQL数据库的访问

Flash是目前常用的动态网页设计软件之一。而动态网页需要与数据库进行数据交互,但是Flash不能直接访问数据库。针对这种情况,本文介绍了如何利用Flash结合ASP技术方便地实现选煤厂实时生产数据网络发布。调试、运行结果证明该系统具有良好的稳定性和可靠性,并在工程中得以很好的应用。     

水泥生产中PLC自动控制系统的计算机多媒体监视界面的设计

本文介绍的计算机多媒体监视软件,是在已有的ＰＬＣ控制系统基础上设计的具有多窗口图层的多媒体监视界面,以显示生产过程的各种流程及相应设备的状态数据,利用０ＮＳＰＥＣ采集到的各设备的状态数据,直接识别和判断故障设备的位置与原因。通过运行本软件,可以对全厂的生产状态进行实时的监控,实现在线故障诊断。     

光栅刻划机的建模与仿真方法研究

用于制作母光栅的光栅刻划机的性能指标直接决定最终生产的光栅质量。为此,采用基于虚拟样机的联合仿真策略,代替传统的物理样机开发。利用动力学分析软件Pro/Engineer和控制仿真软件Simulink分别建立光栅刻划机机械动力学模型及控制系统模型,实现机电一体化仿真分析。根据仿真结果确定控制系统参数,实验结果表明,使用该方法可降低开发成本,提高研发效率。     

利用Setup Factory7.0制作VB6.0工程的安装程序

制作软件安装程序是软件开发的一个重要组成部分,如果不能将软件制作成安装程序,软件就不能在其他机器上运行,而有些开发语言本身所带的制作安装程序的功能不尽完善,本文介绍利用SetupFactory7.0软件来制作安装程,这一软件可以制作出精美的专业性很强的软件安装程序。     

面向媒体时序描述的带时间自动机的自动构造方法

依据有穷状态自动机模型,面向程序规范的并发系统和分布式系统测试方法的研究已经取得许多结果。由于特殊的实时和同步要求,这些结果不能直接应用于分布式多媒体软件系统的测试。为此,作者提出一种面向媒体对象时序描述的地间自动机（Ｔｉｍｅｄ ａｕｔｏｍａｔａ）的自动构造方法,根据带时间自动机,对分布式多媒体软件系统进行非确定性测试时,可以较容易地判断运行结果正确与否;在进行确定性测试时,可以辅助自动生成测试用     

基于建筑信息模型的轻钢厂房结构软件

为开发建筑信息模型(Building Information Modeling,BIM)软件,阐述BIM的技术特点,选用ObjectARX技术在AutoCAD平台上进行二次开发,开发轻钢厂房结构BIM软件. 该软件直接读入包括SAP和ANSYS等软件的结构模型,根据用户选择的节点类型和设计规范自动完成构件和节点的设计,并进行钢结构三维实体信息模型的拼装;在此基础上,采用分解、分层和组合的方法组织节点的数据结构,实现钢结构节点的全自动交互式设计、编辑及复核,设计结果的图形与文本查询等功能;直接生成供工厂使用的各个零件的制作翻样图、材料表以及结构体系造价等信息;该软件还实现三维实体模型到ERP软件的输出接口.