Description Logics and Guarded Fragments of First Order Logic

Description Logics and Guarded Fragments of First Order Logic
复制标题

一阶逻辑的描述逻辑和保护片段

DOI:
--
复制
发表时间:
1998
期刊:
Description Logics
影响因子:
--
通讯作者:
E. Grädel
E. Grädel
中科院分区:
--
文献类型:
--
作者:
E. Grädel

文献摘要

被引文献

相似文献

一种用于矫形支具的锁定机构,包括可枢转地连接在一起的上支具构件和下支具构件,固定地紧固到下支具构件上的凹口板或凹进板,而U形锁定杆可枢转地紧固到上支具构件上,用于与凹口板或凹进板锁定地协作,弹簧偏置的致动杆可操作地与U形锁定杆相关联。上、下支架构件还设有相对于上、下支架构件的纵向轴线成角度定向的钻孔或孔,当支架构件的纵向轴线同样对齐时,孔彼此对齐。可自由移动的销可滑动地设置在孔内,孔的外端被适当地盖住以将销保持在其中,并且当支架垂直设置以模拟站立或行走条件时,两个支架构件也纵向对齐,U-当可滑动销插入两个支撑构件之间时,在其两个孔内,从而防止在支撑构件之间发生相对枢转。当支架交替地设置在适当倾斜的位置时,对应于模拟的坐姿,销仅移动到上支架构件的孔中,从而当U形锁定杆通过致动杆与凹口板脱离时,允许支架构件之间发生相对枢转。
A locking mechanism for orthopedic braces includes upper and lower brace members pivotably jointed together, notched or recessed plates being fixedly secured to the lower brace member while a U-shaped locking bar is pivotably secured to the upper brace member for lockingly cooperating with the notched or recessed plates, a spring-biased actuating lever being operatively associated with the U-shaped locking bar. The upper and lower brace members are also provided with drilled holes or bores which are angularly oriented with respect to the longitudinal axes of the upper and lower brace members, the bores being aligned with each other when the longitudinal axes of the brace members are likewise aligned. A freely movable pin is slidably disposed within the bores, the outer ends of the bores being suitably capped so as to retain the pin therewithin, and when the brace is vertically disposed so as to simulate standing or walking conditions, both brace members also being longitudinally aligned, the U-shaped locking bar automatically lockingly engages the recessed or notched plates while the slidable pin is interposed between both brace members and within both bores thereof, thereby preventing the occurrence of relative pivoting between the brace members. When the brace is altneratively disposed in a suitably inclined position, corresponding to simulated sitting conditions, the pin moves solely into the bore of the upper brace member thereby permitting relative pivoting to occur between the brace members when the U-shaped locking bar is disengaged from the notched plates by means of the actuating lever.