规格说明

摘要： 正规函数表是一类典型的Tabular表达式,被广泛应用于软件说明文档.文中对Tabular表达式中正规函数表操作的语义进行研究.首先给出了正规函数表的形式文法,讨论了规整性、完全性和不可交叉性等性质,说明了其求值过程;然后根据操作的影响范围,以内部操作和外部操作为分类标准,分别对二元操作、替换操作、提取操作和扩展操作的语义进行刻画,讨论了各个操作的封闭性;最后通过电梯控制系统实例分析了相关操作的实际应用场景,说明了正规函数表操作的形式语义的合理性和可用性.实例结果表明,文中提出的正规函数表操作的语义描述与实际结果是一致的.

摘要： 1收集应用资料部件尺寸及定向、物料规格说明、注模尺寸。2决定所需要的锁模力检查部件高度、壁厚、物料、型芯和投影面，以决定所需之锁模力。3核实所选夹紧装置之空间核实模具尺寸：水平、垂直和闭合高对应于所选夹紧装置的关系：必要时增中夹紧模选择。

摘要： 最近业内两则有关人工智能和互联网＋的消息引发大量关注和思考。一则是5月31日由上市公司华建集团推出的＂云华建＂,重点是＂互联网＋设计＂;另一则是6月3日在深圳发布的＂人工智能建筑师＂小库,主打的是＂人工智能＋设计＂。两大事件的共同点是有关＂技术改变设计,技术改变行业＂。＂阿法狗＂与人类棋手的再一次较量,宣布世界已经从互联网时代迈向了人工智能时代,最早提出＂互联网思维＂的百度创始人兼首席执行官李彦宏最近又提出了＂人工智能思维＂,按这个说法,

摘要： 井喷的木制摩天大楼木材曾经是人类广泛采用的最古老的建筑材料,直到100多年前,木材还牢牢占据着“建材老大”的地位。然而,自从19世纪末人类迷恋上了摩天大楼,木材渐渐被冷落,取而代之的是更加坚固的钢筋水泥。不过,随着科技的发展,木材技术正悄悄地进行着升级,

摘要： RadiPac效率与日俱增依必安派特的下一步便是进一步加强RadiPac。继优化RadiPac风机使用的EC电机之后,目前正在引进改进版风机。值得期待!检查没有问题——但信任是更好的选择可靠性和信赖对于任何合作关系都很重要。客户必须完全依赖于供应商——依必安派特很清楚这份责任的重大。依必安派特的风机和相关规格说明书都具有优异品质,始终值得空气处理装置规划师和操作员的信赖。

摘要： 湖南烟草商业物流综合管控系统项目于2014年2月21日批准立项以来,物管系统项目组本着"从实际工作出发,为生产经营服务"的宗旨,深入细致地开展了需求调研,在编制我省物管系统需求规格说明书和搭建系统原型的基础上,多次进行了各市州公司物流信息化建设现状和需求调研;项目组着眼信息技术的发展趋势,注重引入成熟、前沿的物联网技术,以建设"全面感知、全程可视、全线可控、全员可考"的物流信息系统为目标,力求项

摘要： 目前,在软件项目设计方法中,B方法是少数几种能够贯穿从需求分析到系统实现环节的、对软件产品进行全生命周期管理的形式化方法之一.本文以网络发票系统为例,对其使用B方法进行产品设计的良好实践进行了说明,阐述了该方法从规格说明到精化、实现的实践过程,该过程使用AtelierB作为实现工具.

摘要： 正为进一步规范全省就业人才服务工作,提高就业人才服务质量和效率,实现就业人才管理信息化、科学化,根据全国金保工程二期的统一部署和我省业务发展需要,今年我省公共就业人才服务版块主要规划建设全省集中的内外网业务经办信息系统、全省人力资源库、人员招聘平台、就业监测等业务信息系统。自今年1月开始,信息中心和项目承建单位与各处室、单位开展了详细的系统建设需求调研工作,完善了建设方案及系统需求规格说明书,目前全省集中的公共就业人才服务信息系统已进入开发阶

