K次程序的定义和构造

在一次程序研究的基础上,针对K次程序的特性和构造理论研究不足问题,以形式化的定义阐明了K次程序的特性,并研究了K次程序的构造条件和构造方法.给出了不可以构造为K次程序的程序特性,为K次程序的构造提供了必要条件;描述了一类可以构造为K次程序的程序特性,以及这类程序的基于一次程序的K次程序构造方法和证明,从而为K次程序的构造提供了理论基础.     

数控G代码解释器的设计与实现

对数控G代码解释器的功能、结构进行了详细分析 .针对微机数控的特点 ,提出表示程序和程序块的数据结构 .然后 ,采用递归的方法实现了程序的解释过程 ,最后通过一个实例验证了程序的正确性 .     

组态软件模块化设计在饲料厂的应用

介绍了某大型饲料厂应用西门子S7-300 PLC和力控组态软件实现的自动控制系统,在用组态软件开发上、下位机程序的过程中采用了模块化设计方法.该设计提高了程序的重用性,还缩短了程序开发周期.由于程序在反复的运用中得到不断的完善,程序的可靠性得到增强.     

论程序公正与实体公正的关系

程序公正优先观和程序公正本位观都片面强调了程序公正的作用.实体公正和程序公正紧密联系,不可分割.在肯定程序公正的独立价值的同时,不能忽视程序终究以实体为依托.在立法和司法中,应树立实体公正和程序公正并重的理念.当实体公正和程序公正出现冲突时,要通过权衡各方面因素寻求一种利益的平衡,而不是简单地择一舍一.只有这样,才能真正实现司法的公正     

PROLOG程序部分演绎的一种新方法

提出一个新的基于程序变换的Prolog程序部分演绎的方法.该方法以程序-目标对(P_0,Q_0)为输入,经过一系列程序变换后终止,输出结果程序-目标对(P_n,Q_n),该方法保证结果程序一目标对(P_n,Q_n)和输入程序-目标对(P_0,Q_0)计算等价,并且程序P_n解目标Q_n比程序P_0.解目标Q_0效率更高.本文提出的方法已经实现.文中给出了3个部分演绎实例,并且与Benkreimi中提出的Prolog程序部分演绎的方法的结果进行了比较,说明我们的部分演绎方法更优.     

民事简易程序与普通程序的实践及路径优化——以C市Y区法院为例

基于"程序保障、费用相当"的程序设置原理,民事诉讼繁简分流,构建了一套较为完备的程序体系.其中,民事简易程序和普通程序是民事审判程序的重要内容.但司法实践中,二者繁简分流落实不够,程序保障效果不佳.通过分析在民事简易程序和普通程序适用现状、问题及原因,探讨进一步优化简易程序与普通程序的繁简分流措施.     

PLC控制程序的设计技巧

通过典型的PLC控制程序的编程实例,介绍了西门子SR功能模块在PLC控制程序设计中的应用,阐述了PLC控制程序设计的基本步骤.     

程序表示学习综述

为了提高软件的开发效率,目前已出现应用人工智能技术进行智能化开发的趋势,如何理解程序语义是智能化开发中需要重点解决的问题.针对该问题,出现了一系列程序表示学习的研究,程序表示学习可以自动地从程序中学习有用的特征,将特征表示为低维稠密向量,高效地提取程序语义并使用于相应的下游任务.对程序表示学习的研究工作进行综述,介绍了主流的程序表示学习模型,包括基于图结构和基于token序列的程序表示学习框架.展示了程序表示学习技术在缺陷检测、缺陷定位、代码补全等任务上的应用,总结了程序表示学习的常用工具集和测试集.分析了程序表示学习未来需要应对的挑战.     

递归算法的汇编语言剖析

递归算法是一种重要的求解问题方法,在C语言教学中是一个教学难点.本文介绍了在C语言教学过程中,运用MCS-51汇编语言设计了一个MCS-51汇编语言阶乘n!递归计算程序,该程序与C语言程序在功能和操作流程方面是完全对应的.该程序十分简单,使学生能够比较深入地理解递归算法的实质,取得了比较好的教学效果.     

一种改进的程序理解信息抽取系统(TSE)设计

程序理解是实现对软件系统自动分析和理解的技术.作为程序理解中必不可少的环节,信息抽取是实现程序理解的第一步.信息抽取机制的优劣直接影响着抽取信息的效率.通过对比较典型的抽取机制和工具的分析研究,阐述了现有程序理解系统存在的问题,提出相应的改进措施,设计出了一种改进型信息抽取系统.     

Development of a six drillhead roof bolting machine

In underground mining, machine design is predominantly dictated by mine conditions and individual customer desires. In partnership with Foresight Energy, J. H. Fletcher Company was tasked to design and manufacture a new roof bolting machine with six independent drilling apparatus on board capable of drilling and bolting the roof and ribs with material handling. The objective was to produce a machine capable of drilling and installing six bolts simultaneously with a limited number of operators. The goal of the mine is to decrease the time to bolt a cut to improve the safety level of the current roof bolting method, improve efficiency and to improve the bottom line cost of entry development. The customer wanted four drills at the front of the machine dedicated to installing roof bolts and then another two drills behind them dedicated to rib bolts. This dictated the requirement of latched controls, which would allow the operator to start drilling one hole and then latch the controls to be able to move on to the next.The result of the design is a machine with a single platform and six independent masts with drillheads:four masts strictly for drilling and installing roof bolts on the front of the platform and two masts on the back of the platform for rib bolts. The controls at each operator's station include a latch control for drilling. The six-head roof bolter allows fewer operators to drill and install roof and rib bolts, which in turn lowers the miners' roof exposure per cut. This design reduces the operator's exposure from the inherent pinch points and rotary hazards once he has engaged the latch drilling. Therefore, the machine will help to decrease the time to bolt a cut, improving productivity while enhancing the ability to operate the machine safely.     

