混合所有制改革背景下国企如何应对制度逻辑冲突——基于金字塔结构的隔板式治理 被引量：2

1

作者 陈光沛 魏江 +1 位作者 杨升曦 王青 《南开管理评论》 北大核心 2025年第4期4-15,共12页

混合所有制改革背景下,国有企业应如何应对不断加剧的制度逻辑冲突?如何在兼顾经济效益的同时提升政策绩效?为回答如上问题,本文通过对海康威视及其所在的视频安防行业开展案例分析,发现:(1)面对制度逻辑冲突,国企会选择与政府松散耦合... 混合所有制改革背景下,国有企业应如何应对不断加剧的制度逻辑冲突?如何在兼顾经济效益的同时提升政策绩效?为回答如上问题,本文通过对海康威视及其所在的视频安防行业开展案例分析,发现:(1)面对制度逻辑冲突,国企会选择与政府松散耦合的制度设计,向上设置“隔离带”,向下开凿“防水渠”,所形成的金字塔结构能够发挥“分层过滤器”作用,将行政逻辑与市场逻辑分离在不同的制度层级中。(2)金字塔结构的形成具有反复振荡的特征,该结构的最终稳定源于国企管理层持续创新组织安排的战略能动性,更离不开市场化改革背景下制度障碍被逐步扫清的环境条件。(3)金字塔结构本身只能分离却无法消解不同制度逻辑的张力,制度逻辑冲突的解决有赖于国企开展基于金字塔结构的隔板式治理,表现为双元领导下的资源桥接与冲突转移机制。(4)通过隔板式治理,国企能够在产业政策发展过程中发挥“试金石”与“信号枪”作用,基于风险承担与信息反馈机制,带头响应政策,并为政策试错提供反馈。这些发现有助于混合型组织、制度逻辑等研究,并对国企改革、产业政策发展等实践具有一定启示。 展开更多

关键词 混合所有制改革 国有企业 制度逻辑冲突 金字塔结构 隔板式治理

在线阅读 下载PDF 职称材料

基于CRCLA的形式化描述与退火遗传映射算法

2

作者 杨晨光 李伟 +1 位作者 杜怡然 陈韬 《计算机工程与设计》 北大核心 2024年第5期1368-1375,共8页

为解决密码算法映射到粗粒度可重构密码逻辑阵列(CRCLA)过程的描述困难问题,提出一种数据流图节点与划分后节点簇的描述形式,并以一种坐标序列描述形式精确显示CRCLA中资源的占用情况;针对密码算法映射到CRCLA上性能不高及编译时间过长... 为解决密码算法映射到粗粒度可重构密码逻辑阵列(CRCLA)过程的描述困难问题,提出一种数据流图节点与划分后节点簇的描述形式,并以一种坐标序列描述形式精确显示CRCLA中资源的占用情况;针对密码算法映射到CRCLA上性能不高及编译时间过长的问题,提出一种能快速收敛到全局最优解的退火遗传算法,从初始温度、降温系数等方面对退火算法进行改进,增加遗传算法的筛选、交叉与变异流程。实验结果表明,编译时间与性能平均降低了30.6%与13.4%,验证了算法的高能效映射。 展开更多

关键词 密码算法 数据流图 划分 描述形式 粗粒度可重构密码逻辑阵列 快速收敛 退火遗传算法

在线阅读 下载PDF 职称材料

一种新的基于模糊C均值算法的模糊时间序列确定性预测模型 被引量：20

3

作者 余文利 方建文 廖建平 《计算机工程与科学》 CSCD 北大核心 2010年第7期112-116,共5页

模拟时间序列因为在处理数据采集中固有的不确定性和含糊性方面的显著能力而得到了越来越多的的关注,已经有许多模型致力于改进预测准确性和减少预测的计算开销,然而对于预测不确定性的控制、有效的分区间隔和对于不同的分区间隔达到一... 模拟时间序列因为在处理数据采集中固有的不确定性和含糊性方面的显著能力而得到了越来越多的的关注,已经有许多模型致力于改进预测准确性和减少预测的计算开销,然而对于预测不确定性的控制、有效的分区间隔和对于不同的分区间隔达到一致的预测准确性方面研究较少。针对现有预测模型的不足,本文提出了一种新的预测模型,新模型增强了预测的性能并允许处理两因子预测问题。在新模型中,应用模糊均值算法来处理模糊时间序列的区间划分,划分时考虑了数据点的性质,产生不等大小的区间。最后在仿真实验中采用真实的观察数据,仿真实验结果表明本文提出的预测模型在预测准确性方面要优于现有的其他预测模型。 展开更多

