搜索到940篇“ 有穷“的相关文章
- 有穷深度的传递濒表格逻辑的有穷公理化问题
- 2024年
- 本文试图解决有穷深度的传递的濒表格逻辑的公理化问题。这是作者之前所解决的传递的濒表格逻辑判据工作的后继。本文使用了模态逻辑的先进技术典范公式来解决NExtK4格(即传递逻辑格)中的每一个有穷深度濒表格逻辑的公理化问题。我们所得到的结论不仅是它们的有穷可公理化,更是如何可公理化的可操作性方法。这种可操作性方法是和模型密切相关的。
- 杜珊珊
- 关键词：公理化模态逻辑
- 非确定型有穷自动机生成方法、装置、设备及存储介质
- 本申请涉及自动机领域，提供一种非确定型有穷自动机生成方法、装置、设备及存储介质。所述方法包括：对待处理字符创建对应的状态后，为状态添加识别标识，待处理字符是待处理正则表达式中的特殊字符；在生成待处理正则表达式的非确定型有...
- 常嘉岳 孙国嵩 赖绍禹 姜子明 陈昕
- 富有富啃、穷有穷啃,婚前婚后都啃 部分农村啃老现象观察
- 2024年
- 半月谈记者调查发现,在部分农村地区,中青年人出现啃老现象。有的打工数年,仍须家里老人贴补;有的为了结婚成家,婚前婚后都让老人“大力支持”;有的婚后子女管不了,还靠老人给抚养费。在乡村全面振兴、城乡不断融合的背景下,农村啃老现象呕须引起重视。
- 许晋豫郑生竹
- 关键词：半月谈啃老现象抚养费
- 有穷非整数下级整函数的唯一性
- 2024年
- 证明有穷非整数下级整函数具有1个CM分担值和1个截断分担值的唯一性定理,改进已有的相关结果,并给出例子说明定理的条件是精确的.
- 许爱珠
- 关键词：整函数下级分担值唯一性
- 有穷φ级的亚纯函数与线性Jackson q-差分方程
- 2024年
- 利用Nevanlinna理论和亚纯函数φ级的增长性研究了复平面上线性Jackson q-差分方程解的增长性,得到当方程的系数满足某些条件时,方程解的φ级的增长估计。
- 王钦龙见仁
- 关键词：亚纯函数
- 基于有穷状态机的OTA升级方法和装置
- 本发明提供了一种基于有穷状态机的OTA升级方法和装置，应用于车端有穷状态机部署有OTA升级代理进程的升级节点，该方法包括若升级节点为空闲状态且接收到升级端发送的查询信息，则与云端服务器建立通信连接，将查询信息发送至云端服...
- 张亚茹
- 一种基于确定有穷状态机的同义词快速替换方法
- 本发明公开了一种基于确定有穷状态机的同义词快速替换方法，具体方法包括首先将同义词字符列表通过有穷状态机DFA构建同义词哈希表；然后利用同义词哈希表查找并快速定位待替换词，最后将待替换词一起替换。本发明的一种基于确定有穷状...
- 曾光郭运艳李明明潘心冰
- 学虽有专攻,术亦有穷欤——访财政学专业博士生导师詹新宇教授
- 2022年
- 携一缕浅夏的芬芳,凝一脂冰清玉洁的清梦,坐在春末夏初的肩头,五月就这样悄然而至……我们如约采访到了我校财政税务学院教授博士生导师詹新宇教授。作为长期致力于财税理论与政策领域的教师,他有着先进的教学理念和丰富的科研经验。在采访过程中,我们能感受到他对学术的专注和热爱,对学生的关切与期望,他的言行也影响着周围的学子,引领着他们迈向更高的学术阶梯。
- 庄竞谊严安东
- 关键词：财政税务春末夏初财政学专业博士生导师财税
- 基于确定有穷自动机的长者护理等级评估方法以及系统
- 本发明涉及一种基于确定有穷自动机的长者护理等级评估方法以及系统，长者护理等级评估方法包括以下步骤：利用长者护理等级评估规则，编制完整的第一正则表达式，并根据该第一正则表达式来初始化有限状态机模型；对进行优化而得到优化后有...
- 张锋靳嘉曦藤原宏辉
- 基于有穷状态机的网络数据协议描述结构及解析方法
- 本发明属于计算机网络数据分析技术领域，公开了一种基于有穷状态机的网络数据协议描述结构及解析方法，通过预先定义网络数据协议，在收到网络数据后，根据协议中描述的数据格式进行匹配，从无意义的网络数据流中解析为有意义的数据，但网...
- 王冠康介祥李虎高忠杰盛春玲崔杰洪沛
- 文献传递
相关作者
- 欧阳耿
- 作品数：57被引量：62H指数：16
- 供职机构：闽南师范大学
- 研究主题：数学基础 基础理论学 悖论 实无穷 极限论
- 李抒望
- 作品数：1,151被引量：401H指数：7
- 供职机构：中共临沂市委党校
- 研究主题：执政能力 中国共产党 领导干部 科学发展观 党的建设
- 王驹
- 作品数：77被引量：250H指数：12
- 供职机构：广西师范大学计算机科学与信息工程学院
- 研究主题：描述逻辑 逻辑系统 循环术语集 语义 不动点语义
- 曹发生
- 作品数：33被引量：43H指数：4
- 供职机构：中山大学人文科学学院逻辑与认知研究所
- 研究主题：描述逻辑 同余 逻辑系统 有穷 LN
- 裘江杰
- 作品数：26被引量：12H指数：2
- 供职机构：中国人民大学哲学院
- 研究主题：模态逻辑 因果 注记 逻辑 有穷
