基于LBDL逻辑的抗DPA攻击电路设计方法

动态差分逻辑是一种典型的电路级差分功耗攻击(DPA)防护技术.这种技术通过使逻辑门保持恒定的翻转率来降低电路功耗与数据信号之间的相关性.介绍了一种新型的、基于查找表(Look-Up-Table,LUT)结构的动态差分逻辑(LBDL),以及基于这种逻辑的集成电路设计方法.该设计方法仅需在传统的半定制设计流程中添加少量的替换操作就可以实现 ,因而比其他完全需要全定制设计的动态差分逻辑具有更好的实用性.而相对同样适用于半定制实现的动态差分逻辑 WDDL(Wave Dynamic Differential Logic),LBDL逻辑解决了逻辑门翻转时刻与数据信号之间的相关性,从而比WDDL逻辑具有更好的功耗恒定性.实验结果表明,该设计方法能够有效实现具有抗DPA攻击性能的电路.     

浅谈提高工控系统抗故障能力的措施

可编程逻辑控制器PLC（Programmable Logic Controller）是计算机技术与继电器控制技术相结合的产物,具备逻辑控制、定时、计数等功能。它采用了计算机存储程序的顺序执行的原理,编程语言主要采用的是直观的类似继电器接触器控制电路图的梯形图语言。在工业控制（PLC）系统中,采用屏避故障设计的思想,可使我们设计的控制系统能在系统某一（或多个）部件出现故障时,使系统对此故障进行有效的屏避,保证整个系统的正常工作。     

基于全局时态逻辑(GTL)的验证和测试生成研究

基于时态逻辑,定义了标准的逻辑操作公式、公理和扩展定理。根据测试生成和验证所要求的初始特性,提出了全局时态逻辑（Global Temporal Logic）GTL,避免了验证和测试中的回溯问题,从而提高验证和测试的效率。另外根据电路节点的扇入和扇出特性,介绍了利用时序线等启发知识来提高搜索策略的方法。     

基于CLP的油料保障决策建模

油料保障约束逻辑程序设计CLP(Constraint Logic Programs)是逻辑程序设计LP与约束问题求解相结合的产物。特定领域的具体知识的获取和建模是CLP应用成功的关键。油料保障决策问题属多约束满足的NP问题。应用CLP建模技术,从具体问题的自然描述导出适于求解的约束过程,自动合成最优算法,这一研究对于快速实现油料保障决策具有重要意义。文中阐述CLP原理及其约束描述方法,并以油料运输CLP模型、油料调拨决策CLP模型和油料保障约束数据库模型为实例,论述基于CLP的油料保障决策建模过程。     

逻辑和面向对象范例集成的研究与实现

提出了结合逻辑和面向对象范例的一种新方法,其特点是在统一的逻辑语义和对象语义解释的基础上,同时支持逻辑语言的描述性特征,和面向对象语言的结构化、信息隐藏、继承等特性;并在逻辑语言的Ｈｅｒｂｒａｎｄ解释基础上,探讨了逻辑对象的语义解释;最后给出了我们根据这种方法设计并实现的面向对象逻辑程序设计系统所提供的对象操作原语。     

逻辑与语言的区别——一种语言结构的逻辑分析

语言是民族习惯的产物,具有较大的随意性,尤其是自然语言;逻辑则是全人类同一的,有较强的规范性。用具有随意性的语言表述具有较强规范性的逻辑,就容易造成二者的不协调。当元语言和对象语言是同种语言时,这种不协调就会造成矛盾。本文分别从逻辑结构与语言结构上对这些“矛盾”的例子加以分析,通过一些实例的解析,得出结论:有些从语言形式表面看起来“矛盾”的语词、语句,实际上并不矛盾。它们只是人们对结构的机械划分或孤立理解语词、语句的语义造成的。逻辑与语言分属不同的研究领域,然而它们紧密相关。对语言的考察离不开逻辑法则,对逻辑的考察也不应撇开语言的历史与现实性。“矛盾”的认定也必须联系多方面的因素。     

基于HNC的命题逻辑推理方法

针对面向自然语言推理中计算机难以准确提取命题并进行符号化的难题,运用HNC(Hieratical Network of Concepts)理论中的语言逻辑概念与句类分析技术,从概念的角度出发,对自然语言描述的推理问题进行理解处理,使计算机能自动提取出推理条件中蕴涵的命题,然后将命题进行公式化处理,最后得到用自然语言描述的结论命题.试验结果表明:该方法能准确理解自然语言中的语义逻辑关系,完成命题逻辑推理.     

评科皮的“歧义”与“混含”——松鼠与猎人

<正>科皮是美国密执安大学的哲学教授,所著《逻辑导论》一书,包含“语言”、“演绎逻辑”和“归纳罗辑”三部分,内容丰富,笔调流畅,真能做到深入浅出的地步,难怪它被各地许多大学采用为教本(我曾从它获到许多启导).     

诗的逻辑欣赏

<正>诗用高度凝炼的语言塑造形象,逻辑则是理性的抽象.用理性的眼光审视跳跃流动的形象——用逻辑来剖析诗,别有文学情趣,似乎更能领会诗中的内涵.也许,诗美与逻辑是密切相关的.     

基于CPLD的异步串行接口芯片设计

针对传统的异步串行接口设计方法,本文提出了通过VHDL语言在CPLD(复杂的可编程逻辑器件)上实现异步串行接口新的设计方法,并通过MAXplus软件对软件仿真验证和硬件实测,结果表明电路性能良好,灵活性强。     

结合逻辑和面向对象范例的一种新模型（SCKE)

