计算机模拟兵力行为的形式化描述和可视化设计

结合计算机模拟兵力行为规则的特点，提出了一种行为规则的BNF描述方法，能够较好对兵力行为模型进行描述。开发实现了一个基于规则和有限状态机的行为模型编辑器，实现了兵力行为模型的可视化设计。     

项目管理软件的形式化语言描述分析

随着计算机技术以及信息技术的发展,目前大中型工程项目自动化程度越来越高,项目复杂程度也越来越高,单靠传统的项目管理模式已经远远无法满足工程进度和效率的要求,同时也会造成人力物力的大量浪费。应用先进的项目管理软件对大中型工程项目进行综合管理,有助于对项目整体进行规划、分工,能够有效的配置人力资源和原料,极大提高工程项目管理的科学性和有效性。本文主要对先进项目管理软件所采用的形式化语言进行解读与分析。     

基于Real—TimeObject—Z语言的铁路交叉道口系统的形式化描述

形式化语言Object-Z的实时扩展Real-Time Object-Z可以对实时系统进行形式化描述.以铁路交叉道口系统的应用证明了这一点.     

现代烟草农业地理信息系统需求形式化描述研究

现代烟草农业建设离不开地理信息技术支持,而系统项目需求则因实际情况复杂多变难以准确描述。针对图形、文本、表格等非形式化需求描述方式无法做到准确、一致、无二义性等要求,提出了现代烟草农业地理信息系统需求形式化描述与验证方法。以现代烟草农业中基础设施规划子模块需求描述与验证为例,将现代烟草农业对地理信息系统真实需求归纳到预定义地理信息子问题框架,涉及需求分解、问题子框架组合等系列工程问题,对烟草地理信息需求形式化定义与描述具有典型示范效益。     

形式化技术在软件工程中的作用

本文主要介绍了形式化技术的一些基本的理论,重点对形式化技术在软件工程和数学理论基础领域的作用进行研究。分析了形式化技术在软件工程领域的一些优势和局限性。并且指明了形式化技术在以后的发展中可能的方向,并且对形式化技术在软件工程中的作用进行了评价。     

基于构件技术和B方法的形式化需求分析

采用一种基于构件技术和B方法的企业信息系统形式化需求分析方法,按照构件的思想对非形式化的需求分析进行形式化描述,可发现软件需求中隐含的不一致性、不完整性、消除二义性.该方法可以解决传统方法的一些不足,大大提高系统需求分析的质量与效率.     

网络销售服装的描述方法

对网络销售服装的描述方法进行探讨,认为应该在描述中同时注重图片展示和文字说明。完整而系统的描述应该包括：正面整体照片,在旁标注模特的详细资料和服装的尺寸说明;背面整体照片,在旁标注服装的面料说明;两侧整体照片,在旁标注服装的其他说明;细节照片,包括各部件的图片、装饰手段的图片、辅料的图片、工艺质量的图片等。     

网络销售服装的描述方法

对网络销售服装的描述方法进行探讨,认为应该在描述中同时注重图片展示和文字说明。完整而系统的描述应该包括:正面整体照片,在旁标注模特的详细资料和服装的尺寸说明;背面整体照片,在旁标注服装的面料说明;两侧整体照片,在旁标注服装的其他说明;细节照片,包括各部件的图片、装饰手段的图片、辅料的图片、工艺质量的图片等。     

形式化的安全分析方法在智能轨道交通的应用

在智能轨道交通中,信号系统作为指挥列车安全运行的核心控制系统,在列车运行过程中,控制不当可能导致对人类生命,财产或环境造成灾难性后果。传统的自然语言描述使系统开发缺乏统一的标准,而形式化方法可以有效验证和评估系统设计正确性。文章研究了形式化安全保障技术在智能轨道交通领域的应用,针对全自动驾驶FAO系统中各子系统之间复杂的交互作用,文章结合了形式化方法和STPA方法。以车载ATP系统为例,进行形式化和安全分析方法的结合分析,按照STPA步骤进行安全分析,识别系统相关的安全约束,并运用了XSTAMPP软件辅助分析过程。研究结果实现了自然语言的安全需求到线性时序逻辑(LTL)的形式化规范的转化,有效避免了可能存在的二义性,体现了STPA与形式化结合方面的实际应用价值,并为接下来进行形式化验证提供参考。     

一种基于SPIN的安全协议形式化验证方法

