显示条目: 13855-13874 / 166236

    • G 公司智能喷洒控制模组研发外包项目风 险管理 

      张开阳 (2016-07-13)
      本文研究G公司智能喷洒控制模组研发外包项目的风险管理,采用风险矩 阵方法对项目立项到项目样品完成整个开发过程进行评估和管理。首先应用流 程图和WBS识别研发外包项目风险来源,获取项目风险清单。其次对风险来 源的风险发生概率和风险影响等级进行评估。接着采用Borda序值法和评估人 员偏好打分法对评估结果进行重要性排序。然后针对事件的风险重要性程度制 定应对措施。在项目研发阶段对风险降低应对活动进行监控,评估风险降低应 对活动失败的概率,以 ...
    • G 公司薪酬管理体系改进研究 

      李秀容 (2012-09-19)
      在市场经济下,薪酬既是宏观经济关注的重大问题,又是微观企业人力资源管理关注的重点问题之一。薪酬管理实际上是整个企业激励机制的核心,是企业吸引人才和保留人才的关键,企业能否建立起完善的激励机制,将直接影响到其生存和发展。 本文选取G公司的内部员工薪酬作为课题研究对象,如何构建一套合理的有效的薪酬体系,建立能够体现内部一致性、外部竞争性、符合企业支付能力和激励性的薪酬体系,从而能够留住人才、激活人才,让更多的员工以企业为家,为企业创造更大的 ...
    • Gödel语言操作语义描述方法研究 

      曹炳义 (2012-11-12)
      Gödel语言是继Prolog之后出现的一种新型通用逻辑程序设计语言,它具有一个多态多类的类型系统、有灵活的计算规则和剪枝操作、支持模块化程序设计,因此相对与Prolog语言具有明显的优势。但是它从推出起一直发展缓慢得不到广泛应用,究其主要原因一方面是因为没有一个成熟的编译器来支持它的应用。最初的Gödel编译器BristolGödel因采用SICStusProlog实现而效率较低且无法完全实现G&ouml ...
    • Gödel语言程序计算的可视化研究 

      王良霖 (2008-12-05)
      Gödel语言是继Prolog语言之后出现的新型说明性通用逻辑程序设计语言,它建立在多态多类的一阶逻辑基础之上,摒弃了Prolog语言中的非逻辑成分,集成了多种语言的有效成分和优点,引入了类型系统,增加了延迟计算,剪枝操作,模块系统和元程序设计等诸多新的语言成分,这使得它成为一种功能强大的说明性逻辑程序设计语言。Gödel语言程序采用基于反驳-消解的方法进行目标求解,这是一个比较复杂的推理过程,从用户输入数据到推理机 ...
    • Gödel语言程序设计环境的设计与实现 

      侯米娜 (2007-06-12)
      Gödel语言是继Prolog语言之后出现的一种通用、高效、表达性较强的说明性逻辑程序设计语言,它摒弃了Prolog语言中的非逻辑成分,试图解决Prolog语言中存在的语义问题。在多年来逻辑程序设计研究和原有Prolog语言的基础上,Gödel语言引入了类型系统和模块系统,增加了延迟计算和剪枝操作等控制机制,支持抽象数据类型(ADT)和元程序设计,使它具有较强的可表达性能力。 逻辑程序设计语言的重要性早已为人们所熟知 ...
    • Gödel语言编译器的设计和实现 

      王炳波 (2005-07-20)
      Gödel语言是继逻辑程序设计语言Prolog之后提出的一个既实用又具说明性的逻辑程序设计语言。众所周知,Prolog相对于其他许多高级语言在问题描述上是更高级的和更有效率的,能更直观地反映人的思维结构和概念描述方式。然而,由于Prolog语言不包含类型说明机制,使得它的表达能力很有限,而且,Prolog程序不具有清晰的说明性语义,甚至还包含了复杂的过程语义。这意味着分析、转换、优化、验证、调试Prolog程序非常困难,程序员 ...
    • Gödel语言编译系统中实现计算可视化 

      李玲 (2008-12-05)
      Gödel语言是继Prolog语言之后出现的新型说明性通用逻辑程序设计语言,它是建立在多态多类一阶逻辑基础上的强类型语言。Gödel语言同Prolog语言相比,摒弃了Prolog语言中的非逻辑成分,增加了参数型多态多类类型系统,引入了延迟计算等新的语言成分,支持模块化程序设计和元程序设计,具有灵活的技术规则和剪枝操作,使Gödel语言成为具有较强功能而且比较实用的一种说明性逻辑程序设计语言。 ...
    • Gödel语言编译系统中推理机的设计与实现 

      李松斌 (2007-06-15)
      逻辑程序设计语言提供了一种说明性的编程方法,与基于算法的过程性程序设计语言如Pascal、Ada和C等相比,逻辑程序设计语言具有诸多优点。首先,逻辑程序丰富的表达能力和不确定性语言机制,使其非常适合于表达人工智能和知识工程中的问题;其次,逻辑程序建立在一阶谓词逻辑的基础之上,具有严格的数学理论基础,易于进行程序的正确性证明和验证;第三,逻辑程序开发者不需要考虑程序“如何计算”,而只需要说明要“做什么”,从而有利于其将精力集中到问题的求解 ...
    • Gödel语言编译系统前端部分设计与实现 

      王啸澜 (2005-07-20)
      Gödel语言是继Prolog语言之后出现的新型说明性逻辑程序设计语言,Gödel语言继承了Prolog语言的诸多内容并在此基础上增加了类型、模块化、元程序设计、延迟计算、剪枝操作等Prolog语言所不具有的新语言成分,具有更强的表达能力和控制机制。Gödel语言不仅便于用户开发人工智能程序和智能应用软件系统,而且具备通用程序设计语言的优势。然而由于缺少真正意义上的通用Gödel语言编译器,G&o ...
    • Gödel语言编译系统的设计与实现 

      苏剑煌 (2007-06-12)
      Gödel语言是继Prolog语言之后出现的新型说明性通用逻辑程序设计语言。它建立在多态多类的一阶逻辑基础之上,摒弃了Prolog语言中的非逻辑成分,集成了许多语言的有效成分和优点,引入了类型系统,增加了新的语言成分,这使得它成为一种功能强大的高效的说明性逻辑程序设计语言。作为一种工具,Gödel语言编译系统的实现对该语言的推广、深入研究,以及人工智能的研究和智能软件系统的开发具有重要意义。目前,只有Bristol大 ...
    • Gödel语言编译系统设计 

      林永鹏 (2010-12-29)
      Gödel语言是继Prolog之后出现的一种新型通用逻辑程序设计语言,它摒弃了Prolog中的非逻辑成分,试图解决Prolog中存在的语义问题,增加了基于一阶逻辑的参数型多态多类的类型系统,引入了延迟计算等新语言成分,具有灵活的计算规则和剪枝操作,并以系统模块形式提供丰富的抽象数据类型支持通用程序设计。虽然Gödel在新型逻辑程序设计方面取得了新的突破,但自推出以来一直发展缓慢。除了设计者J.W.Lloyd因年迈退休 ...
    • Gödel语言运行环境中若干问题的研究与实现 

      王冬星 (2005-07-20)
      Gödel语言是继Prolog语言之后提出和发展的一种新型逻辑程序设计语言,它是逻辑程序设计领域30年来一个新的重要研究成果[3]。在引入了新的语言成份和控制机制如类型系统、模块化程序设计技术、延迟计算和剪枝操作、元程序设计技术之后,Gödel语言从根本上弥补了逻辑程序设计语言Prolog的一些不足之处,同时具备了更丰富的表达能力和程序设计功能。由于其说明性语义良好,缩小了逻辑程序设计中理论与实际之间的差距,使其在人 ...
    • (G,H)-拟正则映照和B-调和方程 

      程金发; 方爱农 (1999-09-15)
      本文将双特征拟正则映照化为变化问题,得到其Euler-Lasranse方程,利用它得到B-调和方程的先验估计、拟正则映照的Caccippoli型不等式、正则性和可去性结果.
    • g-C3N4纳米片及其复合材料的制备、表征和光催化性能研究 

      宋雪欢 (2018-07-17)
      近年来,基于半导体的光催化反应被认为是解决全球能源短缺和环境污染的有效方法。石墨相氮化碳(g-C3N4)是一种能带间隙在2.7eV左右的有机半导体聚合物材料,有着合适的导带和价带位置,并且化学性质稳定,原料易得,不含金属。这些优异的物理和化学性质使得它作为光催化剂在光解水制氢、二氧化碳还原、降解有机污染物和光催化有机合成等方面有着广泛的应用前景。然而作为一种聚合物材料,它的比表面积小,太阳能利用率低,光生电子-空穴复合严重等问题限制了它 ...
    • G-NET公司营销策略分析 

      睢婷 (2009-09-17)
      互联网已经深刻的改变了我们的工作和生活方式。电子商务、网上银行、在线沟通等等通过互联网进行的活动越来越为人们所熟悉和普遍应用。通过互联网,处在全球各地的人们可以更方便快捷的进行协作。商务协作通信服务行业正是在此基础上应运而生。 G-NET成立于2000年,是一家中国民营的商务协作通信服务商,提供包括语音、数据、视频等全方位信息的一站式融合通信服务解决方案。 商务协作通信服务在中国乃至世界都是一项新兴的服务,鲜少有经验可以借鉴。如何快速占 ...
    • g-p-框架的扰动 

      肖祥春; 朱玉灿; 王靖华 (福州大学学报 (自然科学版 ), 2008-06)
      摘要: 用最小模对复 Banach空间的 g-p-框架的扰动性作进一步的讨论 , 可以得到复 Banach空间的 g-p-框架扰动的更好的下界.Abstract: We will use the mini malmodule t o make a further discuss of the stability of the g-p- frame in comp lexBanach s paces, and get a better l ...
    • G-期望下的随机分析相关问题 

      郑中豪 (2014-12-05)
      在对连续时间下金融问题的研究中,我们通常用一类扩散过程来定义金融资产的价格过程。这类扩展过程是一个包含漂移系数和波动率系数的随机微分方程。在金融市场数据的实证研究中,确定一个价格过程的波动率系数一直是学者们所面临的难题。波动率系数的预测极为复杂,因为波动率本身可能具有与其他市场变量的相关性,会随着其他市场变量的变化而变化,致使波动率呈现出一定的不确定性。为了解决波动率系数不确定情况下的金融问题,许多学者将研究的目光投向了非线性期望领域。 ...
    • g-期望及其在风险度量中的应用 

      张志雄 (2010-12-28)
      彭实戈院士和E.Pardoux在1990年引入了如下一般形式的倒向随机微分方程: $$y_t=X+\int_t^Tg(s,y_s,z_s)\mathrm{d}s-\int_t^Tz_s\mathrm{d}B_s,~~\forallt\in[0,T],~X\inL^2(\Omega,\mathcal{F}_T,P).$$ 1995年彭实戈院士开创性地通过倒向随机微分方程提出了如下的非线性期望---$g$-期望: $$\mathcal{E} ...
    • G-极大图和G-次极大图的构造与判定算法 

      林跃峰; 金贤安 (2013-12-15)
      本文将极大图和次极大图的构造和判定算法,从平图推广到一般图.证明了所有的g-极大图可由k_1通过若干个图运算构造得到,所有的g-次极大图可由C_1,k_4通过若干个图运算构造得到.给出了判定一个图是否为g-极大图或g-次极大图的算法.
    • G2(+)(M) Study on N-Alkylamino Cation Affinities of Neutral Main-Group Element Hydrides: Trends Across the Periodic Table 

      Geng, Song; Wu, Ding-Lu; Yang, Jing; Wei, Xi-Guang; Zhu, Jun; Zhang, Hai-Bo; Ren, Yi; Lau, Kai-Chung; 朱军 (AMER CHEMICAL SOC, 2014-05-08)
      We have made an extensive theoretical exploration of gas-phase N-alkylamino cation affinities (NAAMCA), including amino cation affinities (AMCA) and N-dimethylamino cation affinities (NDMAMCA), of neutral main-group element ...