关键词 模糊时间序列 预测 区间划分 模糊逻辑关系

在线阅读 下载PDF 职称材料

Lukasie wicz逻辑系统中的广义重言式理论 被引量：26

4

作者 吴洪博 王国俊 《西南交通大学学报》 EI CSCD 北大核心 2000年第5期559-563,共5页

将逻辑系统 W ,W ,Wk 中的广义重言式理论进行推广并应用到Lukasiewicz逻辑系统中 ,主要结果是 :得到了逻辑公式集F(S)在该系统中关于﹁同余的分划 ;证明了在该逻辑系统中对每个无理数α而言 ,不存在可达α 重言式 ,且对每个实数α而... 将逻辑系统 W ,W ,Wk 中的广义重言式理论进行推广并应用到Lukasiewicz逻辑系统中 ,主要结果是 :得到了逻辑公式集F(S)在该系统中关于﹁同余的分划 ;证明了在该逻辑系统中对每个无理数α而言 ,不存在可达α 重言式 ,且对每个实数α而言 ,不存在可达α+ 重言式 ;给出了广义重言式、广义矛盾式各类之间的关系定理。 展开更多

关键词 模糊逻辑 逻辑系统 广义重言式理论

在线阅读 下载PDF 职称材料

修正的Gdel逻辑系统中子代数的广义重言式理论 被引量：15

5

作者 李顺琴 王国俊 《计算机工程与应用》 CSCD 北大核心 2008年第36期58-60,72,共4页

将修正的Gdel逻辑系统中的广义重言式理论进行推广,讨论其序稠密子代数的广义重言式理论,并利用可达广义重言式概念和α-矛盾式概念在G的序稠密子代数中给出F(S)关于┐同余的一个分划.

关键词 修正的Goedel逻辑系统 广义重言式 α-矛盾式 分划

在线阅读 下载PDF 职称材料

并行精确排序的快速投影四面体体绘制 被引量：2

6

作者 李昕 陈伟锋 +3 位作者 吴向阳 吴福理 左伍衡 陈为 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2013年第8期1153-1158,共6页

投影四面体法需要对四面体集合进行逐帧排序,而相邻四面体之间的顺序制约和依赖性限制了并行排序的效率.基于以上问题,提出一种视点相关的、基于逻辑切割的快速四面体集合精确排序方法.该方法分为4个串行步骤:首先沿视线方向将四面体集... 投影四面体法需要对四面体集合进行逐帧排序,而相邻四面体之间的顺序制约和依赖性限制了并行排序的效率.基于以上问题,提出一种视点相关的、基于逻辑切割的快速四面体集合精确排序方法.该方法分为4个串行步骤:首先沿视线方向将四面体集合所在空间剖分成一列有序的深度区间,每个区间包含一组四面体子集;然后并行地对每个区间的子集逐层提取互不遮挡的四面体,完成精确排序;再将区间边界上的四面体进行逻辑切割,并采用分段积分计算所有四面体在区间内的颜色贡献;最后按序沿视线方向累积所有区间的颜色贡献.实验结果表明,文中方法提高了四面体拓扑排序的并行度,极大地降低了排序时间,并大幅度地改进了绘制效率. 展开更多

关键词 体绘制 四面体投影 逻辑切割 精确排序

在线阅读 下载PDF 职称材料

R_G-代数的子代数与广义重言式理论 被引量：5

7

作者 李修清 魏海新 《计算机工程与应用》 CSCD 北大核心 2011年第29期49-51,59,共4页

对Gdel逻辑系统中的广义重言式理论进行推广,讨论了RG-代数的各类无限子代数上的广义重言式,证明了在子RG-代数中,Gdel逻辑系统中存在着可数多个不同的广义重言式。

关键词 Gdel逻辑系统 广义重言式 子RG-代数 分划

在线阅读 下载PDF 职称材料

逻辑与物理相结合的MCM划分神经学习方法 被引量：1

