检索结果-南通市图书馆

心智与计算 2012年第2期 95-102页

作者： zhang xiao-jun LI Ke-sheng HAO Yi-jiang Department of Philosophy Xiamen University Department of Foreign Language Hefei Normal University Institute of Philosophy Chinese Academy of Social Sciences

Dynamic Logic (DL) is a formal system for reasoning on the input/output behaviors of programs. Hoare Logic (HL) is the precursor of all dynamic logics known today. Two core systems of DL are Propositional Dynamic Logic (PDL) and Quantificational Dynamic Logic (QDL). PDL is an extension of propositional logic with programs and is the appropriate place to begin investigating DL. QDL can be viewed as the first-order version of PDL. Predicate Dynamic Logic (DPL) is a subsystem of QDL and can be regarded as the most basic of a hierarchy of formulas-as-programs languages. These systems constitute the main topic of this essay. The authors’ elaboration here is very brief and sketchy and with the aim of providing the readers with only the most essence of the topic on the basis of other researchers’ works. The last part is the important one in which the authors summarize the approaches of extending Dynamic Logic. The conclusions are as follows: variants of DL are obtained by reinterpreting some constructs as something else, and/or by adding rules or operators, and/or by restricting or extending or revising some constructs, and/or combining a kind of logic with another one, and/or using a comprehensive way which insights from other disciplines according to its application in various domains. In all these cases, the authors give examples to illustrate the conclusion. It is generally proposed that sometimes the introduction of a new operator or rule or construct, or the introduction of reinterpretation or restriction or extension or revision of some constructs will increase expressive power and sometimes not; sometimes it has effect on the complexity of deciding satisfiability and sometimes not. Finally, the authors sum up major aspects which we should consider during investigating a specific variant of DL. The researchers should focus on the well-formed expressions and on the validity of expressions about it with respect to standard, non-standard and syntactically motivated cla

关键词： dynamic logic propositional dynamic logic quantifi

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

A Systemic Review of Autologous Fat Grafting Survival Rate and Related Severe Complications

引用

Chinese Medical Journal 2015年第9期128卷 1245-1251页

作者： Nan-Ze Yu Jiu-Zuo Huang Hao zhang Yang Wang xiao-jun Wang Ru Zhao Ming Bai xiao Long Division of Plastic and Reconstructive Surgery Peking Union Medical College Hospital Beijing 100730 China

Objective：Clinical application ofautologous fat grafting （AFG） is quickly *** the widely acceptance,long-term survival rate （SR） of AFG remains a question not yet ***,although rare,severe complications related to AFG including vision loss,stroke even death could be seen in the *** Sources：A comprehensive research of PubMed database to june 2013 was performed according to guidelines of the American Society of Plastic Surgeons Fat Graft Task Force Assessment *** were screened using predetermined inclusion and exclusion *** Selection：Data collected included patient characteristics,surgical technique,donor site,recipient site,graft amount,and quantified measurement *** cohorts were pooled,and SR was *** the severe complications were also summarized according to the different clinical ***：Of 550 articles,16 clinical articles and 10 animal studies met the inclusion criteria and provided quantified measurement ***,596 patients were *** varied from 34％ to 82％ in breast and 30-83％ in the facial *** mice were applied to investigate human fat grafting SR （38.3-52.5％ after 15 weeks）.Rabbits were commonly used to study animal AFG SR （14.00-14.56％ after 1-year）.Totally,21 severe complications were reported,including death （2）,stroke （10）,vision loss （11,8 of which accompanied with stroke）,sepsis （3）,multiple abscess （1） and giant fat necrotic cyst （2）.Ten of these complications happened within 10 ***：There is no unified measurement method to evaluate fat graft SR until now and no clinical evidence to show better SR according to different donor and recipient *** mass index change between pre-and postoperation may be the bias factor in evaluating fat *** embolisms of the ophthalmic artery and the middle cerebral artery are the most severe complication of AFG and still lack of effective treatment.

关键词： Autologous Fat Grafting Complication Fat Survival

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

^(1)S_(0) Nucleon Superfluidity in Neutron Star Matter

引用

Chinese Physics Letters 2013年第6期30卷 63-66页

作者： XU Yan LIU Guang-Zhou LIU Cheng-Zhi FAN Cun-Bo HAN Xing-Wei ZHU Ming-Feng WANG Hong-Yan zhang xiao-jun Changchun Observatory National Astronomical ObservatoriesChinese Academy of SciencesChangchun 130117 Center for Theoretical Physics Jilin UniversityChangchun 130012 College of Physics Beihua UniversityJilin 132013

