TiO2/MXene-Assisted LDI-MS for Urine Metabolic Profiling in Urinary Disease

Cancer remains an intractable medical problem. Rapid diagnosis and identification of cancer are critical to differentiate it from nonmalignant diseases. High-throughput biofluid metabolic analysis has potential for cancer diagnosis. Nevertheless, the present metabolite analysis method does not meet the demand for high-throughput screening of diseases. Herein, a high-throughput, cost-effective, and noninvasive urine metabolic profiling method based on TiO₂/MXene-assisted laser desorption/ionization mass spectrometry (LDI-MS) is presented for the efficient screening of bladder cancer (BC) and nonmalignant urinary disease. Combined with machine learning, TiO₂/MXene-assisted LDI-MS enables high diagnostic accuracy (96.8%) for the classification of patient groups (including 47 BC and 46 ureteral calculus (UC) patients) from healthy controls (113 cases). In addition, BC patients can also be identified from noncancerous UC individuals with an accuracy of 88.3% in the independent test cohort. Furthermore, metabolite variations between BC and UC individuals are investigated based on relative quantification, and related pathways are also discussed. These results suggest that this method, based on urine metabolic patterns, provides a potential tool for rapidly distinguishing urinary diseases and it may pave the way for precision medicine.     

Generation of Technology-Independent Retargetable Analog Blocks

This paper introduces a complete methodology for retargeting of analog cells to different sets of specifications. This methodology is technology-independent, thus allowing the migration, from one technology to another, of the circuit under retargeting. Careful integration of the device sizing and layout generation tasks via the incorporation of layout constraints during the sizing process allows to generate fully functional designs in a few minutes. The methodology is illustrated via the retargeting of a fully-differential Miller-compensated two-stage operational amplifier for a new set of specifications and two different technological processes.An erratum to this article can be found at     

变长线扫描选择性激光烧结快速成型工艺的质量和效率优势分析

本文分析变长线扫描选择性激光烧结快速成型工艺对点扫描工艺的质量和效率优势.对二者光学系统结构作分析对比,对焦斑和线束上的功率密度作计算对比.变长线扫描系统采用的扫描方式和聚焦元件使线束宽度小且恒定,线束功率密度与点扫描焦斑的相当.变长线扫描选择性激光烧结快速成型工艺的质量优势是明显的,效率比点扫描工艺提高一倍左右.     

大窝山隧道进口围岩快速掘进施工组织与管理

结合工程概况及工程特点,从机械设备配置、劳动力组织、现场管理等方面介绍了大窝山隧道进口Ⅱ级,Ⅲ级围岩段的快速掘进施工组织与管理措施,为类似隧道的快速掘进施工组织与管理提拱了相关经验.     

Automating application software generation

Many approaches have been proposed to enhance software productivity and reliability. These approaches typically fall into three categories: the engineering approach, the formal approach and the knowledge-based approach. But the optimal gain in software productivity cannot be obtained if one relies on only one of these approaches. This paper describes the work in knowledge-based software engineering conducted by the authors for the past 10 years. The final goal of the research is to develop a paradigm for software engineering which integrates the three approaches mentioned above. A knowledge-based tool which can support the whole process of software development is provided in this paper.     

An automated coding and classification system with supporting database for effective design of manufacturing systems

The philosophy of group technology (GT) is an important concept in the design of flexible manufacturing systems and manufacturing cells. Group technology is a manufacturing philosophy that identifies similar parts and groups them into families. Beside assigning unique codes to these parts, group technology developers intend to take advantage of part similarities during design and manufacturing processes. GT is not the answer to all manufacturing problems, but it is a good management technique with which to standardize efforts and eliminate duplication. Group technology classifies parts by assigning them to different families based on their similarities in: (1) design attributes (physical shape and size), and/or (2) manufacturing attributes (processing sequence). The manufacturing industry today is process focused; departments and sub units are no longer independent but are interdependent. If the product development process is to be optimized, engineering and manufacturing cannot remain independent any more: they must be coordinated. Each sub-system is a critical component within an integrated manufacturing framework. The coding and classification system is the basis of CAPP and the functioning and reliability of CAPP depends on the robustness of the coding system. The proposed coding system is considered superior to the previously proposed coding systems, in that it has the capability to migrate into multiple manufacturing environments. This article presents the design of a coding and classification system and the supporting database for manufacturing processes based on both design and manufacturing attributes of parts. An interface with the spreadsheet will calculate the machine operation costs for various processes. This menu-driven interactive package is implemented using dBASE-IV. Part Family formation is achieved using a KAMCELL package developed in TURBO Pascal.     

EFFECT OF STREAMLINE CURVATURE AND SOME OTHER CONDITIONS ON THE TURBULENT STRUCTURES IN THE OTHER REGION OF AN OBSTACLE

ＥＦＦＥＣＴＯＦＳＴＲＥＡＭＬＩＮＥＣＵＲＶＡＴＵＲＥＡＮＤＳＯＭＥＯＴＨＥＲＣＯＮＤＩＴＩＯＮＳＯＮＴＨＥＴＵＲＢＵＬＥＮＴＳＴＲＵＣＴＵＲＥＳＩＮＴＨＥＯＴＨＥＲＲＥＧＩＯＮＯＦＡＮＯＢＳＴＡＣＬＥＬｉｕＳｈｉ－ｈｅ（ＷｕｈａｎＵｎｉｖｅｒｓｉｔ...     

The problem of definition expansion and contraction

This article is the fourth of a series of articles discussing various open research problems in automated reasoning. The problem proposed for research focuses on finding criteria that would enable an automated reasoning program to expand or contract definitions wisely. For evaluating a proposed solution to this research problem, we include suggestions concerning possible test problems.This work was supported by the Applied Mathematical Sciences subprogram of the Office of Energy Research, U.S. Department of Energy, under contract W-31-109-Eng-38.     

隧道二次衬砌混凝土快速施工技术

结合某隧道施工实例，阐述了混凝土快速施工方案，探索了采用机械化混凝土输送系统配合整体液压衬砌台车进行混凝土快速施工技术，并提出了系统的设计、选形与配套措施。