DreamBlooms/HansPub-15000-to-45000 huggingface dataset:
system: [SYSTEM]

user: 2. 调研过程及结果分析 1) 调研过程 本文选取安徽农业大学经济管理学院的2017级金融学专业，2018级经济学专业共297名同学为调研对象，针对2019~2020第二学期的《现代企业管理学》课程设计了线上学习的调研问卷，问卷就线上教学过程中存在的一些问题、影响学生上课效果的因素及线上课堂的意愿和满意度等方面进行了调查分析，每年级选取60名同学共120名进行调研，回收有效问卷99份，有效问卷回收率达82.5%。问卷统计分析结果如下。 2) 调研结果分析 ① 线上学习计划的制定情况 图1. 学生线上学习计划制定比例图 如图1所示，在线上学习期间，有76.7%的同学制定了学习计划，制定学习计划并能按时执行的同学占44.4%，说明大部分同学有提前规划自己学习的意愿，并且将近一半的同学能够在线上学习期间保持较高的自律性，这为后期开展线上线下混合教学模式的实施提供了学生自主学习方面的可行性支撑。 ② 学生所处微观环境对学习效果的影响 为了调查学生线上学习期间所处的微观环境对学生学习效果的影响，且由于2019~2020第二学期学生未返校，所有线上课程均是在家中完成，所以本文对学生家中日常生活在一起的成员个数及家中成员有无未成年人进行了调研。通过调研发现，学生家庭常住人口数小于等于3的占55.6%，其余为4人以上，家中含有未成年人的同学家庭占比41.4%，其中大部分处于中学阶段，占比为20.2%。通过对比数据及对课程满意度进行分析，发现此两种因素对线上学习的效果影响不大，可以忽略不计，说明学生在进行线上学习时，个人所处的微观环境对其影响较小，因此，此项调查为学生后期在可学校宿舍内部进行线上学习提供了依据。 ③ 地理环境及网络情况对上课的影响分析 学生家庭所处地理位置及通讯网络方面。调查结果显示有32.3%的同学家住在农村，其余67.7%同学家庭均在县城、市郊或市中心。68.7%的同学表示从未停过电，每周停电1~3次的同学比例占26.3%，每周停电3次以上的同学比例占5.1%。这对部分同学的线上学习造成了影响。 针对由于网络卡顿而出现的直播延时或者闪退的情况，77.8%的同学表示偶尔出现卡顿，18.2%的同学表示经常出现卡顿情况，从未出现卡顿的仅占4%。这会导致腾讯课堂的课堂签到率和学生的听课时长出现问题，建议后期的线上授课可采取多平台结合以及采用多种形式的签到方式。 ④ 师生互动及作业问题 进行线上学习期间，约占50.5%的同学课下时间与该门课程老师从未进行过课程内容等方面的交流，仅有15.2%的同学经常与老师交流，34.3%的同学偶尔会与老师进行交流，说明师生双方关于课程内容的沟通互动有待加强。 针对线上课程的作业布置，有75.8%的同学表示每次课程结束之后都有作业，24.2%的同学表示偶尔有作业，通过与授课老师进行沟通发现，《现代企业管理学》课程每次课程结束后都会布置作业，说明有的同学并未及时关注该课程的作业问题，因此导致有些同学偶尔不能按时提交作业的情况出现，约占5.1%。针对作业提交，从未提交过作业的同学比例为0，其中94.9%的同学每次都能按时提交作业，仅有5.1%的同学表示偶尔不能按时提交。授课教师对于作业的点评率为每次都点评占45.5%，从未点评过占18.2%，抽作业点评比例为36.4%。 ⑤ 课程满意度及后期上课意愿分析 针对线上授课的满意度方面，有37.4%的同学对《现代企业管理学》课程的线上授课效果非常满意，大部分同学61.6%为满意，1%的同学为不满意，说明线上授课的满意度还有提高的空间。 图2. 后期上课方式的学生选择倾向 图2给出了学生对于后期上课方式的选择倾向，与传统线下课堂相比，42.4%的同学更倾向于传统线下课堂，仅有11.1%的同学倾向于线上课堂，其余46.5%的同学倾向于线上、线下相结合的教学方式。但在之后的课程学习中，有18.2%的学生不接受线上、线下相结合的教学模式，81.8%的学生接受线上、线下结合的教学模式。
system: [SYSTEM]

user: 3. 线上教学存在的问题 1) 师生间课堂互动问题 老师方面，多数老师是首次进行线上授课，大多采用直播的方式进行并且是边使用边摸索，对于线上授课平台的使用仅停留在ppt共享和语音传输授课内容上。为了保证课程教学进度，老师们大都是按照以往线下授课的方式对课程内容进行灌输式的讲解，但此种灌输式的讲解方式对于线上教学不甚适用。因为与线下课堂不同，线上课堂无法及时观察到每个学生对所讲授内容的反应情况以及对知识点的掌握情况，即使同学们有时会在留言区针对某一问题进行询问，但由于屏幕共享、网络延时等原因，导致老师并不能及时观察到留言，因此不能针对课程教学中存在的问题及时给予回复。 学生方面，由于老师们在线上授课过程中无法直观查看到每一位同学的听课情况，也无法像线下教学一样在课堂上进行巡视，因此，一些自制力较弱的同学可能并不能完整的进行线上课堂教学内容的学习。甚至有些同学会将教师直播视频放在一边，而自己转身去做与课程学习无关的事情，在老师就某一问题展现场问答及小组讨论时，学生失联的情况时有发生，因而导致无法进行有效的课堂讨论，进而影响到师生互动的积极性。另外，经常出现的网络延迟也会导致讨论的中断，因此线上课堂师生互动次数较少，课堂气氛较为冷淡成为县上教学的常态，无法达到线下课堂教学的热烈氛围。 2) 作业方面问题 为保证线上教学的教学效果，多数老师在每次课程结束之后均布置了课后作业，并且要求在下次上课前提交，因而多数学生反应作业太多。为了应付繁重的作业，许多学生借助网络资源进行作业抄袭或过度借鉴，从而保证自己能够按时提交作业。老师在收到作业之后要进行及时的批阅，一方面，教师批阅的作业量较大，批阅任务也较为繁重；另一方面，由于多数学生的作业完成并不认真，导致所批阅的作业并不能反应出学生的真实水平，教师不能通过作业及时发现教学过程中存在的问题，出现课堂作业流于形式、教师和学生均任务繁重，从而失去了其本身的意义。并且《现代企业管理学》这门课程更多的是注重理论与实践的联系，纯粹的线上教学及线上作业无法满足学生运用所学理论来处理实际问题的要求，缺乏线下实践的体验，学生对于企业运行中存在的问题没有真实的感受，仅仅从理论角度去理解并借助网络资源搜集一些二手资料去完成作业，这种方式无法保证学生将所学知识融会贯通去处理实际问题。 3) 其他相关问题 线上授课平台单一，调研发现授课教师均采用腾讯课堂进行直播，在进行直播时，学生观看直播有时会出现网络卡顿、闪退的情况，而重新进入直播后该同学的观看时长并没有记录下来，因而导致学生的在线学习情况不能准确记录。在进行课前签到时，有的同学的直播页面并未出现签到按钮，需授课教师重新发送签到，相较于线下课堂多数采用直接点名形式进行考勤而言，线上签到及学生上课时长统计无疑增加了教师课后的工作量。 另外，部分学生反应线上学习难度加大，由于线上直播授课采用共享PPT或者共享屏幕的方式进行，无法像线下课堂一样就重点、难点问题在黑板上进行仔细讲解，因此造成学生对于课程重难点知识的理解方面也存在一些欠缺。针对课堂感受方面，由于线上授课时多数教师并未开启自己的摄像头，因此，学生感觉线上直播授课缺少线下课堂的真实感，并且学生自身的参与感及主动性明显降低。
system: [SYSTEM]

