检索结果-南通市图书馆

Minimal Context-Switching Data Race Detection with Dataflow Tracking

Journal of Computer Science & Technology 2024年第1期39卷 211-226页

作者：郑龙李洋辛杰刘海峰郑然廖小飞金海 National Engineering Research Center for Big Data Technology and System School of Computer Science and Technology Huazhong University of Science and TechnologyWuhan 430074China Services Computing Technology and System Laboratory School of Computer Science and TechnologyHuazhong University of Science and TechnologyWuhan 430074China Cluster and Grid Computing Laboratory School of Computer Science and TechnologyHuazhong University of Science and TechnologyWuhan 430074China

Data race is one of the most important concurrent anomalies in multi-threaded *** con-straint-based techniques are leveraged into race detection,which is able to find all the races that can be found by any oth-er sound race ***,this constraint-based approach has serious limitations on helping programmers analyze and understand data ***,it may report a large number of false positives due to the unrecognized dataflow propa-gation of the ***,it recommends a wide range of thread context switches to schedule the reported race(in-cluding the false one)whenever this race is exposed during the constraint-solving *** ad hoc recommendation imposes too many context switches,which complicates the data race *** address these two limitations in the state-of-the-art constraint-based race detection,this paper proposes DFTracker,an improved constraint-based race detec-tor to recommend each data race with minimal thread context ***,we reduce the false positives by ana-lyzing and tracking the dataflow in the *** this means,DFTracker thus reduces the unnecessary analysis of false race *** further propose a novel algorithm to recommend an effective race schedule with minimal thread con-text switches for each data *** experimental results on the real applications demonstrate that 1)without removing any true data race,DFTracker effectively prunes false positives by 68%in comparison with the state-of-the-art constraint-based race detector;2)DFTracker recommends as low as 2.6-8.3(4.7 on average)thread context switches per data race in the real world,which is 81.6%fewer context switches per data race than the state-of-the-art constraint based race ***,DFTracker can be used as an effective tool to understand the data race for programmers.

关键词： data race satisfiability modulo theory multi-threaded program dynamic detection

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Phase-field simulations of the effect of temperature and interface for zirconiumδ-hydrides

引用

Chinese Physics B 2024年第4期33卷 701-710页

作者：陈子航盛杰刘瑜施小明黄厚兵许可王越超武帅孙博刘海风宋海峰 School of Materials Science and Engineering Beijing Institute of TechnologyBeijing 100081China Advanced Research Institute of Multidisciplinary Science Beijing Institute of TechnologyBeijing 100081China Laboratory of Computational Physics Institute of Applied Physics and Computational MathematicsBeijing 100088China Department of Physics University of Science and Technology BeijingBeijing 100083China

Hydride precipitation in zirconium cladding materials can damage their integrity and *** temperature and material defects have a significant effect on the dynamic growth of *** this study,we have developed a phasefield model based on the assumption of elastic behaviour within a specific temperature range(613 K-653 K).This model allows us to study the influence of temperature and interfacial effects on the morphology,stress,and average growth rate of zirconium *** results suggest that changes in temperature and interfacial energy influence the length-to-thickness ratio and average growth rate of the hydride *** ultimate determinant of hydride orientation is the loss of interfacial coherency,primarily induced by interfacial dislocation defects and quantifiable by the mismatch degree *** escalation in interfacial coherency loss leads to a transition of hydride growth from horizontal to vertical,accompanied by the onset of redirection ***,redirection occurs at a critical mismatch level,denoted as qc,and remains unaffected by variations in temperature and interfacial ***,this redirection leads to an increase in the maximum stress,which may influence the direction of hydride crack *** research highlights the importance of interfacial coherency and provides valuable insights into the morphology and growth kinetics of hydrides in zirconium alloys.

关键词： zirconium hydride phase-field method temperature effect mismatch degree

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Functional imaging and endoscopy

引用

World Journal of Gastroenterology 2011年第38期17卷 4277-4282页

作者： Jian-Guo Zhang hai-feng liu Department of Gastroenterology General Hospital of Chinese Armed Police Forces Beijing 100039 China

The emergence of endoscopy for the diagnosis of gastrointestinal diseases and the treatment of gastrointestinal diseases has brought great *** mere observation of anatomy with the imaging mode using modern endoscopy has played a significant role in this ***,increasing numbers of endoscopies have exposed additional deficiencies and defects such as anatomically similar *** can be used to examine lesions that are difficult to identify and *** disease detection requires that substantive changes in biological function should be observed,but in the absence of marked morphological changes,endoscopic detection and diagnosis are *** detection requires not only anatomic but also functional imaging to achieve a comprehensive interpretation and ***,we must ask if endoscopic examination can be integrated with both anatomic imaging and functional *** recent years,as molecular biology and medical imaging technology have further developed,more functional imaging methods have *** paper is a review of the literature related to endoscopic optical imaging methods in the hopes of initiating integration of functional imaging and anatomical imaging to yield a new and more effective type of endoscopy.

