cs语言

PRR:Problem Report and Resolution

PCR:Problem Communication and Report

对于PRR，供方应该在24小时内给出初步答复，CKD可以在48小时内给出答复；

采取的措施包括：派人到客户现场返工或者分拣；在供应商处立即采取措施以防止更多的不合格品的发运、包括收集暑假和分析；供应商必须分析整个物料链来识别和处理在客户处和正在路上的所有可疑产品；下次合格品的发运，保证客户收到合格的产品；提供供应商代表的联系信息。

在收到PRR的15天内必须给出最终答复，其中包括：

已采取的遏制措施

评估遏制措施有效的方法

问题的根本原因(可以通过Red-X,DOE和3×5等)

纠正和预防措施，比如防错

遏制措施的实施步骤

措施人的联系方式

评估有效性的方法

对解决方案的制度化、包括对类似的过程和产品的纠正 文件修改记录

如果问题是二级供应商造成的，对相关情况进行记录

CS:受控发运

CS1:由供应商在供方处实施不合格品控制，如100％检验

CS2:在CS1的基础上由第三方追加实施的不合格品遏制，费用由供应商负责，客户指定第三方，这一部分费用的主要目的是惩罚！

CS1

进入条件：

客户发布PRR后，supplier采取短期和长期措施后仍然无法遏制问题的发生；

发生了重大售后质量问题的供应商实施CS1；

批量性严重质量问题或类似质量问题重复发生

违反PPAP程序(如擅自更改材料、分供方、工艺和检验标准等)；

给客户造成重大影响或损失(停线超过10分钟、DR/DRL问题发生频次超过20次；超过50分钟GCA问题)

GP-12期间，在客户处发生质量缺陷

同一零件发生不同质量问题3次或以上 对供方的要求：

立刻针对具体的质量问题，建立与现生产、检查区域独立的遏制区域；

告知其他使用相同零件的顾客，告知该不合格情况，并且根据需要采用遏制行动；

跟踪不合格零件的断点；