user: 4. 应对措施 1) 多渠道增强师生互动 针对课堂间师生缺少互动的问题，可以在每次授课结束前预留10~20分钟的课堂互动时间。一方面，学生可以就本次课的内容进行实时的反馈，使授课教师能够发现问题并及时处理；另一方面，针对直播授课实时互动可能存在的网络延时情况，在每次课预留的互动时间内进行的师生互动可以综合借助QQ、微信等平台的语音、文字及图片方式进行，以此使授课教师能够更全面的理解并解答学生的问题。此外，每次课程开始之前，授课教师需要提前向学生发布本堂课的学习资料，通过课前的预习，使学生带着问题听课，提高学习效率，这种做法的另一优点是，在每次课的课堂互动时间内能够解决更多的问题，减少时间上的浪费。同时，增加课堂互动时间能够增强线上直播授课的趣味性，从而提高学生的学习兴趣。 2) 增强作业的针对性和灵活性 由于《现代企业管理学》是一门理论联系实践较强的课程，更加注重采用所学知识处理实际问题的能力，并且该门课程与涉及到计算问题较多课程不同，不需要每次课程结束都进行大量的计算题的练习。因此，作业的布置形式要求更灵活一些，能够体现每章内容的针对性。如果是单纯的就每次课程的理论内容进行布置作业，教师一方面无法监督学生作业真实完成情况，另一方面还会造成师生双方的工作量的繁多，难免应付了事，从而失去了布置作业是为了巩固所学知识的真实目的。 因此，针对该门课程的特殊性，布置作业的频率不用太高，每1~3章内容结束后，可安排学生通过网上搜集信息，针对某一现象、某一案例结合该阶段所学知识进行综合分析，鼓励学生提出自己的观点，培养学生解决企业管理中所存在的问题的能力。作业可以采用小组作业形式，每个小组成员需有明确的分工，此种做法的好处是一方面可以使学生借助集体智慧的力量，更加深入的去发现问题、解决问题，从而拓展自己所学知识的深度和广度，另一方面不至于给每位学生太多的压力，使其能够更好的完成所布置的作业内容。作业的提交方式也应该多样化，根据学生自己的意愿，可以是采用word文档的方式发送给授课教师，也可以通过ppt汇报的形式在班级内共享。该小组作业方式既可以发挥出作业的真实目的，也能够在很大程度上提高学生的学习积极性和参与性，增强学生的团队合作意识。 3) 综合运用多种教学方式 现阶段新冠疫情进入了一个常态，结合疫情防控的需要以及教学内容的需求，线上、线下的混合教学模式成为各学校的主流教学方式。《现代企业管理学》这门课程的授课方法也宜采用线上、线下混合教学模式。针对线上课程考勤会出现闪退导致观时长记录不准确的情况，一方面，教师在进行线上教学时不应仅限定于一种教学平台，可分周次综合运用诸如钉钉、腾讯课堂、学习通、雨课堂等多种授课平台，以减少单单使用同一种教学平台而导致的上述问题；另一方面，平时的考勤在期末考试中所占的比例可适当降低，教师可更多关注学生与老师的课上及课下互动情况以及作业完成情况。线上的课程教学可集中讲解理论知识，线下的课程教学可针对性的重难点讲解、答疑、师生互动及学生作业汇报等。此种线上利用多平台教学，结合线下教学，可大大增加该门课程的学习效率及学生的积极性。
system: [SYSTEM]

user: 5. 结论 本文选取安徽农业大学经济管理学院的2017级金融学专业、2018级经济学专业共297名同学为调研对象，对2019~2020年第二学期的企业管理学课程的线上学习情况进行了调研，所得结果源于真实数据。总结出在新冠疫情期间企业管理学课程线上教学在师生互动、作业及设备等方面所存在的问题，并且提出针对性的改进策略，以期为疫情后期日常防控需求下企业管理类相关课程实施线上教学或线上、线下混合教学模式提供相应的参考建议，从而丰富企业管理类相关课程的教学渠道并提高教学活动的效率与效果。
system: [SYSTEM]

user: 摘要 乘法器电路验证问题是一项极其重要而又极具挑战性的难题。当前主流的方法是先将其建模成交换代数中的理想成员问题，然后使用Mathematica、Singular等计算机代数系统中的Gröbner基方法进行判定。本文使用计算机代数系统Maple对这一方法给出了全新实现并在计算机上进行了对比实验。实验结果表明：Maple的实现在某种程度上具有更高的验证效率，可成为乘法器电路强有力的验证平台。
system: [SYSTEM]

user: 1. 引言 乘法器电路是计算机系统、信号处理、密码系统、机器学习等众多现代数字电路系统中的重要组成部分，对其正确性进行验证是必不可少的一个环节 [ 1 ]。传统的模拟仿真技术与形式化验证方法是乘法器电路验证理论中最重要的两类验证方法。 传统的模拟仿真验证技术原理简单，可操作性强，应用范围广，但无法满足当前乘法器电路设计的巨大验证需求，取而代之的是形式化验证方法 [ 2 ]。例如，结合SAT求解方法与计算机代数方法验证乘法器 [ 3 ]；使用优化乘数的SCA方法验证乘法器 [ 4 ] [ 5 ]。 近几年来，Gröbner基方法作为形式化验证方法的一种，越来越受到学术界的广泛关注与认同。 Ritirc等人提出的逐列检测方法 [ 6 ] 验证乘法器是使用C语言程序设计出相应的验证工具，并使用列式项序将电路逻辑变成切片，通过验证工具调用计算机代数系统Mathematica和Singular应用Gröbner基方法逐步验证电路每个切片的正确性进而验证乘法器的正确性。该方法在一定程度上降低了归约计算量，同时计算机代数系统Mathematica和Singular的加入，减少了手工操作，提高了其自动化程度。但在中间的约化过程中单项式数目急剧增加，验证耗费时间较长。因此，Ritirc等人在此成果之上又提出了加法器重写的方法 [ 7 ]。加法器重写即提取出电路中的加法器和半加器，约化其Gröbner基的内部变量。该方法大大的优化了Gröbner基方法，加快了验证速度，并可在有限时间内验证128位乘法器。 乘法器电路验证的Gröbner基方法逐步优化，但可供选择的计算机代数系统却只有Mathematica和Singular。由于各种操作系统优缺点不同，使用不同种方法搭配不同的代数系统，其验证结果和中间可能出现的情况未知，在一定程度上具有局限性。本文使用计算机代数系统Maple对Gröbner基方法给出了全新实现并在计算机上进行了对比实验，在某种程度上加快了乘法器验证速度，为后续验证方法的优化提供更多计算机代数系统的选择。
system: [SYSTEM]

