国家自然科学基金(71001023)
- 作品数：11 被引量：28H指数：3
- 相关作者：纪明宇王海涛陈志远彭鸿广骆建文更多>>
- 相关机构：东北林业大学哈尔滨工程大学浙江科技学院更多>>
- 发文基金：国家自然科学基金中央高校基本科研业务费专项资金教育部人文社会科学研究基金更多>>
- 相关领域：自动化与计算机技术经济管理社会学更多>>
- 激励供应商创新投入的采购拍卖机制被引量：1
- 2011年
- 研究了在两个竞争的供应商和一个垄断的零售商组成的供应链中,当零售商对供应商的研发效率具有不完全信息时,零售商如何通过设计拍卖机制进行订单分配来促进供应商之间的竞争,从而激励供应商进行创新以降低生产成本,进而使零售商以尽可能低的价格采购。具体分析了一价密封拍卖、订单均分拍卖、二价密封拍卖三种不同的采购拍卖机制下供应商的创新努力情况和零售商的利润,得出结论:三种拍卖机制下供应商的均衡创新努力均随自身研发效率的提高而增加;两个供应商之间创新效率的差异越大,零售商的期望采购价格则越高;相比订单均分拍卖和二价拍卖,一价拍卖对零售商最有利。最后通过算例验证了上述结论。
- 彭鸿广
- 关键词：供应链拍卖机制
- 基于综合性能的Markov过程验证与分析
- 2013年
- 面向复杂信息系统综合性能的形式化验证问题,以数据传输系统为例,使用一种基于改进的马尔可夫判定过程验证分析方法进行复杂信息系统的性能验证。在综合各种连续随机逻辑变体基础上,采用一种表达能力更强的时序逻辑来表示系统模型的复杂性质,运用自动机技术建模路径公式,通过构造积模型完成模型与自动机的同步演化,并给出相应的算法描述。实例结果验证了该方法可有效地扩大模型检测技术的应用范围。
- 纪明宇王海涛陈志远
- 关键词：综合性能形式化验证马尔可夫过程时序逻辑自动机
- 基于变分原理的亚像素级立体匹配方法被引量：1
- 2014年
- 针对小基高比立体匹配当中的亚像素级视差精度和匹配效率较低问题,提出一种基于变分原理的亚像素级立体匹配方法。该方法以规范互相关函数作为能量函数的数据项,并将图像驱动的平滑项和视差驱动的平滑项相结合作为能量函数的平滑项,然后通过变分原理获得能量函数的欧拉方程,最后通过连续过松弛法进行迭代求解获得亚像素级视差。实验结果表明,提出的亚像素级匹配方法不但可以获得较高精度的亚像素级视差,得到更为精确的高程信息,而且还具有较快的匹配速度。
- 边继龙李金凤罗嗣卿
- 关键词：变分原理
- 修正中文评论挖掘中产品特征词序的实验研究被引量：2
- 2012年
- 目前互联网已经成为信息和观点的交换主要媒介,因此也成为了手机用户对于产品观点的最佳来源。但是目前为止研究中文文本的评论挖掘问题的研究还比较少。为了进一步发展这一领域的研究,旨在从中文客户评论中得到用户关心的产品特征。方法基于关联规则理论中的Apriori算法。主要通过计算频繁特征项的各分量在文本中出现位置的概率,从而确定挖掘到的候选产品特征中词汇的语序,使挖掘结果满足中文的正规语法要求。采用因特网上的评论数据作为语料,通过实验结果表明所提出的方法使得中文评论中的产品特征挖掘性能有所提高。
- 李实陆光
- 关键词：WEB挖掘情感分析
- A DFM Model of Mining Product Features from Customer Reviews
- With the development of e-business,interactions between enterprise and customer have gone into a new phase whi...
- Li ShiJi MingYu
- 文献传递
- 基于决策图的复杂系统模型对称约减方法被引量：1
- 2013年
- 针对复杂随机系统模型检测过程中的状态空间爆炸问题,提出一种用于支持迁移回报特征描述的概率模型对称约减方法。通过引入状态集等价关系唯一表示函数,约减了原模型中的状态集尺寸;通过加入回报特征描述,改进了传统的多终端二元决策图,用于表示概率回报模型中的迁移关系;基于迁移矩阵,提出了一种高效的对称约减算法,完成了迁移关系的约简。实验结果表明了该方法的可行性与有效性。
- 纪明宇王海涛陈志远李艳梅
- 关键词：形式化验证状态空间爆炸决策图
- 综合特征Markov模型稳态性质验证方法
- 2013年
- 针对带有复杂参数特征的信息系统性质验证需求,提出一种作用于连续概率奖励模型的稳态公式性质验证分析方法。使用具有综合特征表示能力的连续时间马尔可夫决策过程作为系统定量分析模型,采用连续随机奖励逻辑描述系统的性质,通过不确定性消解、离散化处理、状态消去等方法,实现了原模型中稳态概率的近似求解。理论分析及实例结果表明了该方法的可行性和有效性。
- 纪明宇陈志远王海涛
- 关键词：离散化
- 激励供应商R&D努力的最优补贴策略研究被引量：11
- 2011年
- 构建了一个由两个竞争的供应商、一个采购商和最终消费者组成的供应链模型,采购商通过招标方式向供应商采购物品,供应商的R&D活动可以降低自己的制造成本。分别考虑了对供应商总额补贴、对供应商单位补贴和对消费者单位补贴三种不同情形下,政府R&D补贴对供应商的R&D努力和社会福利的影响。研究发现,对供应商的总额补贴并不能激励供应商增加R&D努力,也不能增进社会福利;对消费者和对供应商的单位补贴在激励供应商的R&D努力和增进社会福利方面具有相同的效果,且存在着一个最优的单位补贴额度使得社会福利的增进达到最大。
- 彭鸿广骆建文
- 关键词：供应链政府补贴
- 基于自动机的概率计算树逻辑验证方法
- 2013年
- 根据带有随机特征的复杂信息系统性质验证的需求,针对离散概率回报模型的分层直到公式,提出一种性质验证分析方法。在综合各种离散随机逻辑的基础上,使用一种同时具有迁移回报及迁移步区间表达能力的概率计算树逻辑表示系统模型的分层直到路径公式性质,使用自动机技术建模路径公式,通过构造积模型完成模型与自动机的同步演化,基于积模型给出相应的状态概率满足算法。实例结果验证了该方法的可行性和有效性。
- 纪明宇王海涛陈志远
- 关键词：马尔可夫链自动机
- 基于最大似然估计的小基高比立体匹配方法被引量：3
- 2012年
- 针对小高比立体匹配当中的亚像素精度和粘合现象问题,提出了一种基于最大似然估计的小基高比立体匹配方法。该方法首先根据混合式窗口选择策略为参考图像中的每一点确定匹配窗口;然后在视差范围内根据规范化互相关函数计算匹配代价,再利用胜者全取策略计算每一点视差;最后采用基于最大似然估计的亚像素匹配方法获得亚像素级视差。实验结果表明,该方法有效地减少了立体匹配中的粘合现象,同时获得了较高精度的亚像素视差,其平均亚像素精度可达1/20个像元。
- 李金凤边继龙纪明宇
- 关键词：最大似然估计