第1页/共12页 软件体系结构描述语言ADL综述 Advancement of Architecture Description Language (ADL) 引言 60年代的软件危机使得人们重新开始重视软件工程的研究。最初人们选择了“算法+数据结构=程序”的设计模式。但随着软件系统的规模和复杂性越来越大，传统的设计模式已经不能适应要求。同时为了保证软件质量，提高软件的可靠性、可重用行和可维护性，软件设计的核心逐渐转向对系统的总体结构即软件体系结构(Software Architecture)的设计和规范。这类方法主要着眼于软件系统的全局组织形式，在更高层次上把握系统各组件之间的内在联系。并从全局的，整体的角度去理解和分析整个系统的行为和特性，有助于解决当前开发复杂的大型软件所存在的困难。 研究软件体系结构的首要问题是如何描述软件体系结构。目前已有很多表现形式和方法表法、模块连接语言、软构件描述法和体系结构描述语言ADL等。而其中ADL作为形式化的表示软件体系结构的工具呈现出强大的生命力。它提供了规范化的体系结构描述，同时是对软件体系结构进行求精、验证、演化和分析的前提与基础。目前已经成为软件体系结构方向的研究热点。实践工作者将这些ADL应用于实践中，获得了成功。同时，我们应注意到不同的ADL所支持的抽象能力及其提供的分析能力变化很大，学术领域目前对ADL的定义尚未取得一致。 一、 软件体系结构的概述 由于对软件体系结构的研究和应用刚刚兴起，许多专家学者从不同的角度和侧面对软件体系结构进行刻画，因此，目前软件体系结构还没有一个标准定义。这里给出一个目前学术领域广泛接受的定义。(D.Garlan＆M Shaw，1993)软件体系结构是软件设计过程中的一个层次，在计算过程中的算法设计和数据结构之上，处理总体系统结构设计和描述方面的一些问题。包括总体组织与全局控制结构、通讯协议、同步、数据存取、设计元素的功能分配，物理分布，设计元素的复台，设计方案的选择、评估和实现等。 二、 软件体系结构描述语言ADL的概述 2.1对ADL的不同理解 当前在学术界对ADL 的定义尚未取得一致下面的定义大多来源于自身对某种ADL语言的开发所得到的体会。尽管它们不免有以偏概全之赚，但还是为我们了解ADL提供了有价值的信息。 (1) 在文[1]中，Tracz定义一个ADL包含4“C”：组件(components) ，连接子(connectors)，配置(configurations)，约束(constraint s)。 (2) 根据其UniCon的经历，Shaw 与同事列出了ADI 应该展示的属 第2页/共12页 性如下：1)组件建模的能力，带属性断言、接口、实现；2)连接子建模的能力，带协议、属性断言与实现；3)抽象与封装；4)类型与类型检查；5)适应分析工具的能力 (3) 在文[2]中，将ADL划分为4个组成部分：组件，连接子，配置、支持工具。其中，组件、连接子、配置构成了ADL的体系结构描述特性。而支持工具则为软件体系结构设计者提供必要的帮助。 (4) 在文[3]中，Luckham 与Vera在研究Rapide的基础上提出．ADL应该满足以下要求：1)组件抽象；2)通信抽象；3)通信完整性，要求在结果实现中，只有在一个体系结构中相联结的组件可以通信；4)动态体系结构建模的能力 5)分层复合；6)相关性．或者是行为与体系结构间关联(映射)的能力；7)组件建模的能力，带属性断言、接口、实现；8)连接子建模的能力，带协议、属性断言与实现；9)抽象与封装； 10)类型与类型检 查；11)适应分析工具的能力。 2.2ADL的定义 从上述一小节我们可以看出，学术领域对ADL的理解还存在着分歧。我们认为：ADL是这样一种形式化语言，它在底层语义模型的支持下，为软件系统的概念体系结构建模提供了．具体语法与概念框架。基于底层语义的工具为体系结构的表示、分析、进化、细化、设计过程等提供支持。其三个基本构成元素是：1)组件—— 计算或数据存储单元；2)连接子—— 用于组件问交互建模的体系结构构造块及其支配这些交互的规则{3)体系结构配置—— 描述体系结构的组件与连接于的连接图。 2.3 ADL应具备的特点 2.3.1为了精确描述软件体系结构，ADL首先应有一个形式化理论基础，如Pet“网、状态图、z、 CSP” 等。有了形式化理论基础，才能对所描述的系统进行分析和验证。如Wright用CSP进行描述、Rapide采用偏序事件集合等。 2.3.2作为一种描述语言，ADL应具有严谨的语法和语义。描述能力应足够强，至少应能描述的基本构件如组件、连接件及有关配置规范。同时，为了更好的应用，一种ADL，应有相应的支持工具，支持工具的能力直接反映了该ADL的可使用程度和范围。 2.3.3 描述软件体系结构的一个很重要的目的是为了便于软件开发者的理解和交流，因此，ADL描述应简单易懂，最好有图表辅助理解。对于同一个体系结构，不同的软件开发者需要从不同的抽象层次上理解，这就要求 第3页/共12页 ADL能描述不同抽象程度的软件体系结构。 2.3.4分析作为软件体系结构求精、验证的基础，是一般ADL不可缺少的一种功能 分析有静态分析和动态分析，如Wright基于CSP能对单个组件或连接件进行静态死锁分析、Rapide 基于偏序事件集合(partially ordered event sets)可进行动态分析。 2.3.5其他有关设计ADL应注意的问题，还有可扩展性、演化和重用等。 三、 常见ADL的介绍与比较 3.1常见ADL的介绍 ADL是当前软件开发和设计方法学中一种发展很快的软件体系结构描述方法，目前， 已经有几十种常见的AD L。其中已经开发和使用的常见ADL有Wright、Unieon、C2、Aesop、Rapide、Darwin、SADL等。这里我们对Unicon、C2 SADL、ACME、XADL四种给出介绍和比较。 3.1.1 Unicon UniCon简介 UniCon是由CMU和SEI设计的一个体系结构描述语言.该语言关注软件体系结构的结构化特性,将系统(本身也是一个复合构件)描述为构件和连接子的配置,其中构件表示计算或者数据,而连接子表示构件之间的交互.每个构件的接口都对外提供一些演员(player).构件通过这些演员与外界发生交互.与构件类似,一个连接子的协议对外提供一些角色(role),连接子通过这些角色来调解构件之间的交互.在UniCon建立连接 通过演员与角色的关联,最终就可以建立整个系统各个部分之间的配置.最新版本的UniCon不仅支持类似于上例的管道-过滤器系统,还支持使用过程调用和共享数据的模块交互系统,基于RPC调用的分布式系统,根据各种实时要求共享处理器的进程以及基于SQL命令的数据库访问. UniCon的提出是为了达到如下目的: 1.解决系统描述和组装的实际问题,为实际工具提供一个原型; 2.为各种连接机制提供一个一致的访问方式； 3.帮助软件设计师区分不同的构件类型和连接子类型并验证构件和连接子配置的正确性； 4.支持图形化和文本化符号以及二者之间的互换； 5.兼容现存的用常见的编程语言编写的构件(这些构件并不需要特定于UniCon)； 6.尽可能的将运行时开销降到最低； 以下将具体介绍UniCon中构件和连接子的定义. 第4页/共12页 UniCon中的构件 UniCon中的构件定义包括规约部分和实现部分. 构件的规约称为构件的接口(interface).接口定义了构件所能进行的计算以及使用构件必须遵循的约束.构件的接口包含三类信息: 1.构件类型:构件类型表示构件提供的功能的类型,它限制了该构件所能定义的演员的数量,类型和规约. 2.特性:由属性和值组成的二元组,用于指定与构件整体相关的附加信息,例如断言,约束等. 3.演员:从构件外部可见的语义单元,构件通过演员与其它构件发生交互. 构件的实现有两种形式: 1.原子(primitive)实现:原子实现是一个指向存在于UniCon语言外部的文档链接,该文档包含了相应的构件实现.它可能是某种编程语言的源代码(目前UniCon工具集仅仅支持C语言的源代码),也可以是目标码,或者是包含目标码的Unix档案库文件,或者是二进制可执行文件,shell脚本,数据文件,C语言的include文件等 2.复合(composite)实现:某个UniCon构件的复合实现是对其它已定义的构件和连接子的配置的描述,该实现包含三类信息: 1.片段(piece):用于构造某个配置的构件和连接子实例 2.配置信息:描述构件和连接子的关联 3.抽象信息:描述该构件的接口如何由其复合实现中的构件接口实现. 构件实现的语法如下: UniCon中的连接子 连接子的定义也包含规约和实现两个部分,其中规约部分通过协议(protocol)进行描述.连接子的协议定义了构件之间允许产生的交互,并确保这些交互能够顺利进行.连接子的协议包含三类信息: 1.连接子类型:连接子类型表示连接子所能调解的构件之间的交互类型,它限制了连接子的角色的数量,类型和规约. 2.特性:由属性和值组成的二元组,用于指定和连接子整体相关的附加信息,例如断言,约束等(例如和时间和顺序相关的规则) 3.角色:从连接子外部可见的语义单元,通过角色连接子对构件的交互进行调解.角色通过与演员发生关联,从而形成系统的连接,它定义了参与连接的演员的需求与责任. 连接子的实现是UniCon内置的,即UniCon只支持连接子的原子实现,它本身不提供用户自定义连接子实现的机制. 第5页/共12页 连接子的定义的语法如下(从中也可以看出UniCon目前支持的连接子实现的类型): UniCon是最早的体系结构描述语言之一.从上述介绍可以看出,UniCon强调将系统划分为构件后,用适当的连接子将其组装起来构成一个完整的系统.构件和连接子之间是松耦合关系.UniCon备受诟病的一点是它只支持预定义的连接子,并且不支持复合连接子.为了解决这个问题,相关研究人员在UniCon的基础上对其进行了增强.增强后的UniCon称为UniCon-2.UniCon-2提供了一个比较灵活的类型系统,并且引入了责任(duty)这个概念用于描述演员,角色等与属性的关系.某个系统配置的责任还可以用于描述体系结构风格.由于UniCon-2允许用户引入新类型,为了便于对与新类型相关的约束进行检查,UniCon-2采用了一种开放的编译器结构以便于增加相应的检测方法. 3.1.2 C2 SADL C2 SADL是UCI设计的一种基于消息传递的体系结构描述语言,主要用于描述符合C2风格的软件系统的体系结构. C2风格 C2风格是一种基于构件和消息的体系结构风格,主要是应用于带有图形用户接口(GUI)的应用系统,但也能用于其它类型的应用.这种风格要求构件之间通过消息交换进行通信.因此每个C2构件和C2连接子都有一个top接口和一个bottom接口,其中top接口定义了该构件所能接收的应答消息和向上发出的请求消息,而bottom接口定义了该构件能够进行应答的请求消息及其向下发出的应答.所有消息都以连接子为桥梁在构件之间进行传递.这种风格的体系结构将系统中的构件用连接子划分为不同层次,. C2风格的体系结构:可视化堆栈(Stack) C2风格的核心在于构件之间的"有限可见性",即处于系统中某个层次的构件只能"看到"上层的构件,而不清楚下层到底是什么构件在与之进行通信.具体表现在如下所述的构件之间的通信规则(即系统的组装规则): 1.构件的top接口只可能与某一个连接子的bottom接口相连 2.构件的bottom接口只可能与某一个连接子的top接口相连 3.与连接子相连的构件或者连接子没有数量限制 4.两个连接子相连时,只能是其中一个的bottom接口与另一个的top接口相连 C2 SADL