user: 2. Gröbner基理论 本节介绍Gröbner基基础理论的关键内容，包括多项式理想、单项式序、Gröbner基定义和Gröbner基判定理想成员归属问题，相关证明和基础知识可以参考 [ 8 ] [ 9 ] [ 10 ]。 定义2.1 设k为任意一个数域， k [ x 1 ， ⋯ ， x n ] 是数域k上关于变量 x 1 ， ⋯ ， x n 的n元多项式环，如果非空子集 I ⊆ k [ x 1 ， ⋯ ， x n ] 满足： (1) 0 ∈ I 。 (2) 对任意的多项式 f ∈ I ， g ∈ I ，都有 f + g ∈ I 。 (3) 对任意的多项式 f ∈ I ， p ∈ k [ x 1 ， ⋯ ， x n ] ，都有 p f ∈ I 。 则称I是一个多项式理想。 任给有限个多项式 f 1 ， ⋯ ， f s ∈ k [ x 1 ， ⋯ ， x n ] ，令 〈 f 1 ， ⋯ ， f s 〉 = { ∑ i = 1 s h i f i | h i ∈ k [ x 1 ， ⋯ ， x n ] } 易证 〈 f 1 ， ⋯ ， f s 〉 是 k [ x 1 ， ⋯ ， x n ] 的多项式理想， f 1 ， ⋯ ， f s 是 〈 f 1 ， ⋯ ， f s 〉 的生成元。 定义 2.2 设N是非负整数集合 单项式集合 T n = { x β | x β = x 1 β 1 x 2 β 2 ⋯ x n β n ， β i ∈ N ， i = 1 ， 2 ， ⋯ ， n } x α ， x β ∈ T n ，如果 T n 上的一个序关系>满足： (1) >是一个全序。 (2) >是一个良序。 (3) 若 x α > x β ，对所有 x γ ∈ T n ，都有 x α x γ > x β x γ 。 则序关系>是单项式序。 多项式环 k [ x 1 ， ⋯ ， x n ] 中单项式序概念是一个基本概念。给定序关系后，可以将任一多项式 各项按序的大小惟一排列，保证n元多项式除法得到的余式是惟一的。单项式序包括字典序、分级字典序和分级逆字典序等。本文介绍字典序，其他类型项序可以参考 [ 9 ]。 定义2.3 对单项式 x α ， x β ，规定 x α > x β ，如果 α − β 的从左向右第一个非零分量为负数，称这个序为字典序，记为 > l e x 。 定义2.4 设I是 k [ x 1 ， ⋯ ， x n ] 的多项式理想。 l t ( g i )   ( i = 1 ， 2 ， ⋯ ， m ) 表示 g i 的首项， 〈 l t ( I ) 〉 是I的所有元素关于字典序 > l e x 的首项生成的理想，若存在I的有限子集 G = { g 1 ， ⋯ ， g m } 满足 〈 l t ( g 1 ) ， ⋯ ， l t ( g m ) 〉 = 〈 l t ( I ) 〉 则G是I的Gröbner基。 每个多项式理想都有一个Gröbner基，给定多项式理想的任意一个基，Buchberge算法会在有限步之内算出Gröbner基，具体参见 [ 10 ]。 定理2.1 设G为多项式理想I的Gröbner基，多项式 f ∈ k [ x 1 ， ⋯ ， x n ] ，则 f ∈ I 当且仅当f被G除的余式为0，记为 r e m d ( f ， G ) = 0 。 定理2.1既可以作为Gröbner基的定义，也可以作为理想成员判定问题的解决方法。
system: [SYSTEM]

user: 3. 代数模型 我们验证具有2n个布尔输入 a 0 ， ⋯ ， a n − 1 ， b 0 ， ⋯ ， b n − 1 和个n布尔输出 s 0 ， ⋯ ， s n − 1 的乘法器电路，电路的每个内部门(门输出)被一个门变量 g 0 ， ⋯ ， g k − 1 表示。定义电路变量 X = a 0 ， ⋯ ， a n − 1 ， b 0 ， ⋯ ， b n − 1 ， g 0 ， ⋯ ， g k − 1 ， s 0 ， ⋯ ， s n − 1 我们将门输出(门变量) u与门的输入v，w用如下多项式(3.1)表示： u = ¬ v ⇒ − u + 1 − v = 0 u = v ∧ w ⇒ − u + v w = 0 u = v ∨ w ⇒ − u + v + w − v w = 0 u = v ⊕ w ⇒ − u + v + w − 2 v w = 0 (3.1) 电路中的所有变量均为布尔变量。因此，我们可以得到关系式 u ( u − 1 ) = 0 ，此关系式被称为域多项式F。每个门的输入与输出有相对应的变量，电路中的门被转换成这些变量的多项式关系，即通过多元多项式来模拟电路的运行方式 [ 11 ]。
system: [SYSTEM]

user: 4. Gröbner基方法及其优化 4.1. Gröbner基方法 定义4.1 设C是一个电路， G ⊆ k [ x 1 ， ⋯ ， x n ] ，G为电路C中每一个门对应的多项式(见(3.1))和输入变量的域多项式 a i ( a i − 1 ) 及 b i ( b i − 1 ) 构成的多项式集合。由G生成的理想记为 J ( C ) 。 根据Gröbner基定义结合定义4.1.1可知按照字典项序 > l e x 排列，G为 J ( C ) 的Gröbner基。 定义4.2 设C是一个电路，多项式 p ∈ k [ x 1 ， ⋯ ， x n ] ，如果将 ( a 0 ， ⋯ ， a n − 1 ， b 0 ， ⋯ ， b n − 1 ) ∈ { 0 ， 1 } 2 n 及由 a 0 ， ⋯ ， a n − 1 ， b 0 ， ⋯ ， b n − 1 表示的 g 0 ， ⋯ ， g k − 1 ， s 0 ， ⋯ ， s n − 1 的值代入到多项式p中结果为0，则称多项式p是电路C的规范多项式，记为PPC。电路C的所有PPC构成的集合定义为 I ( C ) 。 定义4.3 若 ∑ i = 0 2 n − 1 2 i s i − ( ∑ i = 0 n − 1 2 i a i ) ( ∑ i = 0 n − 1 2 i b i ) 是PPC，则电路C是乘法器电路。 推论4.1 任一多项式 p ∈ k [ x 1 ， ⋯ ， x n ] ，p是PPC当且仅当 p ∈ J ( C ) 。 根据以上定义我们可得：检验一个给定电路是否是乘法器可以归结为通过Gröbner基判定理想成员问题进行验证。即给定一个电路C和其对应的规范多项式p，检验p是否属于 J ( C ) 。若p属于 J ( C ) ，则该电路为乘法器电路，反之不成立。这一部分的理论知识也可以推广到任意非循环算术电路。 4.2. 逐位检测方法 逐位检测方法是使用列式项序将电路逻辑变成切片，应用Gröbner基方法验证每个电路切片的正确性进而验证乘法器的正确性。将乘法器验证问题分为更小更易于解决的子问题，逐步验证这些子问题进而验证乘法器。 如图1所示，在逐位检测方法中，每个电路切片包含且仅包含一个输出位。n位乘法器电路有2n个输出位，即有2n个电路切片。 图1. 3位乘法器的逐位检测方法示意图 定义4.4 设C是一个n位乘法器电路，有如下定义： (1) 电路C的变量X上的一列多项式 C 0 ， ⋯ ， C 2 n 是进位序列的进位多项式。 (2) 第i个电路切片部分乘积 P i = ∑ k + l = i a k b l ， ( 0 ≤ i ≤ 2 n ) 。 (3) 第i个电路切片进位递归关系 R i = − C i + 2 C i + 1 + s i − P i ， ( 0 ≤ i ≤ 2 n ) 。 通过这些定义，我们得到一个抽象定理，可以用来验证经过切片处理的乘法器。 定理4.1 设C是一个所有进位递归关系都成立的电路，若 C 0 − 2 2 n C 2 n ∈ I ( C ) ，则C是乘法器。 证明 ∑ i = 0 2 n − 1 2 i s i − ( ∑ i = 0 n − 1 2 i a i ) ( ∑ i = 0 2 n − 1 2 i b i ) = ∑ i = 0 2 n − 1 2 i ( P i + C i − 2 C i + 1 ) − ∑ i = 0 2 n − 1 2 i P i = ∑ i = 0 n − 1 ( 2 i C i − 2 i + 1 C i + 1 ) = C 0 − 2 2 n C 2 n (4.1) 由定义4.3可知只要证明(4.1)是PPC即可证明电路C是乘法器。为了得到逐位检测算法，我们逐步定义切片。对每个切片中的输出 s i ，定义它的输入锥即决定输出 s i 的电路逻辑门(见图1)集合 I i = { 逻 辑 门 g | g 是 输 出 s i 的 输 入 锥 } 。由输入锥可以定义切片 S 0 = I 0 ， S i + 1 = I i + 1 \ ∪ j = 0 i S j 切片Gröbner基 G i 为其切片 S i 中所有门所对应的多项式集合。综上，即可得逐位检测算法： 在算法1中， C i 是由给定的第i列的部分乘积 P i 、输出位 s i 和进位多项式 C i + 1 唯一确定的，这就保证了进位递归关系 R i 成立。实际上在算法中简单的取边界进位多项式 C 2 n = 0 。从最后一个输出位 s i ( i = 2 n − 1 ) 开始，求 2 C i + 1 + s i − P i 模切片Gröbner基 G i 和所有域多项式F的余式 C i ，通过余式结果检测每个切片的正确性。若每个电路切片所得余式均为0，则电路C是乘法器电路，进而验证了乘法器的正确性。
system: [SYSTEM]

