数据库的IDEF分析方法浅谈

IDEF系列方法只包括了三种不同的可视化的建模方法,即IDEFO、IDEF1和IDEF2。IDEFO是一种功能建模方式,它结构化地描述了所研究系统的活动和处理进程。IDEF1是一种信息或数据建模方式,它描述了系统信息及其联系,其建立的信息模型是数据库设计的基础。     

IDEFO模型在光学期刊集群数字出版平台建设运营中的分析

针对光学期刊集群数字出版平台长达十年的建设和运营情况,结合IDEF系统结构分析和设计技术的理论方法,深入阐述了光学期刊集群数字出版平台系统架构、建设历程.基于IDEFO功能建模方法按照平台输入、控制、机制、输出四个要素详细地分析了光学期刊集群数字出版平台的运营模式,为我国科技期刊专业集群数字出版平台的建设和运营提供了有益的理论探索和实践经验,具有一定的参考和借鉴意义.     

基于IDEF0与ESCPN的军事情报系统建模研究

深入分析了军事情报系统的复杂性、层次性、离散性和随机性等特征,综合运用形式化与非形式化建模技术,提出了IDEF0与ESCPN相结合的军事情报系统混合建模方法。以电子对抗情报系统为例建立了其IDEF0与ESCPN的评估模型,研究结果表明此方法为军事情报系统的建模、分析与评估提供了有益的思路。     

基于特征识别的CAPP系统

实现智能化CAPP系统是计算机辅助工艺的发展趋势。目前的大多数软件都采用特征建模和尺寸驱动的思想实现对产品的几何建模。系统采用的是软件．它采用的是特征建模。在模型中加入工艺信息，可实现对产品的完整描述。     

浅论数学建模在教育教学中的应用

数学建模是指用数学语言描述实际事物或现象。它一般是实际事物的一种数学简化。它可以培养学生的直觉思维、转换能力和创新能力。文章主要介绍了数学建模的含义、特点、基本步骤、常用方法,论述了其在教育教学中的作用。     

汉语自然语言处理一个系统方法

为了探索汉语自然语言处理的系统方法,基于自动机理论、用形式语言方法对汉语进行了建模、并作了实验设计。着重于词法说明,给出了系统方法的补充描述。该系统方法将中间语言的各部分内容以一种新的组合方式呈现为一个整体。     

IDEF0 模型在光学期刊集群数字出版平台建设运营中的分析

针对光学期刊集群数字出版平台长达十年的建设和运营情况,结合IDEF系统结构分析和设计技术的理论方法,深入阐述了光学期刊集群数字出版平台系统架构、建设历程。基于IDEF0功能建模方法按照平台输入、控制、机制、输出四个要素详细地分析了光学期刊集群数字出版平台的运营模式,为我国科技期刊专业集群数字出版平台的建设和运营提供了有益的理论探索和实践经验,具有一定的参考和借鉴意义。     

基于UML和J2EE的社区管理信息系统设计

统一建模语言UML（Unified Modeling Language）是一种对面向对象系统进行可视化、详细描述、构造和文档化的标准建模语言。UML汲取了近十年在建模领域出现的方法的优点。它的出现消除了各种开发方法在表示上的差异，并成为面向对象技术领域内占主导地位的建模语言。它适用于软件开发的每个阶段。本文以低保管理系统为例，探讨了基于UML和J2EE的系统设计方法，并从多角度描述这种方法的优点。     

基于动态Wright体系结构描述语言测试方法

软件体系结构测试是对构件功能描述和接口描述的测试，是保证基于构件的软件系统质量的重要手段。提出了一种针对软件体系结构层配置信息的测试方法，该方法用Dynamic Wright描述软件系统的体系结构及对系统配置信息进行新从配置，利用标号迁移系统LTS描述软件系统的状态变化及迁移信息，指导测试路径生成。     

IERDL—基于关键词驱动的信息抽取系统的规则描述语言

基于关键词驱动的信息抽取系统的每个关键词都必须对应着相应的抽取规则。为了确保信息抽取系统具有较好的可移植性,设计了一种信息抽取规则描述语言。它由1-N条规则表达式构成。每条规则表达式由测试规则和提取规则两部分构成。它具有很强的描述能力和较高的处理效率,能满足信息抽取的实际需要。     

