Repeat-until语句的操作语义与指称语义的等价性证明

在计算机科学中，形式语义学以数学为工具，精确地定义和解释计算机程序设计语言的含义或语义．其中操作语义学和指称语义学是形式语义学的两大类别．本文使用简单的命令式语言IMP的语法，首先给出了repeat—until循环语句的操作语义，然后详细推导出了其指称语义，并在此基础上详细证明了它们二者之间的语义等价性．     

Fuzzy关系的Sup—T可实现性

本文在文［１—４］的基础上讨论了ＦｕｚｚｙＰ关系的Ｓｕｐ－Ｔ可实现性。     

一类定态四阶方程解的存在性

研究四阶非线性抛物型微分方程定态解的存在性,应用不动点方法证明解的存在性.在四阶抛物型方程中,最大值原理已经不再成立,使得最大模估计不易获得.     

英语名转动词语句理解的实证研究——以构式和功能承受性为视角

阐述构式语法和功能承受性（affordance）,并以其作为视角,选择适当样本进行实证试验,通过SPSS软件分析研究得出构式和功能承受性,对英语名转动词语句的理解具有动态促进作用,针对相关问题,提出相应教改建议。     

缓释性稀禾定除草剂微胶囊的研制

用原位聚合法制备脲醛树脂稀禾定微胶囊,并对单体量比、乳化剂种类、芯皮质量比以及酸化时间等因素对微胶囊的包埋率、表面结构、缓释性、粒径及其分布的影响进行了系统的研究.结果表明,当单体量比n(尿素)∶n(甲醛)=1∶2.0,采用自制复合乳化剂,芯皮质量比为1∶1.5,酸化时间3 h,可制得结构紧密、包埋率为30.6%、粒径分布均匀且平均粒径在2μm左右的球形缓释性固体微胶囊.     

从“致使性”特征看动词的类型及其语义句

着眼于动词的显性功能和潜在功能,从“致使性”特征入手,分析动词的驱动图式和致使关系链,对汉语动词的认知结构进行描述,并进行认知语义分类,得出五类动词:致使动词、关涉动词、自动动词、自变动词和状态动词。然后,讨论了与之相应的动词语义句———致使句、关涉句、自动句、自变句和状态句,从而对汉语动词及其语义句做出重新分类,以助于人们对动词及其语义句的理解和认知。     

二阶非线性非驻定系统——周期解的存在性

讨论二阶非线性非驻定系统周期解的存在性,给出相应的例子加以说明。     

可重组制造系统故障的可诊断和可检测性研究

文章针对可重组制造系统的运行特点和故障分类,在构造制造系统结构模型和诊断模型的基础上,利用灰关联理论结合模糊数学相关方法,通过新的诊断指标的使用,为可重组制造系统的故障诊断提供了一套新的可诊断性与可检测性分析方法;通过具体实例验证了该方法的有效性和可行性,同时提出了该方法的不足以及今后研究的重点.     

网络可观测性的拓扑分析

研究了网络可观测性分析拓扑算法，提出了注入量测的可用性概念，给出了注入量测可用性判断法，它包括两个准则（辐射岛准则和环形岛准则）和一个算法（递归搜索法）。采用这一判断法可得到“唯一确定”的最大可观测岛，从而发展和完善了网络可观测性分析的拓扑算法。实例计算表明，算法是正确的和有效的。     

基于星敏感器和星间链路的卫星星座自主定轨研究

以对地定位观测三星星座为例, 研究了联合星敏感器和星间链路测量信息的卫星星座自主定轨方法. 通过仿真三星星座星间链路观测和CCD星敏感器对背景恒星的观测, 生成两种类型的仿真观测资料, 基于这些资料建立了星座联合自主定轨的测轨方程, 在此基础上进行了星座自主定轨的仿真计算. 综合考虑各种定轨方案以及潜在的各种测量误差的影响, 对卫星星座自主定轨精度进行了比较和分析, 结果表明所采用技术手段应用于卫星星座自主定轨是可行的, 并形成了若干研究结论, 对于这种自主定轨技术拓展应用于更广泛意义下的卫星编队星座具有重要的参考价值.     

浅析科技英语翻译教学

在进行科技英语翻译时，不但要注意尊重原文各成分之间的语法关系，使译文保持原文的结构和特征，也要考虑其内在的逻辑关系，并在必要时对句式做适当的变动和活用，使其更符合汉语的表达习惯，最终达到忠实原文、通顺流畅，以适应科技文体实用性的要求。     

Relationship between the partitioning properties of motoneuron recruitment and the needle feeling propagation