第２３卷第１期　２００２年３月　首都师范大学学报（自然科学舨）　Ｊ。　。ｆ　Ｃａｐｉｔａｌ　０　ｒｒＩ】ａ】Ｕｎｉｖｅｒｓｉｔｙ　ｃ　Ｎａｔｕｒａｌ　Ｓｃｉｅｎｃｅ　Ｅｄｉｔｉｏｎ）　ＶｏＩ　２３．Ｎｏ　Ｍａｒ　２００２　

ＣＳ（１３ｍ，４ｍ）与ＣＳ（１５ｍ，４ｍ）的存在性　

郭志芬　

（河北师范大学数学系ｏ５ｏｏ１６）　

摘　要　

一个所谓的　阶　嘲系统，简记为ＣＳ（　．　），是长度为　的无向囤的集台，它的全体无向边恰构成　阶完全图　置的边的一个分拆年文利用差方法掏造性地给出了ＣＳ（１３ｍ．４ｍ）．ｍ兰１３（ｒａｏｄ　１６）和ｃｓ（１５ｍ，４ｍ）．ｍ兰７（ｍｏｄ　１６）　

的存在性　

关键词：　阍系统．差路，差圈．　

中图分类号：Ｏ　１５７　５　

０弓Ｉ　言　

一个所谓的　阶　一圈系统，简记为ＣＳ（　，　），是　长度为　的无向圈的集合，它的全体无向边恰构成　

