属性的图形描述

《风险-收益分析：理性投资的理论与实践（第2卷）》属性的图形描述,页面无弹窗的全文阅读!

图7-1a~图7-1d［来源于马科维茨（1979）的文章］描绘了属性的性质。在图7-1a中，左边区域的X表示实体类型Worker（工人）的实体，而右边区域的X则表示实体类型Department（部门）的实体。从工人到部门的箭头表示属性ASSIGNED.TO。如果一个工人不属于任何部门，例如总经理和他的工作人员，那么我们就用一个指向U的箭头来表示，意思是（所属部门是）“未定义的”。由于可能有多个箭头指向同一部门，属性可能表示一种类型的实体与另一种类型的实体之间的多对一关系。作为特例，一个箭头可能恰好从一种类型的实体指向另一种类型的任一给定的实体，表示两种实体类型之间存在一一对应的关系。属性也可能从一种实体类型的实体指向相同实体类型的实体，例如图7-1b中的配偶（spouse）。未婚人士指向U。在一夫一妻制社会，它是全部人口的一个子集中的一一对应关系。

图7-1　属性

在图7-1c中，表示属性AGE（PERSON）（理解为“人的年龄”）的箭头从一个人指向一个整数。如同在马科维茨（1979）的文章“逻辑和数学实体”小节中所讨论的那样，“整数”可以看成是一种实体类型，其个体包括1，2，3，…。

图7-1d与图7-1a～图7-1c是类似的，但每个箭头都从一个实数指向另一个实数，将一个数与它的对数相联系。这样一种数学实体与数学实体之间的关系，通常称为函数（function）。不过，取决于所涉及的具体数学对象，它也可以被称作序列（sequence）、映射（mapping）、变换（transformation）或算子（operator）。图7-1d中描绘的关系与图7-1a~图7-1c中描绘的关系的主要区别，是图7-1d中的箭头不随时间变化，而图7-1a~图7-1c中的箭头则随着工人调换部门、结婚和年龄增长而变化。

如图7-1a~图7-1d所描述的，属性的值要么是一个实体（个体），要么不存在（未定义）。值实体（the value entity）的类型可能是预先定义的，如Integer（整数），也可能是用户定义的，如Person（人口）。在一定程度上，究竟何者是前定的，何者是用户定义的，取决于用以实现EAS-E模型的编程语言。例如，一个模拟程序可能包含一种实体类型Date（日期），它的属性是Day（日）、Month（月）和Year（年）。如果它在编程语言中没有被预先定义，那就可以由模型构建者来定义。

集合的图形描述

集合是由实体组成的集体。在图7-2a中，集合的名称为Queue，它的拥有者是机组，元素是作业。图中，集合的元素在拥有者所指向的长方形中。图7-2b以另一种方式显示了相同的信息。集合的拥有者（通过属性F.QUEUE）指向集合中的首个元素，然后集合的每一个元素都通过属性S.QUEUE指向各自在集合中的后继者。

图7-2　集合

集合表示一对多的关系，而属性则表示多对一和一对一的关系［关于怎样在EAS视图和陈品山（Peter Chen）的实体关系（entity relationship，ER）视图之间转换，参见Markowitz，Malhotra，and Pazel，1983］。

由于一个给定的实体可能有多种属性，拥有多个集合，并且属于多个集合，因此除了最简单的系统外，尝试像图7-1和图7-2那样用图形描绘一个系统的所有实体、属性和集合关系，只会导致一团糟。然而，表7-1却举例说明了怎样干净利落地描述复杂系统的EAS结构。

进一步的说明

如表7-1所示，EAS表展示了模拟模型状态描述的全景。为避免过于杂乱，它省略了如下状态描述符。

（1）集合的组织方式。EAS集合要么是先进先出的（first in，first out，FIFO），要么是后进先出的（last in，first out，LIFO），要么是排序的（ranked，根据元素实体的一个或多个属性进行排序）。

例如，证券的Buy_orders和Sell_orders集合的元素，是按照Order_slip的Limit_price属性排序的。特别地，Order_slip的Limit_price（限价）在Buy_orders集的高价端是证券当前的买入报价，而在Sell_orders集的低价端则是证券的卖出报价。像任何集合一样，特定证券的Buy_orders和/或Sell_orders集合可能是空集。

（2）实体的存续性。模拟实体要么是暂时性的，要么是永久性的。

在永久性实体的情形中，该类型的所有个体都是在模拟运行开始时创建的，并存续于整个运行期间。尽管这些个体的属性值、所拥有的集合的元素，以及它们自身的集合元素身份可能会改变，但这些个体却是持续存在的。相反，暂时性实体在模拟运行的过程中创建和删除。例如，在JLMSim中，Securities是永久性实体，而Order_slips是暂时性实体。

如在本章后面所讨论的和在第12章中将要详细分析的，SIMSCRIPTⅡ旨在将数据库实体（database entities）和主存实体（main-storage entities）包括进来。在一个容许数据库实体和主存实体的系统中编写的程序，需要对存储在数据库中的实体和暂时性以及所谓的永久性但在程序终止运行时消失的主存实体进行区分。

其他的说明，包括实际的和拟议的，将在本章“问题和选项”之后的小节中讨论。