胥良
- 作品数:13 被引量:18H指数:4
- 供职机构:昆明学院更多>>
- 发文基金:云南省教育厅科学研究基金更多>>
- 相关领域:哲学宗教自动化与计算机技术理学文化科学更多>>
- 从代数不等式的非反演算看哥德尔的第一不完全性定理
- 从代数不等式的负号运算中,归纳出其否定主词序对和关系谓词而不否定真值词的规律。又从逻辑否定(┐)代数不等式的运算中,揭示出其否定量词、质词和真值词而并不否定主词序对和关系谓词的规律。由此说明了哥德尔第一不完全性定理对包含...
- 胥良
- 关键词:逻辑否定辩证否定哥德尔定理
- 文献传递
- 矛盾命题的指反断非演算规律研究被引量:4
- 2012年
- 对哲学判断论的能指矛盾和断定矛盾,作了具有实证内容基础的对应关系研究,而不是纯形式的研究。由此,从"有S型"性质判断的实证例子中,归纳出其非否定是针对"量—质—真值"断定项的否定,其反否定是针对"主—谓—命题"描述项的否定。进而,用事实验证了具有正反对称互补关系的逻辑形式否定演算规律和描述内容否定演算规律。
- 罗翊重胥良
- 关键词:矛盾命题
- 金属W在T=1000K以下时场发射电流密度的数值计算
- 2001年
- 对热场发射公式在 10 0 0K以下温度进行了数值计算 ,发现计算结果与一些文献推导的、用于计算温度在 10 0 0K以下的近似公式计算结果出现偏差 ,因此不能用简单的近似公式来计算来发射电流密度 ,而必须用数值计算发射电流密 。
- 胥良
- 云南临沧市城区有线双向网络改造方案的设计与分析
- 2009年
- 采用EPON+基带EOC模式对云南临沧现存有线电视网络进行双向改造,光线路终端(OLT)置于中央控制机房,ONU设备布局在集中分配的光节点位置,通过五类双绞线互连.另外,将光节点中铜轴射频信号接入到EOC局端设备,由它完成数字信号的调制,并与有线电视信号进行混合,再经原有的铜轴网络进行混合信号的传输.ONU与用户之间的连接采用EOC技术,EOC客户端设备布局在用户室内.
- 李海雁胥良戴祖诚李凯佳陈云涛
- 关键词:网络改造EOC技术EPON技术
- 香港高等教育的特点及其启示被引量:6
- 2001年
- 论述香港高等教育的特点,引出对内地高等教育的启发和借鉴作用。
- 胥良
- 关键词:高等教育
- 从代数不等式的非反演算看哥德尔的第一不完全性定理被引量:5
- 2008年
- 从代数不等式的负号运算中,归纳出其否定主词序对和关系谓词而不否定真值词的规律。又从逻辑否定(■)代数不等式的运算中,揭示出其否定量词、质词和真值词而并不否定主词序对和关系谓词的规律。由此说明了哥德尔第一不完全性定理对包含了扩充自然数后的形式系统并不适用,从而引进了彻底根治一阶逻辑形式系统不完全性的基于负号(-)而推广的辩证否定算子(~)。
- 胥良
- 关键词:逻辑否定辩证否定哥德尔定理
- 解析中华太极图的阴阳数字化之谜被引量:4
- 2006年
- 中华太极图有三图:一极太虚图;二极太极图;三极太极图。析解中华太极图的阴阳数字化之谜,就是要把潜藏在惟象的三个太极图之后的极度抽象的阴(0)阳(1)数字化之谜底及其内在联系揭示出来。作者运用代数学、集合论等方法揭示出三个太极图间所内蕴的二进制及其数学和逻辑意义,这对于深入理解中华文化的阴阳辩证思维方式,对宏扬中华民族独特的文化传统,具有重要意义。
- 罗翊重胥良
- 基于优化DSR协议的WMNs端到端QoS性能研究
- 2012年
- 为探讨WMNs的网关到路由器端到端QoS的性能,使用基于DSR协议的优化路由协议,在路由发现过程中引入QoS指标(时延)为路径选择的机制.仿真结果表明,该优化方案在一定的网络模型下缩短了路由建立的时间,表现出比原协议更好的性能.
- 张大卫胥良漆华妹杨亚彪李海雁
- 关键词:无线MESH网络DSR协议端到端时延
- 构建智能化多媒体教室管理系统被引量:3
- 2013年
- 为了使多媒体教室的管理实现智能化和可视化,进一步提高管理水平和多媒体教室的使用效率,提出了智能化多媒体教室管理系统的设计思路.结果表明:采用C/S技术模型的管理平台,可实现对多媒体教室的远程管理、批量控制设备、自动监测设备状态、可视化远程帮助等功能,同时实现了网络巡查听课、网络视频直播等功能;而基于B/S架构的资源服务平台则可实现网络教学的开展.
- 杨云春胥良解永刚陈云霜李海雁
- 关键词:多媒体教室系统设计智能管理网络教学
- 对词项外延否定与内涵否定结果的同异比较被引量:1
- 2014年
- 形式逻辑的外延排除否定()与辩证逻辑的内涵反称否定(~)是一对呈正反对称互补关系的否定算子,它们对任意词项的非反否定之外延结果既有同又有异。通过对二极对立统一体和三极对立统一体之构成词项的非反否定演算,引出了此两种逻辑共有的"米"字型否定算法之外延结果和辩证逻辑特有的"日"字型否定算法之外延结果,并以事实为依据,验证了对此两种性质根本就不相同的否定算法之外延结果的同异性理论分析。
- 罗翊重胥良
- 关键词:词项同异