user: 5. Maple实现 Maple是一个具有强大符号计算能力的计算机代数系统，其符号计算能力是MathCAD和Matlab等软件符号处理的核心 [ 12 ]。 本文验证两种类型的乘法器，分别是btor乘法器和sp-ar-rc乘法器。在Gröbner基方法验证乘法器的Maple实现流程图中(见图2)，file1.aig为乘法器通过AIGER [ 13 ] 转化得到的AIG文件。下面给出一个AIG文件的例子： 图2. Gröbner基方法验证乘法器的Maple实现流程图 aag 7 2 0 2 3 //标题 2 //输入a 0 4 //输入a 1 6 //输出b 0 12 //输出b 1 6 13 15 //与门0 12 2 4 //与门1 14 3 5 //与门2 AIG文件中第一行为标题行，7为最大变量索引，2为输入的个数，0为锁存的个数，2为输出的个数，3为与门的个数。依次列出乘法器的输入，输出和与门。本文所研究的乘法器不包含锁存，故L的值为0。我们重写验证工具AIGMULTOPOLY使其读取AIG文件后通过脚本文件中的命令行“Aigmultopoly $ aig_file $ Maple_script--maple”产生对应乘法器的Maple输出文件，通过脚本文件命令行“maple btori.maplet”使用Maple计算检测。AIGMULTOPOLY输出的 位乘法器Maple文件首先定义乘法器位数 和边界进位多项式 C 2 n ： [>] with(Groebner)； [>] Size= n； [>] Car(2*size)=0; 定义切片i的变量集M[i]和部分乘积集PP[i]。根据切片Gröbner基定义得 G i = { F I ， F s [ i − 1 ] ， F s [ i ] ， C S [ i − 1 ] ， C S [ i ] ， S i } 。 用切片i的规范多项式 p i 归约Gröbner基 G i ： [>] Car[i]=NormalForm(s[i]+2Car(i+1)-PP[i]，[op(FI)，op(Fs[i-1])， op(Fs[i])，op(CS[i-1])，op(CS[i])， op(Si)]， plex(op(MS[i]))); 归约通过Maple中Groebner基库的NormalForm函数 [ 14 ] 实现。NormalForm(f， polylist， order)，其中f为被归约多项式，polylist为归约多项式集合，order为变量的序关系，我们使用的是字典序，对应Groebner基库中的plex函数。根据逐位检测算法知若电路所有切片归约得到的余式Car[i]的值均为0，则输入电路为乘法器电路，反之不成立。 我们使用Maple、Mathematica和Singular三种计算机代数系统分别对乘法器验证的Gröbner基方法和加法器重写(AR)优化的Gröbner基方法进行了实验。在我们的实验中，我们将挂钟时间设 置为1200秒，主内存限制为4 GB。所有实验中的时间都以秒为单位。我们从启动验证工具AIGMULTOPOLY开始计算到Maple、Mathematica和Singular完成计算为止，所包含的时间为AIGMULTOPOLY生成Maple、Mathematica和Singular文件的时间和使用相应计算机代数系统计算的时间。我们通过TO标记未完成的实验，MO标记达到内存限制、EE标记状态错误。实验结果如下表(见表1)所示： Table 1 The implementation of Gröbner basis method based on different algebraic system mult n Maple Mathematica Singular AR AR AR btor 8 0 0 1 0 0 0 btor 16 2 0 4 1 1 0 btor 32 16 2 27 2 20 1 btor 64 172 17 260 18 MO 18 btor 128 TO 402 TO 126 EE EE sparrc 8 0 0 1 0 0 0 sparrc 16 3 0 6 1 1 0 sparrc 32 23 2 42 3 19 1 sparrc 64 250 18 450 20 MO 19 sparrc 128 TO 415 TO 129 EE EE 表1. 基于不同代数系统的Gröbner基方法的实现 如表1所示，验证8~64位乘法器时，Maple计算速度较Mathematica相比更快且验证64位乘法器时，Maple不会出现Singular中超出内存限制的情况。验证128位乘法器时，环变量数超过32707个，Singular会出现错误 [ 15 ]，使用Maple可以进行计算验证。但是由于C语言编程的多样性以及不同计算机代数系统不同版本的差异性使得Maple和Mathematica的验证时间略有差异。将来，我们将进一步重写优化验证工具以提高乘法器验证的效率。实验结果表明：Gröbner基方法验证乘法器通过Maple实现，在某种程度上加快了验证速度，为乘法器电路提供了强有力的验证平台。
system: [SYSTEM]

user: 6. 结束语 本文通过Maple实现乘法器验证的Gröbner基方法，为后续乘法器电路验证方法提供更多的计算机代数系统选择。随着验证方法的逐步优化，期望可以有更多的计算机代数系统可以加入到乘法器电路验证中，进一步提高验证的自动化程度。
system: [SYSTEM]

user: 摘要 网络教学团队是国家开放大学转型探索的关键环节。以“政治学原理”课程教学团队建设运行为例，从团队效能模型输入、互动、输出的因素进行分析，从教学成果、科研成果、学生满意度和成员认可度对团队效能进行评估。结果表明：网络教学团队运行中影响团队效能的主要因素是团队目标、制度建设、沟通机制和团队领导。团队目标是影响团队效能的首要因素；团队制度建设是关键；团队沟通是需要完善的机制；团队领导是团队效能提升的核心。
system: [SYSTEM]

user: 1. 引言 网络教学团队的组建运行是国家开放大学“创优提质”战略的人力资源支撑。团队的有序运行能解决多层级办学师资力量的不均衡，优化整合国家开放大学系统内的师资力量，提高各级教师的教学能力；团队成员间的良好合作能打破教学资源分散、地域行政限制等诸多障碍，提升课程教学质量，为学生提供更优质的教学服务。近年来，国家开放大学政治学原理网络教学团队从组建、运行到评估探索，以团队效能模型为理论，遵循SMART原则，结合开放大学特质的团队建设之路，对网络教学团队效能进行了一系列实证研究。
system: [SYSTEM]

