检索结果-南通市图书馆

Chinese Journal of Structural Chemistry 2005年第12期24卷 1445-1451页

作者： ai Chun-Zhi sun Ren-An YAN Jie College of Chemistry and Chemical Engineering Liaoning normal university Dalian 116029 China

Eight species, HRgX （Rg = He, Ne, Ar, Kr; X = Cl, Br）, are predicted to have bending transition states at B3PW91/AUG-cc-PVTZ level, leading to 2-body decomposition pathway like H-Rg-X→Rg＋HX. The reaction path has been obtained with Intricate Reaction Coordinates （IRC） method on identical theoretical level. Additionally, the linear transition states of HArCl, HArBr, HKrCl and HKrBr were obtained at MP2/6-311 ＋＋G （2d, 2p） level, resulting in 3-body dissociation channel as H-Rg-X→H ＋ Rg＋ X.

关键词： decomposition pathway transition state IRC energy barrier

A property-based testing framework for encryption programs

在线全文

学校读者我要写书评

暂无评论

Frontiers of Computer Science 2014年第3期8卷 478-489页

作者： Chang-ai sun Zuoyi WANG Guan WANG School of Computer and Communication Engineering University of Science and Technology Beijing Beijing 100083 China State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Beijing 100190 China

In recent years, a variety of encrypfion algorithms were proposed to enhance the security of software and systems. Validating whether encryption algorithms are correctly implemented is a challenging issue. Software testing delivers an effective and practical solution, but it also faces the oracle problem （that is, under many practical situations, it is impossible or too computationally expensive to know whether the output for any given input is correct）. In this paper, we propose a property-based approach to testing encryption programs in the absence of oracles. Our approach makes use of the so-called metamorphic properties of encryption algorithms to generate test cases and verify test results. Two case studies were conducted to illustrate the proposed approach and validate its effectiveness. Experimental results show that even without oracles, the proposed approach can detect nearly 50% inserted faults with at most three metamorphic relations （MRs） and fifty test cases.

关键词： software testing encryption programs test oracles metamorphic testing (MT)

Comparative Study:Common ANN and LS-SVM Exchange Rate Performance Prediction

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Chinese Journal of Electronics 2018年第3期27卷 561-564页

作者： sun ai ZHAO Tianyi CHEN Jungfang CHANG Juifang Department of International Business KUAS Department of Computer Science Harbin Institute of Technology

Due to the mathematical modeling principle deficiency, the data-driven neural network and support vector machine methods have become the powerful basic methods for the exchange rate prediction. Based on the analysis of the characteristics of exchange rate time series data, the exchange rate prediction performance of Artificial neural network(ANN) and Least squares-Support vector machine(LS-SVM) is explored. The parameter optimization method of the two-times training is *** fundamental principle of LS-SVM prediction is analysed in detail. By virtue of daily, monthly and quarterly data of three currency exchange rates, the prediction performance of LS-SVM is examined. The comparison is made with ANN prediction results based on the same data in relevant literature review. According to the experimental result, LS-SVM has better short-term prediction performance, and it is superior to ANN in most cases in terms of prediction precision.

关键词： Least squares-Support vector machine(LS-SVM) Neural network Structural risk function Characteristic space mapping Exchange rate prediction

The Noncommutative Residue about Witten Deformation

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Acta Mathematica Sinica,English Series 2019年第4期35卷 550-568页

作者： Kai Hua BAO ai Hui sun Chao DENG School of Mathematics Ineer Mongolia University for Nationnalities College of Mathematics Jilin Normal University School of Mathematics and Statistics Northeast Normal University

In this paper, we compute lower dimensional volumes Vol_4^((1,1)) and Vol_6^((2,2)) about Witten deformation for 4, 6-dimensional spin manifolds with boundary respectively, and get assosiated Kastler–Kalau–Walze type theorems. We also give theoritic explaination of the gravitational action for 4, 6 dimensional manifolds with boundary by these noncommutative residues.

关键词： Lower-dimensional volumes noncommutative residue gravitational action Witten deformation

Developmental dependence for functional eye regrowth in Xenopus laevis

在线全文

学校读者我要写书评

暂无评论

Neural Regeneration Research 2018年第10期13卷 1735-1737页

作者： Cindy X.Kha Kelly ai-sun Tseng School of Life Sciences University of Nevada

Introduction：A key challenge in designing tissue repair strategies is knowing whether and how developmental mechanisms are used for successful repair of mature/adult *** it is known that developmental components are used in repair,it remains mostly unclear which ones are required and whether they act similarly as during *** issue is further complicated by the fact that it is difficult.

关键词： Developmental dependence for functional eye regrowth in Xenopus laevis Figure RI

Metamorphic testing as a test case selection strategy

在线全文

学校读者我要写书评

暂无评论

Science China(Information Sciences) 2016年第5期59卷 24-25页

作者： Dave TOWEY Yunwei DONG Chang-ai sun Tsong Yueh CHEN School of Computer Science The University of Nottingham Ningbo China School of Computer Science and Engineering Northwestern Polytechnical University School of Computer and Communication Engineering University of Science and Technology Beijing Department of Computer Science and Software Engineering Swinburne University of Technology

Software testing is a well-known and popular approach to ensuring quality *** involves execution of the software under test(SUT),in an attempt to either offer some degree of confidence that the software is relatively bug free,or to actually uncover bugs or problems(called failures).Software testing has been studied for many years,and has generated a large body of approaches,methods,and techniques[1].An assumption underlying many of these approaches,however,is

关键词： Oracle Metamorphic testing as a test case selection strategy MT test case

Mapping Properties of Certain Oscillatory Integrals on Modulation Spaces

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Acta Mathematica Sinica,English Series 2017年第12期33卷 1647-1658页