阶完全图Ｅ的边的一个分拆．存在ＣＳ（　．　）的必　

要条件是　（　一１）　０（ｒｏｏｄ　２　）且　是奇数．ｃｓ（　，　

）的存在性，至今没有完整的结果已经知道对以　下每一情形，这一必要条件也是充分的　：　

（１）　为索数幂或素数幂的２倍；　

（２）３≤　≤５０；　（３）口　１（１ＩＩＯ　ｊ　２ｋ）时，存在ＣＳ（　，　）；　

（４）　奇且　＝＾（ｒｏｏｄ　２ｋ）；　

（５）　２（ｍ￣ｌ　８）１１　：　；　

（６）　６（ｍｅ，ｄ　８）且　＝娑　

本文是在作圈长为４ｍ的有向圈的设计时，发　

现如Ｆ一些阶数满足圈分解的必要条件．因此，本文　中，我们将给ｍ　ＣＳ（１３ｍ．４　），　；１３（ｒｏｏｄ　１６）和ｃｓ　

（１５ｍ，４ｍ）．ｍ；７（ｒｏｏｄ　１６）的存在性．　

首先，考查集合　ｘ　Ｚ　上的点和差．我们采用　

以下记号和术语：　

收稿Ｈ期：２ｏ０【　０３一【０　＊国券自然科学基金资助项Ｈ（１９８３１０５０）　（１）在Ｚ　ｘ　Ｚ　中，点（　，ｉ）记为置，其中　Ｅ　

Ｚ　，ｉＥＺ　．　

（２）对于　，ｄＥ　Ｚ　，　，　∈ｚ　，有序对（　（　＋　

两层C/S结构，及三层，四层的区别

一个功能强大的客户应用开发语言和一个多用途的用于传送客户请求到服务器的机构是整个两层结构的核心。描述只受客户机的唯一操纵，处理由客户机和服务器共同分担，数据由服务器实施存储和访问。在一个数据存取事件中，数据库引擎负责处理从客户机发来的请求。当今，这种请求所使用的语言大多类似于SQL语言。要把SQL语言从客户机传送到服务器必须能识别服务器的标识符或由一个应用程序接口来完成，还必须知道服务器的位置，数据组织形式以及数据如何定义。在服务器中，请求还将得到存储逻辑和处理上的优化，例如使用权限、数据完整性和保密性等，数据返回后会在客户机上得到处理，以适应进一步的查询、商业应用、预测分析和报表等各种要求。两层结构如图1所示，其主要的处理(逻辑和计算)存在于客户机层。

三层结构是一种先进的协同应用开发程序模型,这种开发模型将传统的两次结构系统中各种各样的部件划分为三层服务,共同组成一个应用程序。这三层分别是:表示层、业务逻辑层(应用服务层)、数据库服务层。这些层并不一定与物理上的分层相对应,而只是概念上的分层,借助这些概念可以开发出强大的应用程序。使用这种方法开发应用程序,开发人员在网络上部署进程和数据时可以有很大的灵活性,从而有利于实行更好的性能、更好的安全性和更方便的维护、升级。表示层(第一层)是客户端服务程序。提供系统的用户接口和各种操作界面,包括数据输入和结果显示,向业务逻辑层请求调用核心业务逻辑服务。业务逻辑层(中间层)即应用服务层。包括业务服务和其他中间服务的部件,是联系用户服务和数据库服务的桥梁,它响应用户发来的请求,执行业务任务,并对相应的数据进行处理,并把数据库返回的结果传给客户层,用户不需要直接与数据库打交道。在实际应用中,中间层可分为多层,因此,该应用模式也称为多层结构。数据库服务层(第三层)提供数据的定义、存储、检索、数据基本的一致性和完整性维护。这种三层结构如图2。