MXX和MARG中公式改名的复杂性

研究了判定问题“对于命题CNF公式F和H,是否存在一个变元(或文字)改名(?),使得(?)(F)=H?”的复杂性．对于极小不可满足公式的子类MAX和MARG,我们证明了:其变元改名和文字改名的复杂性等价于图同构问题GI．     

MAX+(k)中公式改名的多项式时间可判定性

MAX^ (k)是极小不可满足公式的一个子类。作者引入了MAX^ (k)中公式的一种递归构造方法,基于分裂技术并通过证明MAX(1)中公式改名问题在多项式时间内可以判定。证明了MAX^ (k)中公式的改名问题在多项式时间内可以判定。     

MU(1)内公式改名的多项式可判定性

研究判定合取范式公式F和H之间是否存在一个改名φ使得φ(F)＝H的计算复杂性。公式的改名是将命题变元映到变元本身或变无的否定的一个映射，对于极小不可满足公式的子类射MU／(1)中的公式，我们证明了其改名判定问题在多项式时间内是可判定的。     

DOS子目录的加密与改名

本文提供一种在没有任何工具软件的情况下,通过改变子目录属性。达到子目录加密与改名方法。     

期刊的改名与管理浅议

期刊的改名是改革开放以来中国期刊发展中的一个特殊现象 ,给图书馆的期刊管理带来了种种不便。而加强责任心 ,细化管理制度是化解这些不便的基础 ,抓住期刊的 ISSN和 CN号是化解的关键 ,而实现期刊管理的自动化是化解的最佳手段     

C++函数重载实现方法剖析

目的剖析C 中重要语法函数重载的实现机制,应用获得的结果,分析C 和C语言中的相关语法特征。方法采用Visual C 为实验工具,利用编译器生成的COD文件,对源代码和相应的汇编代码进行比对、归纳,得出结论。结果获得了C 函数重载的实现方法的关键策略,获得了关键策略中的部分编码规则,解释了相关语法现象。结论改名策略是C 函数重载实现机制的关键,也是实现C 中类型安全的链接的特征的基础,可以利用该实现策略对C语言中函数的相关语法进行解释。     

仿真褶皱材质在3DS MAX虚拟现实中的应用

材质是利用3DS MAX制作室内外效果图的重要环节,褶皱材质是3DS MAX材质中的一个分支,它可以体现虚拟物体的仿真效果。文章通过对Bump（凹凸贴图）和Displacement（置换贴图）的探讨,对褶皱材质两种不同的制作方法进行了详细的分析,并为在虚拟现实中制作具有仿真性的褶皱材质提供了解决办法。     

使用MAX＋PLUS II进行数字电路模拟仿真时常见问题与解决方法

MAX＋PLUSII是altera公司推出的第三代开发工具软件,该软件提供了灵活、高效的界面,设计者无需精通器件内部的复杂结构,只需用自己熟悉的设计输入工具（原理图、波形图和硬件描述语言等）进行设计输入,MAX＋PLUSII将这些设计转换成目标结构所要求的格式,从而使设计者能够轻松掌握和使用MAX＋PLUSII软件。     

基于Virtools技术的钻井三维场景动态仿真

针对采用3D MAX、Flash和OpenGL等工具开发钻井三维场景的不足,提出一种3D MAX和Virtools技术相结合的钻井三维场景开发方法。利用3D MAX建模软件构建复杂的钻井设备模型;在Virtools平台下以nmo文件形式调用模型,并利用行为模块（BBs）控制各模型在三维场景中平滑的运动,实现了井场环境的动态仿真。该方法简单,易实现,具有一定的推广价值。     

逼近MAX 3SAT-2问题的难解性（英文）

证明了逼近MAX 3SAT-2问题在某个常数因子内是计算难解的.首先引进了一种保留近似算法难解性的K-归约的概念;然后给出了一个从MAX 3SAT问题到MAX 3SAT-2问题K-归约.因为逼近MAX 3SAT问题在某个常数因子内是计算难解的,所以逼近MAX 3SAT-2问题在某个常数因子内是计算难解的.这样作为推论也可以得到逼近MAX 3SAT-3问题在某个常数因子内是计算难解的,简化了以前关于逼近MAX 3SAT-3问题难解性的证明.     

正交信号发生器的设计与实现

描述了基于AT89C52单片机、锁相环和开关电容滤波器的正交信号发生器的设计和实现方法.单片机产生方波,通过数字接口实现相位差为90°的方波,再通过两个8阶BUTTERWORTH低通开关电容滤波器MAX295对双路方波进行滤波,从而产生正交的正弦波.MAX295的时钟由锁相环倍频产生.采用连续时间滤波器抑制采样时钟的影响.频率覆盖范围0.1~20 kHz.频率和相位误差小于1%.     

MAX7221的原理与应用

MAX7221是串行接口八位LED驱动芯片.文章介绍了MAX7221的工作原理,性能特点,典型应用,及MAX7221和PIC单片机的硬件连接方法.     

一种基于SPCE061A单片机的信号发生器

本系统由单片机控制模块、键盘、LCD数码显示屏、DAC输出电路、MAX038和末级放大电路构成。用单片机和MAX038产生频率可调电压可调、稳幅正弦波、方波、三角波。整个系统结构紧凑,电路简单,功能较大,可扩展性强。     

RS(255,239)码编码器的设计与实现

分析研究了 RS码的编码原理 ,使用 MAX+PLUSII软件和 VHDL硬件描述语言 ,采用自顶向下设计方法设计 RS(2 5 5 ,2 3 9)码编码器 ,并装入一片到 Altera公司的 FPGA芯片 EP1 K3 0 TC1 44 - 3 ,而且就工作频率和器件面积问题对设计进行了改进 .     

MAX8695在TD-SCDMA 3G终端设计中的应用

MAX8695是美国MAXIM公司专为3G手机设计的电源管理芯片,该芯片为3G终端提供了完整的电源管理方案,简化了手机设计方案。重点介绍了MAX8695的架构、工作原理,并给出了其在3G终端中的硬件和软件参考设计,对实际的开发具有很强的实用参考价值。     

基于MAX+PLUSII的异步电动机软起动过程的仿真

用FPGA实现异步电动机软起动.通过MAX+PLUSII软件用VHDL语言对FPGA进行编程,并在MAX+PLUSII/SIMULATOR中进行了仿真,给出了仿真结果.     

基于McBSP的TMS320C6416 RS485通信的实现

为了解决TMS320C6416与RS485总线设备间的接口问题,提出了一种基于多通道缓冲串口(McBSP)与MAX485的扩展方式。简要介绍了TMS320C6416的McBSP接口和MAX485芯片,并结合各自的特点提供一种基于标准McBSP的异步串行通信方案。该方案软、硬件设计简单,易于实现。