共查询到18条相似文献,搜索用时 93 毫秒
1.
在信息化条件下,战场情况瞬息万变,作战行动要以作战计划为依据.因此,客观上需要为作战计划设计语义明确、规范易懂、简洁实用、统一的形式化表示方法,保障指挥员和参谋人员准确表述和理解作战计划,为作战计划拟制、冲突检测和执行监控、作战仿真等软件提供基础支撑.通过分析作战计划的信息构成,对作战计划的各个组成部分进行了形式化描述,提出了基于XML的作战计划形式化表示方法,给出了基于XML Schema的作战计划形式化表示结构图. 相似文献
2.
XQuery语言用于查询XML文档。目前,该语言规范还是W3C的工作草稿。语言的形式化语义有助于语言的标准化,本文通过重用XML家族语言通用语义构件的方法,形式化建模XQuery语言的语义,语义的描述采用Object—Z规范语言。这种面向对象的语义描述不仅具有简洁性、可扩展性和可组合性,而且有助于规范之间的一致性和协调性。 相似文献
3.
郑跃斌 《计算机工程与应用》2003,39(27):227-229,232
需求说明是对需求分析结果所进行的文档化工作,其工作结果—需求规格说明在系统开发、测试、质量保证、项目管理中起着重要的作用。现有的需求规格说明绝大多数是采用自然语言来编写,由于自然语言在严密性上的缺陷,从而导致需求规格说明普通存在着三个严重的问题:模糊性、不准确性和不一致性。该文提出的基于企业流程的需求形式化说明语言,是以四元组作为描述机制,不仅能描述各活动之间的逻辑关系,而且能表达活动对信息流的操作形式,即将控制流和数据流合为一体。 相似文献
4.
遗传算法(Genetic Algorithm)是一类借鉴生物界的进化规律(适者生存,优胜劣汰遗传机制)演化而来的随机化搜索方法。其主要特点是直接对结构对象进行操作;具有内在的隐并行性和更好的全局寻优能力;采用概率化的寻优方法,能自动获取并指导优化的搜索空间,自适应地调整搜索方向,不需要确定的规则。如何用形式化的语言表示出遗传算法成为运用于现实的基础。文章重点讨论了遗传算法的形式化语言表示。 相似文献
5.
本文中提出了一种能够描述分布式系统和实时系统的形式化方法-Petri-B 网,Petri-B 网是集成了 Petri 网理论 和 B 语言的形式化方法,它不仅具有了 Petri 网的特点,还具备了 B 语言的长处。本文定义了 Petri-B 网并用它来描述一个座位预 订系统。 相似文献
6.
在总结和评价现有Z语言面向对象扩充的基础上,设计了一种新的扩充语言GOOZ,该语言克服了Z++,Object_Z等语言的一些缺点,其书写规约具有简洁,明确,接口定义清晰,模块无整,结构良好,易于验证的特点。 相似文献
7.
LISP是最早和最重要的符号处理编程语言之一,Scheme语言是LISP的方言。本文总结了LISP语言的特点,并根据LISP语言的特点,用BNF范式完整的描述了Scheme语言的文法,这为用编译方法实现LISP语言提供了思路。 相似文献
8.
对原有的安全协议形式化需求语言进行了改进,使其能适用于复杂的分布式系统。使用改进后的语言描述了网格环境下多用户协同计算中科学计算问题的安全需求。 相似文献
9.
基于Web服务的联合作战管理语言 总被引:1,自引:0,他引:1
综合军事信息系统CAISR和仿真系统之间的互操作性不强是由来已久的一个问题,作战管理语言的出现为解决这一问题提供了新的方法.作战管理语言是一种无歧义的语言,用于指挥和控制作战人员和武器装备执行军事行动,并能提供态势感知和全局共享的可操作的态势图.Web服务提供了一种新的分布式仿真模式,支持互操作性和重用性.介绍了作战管理语言和Web服务技术,分析了在Web服务支持下应用JBML实现仿真系统和CAISR的互连.在网络服务中扩展的联合作战管理语言将能更好地改进军事系统问的互操作性. 相似文献
10.
基于形式化方法的需求分析 总被引:4,自引:3,他引:4
利用形式化规格说明语言——B语言对软件需求进行了严格定义,在严格的数学基础上进行软件开发,以获得更好的软件性能。利用形式化方法的需求分析,有助于发现需求中隐含的不一致性、二义性和不完整性,对其进行更深入精确的理解,从而进行规范化管理。 相似文献
11.
12.
面向OWL的联合作战管理语言本体开发方法 总被引:1,自引:0,他引:1
作战管理语言是一种能够无歧义指挥命令部队和装备进行军事行动和提供态势感知、共享作战行动的语言,其公开标准为联合作战管理语言。联合作战管理语言产品开发组制定了三个阶段开发语言标准,包括数据模型、形式化结构(语法)和形式化语义(本体),目前的研究主要集中在前两个阶段,对实现概念交互的第三阶段的相关研究还比较欠缺。在总结相关对作战管理语言本体研究的基础上,提出了针对联合作战管理语言本体面向联合作战的一种应用框架。通过对炮兵打击任务分配的实际应用,验证了该方法的合理性和有效性,同时显示了本体在军事领域具有相当严格可靠的模型描述能力。 相似文献
13.
14.
对抗文本是一种能够使深度学习分类器作出错误判断的恶意样本, 敌手通过向原始文本中加入人类难以察觉的微小扰动制作出能欺骗目标模型的对抗文本. 研究对抗文本生成方法, 能对深度神经网络的鲁棒性进行评价, 并助力于模型后续的鲁棒性提升工作. 当前针对中文文本设计的对抗文本生成方法中, 很少有方法将鲁棒性较强的中文BERT模型作为目标模型进行攻击. 面向中文文本分类任务, 提出一种针对中文BERT的攻击方法Chinese BERT Tricker. 该方法使用一种汉字级词语重要性打分方法——重要汉字定位法; 同时基于掩码语言模型设计一种包含两类策略的适用于中文的词语级扰动方法实现对重要词语的替换. 实验表明, 针对文本分类任务, 所提方法在两个真实数据集上均能使中文BERT模型的分类准确率大幅下降至40%以下, 且其多种攻击性能明显强于其他基线方法. 相似文献
15.
16.
混成系统是离散逻辑跳转与实时连续行为交织的复杂状态变迁系统,形式化建模与验证是确保混成系统正确性和可靠性的重要途径。首先介绍一种混成ZIA形式规范;然后,基于建模语言MARTE建立扩展Object-Z的规范,即OZ-MARTE,该规范弥补了MARTE规范在形式化描述方面的不足,同时为了方便描述混成系统中连续动态行为属性,给出对混成系统中连续变量的描述转换规则,增强了MARTE对混成系统的描述能力;最后,给出OZ-MARTE规范到混成ZIA规范的转换方法,因此针对混成ZIA规范的验证技术同样适用于对MARTE模型进行形式化验证。 相似文献
17.