作者： Mei Fang CHENG Hui Hui LIU ai Wen sun School of Mathematical and Computer Sciences Anhui Normal University Wuhu 241002 P. R. China

Suppose β1 〉 α1 ≥ 0, β2 〉 α2 ≥ 0 and （k,j） ∈ R^2. In this paper, we mainly investigate the mapping properties of the operator Tα,βf（x,y,z）=∫Q^2f（x-t,y-s,z-t^ks^j）e^-2πit-β1s-β2t^-1-α1s^-1-α2 dtd... 详细信息

关键词： Modulation space singular integral operator Wiener amalgam space

NANOG: A promising target for digestive malignant tumors

在线全文

学校读者我要写书评

暂无评论

World Journal of Gastroenterology 2014年第36期20卷 13071-13078页

作者： ai-Xi sun Chang-Jiang Liu Zi-Qin sun Zhi Wei Department of Gastroenterology The General Hospital of Jinan Military Command

NANOG has been extensively researched since its discovery by Chambers et al. NANOG is a homeodomain transcription factor and an essential regulator of embryonic stem cell(ESC) self-renewal, which inhibits differentiation. Cancer stem cells(CSCs) are a small subset of cells that are thought to drive uncontrolled tumor growth; CSCs retain the tumor capabilities of self-renewal and propagation. The existence of CSCs was recently shown by direct experimental evidence. NANOG is expressed in CSCs and ESCs, although it remains unclear whether ESCs and CSCs share similar mechanisms in the regulation of physical and biological processes. Several studies suggest that the expression level of NANOG is high in cancer tissues and low or absent in normal tissues. High levels of NANOG expression are associated with advanced stages of cancer and a poor prognosis, indicating that it plays a vital role in tumor transformation, tumorigenesis, and tumor metastasis. NANOG is part of a complex regulatory network that controls cell fate determination, proliferation, and apoptosis. NANOG cooperates with other regulators, such as microflora, transcription factors, and kinases, in cancer cells. NANOG might have a promising future in anti-cancer and other therapeutic treatments, which could improve human health.

关键词： NANOG Cancer stem cells Gastrointestinal tumor Anti-cancer

Hepatoid adenocarcinoma of the stomach: A report of three cases

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

World Journal of Gastroenterology 2013年第27期19卷 4437-4442页

作者： Min-Feng Ye Feng Tao Fang Liu ai-Jing sun Department of Gastrointestinal Surgery Shaoxing People's Hospital Shaoxing Hospital of Zhejiang University Department of Pathology Shaoxing People's Hospital

Hepatoid adenocarcinoma of the stomach (HAS) is a rare form of gastric cancer that has unique clinicopathological features and an extremely poor prognosis. Here, we report on three patients with suspected gastric cancer who were referred to our hospital. Gastrointestinal fiberscopy on the three patients revealed two lesions in the antrum and a third lesion in the gastroesophageal junction. The alpha fetoprotein (AFP) serum levels were markedly elevated in all cases. At the time of diagnosis, two cases were advanced stages with lymph nodes and/or liver metastases. Two patients underwent exploratory laparotomy. A total gastrectomy was performed on the operable lesion, and an expanded gastrectomy was completed in the case with hepatic metastases. Histopathological analysis revealed that the tumors displayed two pathological changes:hepatoid-like foci and adenocarcinomatous. Furthermore, the tumor cells were immunohistochemically positive for AFP, alpha-1 antitrypsin, and alpha-1 antichymotrypsin. All three patients received chemotherapy. The follow-up duration ranged from 8-36 mo. Our experience and previous published studies have suggested that HAS is an aggressive type of adenocarcinoma. However, radical surgery and chemotherapy may positively impact clinical outcomes.

关键词： Hepatic adenocarcinoma Gastric cancer Alpha fetoprotein Prognosis Stomach

Dietary fiber intake and its association with diabetic kidney disease in American adults with diabetes:A cross-sectional study

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

World Journal of Diabetes 2024年第3期15卷 475-487页

作者： Xin-Hua Jia Sheng-Yan Wang ai-Qin sun Department of Critical Care Medicine Dezhou People’s HospitalDezhou 253000Shandong ProvinceChina Emergency Intensive Care Unit Dezhou People’s HospitalDezhou 253000Shandong ProvinceChina

BACKGROUND Dietary fiber(DF)intake may have a protective effect against type 2 diabetes(T2D);however,its relationship with diabetic kidney disease(DKD)remains *** To investigate the potential association between DF intake and the prevalence of DKD in individuals diagnosed with *** This cross-sectional study used data from the National Health and Nutrition Examination Survey collected between 2005 and *** intake was assessed through 24-h dietary recall interviews,and DKD diagnosis in individuals with T2D was based on predefined criteria,including albuminuria,impaired glomerular filtration rate,or a combination of *** regression analysis was used to assess the association between DF intake and DKD,and comprehensive subgroup and sensitivity analyses were *** Among the 6032 participants,38.4%had *** lower DF intake-T1(≤6.4 g/1000 kcal/day)-as a reference,the adjusted odds ratio for DF and DKD for levels T2(6.5-10.0 g/1000 kcal/day)and T3(≥10.1 g/1000 kcal/day)were 0.97(95%CI:0.84-1.12,P=0.674)and 0.79(95%CI:0.68-0.92,P=0.002),*** subgroup analysis yielded consistent results across various demographic and health-related subgroups,with no statistically significant interactions(all P>0.05).CONCLUSION In United States adults with T2D,increased DF intake may be related to reduced DKD *** research is required to confirm these findings.

关键词： Dietary fiber Diabetic kidney disease Type 2 diabetes National Health and Nutrition Examination Survey Crosssectional study