逻辑语言和面向对象语言是两种引人注目的知识程序设计语言。如何结合它们各自的优点以支持复杂的知识处理,已成为许多研究者关注的问题。本文首先提出了结合逻辑和面向对象范例的一种新模型SCKE,其特点是在统一的逻辑语义和对象语义解释的基础上,同时支持逻辑语言的描述性特征和面向对象语言的结构化、信息隐藏、继承等性质。本文推广了逻辑语言的Herbrand解释,并由此探讨了SCKE模型的形式语义。文中讨论了实现该模型的基于预编译的元级扩充方法,并论述了SCKE模型的主要特点。     

Analysis of echo signal modulation characteristic parameters on aerial and space targets

Based on the scattering characteristic, the comparison of RCS(radar cross-section) at different positions of a target in the same direction of incidence can be obtained first by extruding or deleting part of the entity. A simulation method of aerial&space targets echo characteristics(A&STEC) is proposed that is universal to aerial and space targets. We utilize a fixed-wing UAV(unmanned aerial vehicle) and typical missiles in simulation. The echo signal modulation characteristic parameter...     

《矛盾》不能作为自相矛盾的典范--兼从语用逻辑视角看《矛盾》

普通逻辑对韩非寓言《矛盾》的解析是含混的、模糊的 ,是违反逻辑的 ;韩非寓言《矛盾》并不能作为自相矛盾的典范。按照语用逻辑的有关规则和语言交际的背景约定等进行分析 ,《矛盾》并不矛盾。对《矛盾》进行严格解析 ,其意义超过了对《矛盾》本身的理解 ,因为这种解析有利于人们的逻辑精神和科学思维方式的培养。     

符号权力与文学语言：布尔迪厄的语言观及启示

自索绪尔开创了结构主义语言学之后,语言似乎逐渐成为了一种独立自足的符号系统。布尔迪厄认为,这种表面上的独立自主实际上是一种＂语言共产主义幻象＂,深藏于这种幻象之下的是语言的符号权力以及交换经济逻辑,认清这些逻辑对于我们认识文学语言具有重要的启示意义。     

类比逻辑与悖论——评黄展骥《辩证派击中形式派的“要害”了吗》

<正>黄展骥教授是香港侨胞,台湾大学毕业,殷海光的入室弟子,周礼全(中国逻辑学会会长)的师侄,从1962年任教香港中文大学到1993年被聘为深圳大学哲学社会科学研究所的兼职教授,三十多年潜心研究逻辑与思维方法论,针对大陆学者的思维模式,提出了他独创的“现实矛盾”理论,我称之为类比逻辑,用来理解他“消解两派逻辑(指辩证逻辑与形式逻辑)纷争与误解的方法”的实质.而《要害》文本,正是他三十年的总结.     

Evaluation method and optimization strategies of resilience for air & space defense system of systems based on kill network theory and improved self-information quantity

Resilience of air & space defense system of systems(SoSs) is critical to national air defense security.However, the research on it is still scarce. In this study, the resilience of air & space defense SoSs is firstly defined and the kill network theory is established by combining super network and kill chain theory.Two cases of the SoSs are considered:(a) The kill chains are relatively homogenous;(b) The kill chains are relatively heterogenous. Meanwhile, two capability assessment method...     

微电子集成电路中的IP核

IP在ASIC(Application Specific Integrated Circuit)及PLD（Programmable Logic Device)的设计和生产中具有重要的作用,IP发为硬IP核和软IP核,它们具有各自的优缺点,文中例举了一种软IP核－RISC8。最新类型的IP核为可配置IP。它是硬IP和软IP的综合。IP复用可以大大缩短芯片上市时间,IP验证对保证复用正确非常重要。     

英语词汇的概念意义与内涵意义

<正>语言是人类交际的主要工具.作为语言最小单位的词首先是用来为物体作标记的,主要表示它与我们这个世界之间的意义关系.一般当我们谈及一个词的意思的时候,我们知道它所指的是它的概念意义(denotation).概念意义是指词的严格的字面上的意义,也就是我们最初在词典词目里找到的意思.例如,有一种鱼叫作胡瓜鱼(smelt),它词典上的定义是:“a small sivery food fish.”你或许会说这是该词最基本、最重要或者甚至是唯一的意义.的确,可以看到词典上的定义是用一些相对应的词语来表示的,而要想表示另一些词义的特征变得越来越难了.请看一下“窗”(window)一词意指什么?换句话说这个词通常描述的基本特性是什么?A."an opening esp in the wall of a building,for admission of light and air that is usu fitted with a frame con-taining glass and cqpable of being opened and shut".     

对《形式逻辑》教材中“概念的种类”的质疑

<正> 现行普通逻辑(形式逻辑)理论系统,都把“概念”作为一种思维形式,与判断(命题)、推理并列成为逻辑形式的主体。鉴于“概念”的地位如此重要,并且“概念”内容中也存在着的许多模糊认识,对“概念”进行深入的理解研究就显得非常必要。本文仅就“概念的种类”这部分内容提出几点质疑。 一、“概念”分类的目的(作用)不明确 现行的所有普通逻辑(形式逻辑)教材中,“概念”都将“概念的种类”作为基本内容来讲述。“概念的种类”的基本内容是根据概念的内涵、外延的一般特征,将概念分别分成单独     

现代国防科技英汉字典(22)

O&M operation and maintenance作战与维护O&S operation and support 作战与支持OASA(RDA) Office of the Assistant Sec-retary of the Army (Research, Develop-ment and Acquisition)负责研发与情报的陆军助理部长办公室OBIDS on-board integrated diagnosticsystems在板集成诊断系统