专家系统工具ESDT－HDK的应用

专家系统开发工具ESDT—HKD是一种常用的工程计算机知识语言，它具有适用知识的表示结构、在计算机开发环境和使用环境中，可以采用规则 框架 黑板作为系统的知识结构。本文详细地介绍了它的知识描述结构及应用方式。     

UML及其在电子图书在线出版系统设计中的应用

UML是可视化的建模语言的一种，目前它已经成为面向对象软件系统分析与设计的必要工具。本文基于UML面向对象系统分析及设计方法，提出了一种实用的需求分析及其建模方法，以用例图表达系统需求，以活动图模型来表达业务模型，以对象图、状态图及交互图模型表达系统的结构逻辑及行为逻辑；讨论了需求分析及其建模的过程概念，并以电子图书在线出版系统的开发与设计作为示范。     

都柏林核心元数据研究的新进展

元数据是一种最具前景的资源描述方式。本文系统讨论了ＤＣ研究的系统成果及最新进展,并对因特网信息资源的规范化进行了具体探讨。     

Agent技术在智能故障库中的应用研究

智能Agent建模是一种描述复杂现象、研究复杂系统、实现复杂自适应性计算的有效手段。它对于复杂系统具有无可比拟的表达力,为各种实际系统的研究提供了一种统一的框架。重点是对基于Agent技术的通信装备智能故障诊断模型、推理逻辑进行探讨,并依据该智能库推理模型对某远程装备维修保障系统开发进行分析、设计和实现。     

基于时空自动机的CPS建模与验证

为了描述信息物理融合系统(cyber-physical systems,CPS)的时空一致性,一种实时规范语言STe C已经提出[1],CPS的设计和实现能否满足时空一致性显得十分重要。文中对混成自动机进行了扩展,提出了具有位置驱动特点的时空自动机。文中提出了基于时空自动机的CPS建模与验证框架。在框架中,首先使用STe C语言对CPS进行了描述并使用时空自动机对CPS进行建模。文中采用的形式化验证方法为微分动态逻辑(differential dynamic logic,DL),其操作模型为HP(hybrid program)。利用DL可以将所建模型转换为对应的HP。结合得到的HP对验证的CPS属性进行规约,最后使用定理证明器Ke Ymaera对属性进行自动化验证。     

基于本体的数字图书馆个性化信息服务研究

本文引入本体对信息资源和用户兴趣特征进行描述,提出了在语义层次上实现数字图书馆个性化信息服务的系统框架模型,简单分析了各个部分功能,重点阐述了用户的兴趣建模和更新方法。     

基于XML技术的产品信息集成方案设计

企业信息化尤其是制造业信息化的过程中,产品信息集成是一项关键技术。由于XML技术自身的特点,它对于集成产品模型的描述以及系统之间数据的交互提供了有效途径。本文构建了基于PDM系统的产品信息集成模型,提出采用XML技术实现系统之间产品数据的交换,并以PDM和MRPⅡ之间的产品信息交换为例,给出了一种XML Schema的实例,提出了一种产品信息集成的方案。     

SSM和传统信息系统开发方法的并用方法探讨

软系统方法(Soft System Methodology，SSM)是一种有效的系统分析方法，是处理社会技术系统问题的有力工具。本文从改善传统的信息系统开发方法的目的出发，提出把SSM应用于信息系统开发过程，通过和传统信息开发方法相并用，来提高信息系统开发质量的效率；同时本文还对SSM和传统信息系统开发方法并用的两种方式进行了分析和比较。     

面向个性化服务的信息组织本体模式

本文在总结目前个性化服务信息组织的特点和模式的基础上,结合智能化本体方法,提出一种基于用户本体和领域本体的面向个性化服务的信息组织模式,并详述了其中的资源描述、用户建模和信息重组3个模块的详细流程、描述语言和具体算法.     

一种基于用户行为静态建模的在线客服系统

交互式信息服务模型强调人机交互过程中对用户动态的反映,注重用户认知因素和非认知因素的结合,旨在构建支持对用户自适应的用户模型。通过提出使用模糊集的方式,对在线用户进行建模,同时描述了基于这种用户模型进行用户行为在线跟踪和用户行为预测的方法,并介绍一个系统实现构成。