检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

命题模态逻辑的模型构造和完备性证明

计算机应用与软件 2014年第8期31卷 9-12,24页

作者：柳欣欣李小燕中国科学院软件研究所计算机科学国家重点实验室北京100190 中国科学院研究生院北京100190 中国科学院大学北京100190

模态逻辑是研究必然、可能及其相关概念的逻辑。模态公式的可满足性问题和证明系统的完备性问题是模态逻辑中的两个经典的问题。为了解决这两个问题,提出一个构造模态公式的canonical model的方法。通过这个方法,对于给定模态公式φ,如... 详细信息

模态逻辑是研究必然、可能及其相关概念的逻辑。模态公式的可满足性问题和证明系统的完备性问题是模态逻辑中的两个经典的问题。为了解决这两个问题,提出一个构造模态公式的canonical model的方法。通过这个方法,对于给定模态公式φ,如果φ是可满足的,可以得到φ的一个canonical model;如果φ是不可满足的,可以得到φ的证明。此外,还给出命题模态逻辑完备性的一个构造性证明方法。

关键词： Fisher-Ladner闭包 canonical model R规则可满足性完备性

什么样的环境要素组合有利于实现高区域创新效率——基于WSR方法论

在线全文

学校读者我要写书评

暂无评论

科技进步与对策 2024年第23期41卷 52-62页

作者：戴万亮林小燕渤海大学管理学院辽宁锦州121013

如何优化区域创新环境、提高区域创新效率是亟待解决的热点问题。基于WSR方法论,结合NCA与fsQCA两种方法,以中国内地30个省(市、区)为案例样本,从组态视角探讨区域创新环境与区域创新效率关系。研究发现:①单个创新环境要素并不构成实... 详细信息

如何优化区域创新环境、提高区域创新效率是亟待解决的热点问题。基于WSR方法论,结合NCA与fsQCA两种方法,以中国内地30个省(市、区)为案例样本,从组态视角探讨区域创新环境与区域创新效率关系。研究发现:①单个创新环境要素并不构成实现高区域创新效率的必要条件;②2类创新环境要素组态能有效驱动区域创新效率提升,分别是科技注意力驱动下的“数字基础设施-财政”双重支持型以及科技注意力欠缺下的“知识产权治理-金融”双重弥补型;③各地区实现高创新效率的组态路径存在空间差异,东部地区以“数字基础设施-金融”双重支持型为主,中部地区以知识产权治理引领型为主,西部地区以金融带动型为主。

关键词：创新环境区域创新效率 WSR方法论模糊集定性比较分析必要条件分析

同方期刊数据库

数字信息产品著作权资本的运作逻辑、效应及其治理——基于传播政治经济学的批判性视角

在线全文

学校读者我要写书评

暂无评论

编辑之友 2017年第12期 79-87页

作者：张彦华崔小燕中国矿业大学公共管理学院江苏徐州221116 厦门大学两岸关系和平发展协同创新中心福建厦门361005

在互联网+"时代,数字信息产品著作权资本运作逻辑表现为互联网技术与著作权资本的交互作用及其引发的资本螺旋式增值效应、著作权法与著作权资本的交互作用及其引发的排他化效应,以及市场主体地位关系的变化引发的著作权资本的优势累计... 详细信息

在互联网+"时代,数字信息产品著作权资本运作逻辑表现为互联网技术与著作权资本的交互作用及其引发的资本螺旋式增值效应、著作权法与著作权资本的交互作用及其引发的排他化效应,以及市场主体地位关系的变化引发的著作权资本的优势累计效应。然而,该领域资本的过度运作,也导致了诸如著作权资本的不当获利冲动对著作权制度的冲击、大众权利与著作权资本权力的过度冲突、产品内容同质化与公共领域的萎缩等一系列负外部性。究其深层原因,是数字信息产品著作权的新属性——策略性合作资产的出现及其强化、著作权使用的私人效率与社会效率的局部失衡、著作权法律系统双重结构性目标的局部失衡等诸多深层影响因素所致。因此,采用结构化介入手段以确保制度建设内核的正义与正当性、创新制度安排以有效平衡私人效率和公共效率、完善著作权制度体系以规避著作权法系统双重结构性目标失衡的风险等手段,有利于科学治理在该时代背景下由著作权资本过度运营所产生的诸多负面问题。

关键词： “互联网+” 著作权资本策略性合作资产负外部性公共领域双重结构性目标

在线全文

学校读者我要写书评

暂无评论

