用MUX实现组合逻辑的卡诺图列解法

本文采用卡诺图列解法来处理MUX组件的地址变量少于待发生逻辑函数变量的设计问题。方法简单易行、适用范围广。尤其是对于含有任意项的逻辑函数中任意项的处理,提供了寻找最佳方案的途径。     

一类图的强最大亏格嵌入

图的嵌入理论是拓扑图论中一个中心课题.图的最大亏格嵌入的刻画和研究已较完善.但对于强嵌入,这方面的讨论却很少.本文对于平面上的不含不交(指无公共节点)圈的图以及完全图K5,利用构造强最大亏格嵌入的方法,给出了强最大亏格.同时,也给出了完全二部图K3,k(k≥3)的不可定向强最大亏格的一个下界.     

集成系统中工艺卡片填写与工序图绘制的研究

利用VBA实现CAD和CAPP系统集成，讨论了基于Word平台进行工艺卡填写，并在此基础上进行工艺卡填写和工序图并行输出的一般问题。工艺文件的填写是在CAPP数据库的支持下，直接读取CAD所提供的CAPP工艺数据文件，经推理机推理自动生产工艺过程；工序图绘制是在特征图表级和参数化绘图原理的基础上进行的。     

图族S_(r(k+m)+1)~ψ∪(rk-1)K_1的补图的色等价性定理

设ψ( k,m)表示把星图 Sk+ 1的 k度点与路 Pm的一个 1度点重迭后得到的图 ,Sψ*r(k+ m) + 1表示把星图 Srk+ 1的 rk个 1度点分别与 rψ( k,m)的每个分支的 k个 1度点 (均邻接于ψ( k,m)的 k +1度点 )依次重迭后得到的图。证明了图族 Sψ*r(k+ m) + 1∪ ( rk -1 ) K1的补图的色等价性及非色唯一性 ,进而推广了这一结果     

Banach空间中一类强非线性发展方程的反周期解

本文讨论一类强非线性发展方程的反周期解的存在性。针对一大类既含有单调非线性算子又含有非单调非线性算子的发展方程。我们巧妙地结合单调算子理论与Leray-Schauder不动点理论，证明了其反周期解的存在性。最后，举例说明理论结果在2m阶拟线性抛物型方向的时间反周期问题中的应用。     

SW规约下的一些性质

本文进一步分析了SW规约下的SW度结构的一些性质,得到了强可计算实数的两个性质.并且证明了给定可计算可枚举实数,可构造出sw归约下不小于该数的低的可计算可枚举实数.     

表达建筑设计思想的重要工具--轴测图

轴测图凭借平行投影的特点，传递着一种模型般的空间感。近年来国外对轴测图的研究开发和利用已达到很高层次。本文从建筑三维构图的角度，对轴测图的教研问题，轴测图与透视图的比较以及关于轴测图绘制手段进行讨论。     

冷却水降温在集中空调系统的应用一例

为了有效降低能耗(尤其是电能),我们将制冷冷却水引入冷媒系统对车间进行降温,在满足集中空调冷负荷的情况下,运用冷却水降温相对制冷机冷媒系统降温节约能耗70%左右,减少制冷机运行时间,取得较为良好的节能效果。     

浅谈数字测图中的几点工作体会

随着电子全站仪及电子计算机的普及,地形图的成图方法正在逐步地由传统的白纸法成图向数字测图方向发展。特别是在我国的东部沿海发达地区,数字测图几乎已占据了大部分的地形图测绘市场。本人从事军事测绘工作20多年,数字测图工作已近2年,就数字成图中的几个方面谈一点个人的体会。     

《图雅的婚事》：图雅的爱情救赎

影片《图雅的婚事》是导演由纯个人化表达向电影故事性转变的探索，因此更注重电影叙事表达和影像表意性。影片贴近于普通人的现实生活，表现真实的生活质感，赞扬人类面对无奈命运时自我救赎的乐观坚忍精神。