Program developing system allowing a specification definition to be
represented by a plurality of different graphical, non-procedural
representation formats
    3.
    发明授权
    Program developing system allowing a specification definition to be represented by a plurality of different graphical, non-procedural representation formats 失效
    程序开发系统允许规范定义由多个不同的图形,非程序化表示格式表示

    公开(公告)号:US5603018A

    公开(公告)日:1997-02-11

    申请号:US219866

    申请日:1994-03-30

    IPC分类号: G06F9/44 G06F9/45

    CPC分类号: G06F8/34 Y10S707/99931

    摘要: A program developing system includes a plurality of graphic editors representing specification definition information a user inputs in representation formats different from each other and a mutual conversion unit for converting specification definition which the user described with a graphic editor into a representation format of another graphic editor. The mutual conversion unit activates another graphic editor to allow input of specification definition by the converted representation format. The graphic editors can hierarchically represent specifications and allows specification description at an arbitrary level. The program developing system includes a parts management unit for registering description of semantically completed specification definition as parts and an execution unit for extracting executable program structure from the specification definition information represented by graphic editors and producing an executable program The executable program reserves the hierarchical structure in the specification description by the user. The execution unit executes a program at an arbitrary level and shows the execution results to the user. By execution and verification of the program at an arbitrary level, the user can know whether a program satisfying the specification is produced or not at a sub program level, which improves the program developing efficiency.

    摘要翻译: 程序开发系统包括表示用户以彼此不同的表示格式输入的规格定义信息的多个图形编辑器,以及用于将用图形编辑器描述的用户的规格定义转换为另一图形编辑器的表示格式的相互转换单元。 相互转换单元激活另一个图形编辑器,以允许通过转换的表示格式输入规范定义。 图形编辑器可以分级地表示规范,并允许任意级别的规范描述。 程序开发系统包括用于将语义完成的规范定义的描述注册为部件的部件管理单元和用于从由图形编辑器表示的规范定义信息中提取可执行程序结构的执行单元,并且生成可执行程序。可执行程序将 用户说明说明。 执行单元执行任意级别的程序,并向用户显示执行结果。 通过程序在任意级别的执行和验证,用户可以知道在子程序级别是否产生满足规范的程序,这提高了程序开发效率。

    Logic simulation system
    5.
    发明授权
    Logic simulation system 失效
    逻辑仿真系统

    公开(公告)号:US4775950A

    公开(公告)日:1988-10-04

    申请号:US793258

    申请日:1985-10-31

    CPC分类号: G06F17/5022

    摘要: A simulation method and a computer therefor, i.e., a simulator, for simulating operation of a circuit employing logic gates. The simulation method is to be called the event drive method, in which the output processing is executed only when an input to cause output changes and the output level and the start and finish time for the level are sent out. Hence the number of packets of data flowing for simulation can be minimized and also the number of times of data processing is reduced. This system is applied to each component in a logic circuit, whereby the parallel execution of processing as to the parallel components is possible so as to devise the simulation at a higher speed.

    摘要翻译: 一种用于模拟使用逻辑门的电路的操作的仿真方法及其计算机,即模拟器。 仿真方法被称为事件驱动方法,其中仅当输出引起输出变化并且输出电平和电平的开始和结束时间被发出时才执行输出处理。 因此,可以最小化用于模拟的数据流的数量,并且还减少数据处理的次数。 该系统应用于逻辑电路中的每个组件,由此并行执行关于并行组件的处理是可能的,以便以更高的速度设计模拟。

    Conveyor mechanism for cylindrical articles
    7.
    发明授权
    Conveyor mechanism for cylindrical articles 失效
    圆柱形物品的输送机构

    公开(公告)号:US4416368A

    公开(公告)日:1983-11-22

    申请号:US400055

    申请日:1982-07-20

    IPC分类号: A24C5/35 B65G15/14 B65G15/42

    摘要: A conveyor mechanism for transferring cylindrical articles, such as, cigarettes embodies a single belt conveyor which does the conveying from a lower level to a higher level. The surface used for conveyance has a curved portion unlike belt conveyors in general use and a plurality of pins project from at least one side of the belt in parallel relation to each other. At the curved section, these pins are held by a suitable means such that the belt maintains the curvature. Cigarettes or other cylindrical objects are fed by the internal surface of the curving belt and an auxiliary belt conveyor.

    摘要翻译: 用于转移诸如香烟的圆柱形物品的输送机构体现了单一的带式输送机,该输送机将输送从较低的水平进行到较高的水平。 用于输送的表面具有与通常使用的带式输送机不同的弯曲部分,并且多个销彼此平行地从带的至少一侧突出。 在弯曲部分,这些销被适当的装置保持,使得皮带保持曲率。 香烟或其他圆柱形物体由弯曲带的内表面和辅助带式输送机供给。