Pi演算对图灵机的表达

为了研究Pi演算的表达能力,我们试着用它来表达图灵机。研究结果表明,只要对Pi演算进行一定的的扩展,即引入某些函数符号,允许对发送的名字作一定的运算,就可以用Pi演算的规约来表达图灵机的运算过程。     

基于高校智慧校园管理下的校园正版软件平台构建与应用——以西安交通大学为例

近年来,为保护知识产权,党中央、国务院提出推进软件正版化这一重要举措。西安交通大大学于2017年9月正式启动校园正版软件建设,面向全校师生推出“校园正版化平台”。目前,该平台可为全校师生提供10类30余款软件的下载和激活服务。探讨基于高校智慧校园管理下的校园正版软件平台构建与应用,以期为高校智慧校园管理提供借鉴。     

检验检测机构对授权签字人的要求

正一、授权签字人的概念检验检测机构授权签字人主要是指机构出具报告的批准(或签发)授权签字人,是经单位最高管理者提名并授权,经实验室资质认定现场评审组考核合格,由国家认证认可监督管理委员会和/或省级质监部门通过(认可、批准)的人。授权签字人获得批准(或签发)报告的权利必须经过3个步骤:首先是机构的最高管理者根据业务工作需要,从业务技术骨干中推选出合适人选进行授权,在向资质     

三维实体数据文件的建立

建立几何体数据文件是计算机图形显示的首要任务,本文介绍了简单几何体和不规则体的数据建立过程,并在微机上用Ｃ语言实现了这些算法．     

《武汉工业大学学报—材料科学》（英文）引文研究

统计了《武汉工业大学学报－－材料科学版》（英文）中论文的引文概况,并对有关大学的学报英文版进行了对照,对引文数量、类型、语种、年限诸方面进行了分析研究,揭示了近年来英文版论文作者利用文献的基本规律。     

自动售货机的组态控制研究

本文的设计是在PLC的基础上对自动售货机进行组态控制,改善了传统自动售货机的控制弊端,使其运行系统稳定可靠,并且运用组态方式操作直观,适应了自动售货机在我国的发展趋势。     

火灾烟雾环境下人员逃生行为仿真研究

针对火灾时避难人员流动的基本特性及建筑物的设计布局对人群拥挤状况的影响,引入烟雾时逃生人员产生作用力的公式,并加入到社会力中,在保留计算疏散时间的基础上,提出了方向指示灯和避难方向指示灯对避难人员自驱力的影响方法.仿真实验结果表明,指示灯的设置以及设置的个数,对避难行为有重大的影响;对建筑设计人员具有一定的参考价值,同时给消防人员提供了救援过程中的最短时间要求.     

斩拌滚揉机控制策略的研究与实现

针对斩拌滚揉机在滚揉过程中必须保持低温、真空的特点,首先在滚筒夹层设计带有制冷剂流动的蓄冷层以实现温度控制,其次采用PLC和变频器对滚筒和真空泵进行闭环控制,实现滚揉过程中螺旋桨叶的匀渐变速度调节,从而解决滚揉不足或滚揉过度造成的产品蛋白严重变性或保水性都较差的问题;实际运行结果表明,该控制系统具有精度高、运行稳定可靠、监控能力强、操作简便等特点,能够满足斩拌滚揉机的控制要求.     

动情的设计

尽管运作的时间并不长,由英国生命保险公司赞助、伦敦设计博物馆主办的“英国生命保险设计大奖（Brit Insurnce Design Awards,以下简称BIDA）”已被视为设计界的“奥斯卡”。     

让信息技术与小学语文有效整合

从计算机与教学联姻开始,广大教育工作者就一直在探索计算机辅助教学的最佳途径,而新一轮基础教育课程改革中,强调的信息技术与学科课程的整合与传统的计算机辅助教学有本质的区别,它是基本理念的飞跃,其最根本的出发点在于变以“教”为中心到以“学”为中心的方向发展。在整合的过程中,更加关注学生信息素养的形成,让学生最大限度在感受信息技术的魅力,让学生从小树立利用信息技术作为强大的认知工具的意识,同时也更加关注信息技术对学习内容和学习环境的影响。