user: 2. IPO效能模型分析 团队效能的研究，主要以“输入(I)–过程(P)–产出(O)”(Input-Process-Outcome)理论模型。1964年McGrath采用IPO描述型模型分析团队效能(图1)，提出团队效能也即团队产出，其影响因素有输入因素和互动过程 [ 1 ]。该模型创建了探讨团队效能的理论框架。IPO研究框架影响很大，很多学者沿袭这一研究模式，进行修正与扩展，根据各自的理解，界定和完善对输入、过程和输出。其中ELLIS和FISHER (1994)所提出的团队运作模型修订较大(图2) [ 2 ]，它打破了输入、过程、产出三者的单向流动，构建了一个交替循环、相互影响的闭环系统，团队效能的评价指标不仅是简单的考评，更是无形的指挥棒，发挥着导向、管理作用，关系到团队可持续的良性运行和团队目标的实现。 图1. McGrath (1964)的团队模型 图2. Ellis和Fisher (1994)的团队效能评价模型
system: [SYSTEM]

user: 4. 分析结果 结合团队多年运行实践和效果评估，可以看到影响团队效能的关键因素主要是团队目标、制度建设、沟通机制和团队带头人的作用。 (一) 团队目标是影响团队效能的首要因素 团队目标的设立要遵循具体性(Specific)、可衡量(Measurable)、可实现(Attainable)、相关性(Relevant)、时限性(Time-based)五大SMART原则。网络教学团队的各项分目标不仅合理、具体、可衡量可达到，而且与成员的发展愿景高度契合。目标贯彻团队运行的始终和各个层次。如何实现团队目标与成员目标的有机统一，这是团队建设中首要考虑的问题，也是政治学原理教学团队在运行过程中，不断探索改善的一点。团队目标是团队前进的方向，是团魂所在。 (二) 团队制度建设合理、执行有力，有助于成员专业水平提升 由表1可见，团队成立初期、团队运行1~4年间，成员的教学能力和科研产出明显增加，表明基于团队效能模型组建网络教学团队，能有效促进成员教学科研水平的提升。其原因在于过程因素构建的定期教研制度、小组学习机制、多元考评机制和责权利结合的激励机制。强化团队过程管理，做好定期教研、任务式小组自学帮助成员快速掌握课程专业教师的知识、技能与能力。团队运行难在执行，仅有制度、执行无力是无法形成科学有效的运行机制，制度也只有经过实践的检验才能更加完善，经过不断反复，方能形成良性的运行。在政治学原理教学团队运行之初，团队也经历了制度规范的摸索阶段，经过一段时间的执行修订，才实现了团队的良性运行。如果说团队目标是团队的灵魂，那么团队制度建设就是支撑团队的骨架。 (三) 科学的沟通机制是网络教学团队运行的保障 互联网技术的发展让团队扁平化、常规化、高反馈的沟通机制得以运行，让团队有效运行和高能产出获得了保障。国家开放大学网络教学团队成员的不同行政隶属关系减少了彼此间的利益冲突，同时这种跨组织、跨地区带来的交流阻隔通过微信群、远程会议系统得到了有效消解，伴随团队小组学习活动和非正式沟通的展开，团队成员由陌生、熟悉到互信，有的团队成员建立了相互了解、认同的互信关系，成为了工作之外的好友，加深了团队成员间的友谊、巩固了团队凝聚力，提高了团队效能。可以说，团队沟通互动是团队的血肉，团队常规化沟通机制运行通畅和非正式沟通的有力补充让团队充满朝气，越发鲜活。 (四) 团队带头人的核心作用 团队主持教师是团队的带头人，是团队高效能的核心因素，是整个教学团队的核心。主持教师较高的科研教学水平获得成员的尊重，其管理协调能力和奉献精神紧密联系团队成员并实现团队成员间的联系，是团队良好合作的润滑剂。其领导力和执行力是团队良性运行的发动机。对于教学团队这类知识共享型团队而言，团队领导民主、亲和风格更能赢得成员的尊重，创造团队高效能。可以说，团队领导是团队前行的一双明眸。
system: [SYSTEM]

user: 5. 结论与展望 本研究根据国家开放大学网络教学团队的特质，结合团队效能IPO理论模型理论，设计了影响团队效能的因素，包括团队目标、团队规模、个人的目标态度、外部环境、团队制度、沟通机制和领导力等。在此基础上，结合政治学原理教学团队运行实践，对影响团队效能的诸因素进行了分析。结果表明：团队目标是影响团队效能的首要因素；团队制度建设是关键；团队沟通需要完善的机制；团队领导是团队效能提升的核心。 由于主客观原因的限制，本研究还存在需要完善的地方。首先，对样本的选择主要集中在四川分部，未来还需对其他省份乃至全国该课程的学生学习满意度进行分析。同时，研究限于政治学原理教学团队，对开放大学其他教学团队缺乏研究，今后应拓展研究对象。最后，网络教学团队效能模型的有效性还需要进一步的实践加以证实和完善。
system: [SYSTEM]

user: 摘要 圆管内置涡产生器是一种被动式的强化传热方式。涡产生器在管内诱导产生的二次流是强化传热的主要原因，而二次流强度受制于流动参数和涡产生器的结构参数。本文采用数值方法对圆管内置不同形状涡产生器的流动特性进行了研究。研究结果表明：不同形状涡产生器在圆管内产生的平均二次流强度和沿流动方向的局部二次流强度依次为等腰梯形涡产生器最强，直角梯形涡产生器次之，矩形涡产生器最弱；在传统扭带基础上裁除材料面积相同的条件下，涡产生器形状对管内流体的平均阻力系数和沿流动方向的局部阻力系数影响甚微。对比不同位置的二次流强度云图发现，与基带处相比，涡产生器在圆管内诱导产生了更强的二次流。内置不同形状的涡产生器后，管内流体的二次流强度分布和流线分布发生变化，与其余三种形状的涡产生器相比，等腰梯形涡产生器诱导产生的二次流更强。
system: [SYSTEM]

