教学课程资源库 更多>>

关键词： ontology design tools   ontology visualisation methods  

摘要： This paper proposes a particular method which utilises the unified modelling language (UML) as a design visualisation tool for modelling ontologies based on the Common Logic knowledge representation language. The use of this method will enable Common Logic ontological concepts to be more readily accessible to general engineers and provide a valuable ontology design aid. The method proposed is explored using the knowledge frame language (KFL) which provides constructs to facilitate ontology building and is built on Common Logic. The major constructs of KFL are briefly defined and a description of how each construct may be represented in UML is given. Examples are presented showing how the constructs may be modelled in UML and a Common Logic-based implementation founded on a UML design is illustrated and discussed. The manufacturing domain is utilised as an experimental basis for demonstrating the proposed method.

关键词： 病案借阅   UML建模   动态SQL语句   存储过程  

摘要： 病案借阅追溯系统建设的目的是促使普陀医院病案借阅事务的信息化和自动化。客户端采用C++语言开发,基于UML建模,后台运用动态SQL语句拼接和存储过程从病案数据库与HIS数据库获取病案状态,实现了病案批量借阅/归还与核对、单份病案与批量病案状态追溯、定时催还、历史病案查询、工作量统计、报表输出等功能。该软件的应用极大提高了病案借阅效率,取得了良好的社会效益和经济效益,为数字化医院的建设打下坚实的基础。进一步工作的方向是将系统深度整合到病案统计管理系统中去,最终实现单一的真正意义的电子病历系统。

关键词： 遥测   弹载记录器   闪存   存储体系结构   流水线   交替双平面编程  

摘要： 为满足飞行器遥测中存储设备大容量、高带宽、易于扩展的要求,研究提高大容量存储器存储访问速度的方法,基于流水线并行存储技术,设计一种新的固态记录器高速存储体系结构。对其存储速度进行分析,结果表明理论最高写入速度可达300 MB/s,在某弹载回波存储器中能实现200 MB/s的数据存储,飞行试验结果也验证了该存储体系结构具有较高的可靠性。

关键词： 内部控制信息化实施   领域分析   形式化方法   销售业务内控  

摘要： 企业内控信息化实施需要运用信息技术手段将内控理念、内部控制制度规范、流程、措施固化到信息系统中,将企业信息系统转化、提升为一个集成了企业内控需求的信息化管理平台。企业内控信息化实施是一个复杂庞大的系统工程,需要有科学规范的方法、工具和技术以保证内控系统实施的质量。领域分析和形式化方法是计算机软件工程中对软硬件系统进行分析、规范、建模、证明的方法和技术,将其应用于企业内控信息化实施,可以在内控系统运行前,通过基于数理逻辑证明的方法快速有效地发现系统设计和实施中存在的缺陷和漏洞,降低企业内控系统低效或失效的风险。本文以销售业务为例讨论了领域分析与形式化方法的内控信息化实施过程。

关键词： LabVIEW   面向对象   GOOP   测试系统  

摘要： 本文介绍了基于LabVIEW面向对象技术的某型电路板检测系统,通过面向对象程序设计方法(Graphical Object-Oriented Programming),将现有代码分解为一个个离散的模块,充分利用面向对象设计与开发的优点与好处,最终实现电路板检测任务。

关键词： 时序描述逻辑   统一建模语言顺序图   静态语义   动态语义   形式化规约   形式化验证  

摘要： 根据统一建模语言(UML)顺序图的时序特征,提出一种基于时序描述逻辑ALCQIUS的UML顺序图形式化方法。研究ALCQIUS时序扩展部分的语法和语义、ALCQIUS断言公式集一致性定理,给出ALCQIUS断言公式集一致性推理算法,并证明该推理算法的可判定性。以公安报警系统为例,说明基于ALCQIUS的UML顺序图形式化规约和形式化验证具备可行性,并且ALCQIUS为UML顺序图形式化提供了合理的逻辑基础。

关键词： 列控系统   符号模型检验   形式化方法   车载设备   模式转换  

摘要： 由于CTCS-2级列控系统设计复杂,因此提出一种将统一建模语言(UML)与符号模型检验相结合的形式化建模与验证方法。分析CTCS-2级列控车载设备的模式转换场景,对其进行UML建模得到UML类图和状态图,制定转换规则对UML模型进行扩展和抽象,使其转化为NuSMV模型。将待验证的系统性质和转化后的检验程序输入符号模型检验系统进行验证,验证结果都为true,表明CTCS-2级列控车载设备的模式转化场景具有活性、可达性和安全性。

关键词： 就业   UML建模   B   S模式   NET框架  

摘要： 大专院校毕业生就业信息管理系统设计与开发是为了把管理人员从繁重的数字统计中解脱出来,高效的完成毕业生的就业管理,提高就业率和服务质量。系统开发从需求分析设计到最终系统完成并成功运行,运用了软件开发相关技术理论。系统建立了良好的平台架构,减少了各模块间的耦合性,着重解决了面向招聘单位、毕业生以及各级管理员部署该系统时信息不对称问题,并深入研究了毕业生的就业意愿与用人单位需求不匹配的矛盾协调技术。

关键词： 作战仿真   校核   验证与确认(VV&A)过程   形式化建模   统一建模语言(UML)语言   可信性  

摘要： 可信性是作战仿真的生命线,对作战仿真的全生命周期进行校核、验证与确认(Verification,ValidationandAccreditation,VV&A)是确保其可信性的重要途径。建立合适的VV&A过程形式化模型是开展作战仿真VV&A过程研究的前提和基础。基于统一建模语言(Unified Modeling Language,UML)分别从用例、静态结构、动态行为及交互等方面对VV&A过程进行形式化建模,建立了作战仿真VV&A过程的用例、类图、活动图及顺序图模型,并给出相应的形式化定义。实践表明:作战仿真VV&A过程形式化建模可以使VV&A的描述规范化、标准化及形式化,便于不同领域人员的相互沟通与交流,以及VV&A工程化应用,促进了VV&A工作顺利开展。

关键词： 多轴数控系统   开放式结构   TwinCAT  

摘要： 针对现行多轴数控系统体系结构存在的开放程度不高等问题,提出了一种关于多轴开放体系结构设计新思路:开放的硬件系统应该建立在一种标准的、通用的硬件基础之上;开放的软件系统则应该建立在模块化结构的软件基础之上。基于上述思路,分析了TwinCAT工控软件的特点、功能以及其在开发数控系统时具有的优越性,对基于TwinCAT工控平台的开放式多轴系统软硬件结构设计和实现过程进行了相应阐述。通过伺服系统与控制卡间的硬件连接,结合VC++程序设计,实现了一个基本的开放体系结构模型,为后续多轴数控系统的深入开发积累实际经验。