基于ASP．NET的石油测井下井仪器管理系统的研究

石油勘探测井下井仪器管理系统是信息管理系统（MIS）,包括后台数据库的建立维护,中间层业务规则的建立以及前端应用程序的开发三方面。对于底层要求建立起数据一致性和完整性强、数据安全性好的关系型数据库,中间层要求提供良好的接口并要求数据的保密,前端应用程序则要求程序功能完备、交互功能强。采用UML进行分析．设计,用Ratjonal统一过程（RUP）建立软件开发过程,VS．NET作为开发平台,系统最终实现为B／S结构的多层信息管理系统。     

基于UML的电子商务系统用例模型设计

UML是OMG（Object Management Group）批准的一种用于描述和构造软件系统以及商业建模的标准建模语言,支持从需求分析开始的软件开发全过程。在系统需求设计方法中,UML中的用例模型已成为获取系统需求的主要技术。在用例模型的建立过程中,用例、角色和用例模型的确定直接关系到系统设计的质量。本文阐述了虚拟商品电子商务系统用例模型的设计。     

基于ORM的物资管理数据模型研究

物资管理数据量大,对数据的实时性、真实性要求高,相应地就要求管理流程规范化和信息化.结合企业物资管理的业务流程,根据ORM的建模原理和建模流程描述了物资管理的ORM数据模型,分析了UML静态建模机制的不足,讨论了ORM模型与UML模型相互转换的对应关系,为物资管理信息化实施过程中物资管理人员和软件工作人员提供了一种交流的桥梁.     

基于DEVS-SYSML-CPN的复杂武器体系建模方法研究

提出了一种基于DEVVSy-SysML-CPN的层次化武器体系建模与分析方法,该方法通过系统构件的逐层分解,以及系统静态模型、逻辑模型、可执行模型逐级映射的途径,能有力地应对集成复杂武器体系结构的分析问题,很好地支持了DoDAF的建模规范.重点阐述了DoDAF建模规范在复杂体系结构建模方面的不足,以及DEVS、SysML所做的改进.     

基于SMP2的网络化反导防御仿真系统设计与实现

网络化反导防御系统的作战特点,对其仿真系统的模型框架及建模规范提出了新的需求.引入联合作战指挥中心JOCC与公共作战图像COP模型,设计了其体系结构和模型概念框架.基于仿真模型可移植性标准(SMP2)对仿真系统进行设计与实现,讨论了模型设计、开发、装配集成与想定编辑以及仿真实验与数据记录等关键功能的实现.最后通过实例证明了模型框架的有效性及基于SMP2开发网络化作战系统的可行性和优越性.     

基于Modelica的ABS电磁阀多领域建模仿真分析

首先对ABS电磁阀的电控机理做了分析,介绍了Modelica语言多领域统一建模语言的优越性,并在ABS电磁阀的原理基础上,采用Modelica统一建模语言,建立了ABS电磁阀的气动、机械、电路、磁场的多领域模型.通过实验测试与计算机仿真的对比,确定了模型的准确性,同时分析了ABS电磁阀相关参数对其特性的影响,为ABS电磁阀的设计和ABS控制气压制动系统性能分析提供依据.     

基于LTL的交通灯系统形式化描述方法

阐述了线性时序逻辑语法及语义,采用线性时序逻辑描述软件系统动态语义,并对行人过街交通灯系统进行形式化描述,证明分析该系统的性质,为系统做进一步分析和验证提供了基础.     

图书馆数字化资源统一检索策略研究

通过分析图书馆数字化资源的特点和使用方法,提出了基于SOA架构通过桌面技术实施数字化资源统一检索的策略,利用SOA架构实现对各数据库的操作,采用桌面技术来实现对SOA中间件的灵活组装,最终采用B／S模式展现给读者。     

馆藏信息资源统一架构虚拟服务研究

馆藏信息资源种类繁多,形式多样,研究一种统一架构的虚拟服务技术有非常实用的价值．文章重点从信息资源表现层、信息资源应用层和信息资源加工层上讨论了高校数字图书资源融合结构,对典型的4种高校数字图书馆信息融合模式进行了分析,讨论了每一种模式的特点和存在的主要问题,最后提出了一种适于高校数字图书馆的典型资源融合方案．     

高校图书、情报、档案统一管理工作初探

现代化通讯技术和计算机技术的飞速发展,使电子图书、电子档案馆藏容量大,具备了阅读效率高和获取信息快、信息资料新、查阅速度快、内涵广等特点.特别是电子化推行的馆际互借互查业务,实现了图书、档案的异地借阅.探讨了高校图书、情报、档案三者之间的内在联系,从而实现统一管理的必要性、发展趋势和具体实施方案.