摘要：面向方面软件体系结构描述语言AspectualACME虽引入了切点指示器PCD(Pointcut Designator)的语法成分,但仍未给出其语义的形式化描述。针对这一问题,基于AspectualACME语言抽象语法树,设计了一阶逻辑语言LIAPCD(Logic Language forPCD)。在此基础上提出了AspectualACME语言PCD的形式化描述方法。该方法能精确定义软件体系结构层PCD的语义,可为形式化分析软件体系结构层方面编织提供支持。

摘要：双边市场是产业组织理论的新前沿,但目前尚缺乏统一的判断标准,导致双边市场概念在现实中有被滥用或误用的倾向,不利于双边平台企业商业模式的设计及相关规制政策的制定。本文从判别条件与识别方法两方面对双边市场进行正本清源:首先,强调了辨识双边市场的重要性及其难点;然后,对"价格结构非中性说"与"交叉网络外部性说"进行比较分析,明确了双边市场的根本特征,进而提出两项定性判断基准;最后,系统论述了定量识别双边市场的检验方法。本文认为,交叉网络外部性是双边市场的标识特征;据此遵循逻辑演绎与实证检验相结合的策略,采用改进的结构化计量模型与归属曲线模型辨识双边市场可以满足理论基础的坚实性、因果效应的可识别性和计量模型的适切性。

摘要：基于福建省农户、企业、政府的调查数据,分析福建省农业科技信息资源共享过程中农户与企业的共享意愿、共享途径、共享信息种类、共享障碍等现状,论述福建省农业科技信息资源共享的政府推进模式、市场推进模式与农户需求驱动模式,在对福建省农业科技信息资源共享综合评价分析的基础上设计农业科技信息资源多元主体协作推进共享模式,并从强化政府管理作用、发挥市场主体作用、培育社会辅助作用多角度提出该模式的实现路径.