We investigate the nucleon superfluidity in the^(1)S_(0)channel in neutron star matter using the relativistic mean field theory and the BCS *** discuss particularly the influence of the isovector scalar interaction which is considered by exchangingδmeson on the nucleon *** is found that theδmeson leads to a growth of the nucleon^(1)S_(0)pairing energy gaps in a middle density range of the existing nucleon *** addition,when the densityρB>0.36 fm^(-3),the proton^(1)S_(0)pairing energy gap obviously *** density range of the proton^(1)S_(0)superfluidity is narrowed due to the presence ofδ*** our results,theδmeson not only changes the EOS and bulk properties but also changes the cooling properties of neutron stars.

关键词： theory. meson

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

“韦伯命题”与宗族研究的范式危机

引用

山西大学学报(哲学社会科学版) 2014年第6期37卷 100-106页

作者：张小军清华大学社会学系

通过对"韦伯命题"的讨论,提出了不同于西方业缘资本主义的亚洲"亲缘资本主义"发展形态;反思了以革命、现代化等标准界定的宗族研究范式及其危机。指出在中国社会中,宗族并非简单的传统亲属制度,而是一种文化的实践;作为一种动态的不断... 详细信息

通过对"韦伯命题"的讨论,提出了不同于西方业缘资本主义的亚洲"亲缘资本主义"发展形态;反思了以革命、现代化等标准界定的宗族研究范式及其危机。指出在中国社会中,宗族并非简单的传统亲属制度,而是一种文化的实践;作为一种动态的不断适应社会演变的组织形态,可以跨越不同的社会,至今依然具有某些生命力;简单以文化进化论的观点来指涉宗族为封建落后的表征,以此判断中国社会落后的原因,乃是一种文化的误解。

关键词：宗族韦伯命题亲缘资本主义亲属关系范式危机

来源：

同方期刊数据库评论

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

“中华民族共同体”的差序格局及其文化实践

引用

广西民族大学学报（哲学社会科学版） 2020年第1期42卷 58-67页

作者：张小军清华大学社会学系、清华大学社会科学学院人类学与民族学研究中心北京100084

以三重差序格局的文化视角来理解"中华民族共同体",有助于把握这一概念的历史文化内涵与现实的文化实践。首先,基于"中华民族"的三重差序格局包括各族人民的中华民族;中国人民的中华民族;全世界华人的中华民族。由此,"中华民族共同体"... 详细信息

以三重差序格局的文化视角来理解"中华民族共同体",有助于把握这一概念的历史文化内涵与现实的文化实践。首先,基于"中华民族"的三重差序格局包括各族人民的中华民族;中国人民的中华民族;全世界华人的中华民族。由此,"中华民族共同体"的差序格局包括各民族凝聚而成的中华民族共同体;中国人民凝聚而成的中华民族共同体;作为人类命运共同体一部分的世界华人认同的中华民族共同体。其次,进一步探讨了三重差序的中华民族多元一体、三重差序的文化认同和文化自觉、三重差序的文化连接和文化超越。贯通中华民族共同体之差序格局的是中华文化,它是中华民族共同体的灵魂和根基。

关键词：中华民族共同体中华民族差序格局中华文化文化实践

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

A Brief Analysis of the Translator’s Subjectivity in the Process of Computer Aided Translation

引用

海外英语 2019年第23期 194-195页

作者：章晓君 Hangzhou University of Electronic Technology

In the era of globalization and big data,the demand for translation is growing rapidly,and the task of translators is be⁃coming increasingly *** emergence of computer aided translation technology provides great convenience for transla⁃tion *** main body of computer aided translation process is the translator,which avoids many drawbacks in machine transla⁃*** paper aims to have a brief analysis of the translator's subjectivity in the process of computer aided translation,which will be helpful for the development of the computer aided translation technology.

关键词： Computer Aided Translation Translator’s Subjectivity Machine Translation Translation Memory

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Low-Cost and Large-Scale Clean Steel Production Technology

引用

Journal of Iron and Steel Research International 2011年第S2期18卷 52-58页