摘要： 在实际的工作及项目管理中,接合软件配置管理的相关知识总结出了关于软件配置管理的一些内容。本文主要介绍了软件配置管理的必要性、软件配置管理的概念、软件配置管理的目标、软件配置管理的相关角色、软件配置管理的关键活动及软件配置管理的工具。

摘要： The modeling with formalized methods can improve the validity and reliability of a target system while developing software. A method to utilize Z language to carry out semantic analysis is proposed. The method indicates the object state by the property set and based on Z specification of the sequence diagram. The context of the sequence diagram is expressed as Z form restraint. The sequence diagram was analyzed semantically by checking the uniformity of context restrant and object state. Taking a class scheduling system based on the credit point system as an example, by using the object-oriented specification language Z, an accurate and entire mathematics model of the class scheduling system is formally described. The process shows that the method has a precise descriptiveness and high-level abstraction capability, and can provide scientific framework for development and verification of the system.%运用形式化方法建模在软件开发过程中可提高目标系统的正确性和可靠性,在此提出了一种利用Z语言进行语义分析的方法.该方法在序列图Z规范的基础上,用属性集表示对象状态,并将序列图的上下文表示为Z形式约束,通过检查上下文约束与对象状态间的一致性对序列图进行语义分析.在此以一个基于学分制的排课系统为例,使用面向对象的形式规格说明语言Z,描述了一个精确、完整的高校排课系统的形式化数学模型.过程显示,试方法具有精确的描述性和很强的抽象性,能为软件系统的开发和验证提供科学的框架.

摘要： 介绍了基于赋时有色petri网(timed coloured Petri net)的可执行的规格说明工具ExSpect(EXecutable SPECification Tool)的基本语言定义，包括类型定义、函数定义、过程定义和系统定义。研究了其复杂系统建模仿真中的应用，并提出了一种将其功能扩展到一般有色网建模的方法。

摘要： 基于Tableau方法的z规格说明求精以定理证明为基础,将从规格说明得到程序的过程看作是一个定理证明的过程,如果这个证明存在,那么从证明中可抽取出一个满足该程序规格说明的程序.本文引进合并规则扩充Tableau方法的演绎规则,并利用该规则给出了Z语言中模式的与、或操作的求精方法,从而简化了模式复合的求精;为了使Tableau方法能够用于Z规格说明的求精,我们将Z语言的结构成分转化为Tableau方法所能接受的结构.

摘要： 该篇论文从分析软件体系结构的研究的现状出发，给出了软件体系结构的定义，讨论了软件体系结构的规格说明，论述了复用软件件体系结构的方法。指出了软件体系结构研究的方向。

摘要： 软件在安全临界系统中起着日益重要的作用,如何提高软件系统的可靠性是一个广泛研究的课题,形式方法是一种基于数学的软件开发方法,它能减少软件开发过程中错误,从而提高安全临界系统的可靠性.本文讨论了形式方法在开发安全临界系统软件中的应用,介绍了形式方法在安全临界系统中的一些应用实例和相关的标准,最后阐述了形式方法的一些发展方向.

摘要： 软件在安全临界系统中起着日益重要的作用,如何提高软件系统的可靠性是一个广泛研究的课题,形式方法是一种基于数学的软件开发方法,它能减少软件开发过程中错误,从而提高安全临界系统的可靠性.本文讨论了形式方法在开发安全临界系统软件中的应用,介绍了形式方法在安全临界系统中的一些应用实例和相关的标准,最后阐述了形式方法的一些发展方向.

摘要： 软件在安全临界系统中起着日益重要的作用,如何提高软件系统的可靠性是一个广泛研究的课题,形式方法是一种基于数学的软件开发方法,它能减少软件开发过程中错误,从而提高安全临界系统的可靠性.本文讨论了形式方法在开发安全临界系统软件中的应用,介绍了形式方法在安全临界系统中的一些应用实例和相关的标准,最后阐述了形式方法的一些发展方向.

摘要： 软件在安全临界系统中起着日益重要的作用,如何提高软件系统的可靠性是一个广泛研究的课题,形式方法是一种基于数学的软件开发方法,它能减少软件开发过程中错误,从而提高安全临界系统的可靠性.本文讨论了形式方法在开发安全临界系统软件中的应用,介绍了形式方法在安全临界系统中的一些应用实例和相关的标准,最后阐述了形式方法的一些发展方向.