Histological and physiological studies indicated that most skeletal muscles can be divided into a series of relatively independent sub-volumes: "neuromuscular compartments" and the partitioning property of the muscle result in the localization of muscle reflex. In the present experiment we studied the recruitment properties of medial gastracnemius (MG) muscle motoneuron pool of decerebrate cat with two kinds of local mechanical stimulation: local stretch and acupuncture-like stimuli. The results indicate that: (ⅰ) there is an obvious property of localization of recruitment activity, only the MNs which innervate the stimulated compartment were recruited by weaker and shorter stimuli; (ⅱ) recruitment activity spread to those MNs which supply the adjacent and distal compartments during the strength of stimulation or duration of the stimulation was increased; and (ⅲ) the recruitment property of muscle activity elicited by the local mechanical stimulation is thought similar to that of "needle feeling" along the meridian pathway during stimulation of acupuncture point.     

格式条款的立法规制简析——以中德比较法为视角

格式条款的立法规制是现代民法关注的重要问题。在大陆法系中,德国《民法典》对其的相关规定已十分完善。对比中德两国在格式条款的纳入和内容控制方面可以发现,我国立法不仅有重大的遗漏,而且有相互矛盾之处。可见,德国法对我国法有相当的借鉴意义。     

中美体育师资培养对比

通过介绍美国体育师资培养特点,并对美国宾州滑石大学体育系与北京体育大学的相关专业课程、体育师资培养的师资认证制度进行对比研究,指出两国体育师资培养在专业理论课程、教育科学课程和实习方面的差异,为我国体育教育专业改革提供参考。     

"一带一路"背景下少数民族地区基础教育政策实施效果及对策分析

基础教育作为人才培养的关键环节,一直受到国家和各级教育部门的高度重视。随着国家“一带一路”倡议的深入推进,对沿线地区人才培养提出了更高的要求。师范生公费教育政策作为国家教育政策的重要内容,对改善边远地区师资结构,提升人才培养质量起到了重要作用。当前大部分省区都已实施了地方师范生公费教育政策,特别是中西部少数民族地区结合区域实际,在具体实践中不断进行调整,取得了显著成效。新疆维吾尔自治区作为将国家双语教育政策与师范生公费培养相结合,希望能够解决基层双语教师严重短缺和地区师资均衡分配的问题。本文在分析各省区地方公费师范生政策的基础上,通过新疆本科教育层次公费师范生的大数据对比分析、问卷调查和电话访谈,构建了新疆地方公费师范生群体特征,对在校公费师范生履约意愿和已毕业公费师范生履约率进行了实证调研,提出了新疆公费师范生政策实施过程中存在问题及对策建议。     

人与文化的悖论——重读经典《故乡》

《故乡》洋溢着浓郁的文化诗性意味。"我"与故乡、闰土、杨二嫂三重关系的背后,隐含着"情感的失重"这一潜在的情感现象,这既是由于中年闰土、杨二嫂对中国传统人伦道德的依附,也说明了在特定文化氛围下知识分子身份的不确定性和有限性。小说借此深刻地反思了个体存在的孤独与绝望,探讨"人与文化的悖论"这一根本命题。     

中西古典文艺本质论比较

中西古典文论对文艺的本质认识存在着明显的差别.西方重视文艺的客观性与现实性,中国强调文艺的主观性与情感性.在文艺的价值问题上,中西都重视它的认识功能和教育功能,但又有不同的侧重.     

福利院儿童与普通儿童孤独感和人格特征的比较研究

通过量表法和访谈法，对福利院儿童与普通儿童的孤独感和人格特征进行比较。结果表明：（1）福利院儿童较普通儿童有更为强烈的孤独感体验；（2）福利院儿童在精神质和情绪性上均明显高于普通儿童；在内颇性上辐利院女童比普通女童更强。建议加强对福利院儿童的关怀、干预和教育。     

中国古代的"物感"说与西方近代"移情"说比较

中国古代的物感说和西方近代的移情说都探讨了艺创作中的主客关系及其美感源泉等问题。它们都表明人在观察外物时，设身处地，从而达到一种物我交融、物我同一的精神活动。但因二所产生的社会化传统不同，二有着明显的差别：一是审美产生的原因不同；二是主客体的关系不同。     

透过文本的缝隙——《简·爱》与《伤逝》之对比解读

《简·爱》与《伤逝》,都是表现女性命运,强调女性社会地位的作品,两部作品不但对女性的命运和社会地位给予了强烈的关注,而且寄寓着作者深刻的审视与反思,文章从男性话语体系下的创作、婚姻对女性命运的决定作用、女性个体婚恋观的异同等三方面来比较这两部作品中的人物形象及其背后内在蕴义里的暗合与分离。