Covalent triazine framework with efficient photocatalytic activity in aqueous and solid media

Covalent triazine frameworks (CTFs) have been recently employed for visible light-driven photocatalysis due to their unique optical and electronic properties. However, the usually highly hydrophobic nature of CTFs, which originates from their overall aromatic backbone, leads to limitations of CTFs for applications in aqueous media. In this study, we aim to extend the range of the application media of CTFs and design hybrid material of a CTF and mesoporous silica (SBA-15) for efficient photocatalysis in aqueous medium. A thiophene-containing CTF was directly synthesized in mesopores of SBA-15. Due to the high surface area and the added hydrophilic properties by silica, the hybrid material demonstrated excellent adsorption of organic molecules in water. This leads not only to high photocatalytic performance of the hybrid material for the degradation of organic dyes in water, but also for efficient photocatalysis in solvent-free and solid state. Furthermore, the reusability, stability and easy recovery of the hybrid material offers promising metal-free heterogeneous photocatalyst for broader applications in different reaction media.     

Superior foetal electrocardiogram signal elicitation using a novel artificial intelligent Bayesian methodology

Innumerable casualties due to intrauterine hypoxia are a major worry during prenatal phase besides advanced patient monitoring with latest science and technology. Hence, the analysis of foetal electrocardiogram (fECG) signals is very vital in order to evaluate the foetal heart status for timely recognition of cardiac abnormalities. Regrettably, the latest technology in the cutting edge field of biomedical signal processing does not seem to yield the desired quality of fECG signals required by physicians, which is the major cause for the pathetic condition. The focus of this work is to extort non-invasive fECG signal with highest possible quality with a motive to support physicians in utilizing the methodology for the latest intrapartum monitoring technique called STAN (ST analysis) for forecasting intrapartum foetal hypoxia. However, the critical quandary is that the non-invasive fECG signals recorded from the maternal abdomen are affected by several interferences like power line interference, baseline drift interference, electrode motion interference, muscle movement interference and the maternal electrocardiogram (mECG) being the dominant interference. A novel hybrid methodology called BANFIS (Bayesian adaptive neuro fuzzy inference system) is proposed. The BANFIS includes a Bayesian filter and an adaptive neuro fuzzy filter for mECG elimination and non-linear artefacts removal to yield high quality fECG signal. Kalman filtering frame work has been utilized to estimate the nonlinear transformed mECG component in the abdominal electrocardiogram (aECG). The adaptive neuro fuzzy filter is employed to discover the nonlinearity of the nonlinear transformed version of mECG and to align the estimated mECG signal with the maternal component in the aECG signal for annulment. The outcomes of the investigation by the proposed BANFIS system proved valuable for STAN system for efficient prediction of foetal hypoxia.     

The implementation of a smartphone-based fall detection system using a high-level fuzzy Petri net

The falling down problem has become one of the very important issues of global public health in an aging society. The specific equipment was adopted as the detection device of falling-down in the early studies, but it is inconvenient for the elderly and difficult for future application. The smart phone more commonly used than the specific fall detection equipment is selected as a mobile device for human fall detection, and a fall detection algorithm is developed for this purpose. What the user has to do is to put the smart phone in his/her thigh pocket for falling down detection. The signals detected by the tri-axial G-sensor are converted into signal vector magnitudes as the basis of detecting a human body in a stalling condition. The Z-axis data sets are captured for identification of human body inclination and the occurrence frequencies at the peak of the area of use are used as the input parameters. A high-level fuzzy Petri net is used for the analysis and the development of identifying human actions, including normal action, exercising, and falling down. The results of this study can be used in the relevant equipments or in the field of home nursing.     

An architecture to support scalable distributed virtual environment systems on grid

A Distributed Virtual Environment (DVE) system offers a computer-generated virtual world in which individuals located at different places in the physical world can interact with one another. In order to achieve real-time response for a large user base, DVE systems need to have a scalable architecture. In this paper, we present the design of a grid-enabled service oriented framework for facilitating the construction of scalable DVE systems on computing grids. A service component called “gamelet” is proposed, whose distinctive mark is its high mobility for supporting dynamic load sharing. We propose a gamelet migration protocol which can ensure the transparency and efficiency of gamelet migration, and an adaptive gamelet load-balancing (AGLB) algorithm for making gamelet redistribution decisions at runtime. The algorithm considers both the synchronization costs of the DVE system and network latencies inherent in the grid nodes. The activities of the users and the heterogeneity of grid resources are also considered in order to carry out load sharing more effectively. We evaluate the performance of the proposed mechanisms through a multiplayer online game prototype implemented using the Globus toolkit. The results show that our approach can achieve faster response times and higher throughputs than some existing approaches. This research is supported in part by the China National Grid project (863 program) and the HKU Foundation Seed Grant 28506002.     

苏6井区下石盒子组高分辨率层序地层学特征

以高分辨率层序地层学理论和技术方法为指导，在苏里格气田苏6井区地表露头、钻井岩心、测井、地震资料综合研究的基础上，通过基准面旋回结构、叠加样式的沉积动力学分析，将该井区下石盒子组划分为2个长期、5个中期和14个短期旋回层序；并较为详细地讨论了各期旋回层序特征；建立了以长期旋回层序界面和最大洪泛面为等时年代地层框架，以中期旋回层序为等时地层单元的高分辨率层序地层格架；通过分析，认为下石盒子组盒₈下段天然气储、盖条件最为有利；有利于储层发育的河道砂体主要出现在长、中期上升半旋回的中、下部，层序界面上相当短期旋回级别的单河道砂体是下石盒子组天然气勘探开发的主要目标。     

运动会新闻发布系统的设计与实现

针对运动会比赛期间随时需要方便、快捷、高效地更新大量新闻的需求 ,研制和开发一套运动会新闻发布系统。利用微软最新推出的asp .net动态网页开发工具 ,采用web分布式三层设计模型设计实现了一套操作简单、功能完善、具有通用性的运动会新闻发布系统     

Development of a safety critical software requirements verification method with combined CPN and PVS: a nuclear power plant protection system application

Safety-critical software systems such as certain nuclear instrumentation and control (NI&C) systems should be developed with thorough verification. This study presents a method of software requirement verification with a case study for a nuclear power plant (NPP) protection system. The verification introduces colored petri net (CPN) for system modeling and prototype verification system (PVS) for mathematical verification. In order to aid flow-through from modeling by CPN to mathematical proof by PVS, an information extractor from CPN models has been developed in this paper. In order to convert the extracted information to the PVS specification language, a translator has also been developed. This combined method has been applied to the functional requirements of the Wolsong NPP Shut Down System #2 (SDS2); logical properties of the requirements were verified. Through this research, guidelines and a tool support for the use of formal methods have been developed for application to NI&C software verification.     

新形势下电气工程及其自动化专业人才培养模式与知识体系框架

在分析了当前高等教育培养基本模式的基础上，根据科学技术和社会经济发展的要求，提出了人才培养的模式和要求。特别针对电气工程及其自动化领域的发展趋势以及对人才的需求，提出了该专业人才的知识框架体系。     

织金县HFC双向网络设计方案

织金电视台通过对有线电视网络进行双向改造，为Internet宽带接入、数字电视、VOD等多媒体应用提供了运行平台，介绍织金县城区HFC双向网络设计方案。