关键词： Endoscopy Functional imaging Multi-modal imaging Optical coherence tomography Fluores-cence molecular imaging Photoacoustic tomography Cerenkov luminescence tomography

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Effect of Helicobacterpyloriinfection on Bax protein expression in patients with gastric precancerous lesions

引用

World Journal of Gastroenterology 2005年第37期11卷 5899-5901页

作者： hai-feng liu Wei-Wen liu Guo-An Wang Xiao-Chun Teng Department of Gastroenterology General Hospital of Chinese People's Armed Police Forces Beijing 100039 China Department of Gastroenterology Southwest Hospital Third Military Medical University Chongqing400038 China

AIM： To investigate the effect of Helicobacter pylori （H pylon） infection on Bax protein expression, and explore the role of Hpyloriin gastric carcinogenesis. METHODS： Hpyloriwas assessed by rapid urease test and Warthin-Starry method, and expression of Bax protein was examined immunohistochemically in 72 patients with pre-malignant lesions. RESULTS： Bax protein was differently expressed in intestinal metaplasia and gastric dysplasia, and showed 63.99% positivity. The positivity of Bax protein expression in Hpylori-positive gastric precancerous lesions （72.3%） was significantly higher than that in H pylori-negative gastric precancerous lesions （48.0%, x^2= 4.191, P〈0.05）. Hpyloriinfection was well correlated with the expression of Bax protein in gastric precancerous lesions （r= 0.978, P〈0.01）. After eradication of H pylori, the positivity of Bax protein expression significantly decreased in Hpylori-positive gastric precancerous lesions （x^2 = 5.506, P〈0.05）. In the persisting H pylori-infected patients, the positivity of Bax protein expression was not changed. CONCLUSION： H pyloriinfection may be involved in the upregulation of Bax gene, which might be one of the mechanisms of Hpyloriinfection-induced gastric epithelial cell apoptosis. Hpylorimight act as a tumor promoter in the genesis of gastric carcinoma and eradication of Hpylori could inhibit gastric carcinogenesis.

关键词： Helicobacter pylori Bax protein Gastric precancerous lesions

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Investigation of the effect of military stress on the prevalence of functional bowel disorders

引用

World Journal of Gastroenterology 2012年第23期18卷 3004-3007页

作者： Xian-Zhao Yu hai-feng liu Zhen-Xue Sun Department of Gastroenterology General Hospital of Chinese People's Armed Police Forces Bei- jing 100039 China Authorized Outpatient Service of Chinese Peo- ple's Armed Police Headquarters Beijing 100089 China

AIM: To investigate the morbidity of functional bowel disorders (FBD) under military stress conditions in order to lay foundations for the prevention and treatment of this disease. METHODS: Four hundred and fifty-seven soldiers who were assigned to specified services and 471 soldiers who were assigned to routine services were enrolled using cluster sampling, with the latter as a control group. They were surveyed using the Rome Ⅲ FBD standard questionnaire. The FBD symptom question-naire included FBD-related symptoms, severity, dura- tion or attack time, and accompanying symptoms. RESULTS: The morbidity of the military stress group (14.6%) was significantly higher than in the control group (9.98%) ( 2 = 4.585, P < 0.05). The incidence of smoking, abdominal pain and acid regurgitation ( 2 = 4.761, P < 0.05) as well as the ZUNG anxiety/depression scores ( 2 = 7.982, P < 0.01) were also sig- nificantly higher in the military stress group compared with the control group. ZUNG anxiety ( 2 = 11.523, P < 0.01) and depression ( 2 = 5.149, P < 0.05) scores were higher in the FBD group compared with the non-FBD group. The differences in the ZUNG self-rated anxiety and depression scales between the 2 groups were statistically significant ( 2 = 14.482, P < 0.01 and 2 = 6.176, P < 0.05). CONCLUSION: The morbidity of FBD was higher under military stress conditions.

关键词： Military stress Functional bowel disorders Soldier Self-rating anxiety Depression scale

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Primary Hepatic Melanoma in a Child

引用

Chinese Medical Journal 2018年第17期131卷 2135-2136页

作者： Min Wang hai-feng liu Yu-Lan Li Department of Anesthesiology First Hospital of Lanzhou University Lanzhou Gansu 730000 China Department of Radiology First Hospital of Lanzhou University Lanzhou Gansu 730000 China

