OWL-S(ontology Web language for services)实现了Web服务属性和功能明确的形式化表示,使得服务的描述具有了语义。但OWL-S对服务的动态信息描述不足,不支持服务的动态复合。扩展了OWL-S的服务描述内容,提出了动态因素和静态因素的概念...OWL-S(ontology Web language for services)实现了Web服务属性和功能明确的形式化表示,使得服务的描述具有了语义。但OWL-S对服务的动态信息描述不足,不支持服务的动态复合。扩展了OWL-S的服务描述内容,提出了动态因素和静态因素的概念,给出了一个新的服务描述方法——从动态因素和静态因素两个方面对Web服务进行详细的描述,同时设计了服务动态复合的机制,采用子服务类型复合而非实例复合的方法,依据ServiceProfile中描述的动态信息和静态信息,根据服务运行环境和用户需求的不同而动态调整复合方式,从而使OWL-S具有支持服务动态复合的能力。最后以描述逻辑为基础给出描述方法的逻辑支持。展开更多
Experimental results on solubility of the styrene, phenol, methylphenylcarbinol, acetophenone, ethyl benzene, propylene glycol and molybdenum as a complex with Trilon B in supercritical CO2 obtained using a dynamic (f...Experimental results on solubility of the styrene, phenol, methylphenylcarbinol, acetophenone, ethyl benzene, propylene glycol and molybdenum as a complex with Trilon B in supercritical CO2 obtained using a dynamic (flow) method are presented. The obtained data are described in the framework of Peng-Robinson equation. The results of the experients on the extraction of organic components from waste formed in the olefin epoxidation process at Nizhnekam-skneftekhim Inc., on the analysis of extract composition, and on the testing of the extract as an epoxidation catalyst are presented. The supercritical water oxidation (SCWO) process of epoxidation process waste was conducted in periodical and continuous mode. The analysis results of reaction product are given. Pilot experiments on dry sediment formation were conducted using Radio Frequency (RF) Inductively Coupled Plasma (ICP) of low pressure.展开更多
Diaphragm structures with micron scale play a significant role in microtransducers and micro-nano devices, and the performance of these devices depends mainly on the dynamic behaviour of diaphragms. Micro-diaphragms a...Diaphragm structures with micron scale play a significant role in microtransducers and micro-nano devices, and the performance of these devices depends mainly on the dynamic behaviour of diaphragms. Micro-diaphragms are treated commonly as membranes and in some cases as plates or plates in tension (called TD plates for short), but they also show in many cases the behaviour of plates in tension and supported by air spring (called TDK plates for short). Therefore, it is necessary to perform systematic research on the dynamic behaviour of micro-diaphragms, and establish a characterized mathematical description. This paper focuses on the TDK plates since they possess universality, gives the corresponding basic equations, and then derives analytical solutions of TDK circular plates under clamped and simply supported boundary conditions. This paper also gives a 3D plot representation of characteristic curved surfaces, revealing the transition from the TDK and TD plate to the pure plate or pure membrane behaviour; and further uses the value φ to determine the property of diaphragms. Its two extreme cases, i.e. φ = 0 and φ = ∞ , correspond to pure plate or pure membrane, respectively. Thus, membrane, plate and TD plate can be treated as special cases of TDK plate. In addition, this paper reveals that the presence of air-spring not only enhances the restoring force of diaphragm such that increases its natural frequencies, but also results in the resonance of a dynamic system consisting of diaphragm and air-spring. These analytical and computational results are significant for the understanding of the operation mechanism of capacitive microtransducers and their optimized design.展开更多
Video event detection is an important research area nowadays.Modeling the video event is a key problem in video event detection.In this paper,we combine dynamic description logic with linear time temporal logic to bui...Video event detection is an important research area nowadays.Modeling the video event is a key problem in video event detection.In this paper,we combine dynamic description logic with linear time temporal logic to build a logic system for video event detection.The proposed logic system is named as LTD_(ALCO)which can represent and inference the static,dynamic and temporal knowledge in one uniform logic system.Based on the LTD_(ALCO),a framework for video event detection is proposed.The video event detection framework can automatically obtain the logic description of video content with the help of ontology-based computer vision techniques and detect the specified video event based on satisfiability checking on LTD_(ALCO)formulas.展开更多
文摘OWL-S(ontology Web language for services)实现了Web服务属性和功能明确的形式化表示,使得服务的描述具有了语义。但OWL-S对服务的动态信息描述不足,不支持服务的动态复合。扩展了OWL-S的服务描述内容,提出了动态因素和静态因素的概念,给出了一个新的服务描述方法——从动态因素和静态因素两个方面对Web服务进行详细的描述,同时设计了服务动态复合的机制,采用子服务类型复合而非实例复合的方法,依据ServiceProfile中描述的动态信息和静态信息,根据服务运行环境和用户需求的不同而动态调整复合方式,从而使OWL-S具有支持服务动态复合的能力。最后以描述逻辑为基础给出描述方法的逻辑支持。
文摘Experimental results on solubility of the styrene, phenol, methylphenylcarbinol, acetophenone, ethyl benzene, propylene glycol and molybdenum as a complex with Trilon B in supercritical CO2 obtained using a dynamic (flow) method are presented. The obtained data are described in the framework of Peng-Robinson equation. The results of the experients on the extraction of organic components from waste formed in the olefin epoxidation process at Nizhnekam-skneftekhim Inc., on the analysis of extract composition, and on the testing of the extract as an epoxidation catalyst are presented. The supercritical water oxidation (SCWO) process of epoxidation process waste was conducted in periodical and continuous mode. The analysis results of reaction product are given. Pilot experiments on dry sediment formation were conducted using Radio Frequency (RF) Inductively Coupled Plasma (ICP) of low pressure.
基金Supported by the National Natural Science Foundation of China (Grant Nos. 60774053 and 60374044)
文摘Diaphragm structures with micron scale play a significant role in microtransducers and micro-nano devices, and the performance of these devices depends mainly on the dynamic behaviour of diaphragms. Micro-diaphragms are treated commonly as membranes and in some cases as plates or plates in tension (called TD plates for short), but they also show in many cases the behaviour of plates in tension and supported by air spring (called TDK plates for short). Therefore, it is necessary to perform systematic research on the dynamic behaviour of micro-diaphragms, and establish a characterized mathematical description. This paper focuses on the TDK plates since they possess universality, gives the corresponding basic equations, and then derives analytical solutions of TDK circular plates under clamped and simply supported boundary conditions. This paper also gives a 3D plot representation of characteristic curved surfaces, revealing the transition from the TDK and TD plate to the pure plate or pure membrane behaviour; and further uses the value φ to determine the property of diaphragms. Its two extreme cases, i.e. φ = 0 and φ = ∞ , correspond to pure plate or pure membrane, respectively. Thus, membrane, plate and TD plate can be treated as special cases of TDK plate. In addition, this paper reveals that the presence of air-spring not only enhances the restoring force of diaphragm such that increases its natural frequencies, but also results in the resonance of a dynamic system consisting of diaphragm and air-spring. These analytical and computational results are significant for the understanding of the operation mechanism of capacitive microtransducers and their optimized design.
基金This work was supported by the National Natural Science Foundation of China(Grant Nos.60933004,60903141,60903079,60775030 and 60775035)the National Basic Research Program of China(No.2007CB311004)+1 种基金National High Technology Research and Development Program of China(No.2007AA01Z132)the National Science and Technology Pillar Program(No.2006BAC08B06).
文摘Video event detection is an important research area nowadays.Modeling the video event is a key problem in video event detection.In this paper,we combine dynamic description logic with linear time temporal logic to build a logic system for video event detection.The proposed logic system is named as LTD_(ALCO)which can represent and inference the static,dynamic and temporal knowledge in one uniform logic system.Based on the LTD_(ALCO),a framework for video event detection is proposed.The video event detection framework can automatically obtain the logic description of video content with the help of ontology-based computer vision techniques and detect the specified video event based on satisfiability checking on LTD_(ALCO)formulas.
