基于XML的作战计划形式化描述

在信息化条件下,战场情况瞬息万变,作战行动要以作战计划为依据.因此,客观上需要为作战计划设计语义明确、规范易懂、简洁实用、统一的形式化表示方法,保障指挥员和参谋人员准确表述和理解作战计划,为作战计划拟制、冲突检测和执行监控、作战仿真等软件提供基础支撑.通过分析作战计划的信息构成,对作战计划的各个组成部分进行了形式化描述,提出了基于XML的作战计划形式化表示方法,给出了基于XML Schema的作战计划形式化表示结构图.     

XQuery语言的形式化语义

XQuery语言用于查询XML文档。目前,该语言规范还是W3C的工作草稿。语言的形式化语义有助于语言的标准化,本文通过重用XML家族语言通用语义构件的方法,形式化建模XQuery语言的语义,语义的描述采用Object—Z规范语言。这种面向对象的语义描述不仅具有简洁性、可扩展性和可组合性,而且有助于规范之间的一致性和协调性。     

遗传算法的形式化语言表示

遗传算法（Genetic Algorithm）是一类借鉴生物界的进化规律（适者生存,优胜劣汰遗传机制）演化而来的随机化搜索方法。其主要特点是直接对结构对象进行操作;具有内在的隐并行性和更好的全局寻优能力;采用概率化的寻优方法,能自动获取并指导优化的搜索空间,自适应地调整搜索方向,不需要确定的规则。如何用形式化的语言表示出遗传算法成为运用于现实的基础。文章重点讨论了遗传算法的形式化语言表示。     

基于企业流程的需求形式化说明语言

需求说明是对需求分析结果所进行的文档化工作,其工作结果—需求规格说明在系统开发、测试、质量保证、项目管理中起着重要的作用。现有的需求规格说明绝大多数是采用自然语言来编写,由于自然语言在严密性上的缺陷,从而导致需求规格说明普通存在着三个严重的问题:模糊性、不准确性和不一致性。该文提出的基于企业流程的需求形式化说明语言,是以四元组作为描述机制,不仅能描述各活动之间的逻辑关系,而且能表达活动对信息流的操作形式,即将控制流和数据流合为一体。     

基于Petri网和B语言集成的形式化方法

本文中提出了一种能够描述分布式系统和实时系统的形式化方法-Petri-B 网，Petri-B 网是集成了 Petri 网理论 和 B 语言的形式化方法，它不仅具有了 Petri 网的特点，还具备了 B 语言的长处。本文定义了 Petri-B 网并用它来描述一个座位预 订系统。     

面向对象的形式化规约语言GOOZ

在总结和评价现有Z语言面向对象扩充的基础上，设计了一种新的扩充语言GOOZ，该语言克服了Z＋＋，Object_Z等语言的一些缺点，其书写规约具有简洁，明确，接口定义清晰，模块无整，结构良好，易于验证的特点。     

LISP语言的特点及其文法的BNF描述

LISP是最早和最重要的符号处理编程语言之一,Scheme语言是LISP的方言。本文总结了LISP语言的特点,并根据LISP语言的特点,用BNF范式完整的描述了Scheme语言的文法,这为用编译方法实现LISP语言提供了思路。     

一种改进的安全协议形式化需求语言

对原有的安全协议形式化需求语言进行了改进,使其能适用于复杂的分布式系统。使用改进后的语言描述了网格环境下多用户协同计算中科学计算问题的安全需求。     

基于Web服务的联合作战管理语言

综合军事信息系统CAISR和仿真系统之间的互操作性不强是由来已久的一个问题,作战管理语言的出现为解决这一问题提供了新的方法.作战管理语言是一种无歧义的语言,用于指挥和控制作战人员和武器装备执行军事行动,并能提供态势感知和全局共享的可操作的态势图.Web服务提供了一种新的分布式仿真模式,支持互操作性和重用性.介绍了作战管理语言和Web服务技术,分析了在Web服务支持下应用JBML实现仿真系统和CAISR的互连.在网络服务中扩展的联合作战管理语言将能更好地改进军事系统问的互操作性.     

基于形式化方法的需求分析

利用形式化规格说明语言——B语言对软件需求进行了严格定义，在严格的数学基础上进行软件开发，以获得更好的软件性能。利用形式化方法的需求分析，有助于发现需求中隐含的不一致性、二义性和不完整性，对其进行更深入精确的理解，从而进行规范化管理。     

海战仿真中CGF行为建模方法研究