丙烯酸酯低聚物的制备及其改性PUA乳液

合成树脂及塑料 2013年第2期30卷 37-41页

作者：杜郢任筱芳巫淼鑫蔡小燕罗莉娟常州大学石油化工学院江苏省常州市213164

以丙烯酸丁酯(BA)、乙酸乙烯酯(VAc)、丙烯酸羟乙酯(HEA)、丙烯酸(AA)等为主要原料合成了丙烯酸酯低聚物,以该低聚物为改性剂,制备了丙烯酸酯改性水性聚氨酯乳液(PUA)。考察了低聚物中单体组成、引发剂种类及用量、合成PUA时低聚物加入... 详细信息

以丙烯酸丁酯(BA)、乙酸乙烯酯(VAc)、丙烯酸羟乙酯(HEA)、丙烯酸(AA)等为主要原料合成了丙烯酸酯低聚物,以该低聚物为改性剂,制备了丙烯酸酯改性水性聚氨酯乳液(PUA)。考察了低聚物中单体组成、引发剂种类及用量、合成PUA时低聚物加入方式对PUA性能的影响。通过傅里叶变换红外光谱、偏光显微镜照片和热重曲线研究了乳液微观结构和耐热性能,通过气相色谱测定了单体残留量。结果表明:当低聚物中单体组成为BA,VAc,HEA,AA,所用引发剂为偶氮二异丁腈(用量为单体总质量的1.17%),将低聚物与异氰酸酯基单体同时加入反应时,可得到综合性能好、单体残留量极低的水性PUA,其初黏性可达13号球,持黏性为45 min,且乳液稳定。

关键词：水性聚氨酯丙烯酸酯压敏胶低单体残留

十二指肠灌注生大黄对SD大鼠胰腺外分泌的影响

在线全文

学校读者我要写书评

暂无评论

世界华人消化杂志 2010年第16期18卷 1705-1707页

作者：陈小燕闫峻裴继华温州医学院附属第二医院消化内科浙江省温州市325027

目的:观察十二指肠灌注生大黄对SD大鼠胰腺外分泌的影响.方法:取体质量250-300gSD大鼠24只,随机分为2组(n=12).麻醉后在大鼠幽门下5mm和十二指肠、空肠交界处分别置直径2mm的塑料管并固定;从十二指肠乳头Oddi括约肌处留置直径0.7mm的塑... 详细信息

目的:观察十二指肠灌注生大黄对SD大鼠胰腺外分泌的影响.方法:取体质量250-300gSD大鼠24只,随机分为2组(n=12).麻醉后在大鼠幽门下5mm和十二指肠、空肠交界处分别置直径2mm的塑料管并固定;从十二指肠乳头Oddi括约肌处留置直径0.7mm的塑料留置管.稳定30min后,每隔15min收集1次胆胰混合液,测定体积后留取100μL胆胰混合液用双蒸水稀释以测定蛋白质含量,剩余的胆胰混合液在下一收集时间内灌入十二指肠.收集5管基础状态胆胰混合液后实验组以3mL/h的速度向十二指肠内灌注生大黄2h,并收集8管胆胰混合液进行体积和蛋白质测定.对照组不进行十二指肠灌注.结果:十二指肠灌注生大黄后胆胰混合液体积较基础状态增加30.95%,与对照组比较,差别有统计学意义(P0.05).结论:对大鼠进行十二指肠灌注生大黄后单位时间内胆胰混合液分泌的体积增加,但蛋白质分泌量无明显增加.

关键词：生大黄胰腺外分泌大鼠

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

宣恩电力传奇

中国电业 2008年第8期 62-64页

作者：魏家经张小燕《中国电业》记者不详

短期内的巨变往往意味着传奇。从亏损99．9％、举债发工资，到不仅偿还了历史欠款近2000万元，还实现了年人均工资增长20％；从备受诟病的乱和差，到连续两年获得全县行风民主测评第一名、县委书记称之为“宣恩电力现象”、县长称之为... 详细信息

短期内的巨变往往意味着传奇。从亏损99．9％、举债发工资，到不仅偿还了历史欠款近2000万元，还实现了年人均工资增长20％；从备受诟病的乱和差，到连续两年获得全县行风民主测评第一名、县委书记称之为“宣恩电力现象”、县长称之为“全县党政机关的一面旗帜”、全县各单位纷纷学习效仿；从作风散漫、专业技能低下，到“全州农电岗位知识和技能暨农网配电营业工竞赛”团体第二名；从人心涣散、政令不畅、效率低下，到与自然灾害勇敢抗争，产生了闻名全国电力系统的抗冰保电英雄……

