对高职计算机基础教育的思考

分析了高职院校学生的特点和高职院校计算机基础教育存在的不足.联系"三元制"教育模式和协作学习理论,讨论了改善计算机基础教育的措施.     

基于相似函数与相似网络的可逆网络化简

提出了可逆函数的相似函数及可逆网络的相似网络,在此基础上构建了可逆网络化简方法。由可逆函数求出其所有的相似函数,对每个相似函数利用可逆逻辑综合算法生成可逆网络,再将其转换成对应的相似网络,并从中选取最优。该网络化简算法实现了生成三变量全部可逆函数和多变量可逆函数的可逆网络,与相关文献及Benchmark中的例题相比,构造可逆网络的门数较少,具有一定的优势。     

基于价值流的汽车座椅滑轨生产线分析与改善

以华瑞汽车座椅滑轨生产线为例,论述了应用价值流图技术进行生产现场系统改善的过程.首先根据该厂生产线现状和价值流图的符号,以可视化的方式描述生产线的现状,然后结合工业工程的基本分析方法,找出了该厂生产线中所存在的设施布置、搬运、等待、设备不足等制约产能的瓶颈问题,区分了生产中的增值和非增值的环节.最后寻找消除这些浪费环节的方法,对生产线按精益原则布置,绘制出了未来状态图,帮助管理者准确地拟定未来的改善方案.通过生产过程的实施带来产能和经济效益显著变化.     

下井仪器数字接口的可靠性设计

在数控测井仪中,下井仪器常设有数字接口电路。该电路主要是对下井仪器所采集的信号进行数字化处理,同时也要对从地面传输到井下的指令进行分解处理。在井下高温高压的环境下,为了保证测井质量,要求该数字接口具有较高的模数转换精度,这就必须要有可靠性措施来保障。文中以双侧向微球形聚焦组合下井仪的数字接口为例,介绍了提高该数字接口的可靠性,保证其高精度的设计方法,包括简化设计、补偿设计等。该数字接口已通过高温试验及与双侧向下井仪联调。试验结果表明仪器的高温性能达到了设计要求。     

基于关联选择的可逆逻辑综合算法

可逆逻辑综合是可逆计算的重要内容,为了解决可逆逻辑综合中可逆电路构造和优化问题,提出一种基于关联选择的可逆逻辑综合算法及相应的优化算法.将可逆函数用真值表表示,按真值表从上往下的顺序综合,并若干相关联变量作为综合的目标位,分别计算相对混乱度和绝对混乱度,以最小混乱度原则选取可逆逻辑门.该算法及其优化算法的时间复杂度为O(n2×2n),空间复杂度为O(n×2n),优于最佳算法的空间复杂度O(2n!).通过C++语言实现对3变量全部函数及部分4变量函数的综合,并与其他可逆逻辑综合算法的结果及benchmark范例比较,结果表明平均门数均具有一定优势.     

基于Ionic的高校学生信息自助维护系统设计

This paper analyzes the major subjects faced by college students' information processing and maintenance in the informa- tion era and puts forward Ionic and other front-end technologies to design and implement the self-maintenance of Android APP sys- tem with student information. The system mainly realizes student information inquiry and filling, and simplifies the process of stu- dent information collection and processing during the epidemic. Ionic's cross-platform advantage is utilized to provide a strong refer- ence for the design model of application service in the smart campus constructions of colleges.     

浅层稠油油藏汽窜通道治理工艺技术研究与应用

在油田二次开采过程中,随着吞吐轮次的增加,由井距、油藏物性、原油物性、蒸汽物性等所导致的汽窜干扰现象日益普遍,严重地制约着油田采收率的提高。结合克拉玛依油田九区油藏汽窜干扰特征,研制出适合该区油藏的新型高温调堵技术,并在现场试验中取得了较好的封堵效果。     

基于最小混乱度的三值可逆逻辑综合算法

 三值可逆逻辑综合是可逆逻辑综合的延伸和扩展.为了简化可逆网络,提高三值可逆逻辑门的通用性,对现有三值可逆控制门控制位的生效值扩展为0、1和2.在此基础上提出了基于最小混乱度原则的三值可逆逻辑综合算法.该算法根据三值可逆函数计算其对应真值表中每个变量的相对混乱度和绝对混乱度,以最小混乱度原则选取三值可逆逻辑门,直至真值表中的每个变量的混乱度为零,得到三值可逆网络.该算法的时间复杂度为O(n²×3ⁿ),空间复杂度为O(n×3ⁿ).实验结果表明,与现有已知算法对比,平均门数更少.     

一种通用的可逆比较器级联方法

可逆数值比较器是可逆计算机中诸多运算器中的重要组成部分。为了提升可逆比较器的通用性,进一步优化可逆比较器电路。分析了比较器的输入与输出的逻辑关系,提出并设计了一位可逆比较器(OBC)和一位可逆完全比较器(OBCC)。在此基础上将这两种器件进行级联,可以快速生成通用可逆比较器的级联电路.与相关文献对比,该级联方法有效的减少了常量输入和垃圾输出的同时,具有较低的量子代价,易于完成多位二进制数值在可逆电路中的比较。