作者： MA Cheng,ZANG Shao-shuang,MA Yong,zhang xiao-jun,XU Yan-hao,XU Xiang-yang,NING Dong(Steelmking Plant of Angang Steel Co Ltd,Anshan 114021,Liaoning,China) Steelmking Plant Angang Steel Co Ltd Anshan 114021 Liaoning Peoples R China

As the market demand for clean steel increased,a number of new technologies for clean steel production have been developed in some domestic and foreign steelmaking *** on the existing equipments and technical conditions in the No.1 steelmaking plant of Ansteel,a series of clean steel technologies have been integrated including single bay duplex-dephosphorization in steelmaking control technology,high efficiency desulfurization technology,the control technology for nitrogen content during the whole process,the control technology for hydrogen content in VD,and the systematic control technology for oxygen content.A series of process for all kinds of ultra-low phosphorus,ultra-low sulfur and relative low level of inclusions have been designed in clean steel *** process include hot metal desulfurization and slag-off,single bay duplex-dephosphorization in BOF,molten steel slag-off,LF processing,VD processing,and continuous casting with protection,then a stable,low-cost and large-scale production process has been *** this integrative technology,the sum of 5 major elements including phosphorus,sulfur,oxygen,nitrogen,hydrogen is less than 80×10-6 in high alloy steel scale production,and the industrial applications for clean steel technology have been achieved.

关键词： clean steel single bay duplex dephosphorization scalization

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

权力现象多样性探析——一个类型学的研究

引用

宁夏社会科学 2008年第6期 17-20页

作者：张小军中国人民大学法学院北京100872

文章试图对权力现象作一种多元的解读:依据各种标准对权力进行各种类型的划分,总结出几种对应性权力现象,条分缕析。在此基础上提出,认识和解释权力现象的多元视角,对于我们剖析现实的权力现象具有重要的方法论意义和价值。

关键词：权力类型多元化

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

2001—2005年青海省放射工作人员个人剂量调查

引用

环境与健康杂志 2006年第5期23卷 442-443页

作者：张小俊青海省职业卫生与公共卫生所青海西宁810007

目的掌握放射工作人员外照射个人剂量动态水平,为放射工作场所的安全防护以及职业人员的健康监护提供剂量依据。方法于2001—2005年以2733名放射工作人员为研究对象,采用热释光法测定其个人剂量。按照GBZ128—2002《职业性外照射个人监... 详细信息

目的掌握放射工作人员外照射个人剂量动态水平,为放射工作场所的安全防护以及职业人员的健康监护提供剂量依据。方法于2001—2005年以2733名放射工作人员为研究对象,采用热释光法测定其个人剂量。按照GBZ128—2002《职业性外照射个人监测规范》和GB18871—2002《电离辐射防护与辐射源安全基本标准》进行监测和卫生学评价。结果5a期间年人均有效剂量为0.53mSv/(a·人)。97.84%的被监测放射工作人员个人剂量监测结果在国家标准1/10(<5mSv)的范围内,5a内无1人超标。个人剂量监测率呈逐年升高的趋势。被监测的放射工作人员中,从事医用X线诊断的1782人,占65.20%,其年人均有效剂量高于其他工种,但仍在国家标准限值的1/10(<5mSv)的范围内。医用X线诊断和密封源的工作人员集体剂量占总剂量的94.71%,人数占总人数的87.63%。结论青海省医用X线诊断和密封源的作业人员应视为放射防护工作的重点人群。

关键词：辐射监测卫生调查青海

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

煤矿单轨吊轨道内力计算及选型

引用

煤炭工程 2014年第4期46卷 29-31页

作者：张小俊中煤科工集团重庆设计研究院重庆400016

在设计煤矿单轨吊轨道运输系统时,需准确获取单轨吊轨道受力情况,以便对轨道进行选型,但目前主要是采用经验类比法对轨道进行选型,没有确凿的理论支撑。文章根据钢结构设计原理对单轨吊轨道复杂受力情况作了详细分析和计算,最后还给出... 详细信息

在设计煤矿单轨吊轨道运输系统时,需准确获取单轨吊轨道受力情况,以便对轨道进行选型,但目前主要是采用经验类比法对轨道进行选型,没有确凿的理论支撑。文章根据钢结构设计原理对单轨吊轨道复杂受力情况作了详细分析和计算,最后还给出了不同轨道型号、不同跨度条件下轨道能承受的最大荷载,以供设计人员参考。

关键词：单轨吊轨道内力 I140E轨道运输系统

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

欢迎您,

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：