8

作者 胡卫明 何志钧 +2 位作者 马琪 郑宁 严晓浪 《电子学报》 EI CAS CSCD 北大核心 1998年第5期75-78,共4页

本文提出一种性能驱动的MCM划分神经学习方法．新算法具有如下特点：（1）允许功能设计和布图设计同时进行，（2）划分时，不仅考虑了模块间的逻辑关系，还考虑了MCM的版图结构．（3）具有芯片间连线数目最少和时钟周期最短双重优化目... 本文提出一种性能驱动的MCM划分神经学习方法．新算法具有如下特点：（1）允许功能设计和布图设计同时进行，（2）划分时，不仅考虑了模块间的逻辑关系，还考虑了MCM的版图结构．（3）具有芯片间连线数目最少和时钟周期最短双重优化目标．（4）能使连线尽可能产生在相邻近的芯片之间．（5）网络的结构合理，学习速度快． 展开更多

关键词 MCM划分 神经网络 IC 制造工艺

在线阅读 下载PDF 职称材料

基于逻辑运算的折半划分测试数据压缩方法 被引量：5

9

作者 吴琼 黄丽 《系统仿真学报》 CAS CSCD 北大核心 2015年第6期1324-1328,共5页

提出一种新的,基于逻辑运算的折半划分压缩方法。将测试集按单位长度M进行划分,分成若干块,再对块内数据块内数据为全"0"、"1"序列和"10"、"01"交替序列等四种序列进行逻辑运算,将它们全部变... 提出一种新的,基于逻辑运算的折半划分压缩方法。将测试集按单位长度M进行划分,分成若干块,再对块内数据块内数据为全"0"、"1"序列和"10"、"01"交替序列等四种序列进行逻辑运算,将它们全部变换成全"0"序列,对于不能转化的序列,需对它们不断进行折半划分,当达到预先规定的最小长度时停止划分,直接用代码字编码。代码字的长度可以通过折半的次数来换算,而且通过逻辑运算化为全0序列,更加易于编码,与传统的编码方法比,解压结构简单,降低了解压和压缩成本。 展开更多

关键词 数据压缩 逻辑运算 折半划分 交替序列

在线阅读 下载PDF 职称材料

一种基于迭代PTM模型的电路可靠性评估方法 被引量：5

10

作者 肖杰 江建慧 朱旭光 《计算机学报》 EI CSCD 北大核心 2014年第7期1508-1520,共13页

纳米工艺的快速发展既给电路设计创造了新的机会,同时也带来了新的挑战,基于纳米器件的电路可靠性设计便是主要挑战之一,因此有必要研究在设计的早期阶段便能准确地评估电路可靠性的方法.考虑到经典的概率转移矩阵方法在电路可靠性计算... 纳米工艺的快速发展既给电路设计创造了新的机会,同时也带来了新的挑战,基于纳米器件的电路可靠性设计便是主要挑战之一,因此有必要研究在设计的早期阶段便能准确地评估电路可靠性的方法.考虑到经典的概率转移矩阵方法在电路可靠性计算中的优势与不足,文中提出了宏门的概念和以宏门为单位的迭代概率转移矩阵模型,并设计了相应的电路可靠性评估算法,可计算从原始输入到任意引线位置的电路可靠度,该算法的复杂性与宏门的数目成线性关系.理论分析与在74系列电路和ISCAS85基准电路上的实验结果证明了文中所提方法的准确性、有效性及潜在的应用价值. 展开更多

关键词 门级电路可靠性评估 宏门 逻辑划分 概率方法 迭代概率转移矩阵模型

在线阅读 下载PDF 职称材料

F(S)在Lukasiewicz逻辑系统中的一种分划 被引量：3

11

作者 马晓珏 王国俊 《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心 2004年第2期1-4,共4页

利用McNaughton函数,研究了Lukasiewicz逻辑系统中的可达广义重言式,证明了当α为无理数时,没有可达α 重言式,进而给出了F(S)的一个分划.还证明了在Lukasiewicz逻辑系统中,重言式可由对非重言式进行有限次升级算法得到.

关键词 LUKASIEWICZ逻辑系统 可达a-重言式 McNaughton函数 分划

在线阅读 下载PDF 职称材料

基于全序划分模型的开放逻辑的计算复杂性 被引量：3

