KR950009429A - 사용자 대화 후 컴퓨터내 계층적 오브젝트 구조의 일관성을 자동으로 회복하는 방법과, 그러한 일관성 자동 회복 시스템을 구비한 컴퓨터 - Google Patents

사용자 대화 후 컴퓨터내 계층적 오브젝트 구조의 일관성을 자동으로 회복하는 방법과, 그러한 일관성 자동 회복 시스템을 구비한 컴퓨터 Download PDF

Info

Publication number
KR950009429A
KR950009429A KR1019940023931A KR19940023931A KR950009429A KR 950009429 A KR950009429 A KR 950009429A KR 1019940023931 A KR1019940023931 A KR 1019940023931A KR 19940023931 A KR19940023931 A KR 19940023931A KR 950009429 A KR950009429 A KR 950009429A
Authority
KR
South Korea
Prior art keywords
incremental
variable
objects
computer
value
Prior art date
Application number
KR1019940023931A
Other languages
English (en)
Other versions
KR100348670B1 (ko
Inventor
오거스틴 알렉산더
Original Assignee
프레데릭 얀 스미트
필립스 일렉트로닉스 엔. 브이.
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by 프레데릭 얀 스미트, 필립스 일렉트로닉스 엔. 브이. filed Critical 프레데릭 얀 스미트
Publication of KR950009429A publication Critical patent/KR950009429A/ko
Application granted granted Critical
Publication of KR100348670B1 publication Critical patent/KR100348670B1/ko

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for program control, e.g. control units
    • G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
    • G06F9/44—Arrangements for executing specific programs

Landscapes

  • Engineering & Computer Science (AREA)
  • Software Systems (AREA)
  • Theoretical Computer Science (AREA)
  • General Engineering & Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Information Retrieval, Db Structures And Fs Structures Therefor (AREA)
  • Stored Programmes (AREA)
  • Devices For Executing Special Programs (AREA)

Abstract

이 발명은 사용자 대화후 컴퓨터내 계층적 오브젝트 구조의 일관성을 자동으로 회복하는 방법과 자동 일관성 회복 시스템을 구비한 컴퓨터에 관한 것이다. 컴퓨터내 재생 구조는 오브젝트들 간의 일관성 관계의 계층적 구조를 기초로 한다.
주어진 계층레벨의 하나 또는 그 이상의 오브젝트들의 함수로서 각각의 관계는 그 다음 상층 레벨의 하나 또는 그 이상의 증분 오브젝트들을 지정한다. 하나 또는 그 이상의 가변 증분 오브젝트들을 수정하는 사용자 대화후 이 일관성은 다음과 같이 회복된다. 우선, 상향 신호와 단계중에 값 비일관성 세트가 증분 오브젝트들에 대해 신호화 된다. 이어서, 상기 세트의 각 엘레멘트들에 기초하여 하향 갱신 단계중, 상위 계층 오브젝트의 값은 관련지정 가변 증분 오브젝트 및 또는 증분 오브젝트의 값 변화에 기초하여 증분된다.

Description

사용자 대화 후 컴퓨터내 계층적 오브젝트 구조의 일관성을 자동으로 회복하는 방법과 그러한 일관성 자동 회복 시스템을 구비한 컴퓨터
본 내용은 요부공개 건이므로 전문내용을 수록하지 않았음
제5도는 부작용 증분 오븐젝트의 표기예,
제6도는 본 발명에 따른 디스플레이의 갱신을 나타내는 도면,
제7도는 순환 구성의 도면.

Claims (10)

  1. 계층적 오브젝트 구조내 오브젝트들 세트에 기초하여 실제 또는 에뮬레이트된 사용자 대화후에 컴퓨터의 정보 표시 구조내 일관성을 자동으로 회복하는 방법으로서 상기 사용자 대화는 갱신되고 있는 오브젝트 구조내 하나 또는 그 이상의 1차 가변 오브젝트를 수정하고 차후에 2차 가변 오브젝트를 수정하는 일관성 자동회복 방법에 있어서, 상기 오브젝트 구조는 일관성 관계들의 망으로 되어있고 각각의 관계는 하나 또는 그 이상의 증분 오브젝트들및/또는 다음 하층 레벨의 가변증분 오브젝트들을 지정하고 상기 사용자 대화는 최하위 레벨의가변증분 오브젝트들중 하나 또는 그 이상의 오브젝트를 수정하며, 처음에는 상향 신호와 단계중에 증분 오브젝트들에 대한 값 비일관성 세트가 신호화되고 나중에는 상기 세트의 각 엘레멘트들에 기초한 하향 갱신 단계중에 상기 관련 증분 오브젝트의 값은 상기 관련 지정 가변 증분 오브젝트 및/ 또는 하위 레벨의 증분 오브젝트의 값 변화에 기초하여 갱신되는 것을 특징으로 하는 컴퓨터내 정보 표시 구조의 일관성 자동회복방법.
  2. 제1항에 있어서, 상기 일관성 관계들중 최소한 각각의 관계가 하나의 관련식으로 표현되는 일관성 자동회복방법.
  3. 제1항 또는 제2항에 있어서, 가변 오브젝트의 수정에 기초하여 상기 계층의 맨 아래부분이 상기 수정으로부터의 직접 호출에 의해 갱신되고, 상기 증분 오브젝트의 구조와 상기 직접 갱신 부분 사이의 경계가 가변 증분 오브젝트들로 형성되는 일관성 자동회복방법.
  4. 제1항, 제2항 또는 제3항에 있어서, 상기 증분 오브젝트들은 값 필드, 호출자 목록, 환경필드 및 평가자 필드를 포함하고, 상기 가변 증분 오브젝트들은 값 필드와 호출자 목록만을 포함하는 일관성 자동회복방법.
  5. 제4항에 있어서 마감 오브젝트가 환경 필드와 평가자 필드만을 포함하는 일관성 자동회복방법.
  6. 제4항 또는 제5항에있어서, 부작용 증분 오브젝트는 호출자 목록, 환경필드, 평가자 필드 및 취소 필드(undo field)만을 포함하는 일관성 자동회복방법.
  7. 제1항내지제6항중 어느 한 항에 있어서 상기 표시구조를 가시 디스플레이 장치로 실현하기 위한 일관성자동회복 방법.
  8. 제1항 내지 제7항중 어느 한 항에 있어서, 상기 표시구조가 적어도 하나의 그래프 사이클을 포함하고 각 사이클에 대하여 최하위 계층 레벨이 정의되고 그 레벨에서 오브젝트가 사이클내 증분 오브젝트와 사이클 밖 가변 증분 오브젝트로 분리되고, 외부변화는 상기 회복을 위한 초기화 동작으로서 상기 가변 증분 오브젝트에 할당되는 일관성 자동회복방법.
  9. 제8항에 있어서, 상기 표시구조에 의해 표현되는 식 xj=fj(x1…xn), 1≤j≤세트의 고정점을 얻기위한 일관성 자동회복방법.
  10. 상기 제1항 내지 제9항 중 어느 한항에 따라 사용자 대화후 일관성 자동회복 시스템을 구비한 컴퓨터로서, 주어진 계층 레벨의 하나 또는 그 이상의 가변 증분 오브젝트의 함수로서 다음의 상위 계층 레벨의 하나 또는 그 이상의 증분 오브젝트를 각각 지정하는 일관성 관계의 계층적 오브젝트 구조내 오브젝트 세트에 기초하여 정보를 재생하는 재생수단을 포함하는 컴퓨터에 있어서 상기 시스템은 2단계 컨트롤, 즉 제1의 상향신호화 단계중에 증분 오브젝트들에 대해 값 비일관성 세트를 신호화 하고, 상기 세트의 필요한 각각의 엘레멘트에 기초하여 후속하는 하향 갱신단계 중에 상기 관련 지정가변 증분 오브젝트 및/또는 하위계층 레벨의 증분 오브젝트의 값 변화에 기초하여 상기 관련 증분 오브젝트의 값을 갱신하는 2단계 컨트롤을 포함하는 것을 특징으로 하는 자동 일관성 회복시스템을 구비한 컴퓨터.
    ※ 참고사항 : 최초출원 내용에 의하여 공개하는 것임.
KR1019940023931A 1993-09-24 1994-09-23 사용자대화후에컴퓨터의계층적객체구조의일관성을자동복원하는방법및자동일관성복원시스템을구비한컴퓨터 KR100348670B1 (ko)

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
BE09301002 1993-09-24
BE9301002A BE1007551A3 (nl) 1993-09-24 1993-09-24 Werkwijze voor het in een rekenmachine automatisch herstellen van consistentie in een hierarchische objektstruktuur na een interaktie door een gebruiker en rekenmachine voorzien van zo een systeem voor automatische consistentieherstelling.

Publications (2)

Publication Number Publication Date
KR950009429A true KR950009429A (ko) 1995-04-24
KR100348670B1 KR100348670B1 (ko) 2002-11-29

Family

ID=3887362

Family Applications (1)

Application Number Title Priority Date Filing Date
KR1019940023931A KR100348670B1 (ko) 1993-09-24 1994-09-23 사용자대화후에컴퓨터의계층적객체구조의일관성을자동복원하는방법및자동일관성복원시스템을구비한컴퓨터

Country Status (10)

Country Link
US (2) US5596701A (ko)
EP (1) EP0646862B1 (ko)
JP (2) JPH07200280A (ko)
KR (1) KR100348670B1 (ko)
BE (1) BE1007551A3 (ko)
DE (1) DE69427008T2 (ko)
HK (1) HK1012745A1 (ko)
MY (1) MY138242A (ko)
SG (1) SG44869A1 (ko)
TW (1) TW359786B (ko)

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
KR20000015042A (ko) * 1998-08-26 2000-03-15 김영환 전전자교환기의 대용량 저장장치의 제어방법

Families Citing this family (27)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
BE1007551A3 (nl) * 1993-09-24 1995-08-01 Philips Electronics Nv Werkwijze voor het in een rekenmachine automatisch herstellen van consistentie in een hierarchische objektstruktuur na een interaktie door een gebruiker en rekenmachine voorzien van zo een systeem voor automatische consistentieherstelling.
US9006175B2 (en) 1999-06-29 2015-04-14 Mannkind Corporation Potentiation of glucose elimination
EP1894591B1 (en) 2002-03-20 2013-06-26 MannKind Corporation Cartridge for an inhalation apparatus
DK1786784T3 (da) 2004-08-20 2011-02-14 Mannkind Corp Katalyse af diketopiperazinsyntese
CN104436170B (zh) 2004-08-23 2018-02-23 曼金德公司 用于药物输送的二酮哌嗪盐
HUE028623T2 (en) 2005-09-14 2016-12-28 Mannkind Corp Active substance formulation method based on increasing the affinity of the active ingredient for binding to the surface of crystalline microparticles
IN2015DN00888A (ko) 2006-02-22 2015-07-10 Mannkind Corp
ES2570400T3 (es) 2008-06-13 2016-05-18 Mannkind Corp Un inhalador de polvo seco y un sistema para el suministro de fármacos
US8485180B2 (en) 2008-06-13 2013-07-16 Mannkind Corporation Dry powder drug delivery system
JP5479465B2 (ja) 2008-06-20 2014-04-23 マンカインド コーポレイション 吸入努力をリアルタイムにプロファイルする対話式機器および方法
TWI532497B (zh) 2008-08-11 2016-05-11 曼凱公司 超快起作用胰島素之用途
US8314106B2 (en) 2008-12-29 2012-11-20 Mannkind Corporation Substituted diketopiperazine analogs for use as drug delivery agents
EP2405963B1 (en) 2009-03-11 2013-11-06 MannKind Corporation Apparatus, system and method for measuring resistance of an inhaler
KR101875969B1 (ko) 2009-06-12 2018-07-06 맨카인드 코포레이션 한정된 비표면적을 갖는 디케토피페라진 마이크로입자
JP5784622B2 (ja) 2009-11-03 2015-09-24 マンカインド コーポレ−ション 吸入活動をシミュレートするための装置及び方法
MX359281B (es) 2010-06-21 2018-09-21 Mannkind Corp Sistema y metodos para suministrar un farmaco en polvo seco.
MX353285B (es) 2011-04-01 2018-01-05 Mannkind Corp Paquete de blister para cartuchos farmaceuticos.
WO2012174472A1 (en) 2011-06-17 2012-12-20 Mannkind Corporation High capacity diketopiperazine microparticles
CN103945859A (zh) 2011-10-24 2014-07-23 曼金德公司 用于治疗疼痛的方法和组合物
WO2014012069A2 (en) 2012-07-12 2014-01-16 Mannkind Corporation Dry powder drug delivery systems and methods
WO2014048491A1 (en) * 2012-09-28 2014-04-03 Siemens Aktiengesellschaft Apparatus and methods for providing building automation system data updates to a web client
EP2911690A1 (en) 2012-10-26 2015-09-02 MannKind Corporation Inhalable influenza vaccine compositions and methods
AU2014228415B2 (en) 2013-03-15 2018-08-09 Mannkind Corporation Microcrystalline diketopiperazine compositions and methods
KR102321339B1 (ko) 2013-07-18 2021-11-02 맨카인드 코포레이션 열-안정성 건조 분말 약제학적 조성물 및 방법
US11446127B2 (en) 2013-08-05 2022-09-20 Mannkind Corporation Insufflation apparatus and methods
US10307464B2 (en) 2014-03-28 2019-06-04 Mannkind Corporation Use of ultrarapid acting insulin
US10561806B2 (en) 2014-10-02 2020-02-18 Mannkind Corporation Mouthpiece cover for an inhaler

Family Cites Families (17)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
NL8300872A (nl) * 1983-03-10 1984-10-01 Philips Nv Multiprocessor-rekenmachinesysteem voor het tot een gekleurde afbeelding verwerken van in een hierarchische datastruktuur gedefinieerde objekt-elementen.
US5179718A (en) * 1988-11-29 1993-01-12 International Business Machines Corporation Method of filing having a directed relationship through defining a staple relationship within the context of a folder document
CA1323450C (en) * 1989-02-06 1993-10-19 Larry K. Loucks Depth buffer clipping for window management
CA1323448C (en) * 1989-02-24 1993-10-19 Terrence C. Miller Method and apparatus for translucent file system
JPH02224027A (ja) * 1989-02-27 1990-09-06 Hitachi Ltd 故障復旧支援システム
US4953106A (en) * 1989-05-23 1990-08-28 At&T Bell Laboratories Technique for drawing directed graphs
JPH03102428A (ja) * 1989-09-18 1991-04-26 Hitachi Ltd 高級言語のコンパイラの手続き呼出し処理方式
JPH03252812A (ja) * 1990-03-02 1991-11-12 Hitachi Ltd プログラム実行状況表示方法
US5226117A (en) * 1990-05-15 1993-07-06 International Business Machines Corporation Method for simultaneous update and change in parent and child windows
JPH0756628B2 (ja) * 1990-10-22 1995-06-14 富士ゼロックス株式会社 グラフィカル・ユーザインターフェースの編集装置
JP2556189B2 (ja) * 1990-10-29 1996-11-20 富士ゼロックス株式会社 オブジェクト指向計算機システムにおけるメソッド起動装置
JPH04191941A (ja) * 1990-11-27 1992-07-10 Hitachi Ltd オブジェクト管理システム
US5276775A (en) * 1990-12-07 1994-01-04 Texas Instruments Inc. System and method for building knowledge-based applications
US5414801A (en) * 1991-06-11 1995-05-09 Virtus Corporation Computerized method and apparatus using containment relationships to represent objects in a three-dimensional space, and for moving therethrough
US5428554A (en) * 1992-09-03 1995-06-27 International Business Machines Corporation Hierarchical graph analysis method and apparatus
US5430870A (en) * 1992-10-13 1995-07-04 Sun Microsystems, Inc. Saving and restoring traversal state attributes of a directed acyclic graph structure network for a parent structure when it invokes a child structure for traversal
BE1007551A3 (nl) * 1993-09-24 1995-08-01 Philips Electronics Nv Werkwijze voor het in een rekenmachine automatisch herstellen van consistentie in een hierarchische objektstruktuur na een interaktie door een gebruiker en rekenmachine voorzien van zo een systeem voor automatische consistentieherstelling.

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
KR20000015042A (ko) * 1998-08-26 2000-03-15 김영환 전전자교환기의 대용량 저장장치의 제어방법

Also Published As

Publication number Publication date
KR100348670B1 (ko) 2002-11-29
DE69427008D1 (de) 2001-05-10
MY138242A (en) 2009-05-29
JP3946233B2 (ja) 2007-07-18
HK1012745A1 (en) 1999-08-06
JP2006114055A (ja) 2006-04-27
EP0646862A1 (en) 1995-04-05
US5596701A (en) 1997-01-21
TW359786B (en) 1999-06-01
SG44869A1 (en) 1997-12-19
JPH07200280A (ja) 1995-08-04
DE69427008T2 (de) 2001-10-18
EP0646862B1 (en) 2001-04-04
BE1007551A3 (nl) 1995-08-01
US5731815A (en) 1998-03-24

Similar Documents

Publication Publication Date Title
KR950009429A (ko) 사용자 대화 후 컴퓨터내 계층적 오브젝트 구조의 일관성을 자동으로 회복하는 방법과, 그러한 일관성 자동 회복 시스템을 구비한 컴퓨터
KR970068265A (ko) 스크린-전화기 및 스크린-전화기의 메뉴를 관리하는 방법
Bischi et al. Analysis of global bifurcations in a market share attraction model
Kim et al. Optimal structural control using neural networks
CA2274665A1 (en) Method, system and data structures for computer software application development and execution
KR950009484A (ko) 전방향 신경망을 구비한 정보처리 시스템 및 신경망 학습방법
CA2118439A1 (en) Method and Apparatus for Data Management
Hofmann et al. Positive subtyping
Suzuki Composite controls for singularly perturbed systems
Kantner Robust stability of piecewise linear discrete time systems
de Champeaux et al. Structured analysis and object oriented analysis
KR920018579A (ko) 사용자 인터페이스 및 다수 사용자 인터페이스 유형의 컴퓨터를 운영하는 프로그래밍 시스템을 명시(Specifying)하는 방법
Hicks Coupled computations for an elastic‐perfectly plastic soil using adaptive mesh refinement
Lang et al. Object-oriented programming and design patterns
Tzafestas Design of distributed-parameter optimal controllers and filters via Walsh-Galerkin expansions
Ju et al. Finite-element graphic Objects in C++
Pawletta et al. An object oriented framework for modeling and simulation of variable structure systems
Dingeldein et al. THESEUS++: a high level user interface toolkit for graphical applications
Iverson et al. Practical Uses of a Model of APL
Cemuschi-Frias et al. A neural network model of memory under stress
Butler Updating the forecast function of ARIMA models and the link with DLMs
Grether Distributed Lags, Prediction, and Signal Extraction
Kastner-Maresch et al. Modelling food preferences and viability constraints
US20210048990A1 (en) Partially immutable model
Schumacher Nonautonomous Delay Equations in Banach Space: Resolvent, Stability, and Stable Forced Oscillations

Legal Events

Date Code Title Description
A201 Request for examination
E902 Notification of reason for refusal
E701 Decision to grant or registration of patent right
GRNT Written decision to grant
FPAY Annual fee payment

Payment date: 20120801

Year of fee payment: 11

FPAY Annual fee payment

Payment date: 20130729

Year of fee payment: 12

FPAY Annual fee payment

Payment date: 20140731

Year of fee payment: 13

EXPY Expiration of term