基于新建构主义理论的高职英语口语课堂教学设计

运用新建构主义理论指导高职英语口语教学改革是可行的,也是必要的。结合高职英语口语教学实际,根据新建构主义学习理论下的七个关键词展开口语教学设计,主要包括创设真实的教学情境;引导学生有效搜索,学会选择与行业相关的话题和内容;选择与专业相关的教学内容;引导学生学会口语中的分享、协作、自由交流;引导学生学会在交流的过程中有所创新;引导学生对现有的知识进行重构,达到零存整取。口语课堂的教学设计旨在提高高职英语口语教学质量,达到以学生为中心、以能力为本位的教学目标。     

对高工专土建专业教学改革的思考

目前高工专土建类专业在专业设置、课程体系、技能培养等方面都难以适应行业和社会发展的需要．因此应改变培养模式．按行业岗位需要设置专业．将“学科型”专业转变为“职业岗位型”专业,优化课程体系,强化专业基础．淡化专业．重视经营管理能力的的培养．按照“能力本位模式”培养学生的实践能力．重视人文知识教育．全面提高学生素质．     

试论翻译中的文化补偿

本文论述了文化补偿的四种方法.由于原语和目的语文化之间存在的差异性和不对应性,译者应在忠实于原文的基础上,采用必要的补偿手段,以充分传达原文信息,在原语和译语之间取得最大限度的等值.     

论制度伦理视域下的社会腐败现象

本文从制度伦理的视域来分析和研究社会腐败现象的现状及问题,对新形势下领导干部思想道德出现滑坡和失范的原因进行分析,找出当前干部制度建设和社会腐败现象方面存在的问题。针对社会腐败现象中存在的问题,提出改进思路和具体对策,通过制度伦理的规范和引导,使领导干部始终坚持以人民群众的利益为出发点,思想道德水平不断提高,公平、公正地行使自己手中的权力,更好地服务于最广大人民群众的根本利益,促进社会的全面健康持续发展。     

基于实训教学模式的思考与实践

实训教学,是加深学生对理论知识的巩固和利用理论知识解决实际问题的有效途径,是培养学生具有创新意识,锻炼实践能力的最佳方法。本文着重从如何精讲理论教学内容,加大实训教学比重的角度,介绍媒体系的综合实训教学模式,以及实施过程和效果,旨在更好地完善媒体系的实训教学,培养更多的复合型人才。     

基于Petri网的废旧产品拆卸设备设计

为了设计产品特定零部件的拆卸设备,针对废旧产品在拆卸、回收过程中的拆卸需求,提出基于Petri网构建功-构映射模型的方法. 将功-构映射进行扩展,加入需求与行为分析,构造出需求-功能映射的概念设计和功能-行为-结构映射的结构设计;对需求域、功能域和行为域进行分解,根据得到的功能表面利用TRIZ理论进行创新设计,重构出对应的结构模型;运用三角模糊数对不同创新方案进行对比评价,选出最优设计方案,实现拆卸设备从需求到功能再到结构的映射. 选取废旧自行车把手作为拆卸对象,根据扩展后的映射模型选出设计方案,设计出车把拆卸设备的结构模型.     

高校媒体公关存在的问题与对策研究

近年来,随着信息时代社会的日新月异,高等教育事业驶入快速发展的轨道,社会对高校的关注度越来越高,高校间的竞争越来越激烈,在这种生存环境下,如何加强高校和校外社会媒体的关系,扩大高校的社会形象和知名度,提高高校的品牌价值和竞争力,已经成为新时期摆在众多高校面前的一个崭新课题。本文将公共关系这一重要的现代理论嫁接在高等学校,以跨学科的眼光和思路来探讨当前高校媒体公关存在的问题,并提出相应的对策,希望对新形势下开展高校媒体公关提供一定的参考。     

关于运用绘画速写进行原创性设计教学的思考

运用绘画速写进行原创性设计教学,是艺术设计教学教改的新尝试.其目的是在培养学生学会观察生活,热爱生活与提高手绘表达能力的同时,更进一步地培养学生学会以设计者的眼光去搜集素材进行原创性设计,提高创新能力与水平.通过走出课堂深入生活,以课题性速写与原创性设计相结合的教学等方法进行训练,实现与完成教学内容与教学目的要求.这一教学,既是技能又是专业原创性设计双重性基础训练课程,运用朴实而直接的艺术语言来表达文化与交流,为艺术设计教育教学改革开辟了新的思路,丰富了教学内容,是创新思维教学有效的尝试.     

VPN网络设备的平台选型和技术剖析

为了综合考虑VPN产品的性能、技术特点并兼顾整体投资,为企业量身定制一个最符合自身需求的安全、稳定、高效率的网络,首先从VPN的原理及其在企业中应用中的特点出发,分别对当前VPN的三种典型应用平台做了具体分析并横向比较,深入剖析了VPN的SSL和IPsec两种主要接入技术的优缺点,对企业选择VPN设备提出了可行性的意见和建议。