user: 1. 引言 管内插入扰流元件是常见的管内强化换热技术，因为其成本相对较低，工艺简单，方便制造和安装，并且可以有效地抑制污垢生成，有利于旧换热器的改造，所以在工程技术领域得到了广泛使用 [ 1 ]。扭带是结构最简单的内插扰流元件，其强化传热的主要机理是扭带诱导管内流体产生了二次流，使得流体的流动方向发生了变化。二次流是指垂直主流方向平面上的流动，通常比主流速度小一个数量级，但可以明显强化对流传热，又不会过多地引起流动机械能的耗散，其主要原因是壁面上的阻力损失主要取决于主流在壁面法向方向的速度梯度，而不取决于二次流的梯度 [ 2 ]。由于扭带在管内强化换热上取得的良好效果，学者们对二次流强度和对流换热的影响因素开展了广泛研究。Rindt等 [ 3 ] 对Re = 500，Pr = 5时，壁温随轴向变化的螺旋盘管换热器的混合对流发展进行了研究，并与恒定壁温边界条件进行比较，分析了浮力对传热和二次流的影响。为了明确斜肋的流体流动结构及其对轴向传热分布的影响，Robert等 [ 4 ] 对斜肋诱导产生二次流进行了实验和数值模拟，明确地证明了斜肋比传统横肋具有传热优越性。Pankaj等 [ 5 ]、Sinha等 [ 6 ] 和Khanjian等 [ 7 ] 对矩形通道装有矩形和三角形纵向涡产生器对流体流动和传热特性进行了数值研究。结果表明，由于涡产生器产生强烈的二次流动，破坏了热边界层，加剧了通道壁面附近和中心之间的流体混合并导致传热的增强，且压力损失相对较小。Habibi等 [ 8 ] 对由三个弯曲管道组成的扭曲管中的层流传热进行了数值模拟。讨论了雷诺数和管壁温度变化对二次流动拓扑结构的影响，以及它们与传热强化的一致性。Wu等 [ 9 ] 采用实验的方法对换热管内流体流动与传热进行了可视化研究，分析了管内流体的二次流特性。研究结果表明，管内流体的二次流与其传热机理有着密切的关系。Lin等 [ 10 ] 对传统扭带结构进行改进，按特定形状切除部分扭带基体形成一种传统涡产生器内插件，在均匀壁温条件下，采用数值方法对内插圆管的平行四边形涡产生器管内层流流动和传热特性进行研究。武永和等 [ 11 ] 对内插不同形状传统涡产生器管内层流流动与传热特性进行数值研究。研究发现，内插不同形状的涡产生器后，管内二次流强度Se和平均Nu数均随Re的增大而增大，二者的变化具有一致性。 以上文献验证了管内二次流强度和努塞尔数有相同的变化趋势，通过研究二次流的影响因素，可以进一步研究管内换热。本文基于这一研究基础，采用数值模拟的方法，对内置不同形状的涡产生器管内流体流动特性进行研究，分析涡产生器形状对管内二次流强度和阻力系数的影响。
system: [SYSTEM]

user: 2. 物理模型与数学模型 2.1. 物理模型 如图1(a)所示，扭曲涡产生器具有周期性结构，是在传统扭带的基础上，按照既定几何形状裁去部分材料的薄金属片沿轴向螺旋扭转而成。未经扭曲的薄金属片(本文称为基片)，其结构简图如图1(b)所示。 图1. 涡产生器结构示意图 涡产生器厚度为δ，其扭转180度的轴向长度为节距H，基片宽度为W，T r 为扭率(或扭曲比)，扭率的大小对圆管内二次流的强度起决定性作用，其定义式为： T r = H / W (1) 定义扭带的螺旋角α为涡产生器的攻击角，与扭带扭率T r 有以下关系： α = arctan [ π / ( 2 H / W ) ] (2) 基片形式下涡产生器的结构参数定义为：W b 为无涡产生器部分的基片宽度，称为基带宽度；W为有涡产生器部分的基片宽度；β和γ为涡产生器的迎流形状角和背流形状角；B为每个涡产生器与管壁接触的轴向长度；S s 是未扭曲之前相邻涡产生器之间的间距；S t 是扭曲后相邻涡产生器之间的间距，其大小由涡产生器攻击角α和未扭曲之前相邻涡产生器之间的间距S s 决定，具体关系式为： (3) 由于涡产生器形状及结构参数较多，本文仅对内置不同形状的涡产生器的管内层流流动进行了数值模拟，值得注意的是不同形状的涡产生器在扭带上裁去部分的面积相等，其结构参数如表1所示，涡产生器形状为等腰梯形(TVG1)、平行四边形(TVG2)、直角梯形(TVG3)和矩形(TVG4)，固定涡产生器的攻击角α (即扭率T r )、涡产生器的间距S t 和基带宽度W，通过改变涡产生器与管壁接触的轴向长度B以保证扭带上裁去部分的面积相等。 为了节约计算资源，对计算域进行简化，选取一段包含8对涡产生器的流动管道作为计算域模型，其结构简图如图2所示。加长入口段长度使流体流动达到充分发展，延长出口段以消除出口干扰的影响，入口段出口段的长度L 1 、L 3 均为10D。本文所研究雷诺数范围选取Re = 50~800。 Table 1 Geometrical parameters of vortex generato 涡产生器编号 T r S s /W (-) S t /W (-) Β (˚) Γ (˚) B/W (-) W b /W (-) W (mm) TVG1 4 1.063 0.989 60 60 0.578 0.3 18 TVG2 4 1.063 0.989 60 120 0.376 0.3 18 TVG3 4 1.063 0.989 60 90 0.477 0.3 18 TVG4 4 1.063 0.989 90 90 0.376 0.3 18 表1. 涡产生器结构参数 图2. 计算域模型 2.2. 物理模型建立过程 本文利用SolidWorks软件对内置涡产生器的圆管建立物理模型。采用“先内后外”的建模思路，首先建立涡产生器及其基带部分的模型，然后建立换热管模型，具体方法为：1) 在SolidWorks中建立直径为W的圆柱模型；2) 在圆柱模型上按照一定形状采用旋转切除命令切除掉多余部分的模型，得到未切除之前的原始模型；3) 在原始模型的基础上通过扫描切除命令得到涡产生器及基带模型，如图3(a)所示；4) 进行仿真模拟时，简化管壁，认为壁面上没有厚度。通过拉伸命令得到圆管内置涡产生器模型，如图3(b)所示。 图3. SolidWorks建立的模型图 2.3. 数学模型 为建立流体流动的数学模型，作以下简化假设：1) 流体和涡产生器的物性参数为常数；2) 内插涡产生器圆管内流动是定常不可压缩流动；3) 不考虑流体中的粘性耗散和质量力。 在作上述假设后，计算区域的控制方程如下： 连续性方程： ∂ u i ∂ x i = 0 (4) 动量方程： ∂ ∂ x i ( ρ u i u k ) = ∂ ∂ x i ( μ ∂ u k ∂ x i ) − ∂ p ∂ x k ， ( k = 1 ， 2 ， 3 ) (5) 边界条件： 在x-y-z直角坐标系中，边界条件的数学表达式如下： 进口(Inlet)处：通过UDF施加充分发展的入口速度，其公式如(6)所示： u in = u c ( 1 − r 2 R 2 ) ， v = w = 0 (6) 式中，u c 是圆管中心的速度。 出口(Outlet)处： ∂ u ∂ x = ∂ v ∂ x = ∂ w ∂ x = 0 (7) 在测试段圆管壁上，速度为无滑移边界条件： u ( x ， y ， z ) = v ( x ， y ， z ) = w ( x ， y ， z ) = 0 (8) 入口段和出口段圆管壁上，速度为无滑移边界条件。 在与基带和涡产生器接触面上，速度为无滑移边界条件： u ( x ， y ， z ) = v ( x ， y ， z ) = w ( x ， y ， z ) = 0 (9) 参数定义： 雷诺数Re和阻力系数f定义为： R e = ρ u m D μ ， f = 2 Δ p D ρ u m 2 L 2 (10) 式中，L 2 是计算域中测试段圆管的长度，Δp是测试段的压降，u m 是光滑圆管进口截面的平均速度。 流动阻力系数计算公式为： f 0 = 64 / R e (11) 绝对涡通量的定义式为 [ 12 ] [ 13 ]： J ABS n = ∬ | ω n | d A / A (12) J ABS n = ∬ | ω n | d V / V (13) 式(12)为截面上的绝对涡通量，式(13)为计算区域流体的绝对涡通量。 二次流强度的定义式为： S e = ρ J ABS n D h 2 / μ (14) 2.4. 网格划分 本文利用ANSYS ICEM软件对圆管内置涡产生器模型进行网格划分。采用“先面后体”的划分网格思路，首先在进口或出口面上的划分面网格，然后由面网格拉伸成体网格，具体方法为：1) 模型导入ANSYS ICEM软件之后，对模型进行拓扑处理，检查模型是否完整；2) 对模型进口进行面网格划分，得到圆柱面上的面网格。3) 将已经划分好的面网格沿着引导线进行旋转拉伸，得到内置涡产生器管内结构块的分布。4) 将得到的结构化块的点线面与建立的模型的点线面进行关联，得到的初步网格示意图。5) 细化网格。调整网格节点数量，生成高网格质量的网格。为了清楚表示圆管壁面处与涡产生器处的网格分布，本文截取两组涡进行展示，如图4所示。 图4. ICEM划分的网格示意图
system: [SYSTEM]