To the Editor： A 12-year-old male patient was admitted to First Hospital of Lanzhou University with the complaint of right upper abdominal pain lasting for 2 years. He had no history ofhepatitis, vomiting, and weight... 详细信息

关键词： LIVER

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Optimized design of LED freeform lens for uniform circular illumination

引用

Journal of Zhejiang University-Science C(Computers and Electronics) 2012年第12期13卷 929-936页

作者： Peng liu Reng-mao WU Zhen-rong ZHENG hai-feng LI Xu liu State Key Laboratory of Modern Optical Instrumentation Zhejiang University Hangzhou 310027 China

An optimization method is proposed for designing an LED freeform lens which produces a uniform circular pattern with high energy *** method is composed of three main aspects:design of the initial guess,parameterization of the freeform surface,and construction of the merit *** initial guess is created by solving an ordinary differential equation *** approach of selecting optimization points is introduced for parameterization of the freeform *** merit function is constructed by use of the irradiance uniformity and the efficiency of the *** examples are given,and the results show that the irradiance distribution is well controlled with a maximum uniformity(the relative standard deviation of irradiance,RSD) of 0.0122 and a maximum efficiency of 93.88%.This optimization method can be generalized to design freeform lenses with different lighting patterns or without rotational symmetry.

关键词： Illumination design Lenses Light emitting diode(LED) Non-imaging optics

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Study on superprism effect in the multilayer optical thin film stack

引用

光学精密工程 2005年第4期13卷 454-458页

作者： SUN Xue-zheng GU Pei-fu CHEN hai-xing JIN Bo LI hai-feng liu Xu State Key Laboratory of Modern Optical Instrumentations Zhejiang University Hangzhou 310027 China

Researches show that multilayer optical thin film stack can exhibit superprism effect due to their large abnormal dispersions. We investigated and simulated this effect numerically in a 1-D non-periodic film structure-Fabry-Perot filters (FPF), which possess drastic change in phase and large group delay around wavelength of peak transmittance, and fabricated this device to realize remarkable superprism effect. We tested experimentally with the maximum spatial separation shift up to 65 μm, and the experimental result is in good agreement with the theory. Compared with the traditional prism, the total thickness of our structure is only 3.3 μm, and our prism shows a stronger angular resolution of 1.8°/nm.

关键词：薄膜涂覆技术多层膜 FPF

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Ileocecal lavage fluid for gut microbiota investigation in children with gastrointestinal diseases

引用

Gastroenterology Report 2022年第1期10卷 606-608页

作者： Hua-hai Chen Xing Wang Ling Wang hai-feng liu Ye-Shi Yin Key Laboratory of Comprehensive Utilization of Advantage Plants Resources in Hunan South College of Chemistry and BioengineeringHunan University of Science and EngineeringYongzhouHunanP.R.China State Key Laboratory for Managing Biotic and Chemical Threats to the Quality and Safety of Agro-products Institute of Food ResearchZhejiang Academy of Agricultural SciencesHangzhouZhejiangP.R.China Children’s Hospital of Shanghai Children’s Hospital of Shanghai Jiaotong UniversityShanghaiP.R.China

Introduction The ileocecal region is the end point of colonoscopy and comprises the junction of the ileum,cecum,and *** ileocecal region has been reported as a common lesion site for various intestinal diseases(***’s disease[1],intestinal tuberculosis[2],and primary colorectal lymphoma[3]).However,to date,there have been few studies on the intestinal microbiota of the ileocecal region,because the sampling is relatively difficult and with only a local biopsy it is difficult to represent the whole region without *** with ileocecal mucosa sampling,the collection of ileocecal lavage fluid is easier to be accepted by patients and can avoid the interference of human genomic DNA in the process of bacterial genome sequencing.

关键词： diseases fluid lavage

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Value of multimodality imaging in diagnosing primary small cell carcinoma of breast

引用

Chinese Medical Journal 2019年第10期132卷 1250-1252页

作者： Zhuan-Zhuan Guo Wen feng hai-feng liu Xing-Ru Lu Jun-Qiang Lei Department of Radiology The Arst Hospital of Lanzhou University Lanzhou Gansu 730000 China The First Clinical Medical College of Lanzhou University Lanzhou Gansu 730000 China

To the Editor: A 51-year-old woman presented with a palpable mass in the lower outer region of the left breast. There was no history of skin redness or nipple discharge. Craniocaudal mammography [Figure 1A] showed a circular homogenous mass with well-defined margins and without calcification located in the posterior region of the left breast. Ultrasonography (US)[Figure IB] of the left breast demonstrated a heterogeneous, hypoechoic lesion with an accompanying peripheral blood flow signal.

关键词： small cell carcinoma of breast multimodality imaging

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

欢迎您,

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：