可计算性逻辑(Computability Logic)简称CoL,是由Japaridze首先提出的,它将经典逻辑中的真值理论发展成为可计算性的正式理论,是对经典逻辑的发展。在CoL中,我们将可计算性的问题看成是由机器和环境两种角色参加的博弈...
为关爱贫困地区的受艾滋病影响儿童,中国性病艾滋病防治协会在凉山州昭觉县、布拖县、美姑县及越西县,通过开展基于学校的,包括生活、学习、医疗、心理等全方位、综合性的帮扶与支持活动,切实减轻受艾滋病影响儿童生活...
探索神经外科患者在住院期间存在的安全隐患及预防措施,总结可能出现的理由及原因。科学系统的对其原因进行总结分析,提出应对策略。经过一系列的改革及预防,我科室住院患者跌倒、坠床、压疮等常见的安全隐患大大降低...
光纤通信系统中,光纤的损耗和色散特性直接影响到系统的性能。而光纤的丝径沿轴向的变化对其损耗和色散特性具有一定的影响。因此,为保证光纤的损耗和色散的性质在整根光纤上维持稳定,在拉丝的过程中对光纤丝径的精确...
家庭暴力是人性之恶、社会之殇,作为危害家庭和谐、社会稳定的毒瘤不仅伤害到受害者,对施暴者本身也造成创伤。本文旨在以施暴者为研究对象,分析施暴者矫治现状及存在的问题,探索施暴者的矫治路径。
当前国内经济一直处于高速发展的状态之下,各行各业相比较过去都有了翻天覆地的变化。在这样高速发展的背景之下,人们对于能源的需求量也是在不断提高,但是当前国内的能源状况却不容乐观。以建筑电气设计工作为例,当前...
现代企业对资金流的控制十分严格,但是绝大部分企业的费用审批还停滞在手动填单、逐级递交、逐级审批的现状,既没有效率也不利于与国际接轨。文中采用基于.NET平台技术和SQL Server2000数据库开发了一个改变原始审批流...
曲美霞 弭希庆 《计算机技术与发展》 2006年02期 期刊
价值评估中的风险报酬率：企业生命周期视角——来自上市公... CNKI文献
一引言折现率是净现值法(NPV)的基本参数之一,资本资产定价模型、套利定价模型框架下,风险报酬率是折现率的核心构成部分,它应根据未来风险水平进行调整。然而由于预期风险的不确定性,应用中折现率采用恒定值,这显然违...
欧元是欧洲经济发展到一定程度的产物,把欧盟国家的经济联系提高到了一个新的高度,受到经济危机的影响,个别欧元区国家出现了债务危机,对欧元形成了一定的冲击,然而目前欧盟对其成员国并没有退出机制,面对这突如其来的...
On the Toggling-Branching Recurrence of Computability ... CNKI文献
We introduce a new, substantially simplified version of the toggling-branching recurrence operation of computability logic, prove its equivalence to Japaridze's old, "canonical" version...
曲美霞 栾峻峰... 《Journal of Computer Science & Technology》 2013年02期 期刊
关键词： computability / logic / game / semantics
下载（26）| 被引（1）
一、引言折现率是将资产未来收益折算成现值的比率。社会经济投资决策中,某些远期经济、环境项目或活动可能会给人们带来超过百年的持续影响,比如代际公平性问题、环境污染问题、企业责任缺失问题等等。在可持续发展、...
2004年元旦,石家庄人民广播电台开辟《新闻串串聊》节目,这个节目之所以能在开办之初就惹人注目并迅速走红,而且在2005年由央视索福瑞公司连续四个季度的收听调查中名列省会上空十二家电台同时段收听率的第一名,凭借的...
第十届国际艾滋病科学大会预防和基础科学领域要点 CNKI文献
第十届国际艾滋病科学大会(IAS)于2019年7月21—24日在墨西哥城召开,来自140个国家的5 000余人参加了会议。IAS是世界上最具影响力的艾滋病研究成果发布及应用经验交流会议,会议介绍基础、临床、预防等方面的关键进展...
儿童单纯性肥胖症(childhood simple obesity,CSO)是全球性卫生问题,不但在发达国家普遍存在,发展中国家发病率也在逐年增加。肥胖将是21世纪威胁人类健康的一个重要问题[1]。儿童青少年超重和肥胖的人数激增,尤令人担...
白矮主序双星是一类双星系统,主星是一颗白矮星,伴星是一颗小质量的主序星。白矮主序双星对研究致密双星的演化特别是公共包层的演化有着重要的意义。通过研究白矮主序双星的光谱,可以获取许多物理参数如有效温度、金...
从微暗的暮色里,飘来一群白色的小精灵,它们都戴着半透明的六角帽,比新年里姨妈和姐姐剪的窗花还要好看。那一定是巧手的织女精心剪成,送给大地的贺卡吧!啊,美丽的小雪花。它们像一群穿着白纱裙的小舞女,伴着天宫传来...
关键词： 小雪花
下载（5）| 被引（0）
从微暗的暮色里,飘来一群白色的小精灵,它们都戴着半透明的六角帽,比新年里姨妈和姐姐剪的窗花还要好看,一定是巧手的织女精心剪成的,送给大地的贺年卡吧!啊,美丽的小雪花。
适度加强公权力对家庭暴力的干预——略论反家庭暴力法(征求... CNKI文献
国务院法制办就反家庭暴力法(征求意见稿)向社会公布,是我国反家庭暴力立法史上的里程碑,是公权力干预家庭暴力的创新性立法实践。征求意见稿有诸多亮点,同时在界定公权力干预家庭暴力的范围和强度方面还存在诸多问题...
从微暗的暮色里,飘来一群白色的小精灵,它们都戴着半透明的六角帽,比新年里姨妈和姐姐剪的窗花还要好看,一定是巧手的织女精心剪成的、送给大地的贺年卡吧!啊——美丽的小雪花。
关键词： 小雪花
下载（2）| 被引（0）
从微暗的暮色里,飘来一群白色的小精灵,它们都戴着半透明的六角帽,比新年里姨妈和姐姐剪的窗花还要好看,一定是巧手的织女精心剪成的、
关键词： 小雪花
下载（5）| 被引（0）