12

作者 王淞昕 刘大有 《计算机研究与发展》 EI CSCD 北大核心 2002年第10期1244-1247,共4页

研究了基于全序划分模型的开放逻辑的计算复杂性 .证明了 :在考虑一般公式的情形下判定一个公式是否被重构所蕴涵是Π p2 完全的 ;如果限制到考虑 Horn公式的情形 ,则为 co-NP完全的 .由此表明 ,从计算复杂性角度来说 ,该判定问题在一... 研究了基于全序划分模型的开放逻辑的计算复杂性 .证明了 :在考虑一般公式的情形下判定一个公式是否被重构所蕴涵是Π p2 完全的 ;如果限制到考虑 Horn公式的情形 ,则为 co-NP完全的 .由此表明 ,从计算复杂性角度来说 ,该判定问题在一般情形下比经典逻辑中的演绎推理问题更难 ,在 Horn公式情形下则和经典逻辑中的演绎推理问题难度相当 .假定 P≠ NP。 展开更多

关键词 全序划分模型 开放逻辑 计算复杂性

在线阅读 下载PDF 职称材料

系统H_a中广义语义MP规则与广义语义HS规则 被引量：2

13

作者 关晓红 折延宏 王国俊 《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心 2007年第1期9-12,33,共5页

基于一类带参数a的[0,1]上的t-模*a及与之伴随的蕴涵算子Ha(0≤a≤1)所建立的多值逻辑系统Ha,研究了当a=12时的多值逻辑系统H12.以H12为赋值域利用广义重言式概念得到了公式集F(S)的一个分划,建立了系统H12中的各类广义语义MP规则与广... 基于一类带参数a的[0,1]上的t-模*a及与之伴随的蕴涵算子Ha(0≤a≤1)所建立的多值逻辑系统Ha,研究了当a=12时的多值逻辑系统H12.以H12为赋值域利用广义重言式概念得到了公式集F(S)的一个分划,建立了系统H12中的各类广义语义MP规则与广义语义HS规则,并把系统H12中的相关结论推广到系统Ha(0<a<1)中. 展开更多

关键词 多值逻辑系统 重言式 广义语义MP规则 广义语义HS规则 分划

在线阅读 下载PDF 职称材料

基于分变量模糊蕴涵关系的无规则模糊逻辑系统的自适应控制应用 被引量：7

14

作者 李玉姣 王银河 田为刚 《计算机应用研究》 CSCD 北大核心 2015年第2期451-455,共5页

常用的基于模糊if-then规则的模糊逻辑系统在进行控制设计应用时常会遇到规则爆炸问题,为此,提出了一种新的无规则模糊逻辑系统。首先利用从属于系统各分变量论域上开覆盖的单位分解,将模糊知识库中的专家模糊语言值信息进行整合,得到... 常用的基于模糊if-then规则的模糊逻辑系统在进行控制设计应用时常会遇到规则爆炸问题,为此,提出了一种新的无规则模糊逻辑系统。首先利用从属于系统各分变量论域上开覆盖的单位分解,将模糊知识库中的专家模糊语言值信息进行整合,得到相应的分变量模糊蕴涵关系,再由模糊推理及解模糊化得到系统输出;然后,针对一类非线性不确定系统,先利用伸缩器和饱和器构造出扩展的无规则模糊逻辑系统,再设计被控系统的自适应稳定控制器;最后通过仿真算例验证了该方法的有效性。这种方法的优越性在于新的模糊逻辑系统的构造与自适应律的设计是分离的,在线估计的参数数目明显减少,有效地解决了规则爆炸问题。 展开更多

关键词 单位分解 分变量模糊蕴涵关系 无规则模糊逻辑系统 自适应控制

在线阅读 下载PDF 职称材料

表达式的覆盖、分解与划分 被引量：2

15

作者 周生炳 戴汝为 《软件学报》 EI CSCD 北大核心 1996年第4期223-232,共10页