CGF是分布交互仿真环境中重要的仿真实体,CGF行为模型是构建CGF系统的核心和难点.对CGF行为的特点进行了归纳,认为CGF的行为可以由一组动作通过一定的逻辑运算进行合成.提出了基于线性赋色时态逻辑的行为建模方法,分别建立了动作、活动和行为三个不同层次的模型并给出了实例应用.采用该方法建立的CGF行为模型结构明晰,适于采用STAGE的脚本语言进行程序化描述,仿真结果表明了该方法的合理性和有效性.     

面向OWL的联合作战管理语言本体开发方法

作战管理语言是一种能够无歧义指挥命令部队和装备进行军事行动和提供态势感知、共享作战行动的语言,其公开标准为联合作战管理语言。联合作战管理语言产品开发组制定了三个阶段开发语言标准,包括数据模型、形式化结构（语法）和形式化语义（本体）,目前的研究主要集中在前两个阶段,对实现概念交互的第三阶段的相关研究还比较欠缺。在总结相关对作战管理语言本体研究的基础上,提出了针对联合作战管理语言本体面向联合作战的一种应用框架。通过对炮兵打击任务分配的实际应用,验证了该方法的合理性和有效性,同时显示了本体在军事领域具有相当严格可靠的模型描述能力。     

基于语法描述语言的在线手绘流程图识别

提出了一种基于语法描述语言来对草图的结构和组成符号进行识别的方法。该方法将整个识别过程分为3步:首先,使用具有空间和时序约束的动态规划对笔画序列进行自由组合;然后通过神经网络分类器对笔画组合进行识别,生成候选符号集;最后,基于流程图构成的语法规则,对候选符号进行筛选,最终通过语法解析获得识别结果。在FCinkML数据上对该方法进行验证,结果表明了该方法的有效性。     

基于掩码语言模型的中文BERT攻击方法

对抗文本是一种能够使深度学习分类器作出错误判断的恶意样本, 敌手通过向原始文本中加入人类难以察觉的微小扰动制作出能欺骗目标模型的对抗文本. 研究对抗文本生成方法, 能对深度神经网络的鲁棒性进行评价, 并助力于模型后续的鲁棒性提升工作. 当前针对中文文本设计的对抗文本生成方法中, 很少有方法将鲁棒性较强的中文BERT模型作为目标模型进行攻击. 面向中文文本分类任务, 提出一种针对中文BERT的攻击方法Chinese BERT Tricker. 该方法使用一种汉字级词语重要性打分方法——重要汉字定位法; 同时基于掩码语言模型设计一种包含两类策略的适用于中文的词语级扰动方法实现对重要词语的替换. 实验表明, 针对文本分类任务, 所提方法在两个真实数据集上均能使中文BERT模型的分类准确率大幅下降至40%以下, 且其多种攻击性能明显强于其他基线方法.     

基于MARTE的面向混成系统的模型形式化转换

混成系统是离散逻辑跳转与实时连续行为交织的复杂状态变迁系统,形式化建模与验证是确保混成系统正确性和可靠性的重要途径。首先介绍一种混成ZIA形式规范;然后,基于建模语言MARTE建立扩展Object-Z的规范,即OZ-MARTE,该规范弥补了MARTE规范在形式化描述方面的不足,同时为了方便描述混成系统中连续动态行为属性,给出对混成系统中连续变量的描述转换规则,增强了MARTE对混成系统的描述能力;最后,给出OZ-MARTE规范到混成ZIA规范的转换方法,因此针对混成ZIA规范的验证技术同样适用于对MARTE模型进行形式化验证。     

基于形状文法的产品形态创新设计研究与实践

为了更好地继承本族群及参考产品的优势设计特征,增强产品形态设计推敲阶段的客观性和科学性,更好满足用户需求,提出基于形状文法的产品形态创新设计方法和模型。此法结合目标产品形态特征,分别从产品族群与可参考产品中提取能够反映用户需求的形态要素,然后应用形状文化规则进行演变推理,以实现产品设计方案自适应进化。并在此基础上,详细探讨了产品研究与形态分析、形态推演、方案生成等关键技术,最后结合具体的某款电动踏板车形态设计过程对该方法进行了说明和验证。     

基于组件的装甲兵作战仿真系统的设计与实现

基于组件的仿真系统设计和实现方法,在支持作战仿真系统开发中较传统的实现技术在模型重用、开发效率、系统维护等方面具有明显的优势。该文阐述了基于组件的装甲兵作战仿真系统的设计与实现。