股权结构对制造业企业绿色创新的影响研究

以2007-2022年A股制造业上市公司数据,实证检验了股权结构对企业绿色创新的影响及其机制。研究结果表明,股权集中度与企业绿色创新负相关,而股权制衡度与企业绿色创新正相关。机制分析表明,股权集中度以降低数字化转型水平阻滞企业绿色创新,融资约束在股权集中度与企业绿色创新之间发挥了遮掩效应;股权制衡度通过缓解企业融资约束、提高数字化转型程度促进企业绿色创新。另外,异质性分析发现,股权集中度与企业绿色创新的负相关性在国有企业和非重污染企业中更强;股权制衡度与企业绿色创新的正相关性在非国有企业、中小型企业和非重污染企业中更为显著。

基于Golomb Ruler的QC-LDPC码构造方法

针对准循环低密度奇偶校验(QC-LDPC)码中短环结构会影响其纠错性能的问题,基于Golomb Ruler提出了一种新颖的围长为8的QC-LDPC码构造方法。该方法先根据码长码率的需求,从Golomb Ruler中选择部分元素构造一个集合,结合指数矩阵中元素所在位置的四六环特性,通过搜索算法,依次找出符合无四六环条件的元素得到另一个集合,然后构造相应的指数矩阵,最后得到其奇偶校验矩阵。仿真结果表明:在误码率为10^(-6)时,所构造的GR-QC-LDPC码与同码率码长的其他4种QC-LDPC码的码型相比,其净编码增益均有一定的提高,且无明显错误平层现象。

基于工艺约束矩阵的加工序列优化

为了便于识别加工序列是否满足工序优化过程中的相关工艺约束,引进工艺约束矩阵实现了定性约束的转化及加工序列的合法性识别;通过设计相应的转化准则、矩阵检测及修正措施,保证了约束信息转化的可靠性与准确性;提出了用于识别加工序列合法性的匹配算法,并基于约束矩阵,建立了工序优化的数学模型,利用遗传算法实现了工序优化求解,获得了最优/次优的加工序列。实例结果表明,基于约束矩阵的工艺优化不仅能得到最优/次优的工艺,而且运算效率也有所提高。

计及时序信息检查的分层模糊Petri网电网故障诊断模型

研究一种计及时序信息检查的电网故障诊断分层模糊Petri网模型。为了简化诊断模型,构造线路与母线的分层模糊Petri网。深入分析了电网故障诊断中故障、各保护与断路器之间的一元与二元时序约束关系,提出了一种对线路两端保护与断路器动作的时序约束交叉检查方法,对不满足时序约束的保护与断路器动作的概率进行修正。对该分层模糊Petri网进行逆向推理找到故障元件,通过正向时序推理发现误动与拒动的保护与断路器。典型电网的多组案例测试结果验证了该分层模糊Petri网诊断模型的有效性。

求解过程中约束一致性维护的多层次策略研究

约束满足问题广泛出现于人工智能领域．在问题求解过程中保持局部约束一致性以缩小问题搜索空间是十分必要的．过去研究者对约束一致性算法的研究仅着眼于改进单个约束关系的维护．该文立足于更高点，提出从求解层次、维护层次和约束层次优化约束一致性维护的原则及其相应策略，算法ＭＡＣ－Ｈ和ＡＣ－Ｉ＋进一步减少了约束一致性维护的总代价，并克服了原有算法空间复杂度大的缺点．文中以两个典型的约束满足问题：Ｎ－皇后问题和斑马难题为分析和测试的例子，证实了这些原则和策略的有效性．

应用角色访问控制的工作流动态授权模型

形式化地描述了角色、用户、权限、任务单元、授权策略、授权约束等实体及其相互间的关系 ,提出将授权约束分为需求角色约束、需求用户约束、拒绝角色约束及拒绝用户约束 ,并在此基础上建立了授权约束的冲突检测规则 实现了授权流与工作流的同步 ,并通过授权约束的冲突检测确保了工作流的有效执行

基于Time Petri Net的实时系统冲撞检测与消解

