|
|
|
题名
|
作者
|
年代
|
出处
|
被引量
|
| 1 | Y_CΩ_(2n)are easy terms显示文摘For any natural number n≥1, Y CΩ 2n is an easy term; that is, for any λ term M, λβ+Y\-CΩ 2n =M is consistent, where Y C is Curry fixed point combinator, Ω 2n ≡ω 2n ω 2n and ω 2n ≡λx.xx...x (there are 2n occurrences of x after λx ). This result is a partial solution to Jacopini’s conjecture: Y CΩ n is an easy term for any natural number n≥2. | ZHAO Xishun 1 and WANG Ju 2 1. Department of Mathematics, Nanjing University, Nanjing 210093, China 2. Institute of Software, Chinese Academy of Sciences, Beijing 100080, China | 1998 | Chinese Science Bulletin1998，43，20： | 2 |
| 2 | Boolean functions as models for quantified boolean formulas 显示文摘 | Buning H K Subramani K Zhao Xishun | 2007 | Journal of Autom Reasoning2007，39，1： | 1 |
| 3 | The complexity of some subclasses of minimal unsatis able formulas 显示文摘 | Buning H K Zhao Xishun | 2007 | JSAT2007，3，12： | 1 |
| 4 | Polynomial time algorithms for computing a repre - sentatlon for minimal unsatisfiable formulas with fixed deficiency显示文摘 | Kleine Büning H Zhao Xishun | 2002 | Information Pro - cessing Letters2002，84，： | 1 |
| 5 | 'APreliminaryAnalysisoftheCharacteristicsofSpecializedHouseholds-PeasantHouseholdSamplesInvestigatedinSichuan’’(专业家庭特点浅析-四川省农民家庭抽样调查情况)显示文摘 | Zhao Xishun | 1985 | 社会科学研究1985，1，： | 1 |
| 6 | Being a Mother for the First Time显示文摘BeingaMotherfortheFirstTimeByZHAOXISHUNBYTHEendofthe1980swhenthefrontiertradebetweenChinaandtheformerSoviedUnionwasflourishin... | ZHAO XISHUN | 1996 | China Today1996，45，5： | 0 |
| 7 | More on Bounding Introspection in Modal Nonmonotonic Logics | Xishun Zhao Decheng Ding Department of Mathematics. Nanjing University. Nanjing 210093, P. R. China | 2000 | Acta Mathematica Sinica,English Series2000，16，4： | 0 |
| 8 | Proof systems for planning under 0-approximation semantics显示文摘In this paper we propose Hoare style proof systems called PR0Dand PRKW0Dfor plan generation and plan verification under 0-approximation semantics of the action language AK.In PR0D(resp.PRKW0D),a Hoare triple of the form{X}c{Y}(resp.{X}c{KWp})means that all literals in Y become true(resp.p becomes known)after executing plan c in a state satisfying all literals in X.The proof systems are shown to be sound and complete,and more importantly,they give a way to efficiently generate and verify longer plans from existing verified shorter plans by applying so-called composition rule,provided that an enough number of shorter plans have been properly stored.The idea behind is a tradeoff between space and time,we refer it to off-line planning and point out that it could be applied to general planning problems. | SHEN YuPing ZHAO XiShun | 2014 | Science China(Information Sciences)2014，57，7： | 0 |
| 9 | Environmental Factors Influencing Seed Germination Characteristics of Vicious Weed Green Foxtail显示文摘[Objective] The paper was to optimize the optimal conditions for seed germination and seedling emergence of green foxtail [Setaria viridis(L.)Beauv.],so as to solve the problem of serious damage caused by green foxtail. [Method] Using the orthogonal test and the LSD method of software SPSS 18.0,with the number of emerged seedlings of green foxtail as the evaluation index,the influencing factors such as pretreatment of green foxtail,earth covering depth,soil temperature and soil moisture content were compared in the test. [Result] These four experimental factors had great impact on seed germination characteristics of green foxtail. The optimal scheme for seedling emergence of green foxtail was as follows: pretreatment of green foxtail for 3 d,earth covering depth 0.5 cm,soil temperature 32 ℃,soil moisture content 15%. The optimum condition was consistent with the actual situation of serious damage of green foxtail (suffering moderate and heavy rainfall after sowing and before seedling of millet). Avoiding sowing millet before moderate and heavy rainfall could effectively control serious damage of green foxtail. [Conclusion] The study provided theoretical support for effective control against the vicious weed green foxtail. | Lv Peng Duan Xishun Bo Kuiyong Zhao Yu Hou Shenglin Wang Xinyu Jia Haiyan Ma Xue Xiang Ji-nying Liu Huan Zhou Hanzhang | 2013 | Plant Diseases and Pests2013，4，3： | 0 |
| 10 | Reasoning about actions with loops via Hoare logic显示文摘 | Jiankun HE Xishun ZHAO | 2016 | Frontiers of Computer Science2016，10，5： | 0 |
您所在的机构暂未开通此部分的功能，请联系管理员