关键词：电力系统传奇党政机关专业技能自然灾害工资农网农电

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

思想政治教育话语体系的主体性与原创性

中学政治教学参考 2019年第33期 74-77页

作者：赵相斌李小燕中国社会科学院大学 102488 西华师范大学 637002

思想政治教育话语体系的“主体性”具有两个维度的内涵,一是思想政治教育话语体系建构要发挥思想政治教育者和教育对象的创造性、主动性,二是创新思想政治教育话语体系要立足中国问题,总结中国经验。思想政治教育话语体系的“原创性”,... 详细信息

思想政治教育话语体系的“主体性”具有两个维度的内涵,一是思想政治教育话语体系建构要发挥思想政治教育者和教育对象的创造性、主动性,二是创新思想政治教育话语体系要立足中国问题,总结中国经验。思想政治教育话语体系的“原创性”,则主要强调通过不断创新和丰富思想政治教育教学话语和学术话语,破除教育过程中存在的“失语”“妄语”和“话语依赖”等问题,用中国话语讲好中国故事。在思想政治教育话语传播环境发生深刻变化的背景下,思想政治工作者应针对新时期教育对象的特点,从“以立为本”“联系实际”“虚实结合”和“不忘本来”四个向度出发,进一步突出思想政治教育话语体系的“主体性、原创性”,提升话语的吸引力和说服力,以确保思想政治教育取得更好成效。

关键词：思想政治教育话语体系主体性原创性

以新型城镇化促进基本公共服务均等化——以成都、驻马店城镇化实践为例

在线全文

学校读者我要写书评

暂无评论

经济研究参考 2014年第23期 46-50页

作者：李旭章龙小燕中央党校经济学部财政部财政科学研究所

一、成都、驻马店新型城镇化试点与基本公共服务均等化成都和驻马店两地在推行新型城镇化的过程中,都十分注意与基本公共服务均等化结合起来。（一）走向成熟的成都城乡统筹模式。我国城乡经济社会发展形成了严重的二元结构,城乡分割,... 详细信息

一、成都、驻马店新型城镇化试点与基本公共服务均等化成都和驻马店两地在推行新型城镇化的过程中,都十分注意与基本公共服务均等化结合起来。（一）走向成熟的成都城乡统筹模式。我国城乡经济社会发展形成了严重的二元结构,城乡分割,城乡收入差距不断扩大,治本之策需统筹城乡发展。四川省成都市从2003年开始,就把城乡统筹作为地方施政纲领,立足于大城市带动大农村的区域实际,启动了统筹城乡＂自费改革＂.

关键词：基本公共服务均等化成都市城镇化驻马店城乡经济社会发展统筹城乡发展实践城乡收入差距

反应挤出聚酰胺6/玻璃纤维复合材料中试研究

在线全文

学校读者我要写书评

暂无评论

中国塑料 2009年第4期23卷 64-67页

作者：杨小燕周云港叶红梅南京化工职业技术学院江苏南京210048 南化集团研究院江苏南京210048

在反应挤出玻璃纤维增强聚酰胺6的小试研究基础上,进行了反应挤出制备聚酰胺6/玻璃纤维复合材料中试研究,探讨了双螺杆挤出机各段温度对反应挤出的影响以及螺杆转速与玻璃纤维含量对复合材料性能的影响等。中试结果表明,随着螺杆转速的... 详细信息

在反应挤出玻璃纤维增强聚酰胺6的小试研究基础上,进行了反应挤出制备聚酰胺6/玻璃纤维复合材料中试研究,探讨了双螺杆挤出机各段温度对反应挤出的影响以及螺杆转速与玻璃纤维含量对复合材料性能的影响等。中试结果表明,随着螺杆转速的提高,复合材料的拉伸强度、断裂伸长率和冲击强度下降,而弯曲强度增大;随着玻璃纤维含量的增加,复合材料的拉伸强度、弯曲强度明显提高,断裂伸长率和冲击强度呈下降趋势;当双螺杆挤出机温度在240℃、螺杆转速在100r/min、玻璃纤维含量在30%时,反应挤出聚酰胺6/玻璃纤维增强材料的综合力学性能较好,与其他相同材料比较,其综合性能占有优势,中试操作难度总体小于小试。

关键词：反应挤出聚酰胺6 玻璃纤维复合材料中试