user: 3. 网格独立性考核及算法考核 3.1. 网格独立性考核 对Re = 400时圆管内插扭曲涡产生器(T r = 4， S t /W = 0.989， B/W = 0.578， W b /W = 0.3， β = γ = 60˚)管内流体层流流动的数值模拟结果进行了网格考核，不同网格数下的计算结果如表2所示。经考核，在计算层流状态时圆管内插扭曲涡产生器管内流体流动特性时采用的网格为网格3。 Table 2 Grid independence tes 序号 网格数量 f Δε 网格1 1，310，744 0.6639 −0.31% 网格2 913，996 0.6662 0.03% 网格3 1，066，100 0.6660 0% 表2. 网格独立性考核 3.2. 数值结果准确性验证 本文对光滑圆管管内层流流动进行了数值模拟，并将模拟结果与公式(11)的计算结果进行了对比验证，对比结果如图5所示。通过对比，说明本文所采用的数值模拟方法是可靠的。
system: [SYSTEM]

user: 4. 数值结果分析 4.1. 涡产生器形状对平均阻力系数与二次流强度的影响 如图6所示，内插不同形状涡产生器的管内二次流强度与阻力系数随雷诺数的变化。如图6(a)所示，随着雷诺数Re增加，内插不同形状涡产生器管内流体的阻力系数f逐渐变小。Re = 50~800范围内，涡产生器形状对管内流体的阻力系数f影响很小。如图6(b)所示，随着雷诺数Re增加，内插不同形状涡产生器管内流体的二次流强度Se逐渐变大。Re = 50~200范围内，不同形状涡产生器的二次流强度基本相同；Re = 200~800范围内，不同形状涡产生器的二次流强度发生变化，等腰梯形涡产生器的二次流强度逐渐高出其他三种形状，但都呈现增大的变化趋势。 图5. Nu m 和f模拟结果与经验公式的比较 图6. 平均阻力系数与二次流强度随雷诺数Re的变化 图7为Re = 400时，管内置不同形状的涡产生器后流体的流线图。如图所示，流体通过入口段的光滑圆管内，流体流线是一簇平直的线条，在流经测试段时，由于扭曲的基带和涡产生器的限制和影响，流体沿着基带和涡产生器之间的空间做螺旋运动。涡产生器形状的不同导致流体的混合程度不同，流线形状也不相同。流体流经出口段后，受扭带和涡产生器影响，流体仍做螺旋运动，随着出口段的延长，流体又恢复到入口时的运动状态。 图7. Re = 400时，管内插不同形状涡产生器后流体流线图 为了具体分析涡产生器对流体流动的影响，下面将对内置不同形状涡产生器的管内流体流动的局部阻力系数和二次流强度进行分析。 4.2. 涡产生器形状对局部阻力系数和二次流强度的影响 图8为Re = 400，x = 0.19~0.334m范围内，内置不同形状涡产生器对管内流体流动方向上局部阻力系数和二次流强度的影响。由于涡产生器排布的周期性，沿流体流动方向的局部阻力系数和二次流强度呈现出周期性变化。图8(a)为内置不同形状涡产生器管内流体的局部阻力系数随流体流动的变化曲线。内置不同形状涡产生器的管内流体的局部阻力系数在流动方向上呈现周期性下降的变化趋势，而涡产生器的形状对管内流体沿流动方向的局部阻力系数影响较小。图8(b)为内置不同形状涡产生器诱导管内流体产生的二次流在流体流动方向上的变化趋势。不同形状的涡产生器诱导管内流体产生的二次流呈现周期性上升趋势，这说明管内流体产生的涡会随着流体流动向后传递。在x = 0.19~0.334m范围内，等腰梯形涡产生器诱导产生二次流最强，直角梯形涡产生器次之，矩形涡产生器诱导产生的二次流最弱。 为了更好地研究每一个涡产生器对管内流体流动的影响，选取5号涡作为研究对象进行分析。如图9所示为沿流体流动方向上涡产生器的编号及5号涡不同位置的截面分布。 图8. Re = 400时，涡产生器形状对局部阻力系数和二次流强度的影响 图9. 截面位置图 图10所示为Re = 400时，内置等腰梯形涡产生器管内流体沿流动方向上截面的流线图。在x = 0.261 m的截面上，基带诱导流体旋转流动；随着流体沿主流方向不断流动，流体流进布置有涡产生器的区域，涡产生器和基带区域的流体出现小的漩涡，此时漩涡靠近管壁位置且处于基带两侧，如图10(c)所示；当流体流进涡产生器中间区域时，基带两侧的漩涡开始向管子中心位置移动，如图10(d)所示；在之后的流体流动区域，流体又恢复到流体进入涡产生器区域之前的流动。这说明涡产生器可以改变局部流体区域的流动，使得流体能够产生更加强烈的旋转流动。 图10. 管内不同位置流线图 图11所示为Re = 400，x = 0.270 m时，内置不同形状涡产生器管内流体流动的流线图。在x = 0.270 m处，内置不同形状涡产生器后，圆管内流体在涡产生器区域的流线分布发生变化。与矩形涡产生器和平行四边形涡产生器相比，内置等腰梯形涡产生器和直角梯形涡产生器的管内流体在涡产生器区域都产生了小的漩涡，并且漩涡分布于涡产生器的两侧。这说明不同形状的涡产生器可以改变管内流体的流动状态，使管内局部流体再次发生旋转。 图11. x = 0.270 m，内置不同形状涡产生器管内流体的流线图。(a) 等腰梯形涡产生器；(b) 矩形涡产生器；(c) 平行四边形涡产生器；(d) 直角梯形涡产生器 图12所示为Re = 400时，5号涡的不同位置二次流强度云图。如图所示，对于同一种形状的管内流体流动，在仅有基带的位置，二次流主要分布在管壁处；在基带和涡产生器组合处，管壁的二次流逐渐增强，且基带和涡产生器也产生了二次流。结合图10不同位置的流线图，发现流线发生变化时，二次流强度也发生变化。涡产生器诱导流体在涡产生器两侧产生小的漩涡，导致二次流增强。这说明涡产生器可以诱导产生较强的二次流。 图12. 管内不同位置二次流分布云图 图13. x = 0.270 m，不同形状涡产生器二次流分布云图。(a) 等腰梯形涡产生器；(b) 矩形涡产生器；(c) 平行四边形涡产生器；(d) 直角梯形涡产生器 当x = 0.270 m时，不同形状涡产生器导致管内二次流强度分布如图13所示。在管壁处，矩形涡产生器诱导的二次流主要靠近涡产生器处，其他三种形状的涡产生器诱导的二次流存在于管壁各个位置；在基带部分，等腰梯形涡产生器和直角梯形涡产生器诱导的二次流在基带两侧都存在，而矩形涡产生器和平行四边形涡产生器诱导的二次流只存在于基带一侧。
system: [SYSTEM]

