检索结果-南通市图书馆

Purification of AS-CMP effluent by combined photosynthetic bacteria and coagulation treatment

在线全文

学校读者我要写书评

暂无评论

Journal of Environmental Sciences 2000年第1期12卷 83-87页

作者： wu, shu-bin Liang, Wen-Zhi State Key Lab. Pulp and Paper Eng. South China University of Technology Guangzhou 510641 China

The effluent from the pulping of E. urophylla by alkali sodium sulfite chemi mechanical process(AS-CMP) was characterized for its biodegradability by photosynthetic bacteria (PSB). Chemical coagulation post treatment of biotreated wastewater was also studied. One month continuous treatment in the laboratory indicated that the COD Cr , BOD 5 and SS removals in biotreatment stages reached 56%, 83% and 89% respectively, and the CH 2Cl 2 extractives decreased from 10.7 mg/L to 7.7 mg/L. In chemical coagulation post treatment stage, the effects of process conditions, such as coagulant dosage, pH value and the coordinated coagulation flocculation treatment of three kinds of coagulants on coagulation effectiveness were discussed. The optimum operating conditions were given.

关键词： wastewater treatment AS CMP E. urophylla photosynthetic bacteria(PSB) flocculation coagulation CLC number: X703 Document code: A

Survey on Interactive Theorem Proving Based Concurrent Program Verification

在线全文

学校读者我要写书评

暂无评论

Ruan Jian Xue Bao/Journal of Software 2024年第9期35卷

作者： Wang, Zhong-Ye wu, shu-shu Cao, Qin-Xiang School of Electronic Information and Electrical Engineering Shanghai Jiao Tong University Shanghai 200240 China

Concurrent programs and systems are usually highly efficient and respond faster than serial systems, making them widely used in practice. However, concurrent programs and systems are often prone to error, which could bring fatal consequences in real world applications. Moreover, the non-determinism brought by concurrency is a major difficulty in the verification of concurrent programs. With formal verification, people could use interactive theorem provers to rigorously prove the correctness of a concurrent program. This study presents several correctness criteria for concurrent programs, which can be verified by interactive theorem proof techniques. The criteria include Hoare triple, linearizability, contextual refinement, and logical atomicity. Researchers usually use program logic to verify programs in an interactive theorem prover. This study summarizes the usage of concurrent separation logic, rely-guarantee-based logic, and relational Hoare logic in concurrent program verifications. It also surveys existing foundational verification tools and verification results by these techniques. © 2024 Chinese Academy of Sciences. All rights reserved.

关键词： Formal verification

Optimal extent of lymphadenectomy improves prognosis and guides adjuvant chemotherapy in esophageal cancer: A propensity scorematched analysis

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

World Journal of Gastrointestinal Surgery 2024年第6期16卷 1537-1547页

作者： Ji-Ming Tang shu-Jie Huang Qi-bin Chen Han-Sheng wu Gui-bin Qiao Department of Thoracic Surgery Guangdong Provincial People’s HospitalGuangzhou 510080Guangdong ProvinceChina Department of Thoracic Surgery The First Affiliated Hospital of Shantou University Medical CollegeShantou 515041Guangdong ProvinceChina

BACKGROUND The optimal extent of lymphadenectomy in esophageal squamous cell carcinoma(ESCC)patients remained *** To explore the ideal number of cleared lymph nodes in ESCC patients undergoing upfront *** In this retrospective,propensity score-matched study,we included 1042 ESCC patients who underwent esophagectomy from November 2008 and October *** who underwent neoadjuvant therapy were *** collected pa-tients’clinicopathological features and information regarding lymph nodes,in-cluding the total number of resected lymph nodes(NRLN),and pathologically diagnosed positive lymph nodes(RPLN).SPSS and R software were used for statistical *** Among the included 1042 patients,two cohorts:≤21(n=664)and>21 NRLN(n=378)were *** final prognostic model included four variables:T stage,N,venous thrombus,and the number of removed lymph *** them,NRLN>21 was determined as an independent prognosticator after surgery for esophageal cancer(hazards regression=0.66,95%confidence interval:0.50-0.87,P=0.004).A nomogram was created based on the regression coefficients of the variables in the final *** the training cohort,the predictive model dis-played an uncorrected five-year overall survival C-index of 0.659,with a bootstrap-corrected C-index of *** the subgroup analysis,adjuvant chemotherapy was beneficial in the subgroup with NRLN>21 and RPLN≤0.16 and NRLN≤21 and RPLN>*** NRLN>21 was an independent prognostic factor after ESCC *** combination of NRLN and RPLN may provide a reference for adjuvant chemotherapy use in potential beneficiaries.