time Petri net(TPN)在实时控制系统的建模中得到广泛应用,而冲撞是Petri网及其扩展模型的重要行为,解决冲撞是正确分析模型动态行为的关键.由于引入时间约束,使得TPN模型的使能和触发语义比Petri网模型的语义复杂,冲撞的检测及消解变得更加困难.首先根据时间约束,给出了变迁持续使能时延迟区间的计算方法,并证明了该方法的正确性;然后在此基础上定义并证明了TPN模型中冲撞的检测方法;给出了冲撞时间区间及修改时间约束的冲撞消解方法;最后通过实例验证说明了该方法的有效性和正确性.

用Xerces-J进行基于XML Schema的XML局部验证

XML验证,特别是局部验证,是XML应用中的一个关键问题.调研分析了Xerces-J2工具包中的基于XMLSchema的XML解析、验证体系,它是一种延迟的整体验证.利用Xerces-J2,设计实现了基于XMLSchema的XML局部验证接口,包括类型检查和ID约束检查等.

基于约束分析与模型检测的代码安全漏洞检测方法研究

与传统的程序分析相比,模型检测具有较高的检测精度,但无法将其直接应用于缓冲区溢出、代码注入等安全漏洞的检测.为解决此问题,提出了基于约束分析与模型检测相结合的安全漏洞自动检测方法.首先,通过约束分析跟踪代码中缓冲区的信息,在涉及缓冲区操作的危险点生成相应的属性传递和属性约束语句,并将安全漏洞检测问题转化为模型检测方法可接受的可达性检测问题.然后,采用模型检测方法对安全漏洞的可达性进行判断.同时采用程序切片技术,以减少状态空间.对6个开源软件的检测结果表明,基于该方法实现的CodeAuditor原型系统发现了18个新漏洞,误报率为23%.对minicom的切片实验显示,检测性能有较大提高.

复杂断块油藏地质建模难点及对策

复杂断块油藏的精确定量表征是目前储层地质建模技术发展的难点和研究热点。文中以枣园油田枣北构造孔一段枣Ⅱ油组复杂断块油藏地质建模为例,充分利用已有的地质研究、测井解释、地震解释等成果,以RMS软件为依托,将软件特有的建模技术手段与基础地质研究相结合,针对构造模拟、微相模拟及属性模拟中的难点提出了相应的研究对策,准确合理地将地质认识转化为约束条件,并综合应用多种方法对各阶段模型进行验证,有效解决了复杂构造、强非均质性储层建模的难点,提高了复杂断块油藏随机模拟精度,使所建模型接近地下地质实际,为该区下一步数值模拟研究和目标挖潜提供了可靠的地质依据。

基于生成图的工作流多过程动态时序一致性验证方法

提出了基于生成图的多过程动态时序一致性验证方法.首先从多过程的时间工作流网构建生成图,以图形化方式表达实例可能经过的路径和时间信息.在动态检测时,依据已经完成活动对生成图进行部分更新,再利用图中节点相关信息进行时间约束的验证.该方法可以解决资源约束情况下多过程时序一致性动态验证问题,而且能定位模型中出问题的路径,指导用户进行工作流时序异常处理或优化工作流模型;另一方面,生成图可供多个时序约束进行验证使用,具有较好的可重用性.

一种高效的分布式数据库完整性技术

研究高效的分布式数据库完整性技术以准确评估完整性检查的预期代价,现在仍是一个难以解决的问题.为此,文中提出了一个新的完整性检查策略,设计了分别采取局部预测试策略和支持测试策略的两种完整性测试生成算法,并使用人工智能的降维技术建立代价评估模型,为完整性检查代价估算提供一个量化比对的依据.文中还通过分布式数据库实验对完整性测试、数据获取量、网络数据传送量和参与计算的网络站点数进行了验证,结果表明,文中提出的策略、算法有效降低了分布式数据库的完整性检查代价,所建立的代价评估模型能对代价进行准确评估.

基于符号模拟和约束逻辑编程的RTL级Verilog谓词抽象方法

利用人工智能最新研究成果——约束逻辑编程对Verilog描述进行谓词抽象,并与目前基于SAT的方法进行了比较．首先通过符号模拟建立Verilog的形式化模型,然后结合要抽象的谓词,将谓词抽象问题转化为约束逻辑编程问题并进行求解．该方法的优点是在计算抽象系统时,不需要像基于SAT的方法那样将字级约束打散成位级约束,求解效率显著提高;提供了一个统一的框架用于描述各种约束．实验结果表明,与基于SAT的抽象技术相比,基于约束逻辑编程的抽象方法的求解速度有显著提高．

