若干限制形式的缺少推理的复杂性

该研究判定一字是否出现在缺省理论〈Ｄ,Ｗ〉的某一扩张中的复杂性,其中,Ｄ是一种Ｈｏｒｎ缺省规则,而Ｗ是ｄｅｆｉｎｉｔｅ公式或Ｂｉ－Ｈｏｒｎ公式。     

带有挠性附件卫星的自适应内模控制

挠性部件诱导的振动干扰有时严重影响大型卫星姿态指向和稳定度。为了保证姿态控制的高精度和高稳定度,本文导出了带有“拍打”运动的挠性卫星数学模型,并指出模型的不确定性;给出了卫星姿态控制器的基本形式,分析了控制器参数的选取准则以保证姿态控制系统的稳定性;进而利用在轨辨识在线修正控制器参数形成了卫星姿态的自适应内模控制器。分析和实验表明,本文提出的自适应内模控制器能够有效提高大型卫星的姿态指向精度和稳定度。     

护航电子商务

在Internet的冲击之下,商业地域的限制和以往的竞争格局已被打破,电子商务成为当今企业不可避免的选择。那么,如何保护企业在复杂的网络交易环境中不受侵害呢?请看——     

防火墙能否防病毒

防火墙（firewall）群体计算机与外界通道(Internet)之间,限制外界用_户对内部网络访问及管理内部用户访问外界网络的权限。     

请再给我点儿时间：手工去除共享软件的时间限制

大家都知道,许多共享软件都会有使用时间上的限制(也有部分软件是使用次数上的限制,其机理是差不多的)。在第一次使用该软件时,它会告诉您这是一个Shareware(共享软件)或是Trial Version(试用版),您有XX天的试用时间(一般为30天左右)。在试用期间内,您可以享受部分和全部的功能。当然,这期间内它也会经常不厌其烦地提示您,请您购买正式版本,或     

道路光污染自动限制装置

夜间行驶中的汽车在与对面车会车时,双方不主动进行远近灯光切换,使得对方驾驶员炫目,精力不集中,严重影响着道路交通的行车安全,形成危害极大的道路光污染.本文阐述的道路光污染自动限制装置,使会车时自动完成会车变光,从技术及设备层面上提高了夜间行车的安全.该装置的电路由脉冲形成源、压频变换器和光耦与功率开关三部分组成.试验表明该装置灵敏,可靠,车灯光照度随着外界灯光的不同自动平滑调节,极富人性化,市场推广应用前景广阔,具有很高的社会价值与经济价值.     

Google地图搬回家

在能够连接到网络的情况下,我们固然可以用Google Earth来查看地理位置。但如果旅游在外,无法连接互联网怎么办？其实你完全可以早做准备,用“卫片快车”（下载地址：http：／／www．aaaasoft．com／wpkc／download／wpkc_setup．exe）这款工具将Google地图下载回家,这样你就可以想看就看,不受网络限制。     

尼康D70、D70s、D80 万元武装尼康“三剑客”

很多影友都想知道高手是怎样配器材的,想知道自己的器材配置是不是最佳组合。这一期我们选择了拥有众多粉丝,并且近几个月为争夺市场,多次调整价格的尼康D80,以及同属于入门级的早期数码单反相机D70、D70s。现将几位影友的直接使用感受和建议呈献出来,希望对大家配机有所启发。同时我们也推选两款性价比较好的镜头组合,大家可作参考:适马17-70mm Macro F2.8-4.5 DC ASP.IF(3200元)尼康AF-S80-200F2.8DIF-ED(6500元)如有确定创作方向的影友,还需根据实际需要有目的地去武装。(本文所标注价格均为市场参考价格)     

网络

对付病毒附件最安全的方法还是通过杀毒软件来解决,现在绝大多数杀毒软件(例如金山毒霸、NOD32、卡巴斯基等)都支持直接检测邮件中的病毒功能,只要在这些杀毒软件中开启这项功能,当接收或是发送邮件时,杀毒软件会自动检测邮件,如果有病毒它们便会自动清除病毒。