关键词： Esophageal squamous cell carcinoma Lymphadenectomy Adjuvant chemotherapy Prognosis Nomogram

DLP:towards active defense against backdoor attacks with decoupled learning process

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Cybersecurity 2024年第1期7卷 122-134页

作者： Zonghao Ying bin wu State Key Laboratory of Information Security Institute of Information EngineeringChinese Academy of SciencesBeijingChina School of Cyber Security University of Chinese Academy of SciencesBeijingChina

Deep learning models are well known to be susceptible to backdoor attack,where the attacker only needs to provide a tampered dataset on which the triggers are *** trained on the dataset will passively implant the backdoor,and triggers on the input can mislead the models during *** study shows that the model shows different learning behaviors in clean and poisoned subsets during *** on this observation,we propose a general training pipeline to defend against backdoor attacks *** models can be trained from the unreli-able dataset by decoupling the learning process into three stages,i.e.,supervised learning,active unlearning,and active semi-supervised *** effectiveness of our approach has been shown in numerous experiments across various backdoor attacks and datasets.

关键词： Deep learning Backdoor attack Active defense

Clinical practice of sepsis-induced immunosuppression:Current immunotherapy and future options

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Chinese Journal of Traumatology 2024年第2期27卷 63-70页

作者： Fei Pei bin Gu shu-Min Miao Xiang-Dong Guan Jian-Feng wu Department of Critical Care Medicine The First Affiliated HospitalSun Yat-sen UniversityGuangzhou510080China Guangdong Clinical Research Center for Critical Care Medicine Guangzhou510080China

Sepsis is a potentially fatal condition characterized by the failure of one or more organs due to a disordered host response to *** development of sepsis is closely linked to immune *** a result,immunotherapy has gained traction as a promising approach to sepsis treatment,as it holds the potential to reverse immunosuppression and restore immune balance,thereby improving the prognosis of septic ***,due to the highly heterogeneous nature of sepsis,it is crucial to carefully select the appropriate patient population for *** review summarizes the current and evolved treatments for sepsis-induced immunosuppression to enhance clinicians'understanding and practical application of immunotherapy in the management of sepsis.

关键词： Sepsis Sepsis-induced immunosuppression Immunotherapy Enrichment Classifier

Design and Implementation of Nonlinear Precoding for MIMO-SDMA Toward 6G Wireless

在线全文

学校读者我要写书评

暂无评论

China Communications 2024年第1期21卷 69-87页

作者： Chaowu wu Yue Xiao shu Fang Gang wu National Key Laboratory of Wireless Communications University of Electronic Science and Technology of ChinaChengdu 611731China

In this paper,we present a novel and robust nonlinear precoding(NLP)design and detection structure specifically tailored for multiple-input multipleoutput space division multiple access(MIMO-SDMA)systems toward 6G *** approach aims to effectively mitigate the impact of imperfect channel estimation by leveraging the channel fluctuation mean square error(MSE)for reconstructing a highly accurate precoding matrix at the ***,we introduce a simplified receiver structure that eliminates the need for equalization,resulting in reduced interference and notable enhancements in overall system *** conduct both computer simulations and experimental tests to validate the efficacy of our proposed *** results reveals that the proposed NLP scheme offers significant performance improvements,making it particularly well-suited for the forthcoming 6G wireless.

关键词： MIMO-SDMA nonlinear precoding Tomlinson-Harashima precoding(THP) vector perturbation(VP)

An improved bound on accelerated light dark matter