苏里格气田集输管网动态分析模型的建立

初步分析了苏里格气田集输管网运行动态分析的必要性,确定了分析管网集输能力的约束条件,建立了管网输送能力的校核模型,并用此模型对苏里格集输管网进行了分析,取得了较好的效果。

时间UML-Statecharts建模的工作流时序约束的一致性验证

工作流模型验证已经成为工作流的重要研究领域之一,工作流模型的时间正确性的验证也越来越受到关注。本文通过对于UML-Statecharts进行时间扩展,建立工作流的时间模型,再把该模型转化为时间自动机,最后分别在建立阶段、实例化阶段和运行阶段使用模型检测技术对时序约束的一致性进行验证,检查是否存在相冲突的时序约束。

数据编辑界面中数据自动校验的设计与实现

为了提高系统的可靠性和健壮性,数据库应用系统的数据编辑界面中需要花费大量的时间和代码对编辑的数据资料进行各种完整性约束检查,如字段类型、长度、取值范围等是否满足条件.文章通过对关系数据库的各种完整性约束和元数据进行分析,提供了一个能对数据资料自动进行校验的通用子程序.该子程序能广泛应用于各种数据库应用系统,从而大大缩短系统的开发时间,提高系统的可维护性,也增强了系统的健壮性和软件重用性.

基于启发式算法的在线多尺寸行李码放问题求解

目的为了解决目前大部分三维装箱算法无法求解航空运输背景下机场托运行李在线码放的问题,开展在线托运行李码垛算法研究。方法首先,基于实际应用环境提出一种全新的码放顺序约束以及在线多尺寸行李码放数学模型。然后,设计一种有别于传统在线问题一次仅获取一件物品信息的规则,通过改变获取行李信息三维相机的位置,从而提前获取更多的行李信息,提出每次获取K个行李尺寸信息,并构建组合式码放策略的在线启发式“填充点”算法。最后,采用每次获取3件真实机场托运行李信息进行仿真和实验。结果结果证明,算法给出的码垛布局方案不仅可以确保在线状态下不同类型尺寸托运行李的高效码放,且优化后的算法可获得84.86%的填充率,同时具有良好码放稳定性。结论算法给出的码垛布局方案合理,有较好的填充率,为此后航空运输背景下在线三维装箱问题的算法设计提供了一个新方向。

非二元约束满足问题求解

在约束满足问题 (CSP)的研究中 ,大部分工作集中在二元约束 ,但处理实际问题时 ,常常会遇到非二元约束的情况 .该文在概要地讨论了两类求解非二元约束问题方法的基础上 ,研究了一种将约束传播技术和一般弧相容回溯算法相结合的非二元约束求解方法 ,并在设计开发的约束求解工具“明月SOLVER1.0”中实现了该方法 ,以典型例子给出了实现系统的运行结果 .

一种基于Ontology的WEB服务时间约束定义及验证方法

针对目前面向服务计算(SOC)模式中组合Web服务验证缺乏对时间等非功能属性验证的实际,基于本体理论,设计并实现了一种基于时间约束Petri网的Web服务时间模型定义方法。该方法考虑服务流与以往工作流的区别,在服务模型OWL-S基础上建立时间本体(Time Ontology),全面地刻画了服务的基本时间约束。扩展已有的Petri网本体,增强其描述能力,使其能够描述服务数据及时间信息,并定义了在OWL-S上定义的时间本体与Pe-tri网时间本体间的关系。根据模型检测理论,通过扩展OWL-API,将附加时间属性的OWL-S的服务描述本体转换为Petri网的标准格式PNML文件,建立起扩展时间属性的Web服务模型与形式化模型时间约束Petri网(TCPN)间的映射关系。该方法很好地描述了服务时间约束,为后续的基于TCPN的服务时间形式化验证打下了坚定的基础。

基于控制点约束的地面三维激光扫描仪自检方法研究

以FARO公司的Focus3D X330扫描仪作为检测对象,提出了一种以控制点为约束的地面三维激光扫描仪自检方法。该方法利用仪器自带的对称基座和半球形标靶,采用高精度的全站仪现场测设的控制点为参考基准,对扫描仪的标靶拟合距离、测距精度、水平角和竖直角的测量精度进行了检测评估。该方法简而易行,对未来扫描仪检测行业标准的制定具有一定的指导作用。