Logic Programs,Compatibility and Forward Chaining Construction

Logic programming under the stable model semantics is proposed as a non-monotonic language for knowledge representation and reasoning in artificial intelligence. In this paper, we explore and extend the notion of compatibility and the Λ operator, which were first proposed by Zhang to characterize default theories. First, we present a new characterization of stable models of a logic program and show that an extended notion of compatibility can characterize stable submodels. We further propose the notion of weak auto-compatibility which characterizes the Normal Forward Chaining Construction proposed by Marek, Nerode and Remmel. Previously, this construction was only known to construct the stable models of FC-normal logic programs, which turn out to be a proper subclass of weakly auto-compatible logic programs. We investigate the properties and complexity issues for weakly auto-compatible logic programs and compare them with some subclasses of logic programs.     

实践NOC活动 培养信息技术创新小能手

以"为每位学生的终身学习和自主发展奠基"为办学理念的重庆市经开札嘉中学,在近几年更加注重学生信息技术素养与创新实践能力的培养,尤其对NOC活动给予了高度的重视.200眸4月,经N0c全国组委会的严格审定,学校被批准为全国中小学信息技术创新与实践活动实验基地.     

基于偏振调节的太赫兹量子级联激光器双光梳研究

太赫兹量子级联激光器（THz QCL）双光梳在光谱检测、测距、成像等领域具有重要应用。双光梳信号严重依赖THz耦合光功率。利用THz QCL激射光为线偏振光的特性,在双光梳光路上插入线偏振片,通过旋转偏振片以达到对THz光强进行调节的作用。系统研究了THz QCL双光梳谱和功率与偏振角度的依赖关系,为实现高稳定THz双光梳光源与应用奠定基础。     

基于改进LDA和CNN的网络入侵聚类

提出了一种基于改进线性判别分析和近邻法的网络入侵聚类方法,运用改进的线性判别分析方法对网络入侵样本特征进行降维处理,使用近邻分类器对数据进行聚类。该算法降低了算法的聚类时间,还提高了算法的聚类能力。实验结果表明,相比其他模型,该算法有较高的检测率和较低的误警率。     

一种无接触供电的无线鼠标

介绍了一种无接触供电的无线鼠标设计电路,无接触电能发射装置采用USB供电,通过自激振荡电路产生了138 kHz的高频振荡电压;无接触电能接收装置采用感应耦合方式获取电能.无线鼠标用无线模块nRF24E1构成信号发射和接收电路,该电路除具备有线鼠标全部功能外,还可以离开电脑远距离灵活操纵鼠标.     

用接触式三坐标测量机进行逆向工程的方法研究

分析了逆向工程中自由曲面的反求过程，对接触式和非接触式测量方法进行了比较。针对工程实际应用的要求，提出了一种精度可控、测量过程能够自动进行的数字化方法，在此基础上，完成了实物的曲面重构，并获取了实物样件的CAD模型。     

利用ISA Server实现机房网络管理

为了更好地实现机房网络管理,结合学校机房的实际情况,采用ISA(Microsoft Internet Security &Acceleration Server 2000)作代理,对微机如何进行网络配置、权限控制、访问控制等进行了讨论,从而实现机房网络控制管理.     

面对亚洲金融危机：硅谷能否持续繁荣?(二)

亚洲是最易受到冲击的地区。早在亚洲金融危机开始之前,日本、韩国、我国台湾省以及新加坡的制造商侵略性的扩张就已导致了芯片市场的生产过剩和产品价格的大幅度下降。接下来,亚洲经济的崩溃又大大限制了芯片市场的增长,并迅速殃及美国市场。然而美国与亚洲高技术公司的相互依存也并非症结的全部所在。80年代后期美国的半导体工业开始受到日本的严重威胁,于是美国公司建立起了所谓的“跨国生产网络”,这一生产网络的建立,旨在恢复美国在半导体工业中的领导地位。但实践证明,由巨大的跨国公司进行直接投资并集团式拥有市场的旧生产模式极不灵活。新的发明与技术上的改进促进了芯片生意的盲目加速,在这一环境中,“非集中化”的生产模式为拼抢时间常常会严重地扰乱市场。除规模不同之外.台湾省与硅谷之间有很多相似之处。台湾省的发展史主要是一部非集中化生产的历史。与亚洲其它地区相比,台湾省更具创新精神和适应能力,这一点与硅谷十分相似,而且如今的台湾省已越来越象硅谷。台湾省人是硅谷中最积极的投资者,许多台湾省芯片公司都与它们在硅谷中的芯片设计伙伴共同开     

国家信息安全添保障——CISTECC成立

以对我国互联网络中使用的信息安全产品和系统进行测试、评估和认证的中国互联网络安全产品测评认证中心(CISTECC),于7月25日在京正式挂牌运行,该中心将在确保我国的互联信息安全方面起到重要作用。     

iMac:爱也是它,恨也是它

iMac“又回到了塑料外壳的时代”?你大概会这么说,因为第一次亲眼看到它的塑料机壳后,我认为iMac的外观给人的感觉是好象从桌子上掉下来就不能再用了。由于第一代iMac在日常生活中的推拉中会受到损坏,我很想了解其机箱的质量水平,同时也想了解Apple制定了何种选择方案,维修或更换看起来无法避免的机壳裂缝。一段时间以来,计算机制造商一直在不断用金属材料取代计算机机箱的塑料材