摘要： 软件在安全临界系统中起着日益重要的作用,如何提高软件系统的可靠性是一个广泛研究的课题,形式方法是一种基于数学的软件开发方法,它能减少软件开发过程中错误,从而提高安全临界系统的可靠性.本文讨论了形式方法在开发安全临界系统软件中的应用,介绍了形式方法在安全临界系统中的一些应用实例和相关的标准,最后阐述了形式方法的一些发展方向.

摘要： 软件在安全临界系统中起着日益重要的作用,如何提高软件系统的可靠性是一个广泛研究的课题,形式方法是一种基于数学的软件开发方法,它能减少软件开发过程中错误,从而提高安全临界系统的可靠性.本文讨论了形式方法在开发安全临界系统软件中的应用,介绍了形式方法在安全临界系统中的一些应用实例和相关的标准,最后阐述了形式方法的一些发展方向.

摘要： 有小规格和大规格组合式扁管及小规格和大规格组合式翅片的汽车空调冷凝器，属于汽车空调冷凝器技术领域。所要解决的技术问题是提供一种有小规格和大规格组合式扁管及小规格和大规格组合式翅片的汽车空调冷凝器。解决其技术问题的技术方案，包含集流管、小规格扁管、大规格扁管、小规格翅片和大规格翅片；在集流管相对应的一部分扁管孔上装内孔截面积小的小规格扁管，在冷凝器出口段的扁管孔上装内孔截面积大的大规格扁管；在一部分扁管之间装高度小的小规格翅片，在与汽车上通风空气阻力大的部位相应的扁管之间装高度大的大规格翅片。应用于汽车空调冷凝器。有益效果是可以减小冷凝器中的流体阻力和通风空气阻力，提高制冷效率。

摘要： 本发明涉及一种模块灰盒行为规格说明和灰盒测试用例设计方法，属于计算机软件工程技术领域。其解决了现有黑盒测试测试用例过多、测试效率低下的问题。本发明包括：引入灰盒行为规格说明:被测模块内部成员变量是成员函数作的输入输出，依此输入输出关系划分变量值的等价类，用其合理组合确定被测模块的等价状态集合；将被测模块接口函数输入输出等价类划分好，二者共同作为接口函数调用的条件结果；引入灰盒测试用例设计：被测模块初始化，直接依照模块灰盒行为规格说明设定模块状态变量值，在模块接口调用接口函数，查看模块状态变量值。本发明具有剔除冗余黑盒测试用例，提高测试效率等优点，可广泛运用于计算机软件开发和检验检测场合。

摘要： 一种使用可配置的部署平台的处理资源的灾难恢复的系统和方法。主站点具有处理资源的配置，生成主站点的处理资源的配置的规格说明。该规格说明被提供给具有能响应软件命令部署处理区域网络的可配置处理平台的故障切换站点。使用该规格说明，生成给可配置平台的软件命令，在部署与规格说明相应的处理区域网络。

摘要： 本发明公开了一种基于特征模型和特征形式化规格说明的产品派生方法，首先根据用户需求从特征模型中选择派生特定产品的特征，确定特征融合顺序。然后融合特征形式化规格说明的声明部分，同时利用功能场景表示每个特征的行为，生成功能场景路径。最后按照特征融合顺序，以特征两两融合的方式，对特征的功能场景路径进行匹配，将每对特征形式化规格说明进行融合，直到得出完整产品的形式化规格说明。通过结合结构化面向对象的形式化语言(Structured Object‑Oriented Formal Language,SOFL)描述每个特征的具体行为，以及结合特征模型生成特征融合序列，以特征对形式进行特征形式化规格说明的行为保持融合，使派生得到的产品有详细描述，从而进一步提高派生产品的质量。