user: 5. 结论 本文对内置不同形状的扭曲涡产生器的圆管管内层流流动进行了数值模拟，分析了涡产生器形状对管内层流流动特性的影响。得到的主要结论如下： 1) 在Re = 200~800范围内，在扭带裁去部分面积相同的情况下，等腰梯形涡产生器诱导产生的二次流最强，直角梯形涡产生器次之，矩形涡产生器最差；涡产生器的形状对管内流体的平均阻力系数影响较小。 2) 涡产生器的形状对管内流体沿流动方向的局部阻力系数影响较小；管内诱导产生的局部二次流大小依次为：等腰梯形涡产生器 > 直角梯形涡产生器 > 平行四边形涡产生器 > 矩形涡产生器。 由于管壁和涡产生器共同作用，靠近管壁的流体会产生更强的二次流；沿着流体流动方向，涡产生器区域的二次流强于基带区域；涡产生器可以诱导产生漩涡。
system: [SYSTEM]

user: 摘要 十二指肠降部息肉是一种较少见的胃肠道肿瘤，常无临床症状，通常在内镜检查中无意发现。由于十二指肠解剖位置的特殊性，使得内镜下治疗难度增加。我科曾收治一名十二指肠降部巨大息肉患者，综合评估后行内镜下分片粘膜切除术，手术效果良好，现报告如下。
system: [SYSTEM]

user: 1. 引言 十二指肠降部息肉发病率较低，近年来随着内镜技术的不断发展及普及，其诊断率逐渐提高，为内镜下治疗提供机会。本例十二指肠降部巨大息肉是较为少见的疾病，经全方位评估后行内镜下分片粘膜切除术(endoscopic piecemeal mucosal resection， EPMR)，为患者提供良好的预后。
system: [SYSTEM]

user: 2. 病例介绍 患者女，32岁，因“间断上腹痛1年余”于2020-08-25入住我科。患者1年余前无明显诱因出现上腹痛，为间断性胀痛，伴恶心、呕吐，呕吐物为胃内容物，伴反酸、烧心，偶有心慌、乏力。自行口服药物治疗(具体不详)未见好转。于当地医院行全腹 + 盆腔CT：十二指肠降段区软组织密度影，建议进一步检查，肝左叶囊性低密度灶，盆腔少量积液。电子胃镜检查，结果示：十二指肠球部未见异常，降部可见1处巨大隆起型病变，胃镜不能达到下限，表面粘膜充血，呈结节状。镜下诊断：十二指肠占位，性质？病理结果示：(十二指肠)炎性息肉，建议手术治疗。遂来我院就诊，以“十二指肠占位”收入我科。患者既往体健。入院查体：T36.3℃ P85次/分 R18次/分 BP110/76 mmHg。神志清，精神可，腹部平坦，对称。腹软，上腹部压痛，无反跳痛，未触及包块，肝脾肋下未及，Murphy征阴性，移动性浊音阴性，肠鸣音约4次/分。入院后完善相关辅助检查，结果示：血常规：血红蛋白145 g/L，白细胞计数3.5 × 10 9 /L，电解质：血钾3.32 mmol/L，血生化、血凝、血脂分析、女性肿瘤标志物、传染性标志物、大小便常规均未见异常。行电子胃镜检查，提示十二指肠乳头上方见一处约40 × 45 mm巨大广蒂息肉(见图1)。但由于病灶较大，内镜操作空间小。加之十二指肠肠壁组织薄弱，血管丰富，紧邻胆道系统，易穿孔、出血等严重并发症，无论示内镜下切除还是外科手术都属于高难度手术。考虑患者青年女性，外科手术切除后严重影响患者生活质量，与家属及患者充分沟通手术风险及并发症后，同意尝试行内镜下分片粘膜切除术。 排除手术禁忌，完成术前准备，于2020-08-27行内镜下治疗，进镜至十二指肠降部近端见一处约40 × 45 mm不规则带蒂息肉(见图2)，无法完整观察病变，给予圈套器分叶切除头端，粘膜下注射玻璃酸钠–生理盐水混合液后，圈套器分次切除蒂部，止血钳处理创面(见图3)。术后创面规整，观察无出血、穿孔等并发症后退镜。手术顺利，安返病房。术后行上腹部CT动态增强扫描：肝左内叶肝缘异常低密度影，假病灶可能性大，肝左叶囊肿，十二指肠降段壁略厚，请结合胃镜检查(见图4)。术后病理诊断：(十二指肠降部巨大息肉)绒毛状–管状腺瘤(见图5)，未累及蒂部。给予抗感染、抑酸、补液等治疗后好转出院。 图1. 术前胃镜所见 图2. 术中所见 图3. 术后创面 图4. 术后上腹部增强CT所见 图5. 术后病理(光镜400×倍)
system: [SYSTEM]

user: 3. 讨论 十二指肠息肉是十二指肠占位性病变中最常见的疾病 [ 1 ]，多数患者无明显症状，少数患者表现为上腹痛、呕血、黑变等。多发生在十二指肠球部，且多为炎性或增生性息肉，恶变率低 [ 2 ]。本例十二指肠降部腺瘤样大息肉是较为少见的疾病，国内外罕有报道。腺瘤样息肉多发生在十二指肠乳头附近，又分为管状、绒毛状、混合型等类型，癌变率高，被认为是癌前病变 [ 3 ]。十二指肠肠腔狭窄、位置固定、肠壁薄，毗邻胰腺、血管丰富，内镜治疗风险大。因此外科手术仍作为大部分十二指肠占位性病变的首选方法。近年来研究发现，内镜治疗可提高手术成功率及患者预后 [ 4 ]。 本例十二指肠降段巨大息肉，因视野及操作空间受限，故采用EPMR分片切除病灶。EPMR是在内镜粘膜切除术(EMR)基础上，不损伤固有肌层组织的前提下，使用内镜将黏膜层分片切除至粘膜下层的深度并回收所切除组织的技术。降低了病灶的切除难度，降低穿孔等并发症 [ 5 ]。相比外科手术，能大大减轻患者痛苦，减少围手术期并发症，降低治疗费用，提高生活质量，成为良性肿瘤、早癌等病变的首选诊疗方法之一。 综上所述，十二指肠降部巨大息肉是较为罕见的疾病，我们应根据患者病情综合考虑，制定详细手术方案，术后加强随访复查，降低远期并发症。
system: [SYSTEM]

user: 声明 该病例报道已获得病人知情同意。
system: [SYSTEM]

user: 摘要 回流焊工艺是表面组装技术SMT的重要一环，决定了电子器件焊接的质量与速度。作为回流焊工艺重要环节，回流焊温度曲线直接影响PCB板的质量。本文针对某回焊炉，通过热传导模型求解出稳定工作时炉内温度曲线，建立了基于Transient Thermal的回流焊温度曲线仿真模型，优化包括温区温度设定以及传送带速度的因素。根据得到的仿真实验数据，通过逐步回归，分析出制程界限与各因素的关系，在制程界限下通过仿真建模，求解出最优的回流温度曲线。最后求出传送带速度为82.44 cm/s，五大温区温度设置分别为165℃、185℃、225℃、265℃、25℃，进一步优化了回流焊温度曲线。对比传统的反复实验调整，基于Transient Thermal的仿真建模方法可以在更高效率下得到更精确地优化控制。该方法能以其高效率与低能耗的优势，更好为回焊炉参数设置提供决策支持。