本文把简单表达式（项和原子）视为语言Ｌ的Ｈｅｒｂｒａｎｄ域或Ｈｅｒｂｒａｎｄ基中的集合．作者提出覆盖表达式的概念，得到２个表达式之间覆盖关系的判别准则．对多个表达式，作者提出表达式的分解概念及相应的分解算法，在此基础... 本文把简单表达式（项和原子）视为语言Ｌ的Ｈｅｒｂｒａｎｄ域或Ｈｅｒｂｒａｎｄ基中的集合．作者提出覆盖表达式的概念，得到２个表达式之间覆盖关系的判别准则．对多个表达式，作者提出表达式的分解概念及相应的分解算法，在此基础上，本文给出卫个表达式覆盖多个表达式的等价条件．根据集合的划分公式，得到划分表达式的方法．最后定义１个变换把合取式转换为简单表达式，从而方便地把简单表达式的结果推广到合取式．本文是作者提出的一种标记逻辑程序的过程语义的理论基础． 展开更多

关键词 标记逻辑程序 表达式 覆盖 分解 划分

在线阅读 下载PDF 职称材料

Gdel逻辑系统中1/2-子代数上的广义重言式理论 被引量：6

16

作者 李修清 《计算机工程与应用》 CSCD 北大核心 2011年第5期43-45,100,共4页

将Gdel逻辑系统中的广义重言式理论进行推广,讨论了逻辑系统-G中具有1/2聚点的三类无限子代数上的广义重言式理论,并利用可达广义重言式的概念在-G的三类子代数中给出F(S)关于同余的一个分划。

关键词 Gdel逻辑系统 广义重言式 子代数 分划

在线阅读 下载PDF 职称材料

修正的RDP逻辑系统中的广义矛盾式 被引量：2

17

作者 李顺琴 惠小静 《计算机工程与应用》 CSCD 北大核心 2015年第11期50-54,共5页

讨论了修正的RDP逻辑系统中的广义矛盾式,并对该系统中的广义矛盾式进行了分划;给出了修正的RDP逻辑系统中的广义矛盾式之间的一种降级算法并讨论了它的性质。

关键词 修正的RDP逻辑系统 广义重言式 广义矛盾式 降级算法 分划

在线阅读 下载PDF 职称材料

粗糙逻辑在近似空间一类特殊公式下的语义研究及应用 被引量：6

18

作者 闫林 《计算机工程与应用》 CSCD 北大核心 2004年第25期84-87,共4页

该文以Pawlak粗糙逻辑为基础,在近似空间M=(U,R)中展开讨论。首先对划分U/R=狖犤b1犦,犤b2犦,…,犤bn犦狚中每一个等价类犤bi犦(i=1,2,…,n)进行排序,然后再结合等价关系R,定义出U上的偏序关系P。根据该偏序关系P构造一类特殊的逻辑公式... 该文以Pawlak粗糙逻辑为基础,在近似空间M=(U,R)中展开讨论。首先对划分U/R=狖犤b1犦,犤b2犦,…,犤bn犦狚中每一个等价类犤bi犦(i=1,2,…,n)进行排序,然后再结合等价关系R,定义出U上的偏序关系P。根据该偏序关系P构造一类特殊的逻辑公式,从而形成特殊的粗糙逻辑语言。最后进一步研究了某些公式的粗糙逻辑值以及这些公式在实际中的应用。 展开更多

关键词 近似空间 粗糙逻辑 粗糙真 等价关系 划分

在线阅读 下载PDF 职称材料

（P^（1，1））和正则语言 被引量：1

19

作者 田启家 沈恩绍 史忠植 《计算机学报》 EI CSCD 北大核心 1996年第11期848-853,共6页

本文利用模型论博奕理论的方法证明了（Ｐ１，１）能够刻画正则语言．由此我们得到结论：在有限的离散线性序上（Ｐ１，１）和Ｍｏｎａｄｉｃ二阶逻辑的刻画能力是一致的．

关键词 正则语言 模型论博奕 形式语言 计算机

在线阅读 下载PDF 职称材料

Gdel系统中一类子代数上的广义重言式理论 被引量：4

20

作者 魏海新 《计算机工程与应用》 CSCD 北大核心 2010年第29期56-57,62,共3页

将Gdel逻辑系统中的广义重言式理论进行推广,讨论了一类无限子代数上的广义重言式理论,并利用可达广义重言式的概念在G的标准子代数E0中给出F(S)关于﹁同余的一个分划。

关键词 Gdel逻辑系统 广义重言式 子代数 分划

在线阅读 下载PDF 职称材料