多规范语言LIPS

LIPS是作者设计的一种兼有LISP,PROLOG,SMALLTALK语言功能的“函数+逻辑+目标”程序设计语言.本文阐述LIPS的设计思想、LIPS中的面向对象程序设计功能、LIPS的多规范程序设计风格及LIPS的实现技术,提出了“逻辑变量作用域”、“狭义归约”和“广义合一”等概念.     

逻辑正弦－余弦函数在数字电子技术中的应用

将正弦－余弦三角函数和布尔逻辑代数相结合，交叉形成逻辑正弦－余弦函数，其自变量像普通三角函数的自变量一样可以连续取值，而函数值象布尔逻辑函数一样只取逻辑值“０”和“１”，遵从逻辑代数的运算规则．逻辑正弦－余弦函数既具有正弦－余弦三角函数的某些性质，又具有布尔逻辑函数的特性，为分析、设计数字逻辑电路实现的信号处理系统，提供了一种数学工具和信号形式     

逻辑正弦—余弦函数在数字电子技术中的应用

将正弦－余弦三角函数和布尔逻辑代数相结合，交叉形成逻辑正弦－余弦函数，其自变量像普通三角函数的自变量一样可以连续取值，而函数值象布尔逻辑函数一样只取逻辑值“０”和“１”，遵从逻辑代数和运算规则，逻辑正弦－余弦函数既具有正弦－余弦三角函数的某些性质，又具有布尔逻辑函数的特性，为分析，设计数字逻辑电路实现的信号处理系统，提供了一种数学工具和信号形式。     

逻辑函数的系统简化法

提出了逻辑函数“系统简化法”的计算机辅助设计方法，从而实现了对多变量逻辑函数的自动简化。     

降维卡诺图在逻辑函数中的应用与实践

介绍了降维卡诺图的概念、表示及其化简逻辑函数的方法.特别是在用数据选择器设计组合逻辑函数的过程中,利用降维卡诺图的方法构造相应的逻辑函数、实现其逻辑功能,具有灵活、方便、不容易出错等诸多优点.     

LISP-ELP语言的实现技术

LISP-ELP语言是作者设计的一种支持专家系统程序设计的函数/逻辑型程序设计语言,本文介绍LISP-ELP语言的特点及其解释系统的实现技术.该解释系统用C语言编写,并在IBM-PC机上实现.     

补割规则与多周期同步计数器修正设计法

文中提出了“逻辑减”运算和“补割规则”,在此基础上归纳出D触发器组成的二进制(加、减)计数器的预置函数,证明了“1因子”、“0因子”化简函数的条件与方法. 在上述讨论基础上,提出“同步计数器修正设计法”,给出“0→0”、“0→1”、“1→0”、“1→1”四种修正预置的逻辑表达式.利用这一结果举例设计了有15种指令(T_2～T_(16))控制的有15种计数周期的同步计数器,并一次完成设计.     

基于三变量双输出通用阈值逻辑门的查表设计

介绍并讨论了逻辑函数的分类,给出三变量函数的P分类表和接线顺序表.对于以RM展开式表示的任意三变量逻辑函数,提出使用三变量双输出通用阈值逻辑门实现任意三变量函数的查表设计方法,通过若干设计实例证明此方法的有效性.     

与—或/异或型逻辑函数的化简

本文提出求找逻辑函数系中独立函数的新方法,揭示了它的实质;同时利用“异或”的特殊性质,提出了“与-或/异或”型逻辑函数的化简方法。为数字系统中该类型逻辑函数的化简提供了理论依据及完整方法,同时也为模块的逻辑设计提供新的途径。     

可控硅自动调速系统的逻辑设计

本文论述了可控硅逻辑无环流电枢可逆自动调速系统和磁场可逆自动调速系统的逻辑设计。借助于卡诺图,推导出两系统逻辑装置中各开关控制指令函数的最小化布尔表达式及其实现。     

“四个自信”和“四史”教育的内在关联

