一种逻辑电路图的布局算法

本文简述了从硬件描述语言到自动生成逻辑电路图的方法和步骤。在提出了与文献所不同的数学模型的基础上,设计了一种新的自动布局算法。该算法的时间复杂性在一般情况下远小于O(p·n~2)(p为元件列数,n为所有列中最大元件数),并且使连线总长及交叉点个数同时得到改善。本文的结果已在同期研制的逻辑/电路图编辑与自动生成系统中得到应用。     

DECnet-VAX网络系统中通讯及其实现

DECnet网络允许运行在网络不同节点上的两个程序或任务通过逻辑链路交换数据。两个通讯的程序或任务之间的逻辑链路类似于一个I/O通道。链路上的程序均可发送与接收数据。DECnet网络系统任务——任务的通讯程序执行的几个功能包括:请求一个逻辑链接、接受或拒绝逻辑链接请求、发送与接收数据、终止逻辑链接。此外,还可发送中断数据、接收中断数据。文章中给出实现任务——任务之间通讯的实例。     

复句内部分句间关系的本质属性与逻辑意义

对复句内部分句间关系的认识和理解,传统汉语语法理论注重从结构层次、语义特征等方面进行分析,忽视了对分句间关系的本质属性和逻辑意义的认识。其实,复句作为一种语言形态,是思维活动的载体,也是思维活动的物质表现形式,同样受到全人类共同的思维规律和逻辑方法的制约;只有在结构、语义层面的认识基础上,进一步从复句内部分句间诸关系中确定本质属性的关系,正确理解关联词语的逻辑意义,才能真正认识和掌握复句内部分句间多元关系中的内在联系。     

简论逻辑值

事物在运动、变化和发展过程中自身的特有属性以及事物之间时空、顺序、因果和条件、结果的依存、转化等纷繁复杂的多元关系的实质,必须通过比较、分析才会有准确清晰的认识和理解;在社会实践活动中,人们所运用的思维形式和逻辑方法体现出的正确的、本质的、最充分的逻辑意义,就是逻辑值。正确理解逻辑值的意义和作用,可以帮助人们在思维活动中自觉追求运用思维形式和逻辑方法的有效性和可靠性。     

影响高校学生管理法制完善的若干因素分析

高校学生管理法制化是实施依法治国的重要环节。笔者认为,传统观念中的人治观念、义务本位观念、息诉观念、教育观念等影响着学生管理法制的完善;高校与学生的法律地位不明确,导致学生管理的规章制度中学生的权利、义务界定不清;高校自主权作为一种权力在行使的过程中,法律责任不明、缺乏必要的监督;高校在教育市场上的强势地位,使得学生管理的法律、法规没有得到很好的贯彻和执行。     

基于XYZPADL 的Web 服务体系结构形式描述

在对时序逻辑语言XYZ/E进行扩展的基础上,对服务、合成服务、面向服务的体系结构以及系统的活性、正确性以及安全性等核心概念进行了形式定义,并对整个Web服务体系结构进行了形式化的描述与实现过程的分解与逐步求精,指出了在该体系结构框架下,系统的活性、正确性以及安全性存在的与服务求精过程中所具有的语义的可组合特性,这一组合特性在服务的状态转换变迁模型下得到了证明,从而为服务的合成与重用机制提供了形式化的理论指导.     

皮尔士论术语伦理学

语言与思想休戚相关,思想的表达、交流与进步需要科学语言的同步发展。在近现代科学史上,皮尔士较为集中地关注术语的改进问题,并提出了著名的术语伦理学原则。皮尔士的相关思想对于科学共同体建设提供了有益启示,也增添了科学哲学研究的一种新主题。     

从逻辑纯理功能出发对一篇英文散文及其3个中译文的对比语言学分析

以系统功能语言学为理论框架,从逻辑纯功能出发,对一篇英文散文“The Author’s Account of Himself”及其3个中译文进行了对比分析。分析表明,英汉语篇在对整体深层次的语义关系把握是基本一致的,但是在逻辑意义及其英汉语的体现形式上存在细微的差别。这主要是由于英汉两种语言本身的句法结构差异引起的;此外,不同译者对文本的理解及语言功底是造成英汉语逻辑纯理功能体现差异的主观原因。     

邓小平对毛泽东知识分子思想的完善与发展

毛泽东、邓小平一直都很重视知识分子问题 ,有过许多精辟、深邃的重要论述 .在新的历史时期 ,邓小平完善和发展了毛泽东的知识分子思想 ,集中体现在四个方面 :关于知识分子的阶级属性、关于知识分子的衡量标准、关于知识分子的地位作用及关于知识分子的方针政策     

自然语言理解研究的若干基本问题的讨论

从自然语言理解的思维过程、自然语言本身和逻辑作用三个方面,对机器自然语言理解的基本问题进行了讨论。