基于形式化的验证方法是提高软件系统质量以及保证安全攸关系统安全性和可靠性的有效方法。本文提出了一种基于SPIN的模型检测方法,该方法通过DoIev—Yao模型来描述协议系统及攻击者,通过LTL公式对待验证属性进行形式化规约。通过运用这种验证方法以及模型检测器SPIN找到了一种不满足待验证属性的情况即找到了一种针对协议的攻击,说明了这种方法的在实际中可以有效的发现协议的缺陷,而且可方便地用于其它网络安全协议验证。     

无线网络安全协议的形式化分析方法

随着无线网络应用的迅速发展,网络安全的问题也悄然的走了进来。采用形式化方法设计及分析无线环境下的安全协议得到快速的发展以及广泛的应用。本文针对无线网络安全协议的形式化进行了分析和探讨。     

氨纶包芯纱弹性描述方法的研究

本文通过对氨纶包芯纱定速拉伸试验曲线和数据特征的分析，提出了一种具有一定的实践可操作性的氨纶包芯纱的弹性描述的新方法。这对帮助氨纶包芯纱的弹性研究、指导相关织物的设计与生产具有十分重要的意义。     

薯片的感官描述分析

薯片是一种喜闻乐见的休闲类小食品,尤其得到青少年消费者的青睐。而产品的销售数量会受到感官特性的影响,比如薯片的脆度,硬度,薄厚等。在本次调研中,通过感官描述分析,首先筛选出9种不同味道薯片,并对18名在校生评定员进行培训,对每个感官描述词汇进行定义和标准样品的选择,得到一个28个感官描述词汇表,最后生成薯片的感官描述分析图。 本文是感官分析在大专院校科研技术平台应用的一个典范,通过科学、系统的建立一个特定产品的感官评定小组（招募、筛选、培训和感官能力评估）,产生感官描述词汇、定义和参照物评分原则,建立产品的感官属性图谱,从而达到感官属性定性定量的目的。     

计算机软件工程的维护措施与方法初探

随着社会经济的不断发展,科学技术水平的不断提高,在人们的日常生活中,计算机得到了广泛的应用,相关的软件开发也越来越多。目前,软件工程维护已经成为了软件行业中急需解决的现实问题,一定要结合实际情况提出一些有效的措施与方法。本文主要对计算机软件工程的维护措施和维护方法进行分析,实现软件工程的可持续发展。     

定量描述法在食醋感官评定中的应用

采用定量描述法(QDA)对三种食醋进行了感官评定,并建立了三种食醋的QDA数据的蜘蛛网图,结果表明,此方法能区别三种食醋的感官特性,适用于食醋感官品质的评价。     

关于汇编语言和C语言在软件工程中的应用研究

汇编语言和 C语言在软件工程中是应用较为广泛的两种计算机语言,汇编语言实质上是一种直接面向机器的低级语言,C语言实质上是一种结构式的高级语言,其通用性,实用性和语句表达能力都较强,其在系统开发与应用软件的开发中应用较为普遍。在现实的软件工程中,汇编语言和 C语言各有本身的优点和缺点,本文试图在具体的软件工程中融合这两种语言的优点,克服其缺点,把汇编语言和 C 语言综合而高效的利用起来。     

茶叶品质的描述和部分评茶术语的含义及应用

<正> 茶叶品质是经过评茶员审评之后运用评茶术语描述表达出来的,因此,评茶术语又称之为“茶之语”。 评茶术语是茶叶技术人员为了表达茶叶品质所制定的有特定含义的一系列词语,作为一个专业评茶员,必须要了解这些评茶术语的     

刍议软件工程管理方法在软件开发中的应用

软件工程管理目前还没有引起人们的足够重视。究其原因：首先是人的传统观念,工程管理不为人们所重视;另一方面软件工程是一个新兴的学科领域,软件工程管理的问题也是刚被提出的。故对软件工程管理还处于初级阶段的认识。研究并探索一条软件工程管理的方法和模型,对软件工程实践,提高软件质量是有必要的。     

定量描述分析法在果糕感官评定中的应用

采用定量描述分析法对5种果糕进行感官评定分析,建立5种果糕的感官风味剖面图。结果表明,定量描述分析法能区分5种果糕的感官特性指标,适用于果糕产品的感官品质评定。     

数据挖掘在软件工程领域中的应用浅析

随着计算机科学技术的不断发展,软件系统的规模与复杂性也逐渐增强,软件开发成为一种具有系统性与复杂性的工程项目,需要不断地进行数据的挖掘。数据挖掘技术在软件工程领域中的应用,能够满足现代社会发展的需求,解决了软件工程领域中的程序代码分析过程与故障检测等问题。在未来的发展过程中,数据挖掘技术将成为软件工程领域发展的必然趋势。