摘要： 本发明公开了一种基于需求规格说明书的软件测试用例自动生成方法及工具，该方法包括如下步骤：导入用于生成测试用例的需求规格说明书，对文本数据进行分句处理；使用层次多标签分类模型对测试用例进行标签化处理，从而形成带有标签的功能点列表；对于功能点列表其中的标签为“功能性”的功能点，通过文本识别的方式，提取其中的关键词和特殊数值，再结合测试用例的设计方法自动生成新的测试用例；功能点列表其中标签不是“功能性”的其他功能点，通过标签对比将功能点与公共用例库进行匹配并且使用文本生成的方法，在功能列表的基础上，进行测试用例的自动生成与扩充。本发明利用用例设计方法实现测试用例的自动生成，方便快捷。

摘要： 本发明公开了一种基于QT5的软件需求规格说明文档自动生成方法及生成装置。所述基于QT5软件的需求规格说明文档自动生成方法，包括如下步骤：步骤1：基于QT5软件设计编辑界面；步骤2：在所述编辑界面输入需求标签，并在对应的所述需求标签内输入对应的需求内容；步骤3：使用QT5软件控制Office软件自动生成符合要求的需求规格说明文档。本发明的优点在于释放需求开发人员思想，需求人员不需要关心文档标准及格式问题，只需专注于需求开发内容，可一键生成符合模板或标准的软件文档内容，极大的提高了软件开发的效率。

摘要： 本发明公开了一种软件需求规格说明书的评价方法，将所述软件需求规格说明书的目录项进行提取和保存，使用词典匹配方法与预存的标准目录中的，具有不同权值的目录项进行一一匹配；获取所有与所述软件需求规格说明书的目录中的任一目录项匹配成功的，标准目录的目录项对应的权值，并进行累加得到所述软件需求规格说明书的结构完整度；将所述结构完整度与预设的完整度等级进行匹配，得到所述软件需求规格说明书的结构完整性等级；返回所述结构完整度、完整性等级以及所述标准目录。本发明相比现有的人工方法而言，能够快速且较为准确的评价SRS文档的结构完整性，有效反应出SRS文档的质量，为评估软件需求规格说明书节省了大量的人力和时间。

摘要： 本发明涉及一种模块灰盒行为规格说明和灰盒测试用例设计方法，属于计算机软件工程技术领域。其解决了现有黑盒测试测试用例过多、测试效率低下的问题。本发明包括：引入灰盒行为规格说明:被测模块内部成员变量是成员函数作的输入输出，依此输入输出关系划分变量值的等价类，用其合理组合确定被测模块的等价状态集合；将被测模块接口函数输入输出等价类划分好，二者共同作为接口函数调用的条件结果；引入灰盒测试用例设计：被测模块初始化，直接依照模块灰盒行为规格说明设定模块状态变量值，在模块接口调用接口函数，查看模块状态变量值。本发明具有剔除冗余黑盒测试用例，提高测试效率等优点，可广泛运用于计算机软件开发和检验检测场合。

摘要： 本发明公开了一种嵌入式软件需求规格说明书的检查方法，其中，包括：获取嵌入式软件需求规格说明书的文档信息；根据功能输入接口列表、功能输出接口列表、外部接口输入列表和外部接口输出列表生成检查规则；对文档信息进行检查，得到第一检查结果；根据软件开发文档通用要求检查文档信息中与软件开发文档通用要求中规定的章节号所对应的标题名称是否符合规定，得到第二检查结果；检查每个需求条目的是否需求属性、合格性属性、关键度属性以及优先级属性内容是否完整，得到第三检查结果；输出检查结果。本发明还公开了一种嵌入式软件需求规格说明书的检查装置。本发明提供的嵌入式软件需求规格说明书的检查方法具有检查速度快，准确率高的优势。

摘要： 一种带有规格说明架的桁架，包括：桁架、摆放说明架，其中，所述的桁架有固定架和支撑架组成，所述的固定架采用垂直和水平的金属型材连接而成，所述的支撑架倾斜固定在垂直和水平的金属型材的对角线位置上；所述的摆放说明架设置在固定架的水平金属型材上，所述的摆放说明架底部设置有遮挡板，两侧设置有垂直设置的侧板。本实用新型在桁架上设置有摆放说明架，可以通过摆放说明架对桁架里的设备进行直观的说明。