用指针实现的程序的标准化及其应用

为了消除指针程序实现形式的多样化,简化程序分析,提出一种对用指针实现的程序进行标准化的方法.首先将程序表示成系统依赖图,分析指针别名信息;然后制定指针标准化规则并结合已有的代码多样化消除规则,对系统依赖图进行保持语义不变的转换,将语法表示不同但语义等价的程序转换为相同的系统依赖图表示,从而消除代码多样化.最后,将该方法应用到C语言编程题的自动评分系统中,并与人工评分和正确评分结果进行对比,验证了该方法的有效性.     

山高自有客行路,水深自有渡船人——程序设计课程教学的思考与实践

在程序设计课程中,应该培养学生具备哪些能力以及如何培养这些能力是近年来研究和探讨的主要问题。文章首先分析程序设计课程教与学过程中存在的主要问题,然后从如何提高学生的学习兴趣和学习主动性、如何加强对学生学习过程的监督指导以及如何客观公正地评价学生的编程实践能力等几个方面,介绍笔者在程序设计课程教学中的探索与实践。     

我国平台经济领域“二选一”现象的成因、影响及对策

“二选一”是我国平台经济领域较为常见的一种竞争策略,其实质是通过排他性交易限制第三方商家的多栖行为。我国平台经济中“二选一”现象的普及程度远超欧美发达国家,其原因包括立法与执法存在不足、线上线下深度融合、特殊的商业模式和市场环境等。从平台间竞争和平台内经营者间竞争两个维度分析了“二选一”行为对竞争的影响机理,提出跨边网络效应、用户转移成本、中小商家数量、平台双重角色等是影响竞争绩效的关键因素,并基于此,进一步提出了治理“二选一”行为的对策建议。     

硅橡胶/纳米石墨片复合薄膜的压阻特性研究

采用旋涂工艺,制备了硅橡胶-纳米石墨片复合薄膜.采用SEM,XRD手段,表征了薄膜的组织和相结构,并测量其电性能.结果显示,纳米石墨片与硅橡胶界面结合较好,且分散均匀;薄膜的渗流阈值为Φ=6.5%,电阻为106Ω量级.渗流薄膜的面内电阻呈现正线性压阻效应,由于导电网络发育完整,SR-8%GNPs体系显示了优良的循环压阻性能.     

PCB工艺规则表示方法

利用谓词逻辑能表示确定性知识与模糊逻辑中隶属函数能表示不确定性知识的特点,提出了一种新的谓词隶属逻辑表示法,即通过隶属函数的谓词逻辑对二值和多值逻辑规则进行归一化表示,得到了印制电路板(PCB)规则工艺知识库,实现了基于该方法的知识推理,为后续实现PCB的智能审查提供了审查依据及数据支持.     

涤纶表面改性研究的进展

介绍了近年来国内外涤纶表面改性的原理、方法、应用以及各种常用表征方法。对等离子体处理方法的3个方面的应用做了详细阐述;介绍了紫外光接枝方法的原理、应用,以及近年来对该方法的改进;阐述了碱处理的原理、应用及近年来的发展趋势。     

药物干预近视眼发生发展的研究现状

近视是儿童及青少年最为常见的眼部疾病。随着近视和高度近视的患病率逐年增加,高度近视及其并发症所导致的低视力及致盲的人数也逐渐增加。但近视的发生和发病机理目前并不清楚,现有的干预方法有光学和药物等措施。本文旨在总结近年来在临床和动物试验期方面讨论药物干预近视的研究进展。     

Ce联合Nb/Co改性稀土尾矿催化剂NH3-SCR性能及脱硝机理研究

白云鄂博稀土尾矿含有Fe、Ce等利于催化脱硝的活性元素,作为天然矿物对环境友好且成本低,是做脱硝催化剂的天然原料,但稀土尾矿催化剂温度窗口较窄(350~450℃)。为拓宽稀土尾矿催化剂的温度窗口,用Ce、Nb、Co改性稀土尾矿,采用水热法制备了一系列Ce-M(Nb、Co)改性稀土尾矿催化剂,探究元素比例及元素种类对脱硝性能的影响。通过BET、XRD、XPS、H2-TPR和NH3-TPD对改性稀土尾矿进行表征分析,并利用In situ DRIFTS 技术对Ce-Co改性稀土尾矿的NH3-SCR机理进行了探究。结果显示,Ce-Nb(2:1)改性稀土尾矿在300~400℃脱硝效率最高为85%,Ce-Co(2:1)改性稀土尾矿在250~400℃脱硝效率能够达到90%。Nb和Co的加入提高了催化剂表面CeCO3F的分散度,暴露更多活性吸附位点。同时,元素之间的相互作用促进了电子的转移,Nb5+的形成阻碍了Ce4+的还原,调节了氧化还原性能,使得Ce-Nb改性稀土尾矿具有优异的N2选择性。而Co的加入提高了催化剂氧化还原能力,使得Co3+增加,进而提高Br?nsted酸性位的吸附强度,NH4+及Co3+-NH2能够首先与NO反应,形成NH3HNO及NH2NO等中间产物,催化剂表面同时遵循E-R机理和L-H机理,E-R机理占主导。     

自适应可分解部分重复码的扩展构造

部分重复(Fractional Repetition, FR)码能够实现精确无编码修复,修复复杂度低且修复带宽成本小。在动态分布式存储系统中,要求FR码的节点存储开销和数据块重复度会随机动态变化。为了使FR码更灵活地适应动态分布式存储系统,该文提出利用超图实现自适应可分解FR码的扩展构造方法。具体地,建立超图中边和顶点与FR码中节点和数据块的对应关系,通过增加或删除超图中对应边和顶点,实现超图的扩展构造,进而得到存储系统规模和存储文件规模变化时自适应可分解FR码的扩展构造。基于这种方法,能够扩展构造出给定参数范围内所有自适应可分解FR码,列举了存储节点数20以内的所有参数。自适应可分解FR码与常见的简单再生码(Simple Regenerating Codes, SRC)和RS(Reed-Solomon)码相比,在修复局部性和修复带宽开销方面具有一定优势。     

西安高新区新型产业用地政策响应路径

在科技创新驱动的经济增长模式下,新型产业用地政策逐渐成为各城市鼓励产业创新、促进实体经济健康发展、提升城市竞争力的创新性制度设计。然而,各地的实践仍存在政策创新重点失焦、规划响应路径滞后、精细治理延伸不足的共性问题,难以达到预期效果。文章以西安高新区为研究对象,结合其在新型产业用地政策落地过程中存在的政策供需错配、规划引导缺位、协同治理缺失的问题,提出高新区新型产业用地政策的响应路径：突出城市特征,聚焦政策创新重点;突出刚弹结合,实现精准供给;突出公共属性,强化协同治理,以期实现政策创新的精准供给与土地资源的精细配置。