在线全文

学校读者我要写书评

暂无评论

Science China(Physics,Mechanics & Astronomy) 2024年第2期67卷 105-118页

作者： Liangliang Su Lei wu bin Zhu Department of Physics and Institute of Theoretical Physics Nanjing Normal UniversityNanjing 210023China School of Physics Yantai UniversityYantai 264005China

Light(sub-GeV)dark matter has gained increasing interest in terms of direct *** dark matter is a promising candidate that can generate detectable nuclear recoil energy within the sub-GeV *** of the large kinetic energy,its interactions with the nucleus are predominantly governed by inelastic scattering,including quasi-elastic and deep inelastic *** this work,we calculated the inelastic effects in dark matter-Earth scattering mediated by a vector *** analysis revealed that the impact of inelastic scattering relies on the mediator mass and the kinetic energy spectrum of dark *** results exhibited considerable disparity:the upper bounds of the exclusion limit for the spin-independent cross-section between accelerated dark matter and nuclei via a heavy mediator differ by several tens of times when inelastic scattering is considered.

关键词： accelerated dark matter inelastic scattering direct detection experiment

Mechanism Design for Ancillary Service Market Considering Social Welfare and Fairness

在线全文

学校读者我要写书评

暂无评论

CSEE Journal of Power and Energy Systems 2024年第3期10卷 1000-1010页

作者： Zhi wu Yuanxi wu Wei Gu Zheng Xu shu Zheng Jingtao Zhao School of Electrical Engineering Southeast UniversityNanjing 210096China NARI Technology Co. Ltd.Nanjing 211106China IEEE CSEE

Increasing penetration of distributed energy resources in the distribution network(DN)is threatening safe operation of the DN,which necessitates setup of the ancillary service market in the *** the ancillary service market,distribution system operator(DSO)is responsible for safety of the DN by procuring available capacities of *** existing studies,this paper proposes a novel market mechanism composed of two parts:choice rule and payment *** proposed choice rule simultaneously considers social welfare and fairness,encouraging risk-averse aggregators to participate in the ancillary service *** is then formulated as a linear programming problem,and a distributed solution using the multi-cut Benders decomposition is ***,successful implementation of the choice rule depends on each aggregator’s truthful adoption of private ***,a payment rule is also designed,which is proved to possess two properties:incentive compatibility and individual *** results demonstrate effectiveness of the proposed choice rule on improving fairness and verify properties of the payment rule.

关键词： Aggregator ancillary service market distributed mechanism fairness mechanism design

Contrastive Consistency and Attentive Complementarity for Deep Multi-View Subspace Clustering

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Computers, Materials & Continua 2024年第4期79卷 143-160页

作者： Jiao Wang bin wu Hongying Zhang School of Information Engineering Southwest University of Science and TechnologyMianyang621010China

Deep multi-view subspace clustering (DMVSC) based on self-expression has attracted increasing attention dueto its outstanding performance and nonlinear application. However, most existing methods neglect that viewprivatemeaningless information or noise may interfere with the learning of self-expression, which may lead to thedegeneration of clustering performance. In this paper, we propose a novel framework of Contrastive Consistencyand Attentive Complementarity (CCAC) for DMVsSC. CCAC aligns all the self-expressions of multiple viewsand fuses them based on their discrimination, so that it can effectively explore consistent and complementaryinformation for achieving precise clustering. Specifically, the view-specific self-expression is learned by a selfexpressionlayer embedded into the auto-encoder network for each view. To guarantee consistency across views andreduce the effect of view-private information or noise, we align all the view-specific self-expressions by contrastivelearning. The aligned self-expressions are assigned adaptive weights by channel attention mechanism according totheir discrimination. Then they are fused by convolution kernel to obtain consensus self-expression withmaximumcomplementarity ofmultiple views. Extensive experimental results on four benchmark datasets and one large-scaledataset of the CCAC method outperformother state-of-the-artmethods, demonstrating its clustering effectiveness.

关键词： Deep multi-view subspace clustering contrastive learning adaptive fusion self-expression learning