教学课程资源库 更多>>

关键词： 基于通信的列车控制   区域控制器   移动授权   统一建模语言建模   模型验证  

摘要： 探讨了基于通信的列车控制(CBTC)系统中区域控制器(ZC)子系统不同运营场景下移动授权的生成过程。采用统一建模语言(UML),与CBTC中列车运行控制的特殊要求相结合,以规范ZC子系统实现的过程和改善系统的开发效率。通过UML建模直观展现系统的结构,检查系统完整性,并完成该系统模型的仿真验证。

关键词： 网络安全体系   UML建模   安全目标   安全边界   安全措施  

摘要： 在现有法律法规和标准体系的指导下,提出了一种通用的网络安全体系框架,阐述了安全目标、安全边界、安全体系要素与安全服务和安全风险评估之间的关系.在网络安全体系框架的基础上,利用统一建模语言(Unified Modeling Language,UML)在建模表述上的强大性和通用性给出了安全目标、安全边界和安全体系要素的建模方法,以规范化安全体系的表示形式并消除沟通中的歧义性.利用建立的模型,安全管理员使用提出的网络安全建模分析方法,可以验证业务流程的目标满足性并得出可能的安全风险.最后通过一个典型网上银行网络的建模分析,验证了提出的安全体系框架和建模分析方法的有效性和合理性.相比于传统的方法,该方法建模分析要素更为全面,且推导得出的结果指导性更强.

关键词： 软构件技术   软件开发方法   软件开发方式   构件库   信息技术开发   计算机科学   软件系统   软件开发周期   面  

摘要： 软件是信息技术开发的一个方向。基于软构件的软件开发方法已经受到了计算机科学业界的广泛关注。软构件技术不仅能提高了软件的开发效率,加速软件开发速率,也能使所开发的软件具有更好的安全性、可靠性。

关键词： 参数字典   压缩感知   稀疏化   稀疏重构  

摘要： 稀疏化是压缩感知理论的关键,对信号恰当的稀疏表示能提高恢复的精度.本文提出一种基于参数字典的稀疏表示方法,把参数字典设计作为一个优化问题来分析,通过交替迭代的方式求得参数方程的可行解,进而生成参数字典.本文的参数字典设计方法较其他方法而言能获得较优的近似解,且该方法产生的优化字典更符合紧框架特性.

关键词： 形式化方法   模型检测   时序逻辑   安全检测  

摘要： 模型检测是一种能够自动验证有限状态并发系统技术。通过显式状态搜索来验证有限状态并发系统的模态与命题性质,当前已被广泛应用于计算机软硬件系统安全性能的检测。本文浅析了模型检测技术,分析了模型检测技术的发展概况、基本原理、算法、模型检测工具等,并介绍了模型检测领域的最新进展。

关键词： UML   系统分析   建模  

摘要： UML是软件开发的主流建模语言,是面向对象的软件工程方法的重要组成部分。文章对多媒体设备管理系统进行了系统分析,接着建立了系统分析阶段的UML模型,绘制了系统用例图和流程图。

关键词： Helicobacter pylori   pBKHGC   vector  

摘要： We constructed a H. pylori expression vector which consisted of both a His-tag and a GST tag as purification tools for recombinant protein and a chloramphenicol resistant cat gene as a reporter. The backbone of the vector pBK contained an ColEI origin of replication and a kanamycin resistant gene. A set of oligos for the His-tag and the PCR product of gst (glutathione S-transferase) gene were inserted sequentially in frame in the multi-cloning site of pBK. The orf of cat was inserted downstream of the gst to generate pBKHGC. The 3' part of H. pylori clpB and flaA were cloned into the vector which was introduced into H. pylori. Recombinant proteins were purified by GSH affinity column, digested with thrombin and were analyzed by western blotting. The final recombinant proteins were successfully purified.

关键词： Aspect-oriented modeling   UML state machines   Controlled experiment   Defect identification and fixing   Comprehension  

摘要： Aspect-oriented modeling (AOM) is a relatively recent and very active field of research, whose application has, however, been limited in practice. AOM is assumed to yield several potential benefits such as enhanced modularization, easier evolution, increased reusability, and improved readability of models, as well as reduced modeling effort. However, credible, solid empirical evidence of such benefits is lacking. We evaluate the "readability" of state machines when modeling crosscutting behavior using AOM and more specifically AspectSM, a recently published UML profile. This profile extends the UML state machine notation with mechanisms to define aspects using state machines. Readability is indirectly measured through defect identification and fixing rates in state machines, and the scores obtained when answering a comprehension questionnaire about the system behavior. With AspectSM, crosscutting behavior is modeled using so-called "aspect state machines". Their readability is compared with that of system state machines directly modeling crosscutting and standard behavior together. An initial controlled experiment and a much larger replication were conducted with trained graduate students, in two different institutions and countries, to achieve the above objective. We use two baselines of comparisons-standard UML state machines without hierarchical features (flat state machines) and standard state machines with hierarchical/concurrent features (hierarchical state machines). The results showed that defect identification and fixing rates are significantly better with AspectSM than with both flat and hierarchical state machines. However, in terms of comprehension scores and inspection effort, no significant difference was observed between any of the approaches. Results of the experiments suggest that one should use, when possible, aspect state machines along with hierarchical and/or concurrent features of UML state machines to model crosscutting behaviors.

关键词： 体系结构   美国国防部体系结构框架   元模型   体系结构设计  

摘要： 为了规范体系结构的设计过程,实现以数据为中心的体系结构设计策略,研究了基于DoDAF元模型的体系结构设计概念及过程。首先,给出了元模型的组成及基于元模型体系结构设计的相关概念;其次,将基于元模型的体系结构设计划分为要素、模型和视图设计3个阶段,并对每个阶段作了更精细分解;最后,阐述了概念元、逻辑元和物理元模型在体系结构设计各阶段的主要作用。

关键词： 智能体   多智能体   模拟训练   通信协议  

摘要： 针对传统模拟方法已经无法适应现代战场环境的问题,提出一种基于多智能体的战术仿真系统体系结构设计方法。以完成单兵种战术模拟演习任务为牵引,给出体系结构中单个智能体的仿真模型及形式化描述,引入合作任务管理器实现多个智能体之间的协同通信。实验结果证明:该方法有效且具有一定的可行性,能够客观地反映军事演习的整个过程。