"四个自信"是习近平新时代中国特色社会主义思想的重要内容,"四史"教育是中国共产党培养高素质干部队伍的重大教育实践活动,两者之间具有密切的内在关联。在理论逻辑上,"四个自信"是马克思主义中国化的重要理论创新,"四史"教育是特殊的马克思主义理论教育;在实践逻辑上,坚定"四个自信"是做好"四史"教育的思想保障,"四史"是形成"四个自信"的实践逻辑;在历史逻辑上,"四个自信"为中国特色社会主义现代化建设提供政治保证,"四史"教育为中国特色社会主义现代化建设提供前进动力。     

基于B/S架构的产品销售系统

基于B／S架构的系统又称为Web应用系统,是建立在Web网站之上的系统,而且加以扩展。即添加的业务功能。Web应用就是一个允许其用户利用Web浏览器执行业务逻辑的Web系统。使用UML的web应用扩展构建了一个基于B／S架构的产品销售系统。作为“无锡市制造业协作网”扩展功能的一部分。     

"华中"与"FANUC"数控系统"G76"指令使用的异同

以编程示例的方式,对国产的武汉"华中"数控系统与日本"FANUC"数控系统的螺纹切削复合循环指令G76进行对比,明确二者之间的区别与联系,避免使用时出现错误.     

传统家训与传统文化关系探析

中国的传统文化作为一个广义的大文化系统而存在,传统家训与传统文化既是部分与整体的关系,又是系统与环境的关系。传统文化对传统家训内容有着强烈的制约与影响作用,传统家训对传统文化具有强大的传承功能。     

辅助原子结构教学的CAI软件开发

以Visual Basic为开发工具,严格按照波函数计算式,编制成在Windows操作系统下运行的、可绘制波函数的角度部分和径向部分图形的辅助原子结构教学的CAI软件atomstru．     

"二十四幅花卉册页":《儒林外史》的结构形态

文章根据作家在楔子里的提示,指出<外史>采用的结构类似王冕画的册页,由头、身、尾三个有机部分组成.册身具有时间性、逻辑性、层次性、对照性、条贯性等五个特点.     

一个可实现组合逻辑电路设计的ICAI系统

提出了一个可实现组合逻辑电路设计的智能计算机辅助教学系统(ICAI)的方案.在应用数字电路智能交互平台及采用面向对象知识表示方法建立系统领域知识库的基础上,运用广度优先、贪婪算法和分治法等策略,采用先通过构建分解链表结构树,再建立了与绘图窗口对应的基本图元数组,后运用布图优化推理的技术实现路径,得到了组合逻辑电路设计的一个最优结果.该系统实现了正确解题、诊断解题行为、对解题错误给出恰当辅导等功能.     

先秦儒家诸子“正名”逻辑思想探微

以孔子、孟子、荀子为代表的中国先秦儒家"正名"学派,其"正名"逻辑思想是一种重视内涵性的概念逻辑系统。他们在许多方面提出了独特的新见解,充实和发展了儒家"正名"逻辑理论学说。     

扰动模糊逻辑及其"与","或"算子

提出了扰动模糊命题逻辑的概念,定义了扰动模糊命题的运算,然后将一维模糊逻辑算子推广到二维的扰动模糊逻辑算子中去,提出了扰动模糊“与”“或”算子,同时对这些逻辑算子的性质做了较为系统的研究,从而使模糊逻辑的概念及性质得到进一步的推广。     

刍议"过渡性制度"

中国改革过程中出现的众多“过渡环节”,我们把它们统称为“过渡性制度”。对于过渡性制度,有人把它们看作阻碍制度转型深化的绊脚石,我们却认为它们正是通向更好制度的阶梯或桥梁。当然,不是所有的过渡性制度安排都能获取成功。在转轨过程中,一项过渡性制度要获取成功需要符合一定的条件：第一,它要能创造“潜在利润”或“剩余”;第二,它要能获得“政治支持”或说“广泛的社会支持”;第三,它要遵循或符合制度变迁的一般逻辑。