空值环境下子集依赖的研究

为了研究ＮＥＭＶＤ，ＮＥＪＤ的完备的推导公理，因此对ＮＥＭＶＤ，ＮＥＪＤ的研究转向寻找一种新的依赖类的研究。本文给出了空值环境下子集依赖的概念，讨论了强，弱保持下的自反律，传递律的存在条件，在此基础上用图算法证明了它们关于ＮＳＤ强保持是完备的。     

空值环境下的NJD及其推导规则的研究

本文在空值环境下的ＮＦＤ，ＮＭＶＤ强，弱保持条件及相应的推导公理的基础上，讨论了空值环境下的连接依赖的强，弱保持成立的条件及相应定理。同时，讨论了ＮＪＤ在强，弱保持条件下的推导公理存在性问题。     

空值环境下NFD—NMVD混合强保持逻辑蕴涵问题

本文讨论了空值环境下的ＮＦＤ－ＮＭＶＤ混合强保持依赖基的定义和求解算法，并讨论了算法的有效性完备性，给出了ＮＦＤ－ＮＭＶＤ混合推导公理，强保持集属性闭包的求解算法，从而解决了ＮＦＤ－ＮＭＶＤ混合情况下的强保持逻辑蕴涵问题。     

空值环境下嵌入多值依赖的研究

本文深入探讨了空值环境下的满足强，弱保持的嵌入多值依赖的概念，给出了嵌入多值依赖的投影规则及ＮＭＶＤ：Ｘ→→Ｚ强保持成立的充要条件，证明了逆投影性定理。     

基于语义贴近度的模糊数据依赖

本文基于语义贴近度的概念给出了模糊函数依赖（ＦＦＤ）、模糊多值依赖（ＦＭＶＤ）和模型联接依赖（ＦＪＤ）的定义。本文得到一组类似于Ａｒｍｓｔｒｏｎｇ公理的正确、完备的ＦＦＤ和ＦＭＶＤ的推理规则。进一步，我们证明了经典数据依赖满足模糊数据依赖的定义，ＦＦＤ是ＦＭＶＤ的特例，而ＦＭＶＤ又是ＦＪＤ的特例。     

空值环境下NMVD公理系统存在性的进一步研究

由于空值的出现，使ＮＭＶＤ公理系统的存在性更趋于复杂。本文分别讨论了在单一的强，弱保持条件下和强，弱保持的复合条件下公理存在的条件，并进行了相应的证明。     

COLLISION DETECTION AMONG MOVING OBJECTSIN MACHINING PROCESS SIMULATION

ＣＯＬＬＩＳＩＯＮＤＥＴＥＣＴＩＯＮＡＭＯＮＧＭＯＶＩＮＧＯＢＪＥＣＴＳＩＮＭＡＣＨＩＮＩＮＧＰＲＯＣＥＳＳＳＩＭＵＬＡＴＩＯＮＹａｎｇＨｅｍｉｎｇ；ＬｕＡｎｓｈｅｎｇ；ＺｈｏｕＪｉＣＯＬＬＩＳＩＯＮＤＥＴＥＣＴＩＯＮＡＭＯＮＧＭＯＶＩＮＧＯＢＪＥＣ...     

CAD系统二次开发语言的设计与实现

ＣＡＤ系统二次开发语言的设计与实现王建民，孙家广（清华大学计算机科学与技术系北京１０００８４）ＤＥＳＩＧＮＡＮＤＩＭＰＬＥＭＥＮＴＡＴＩＯＮＯＦＴＨＥＦＵＲＴＨＥＲＤＥＶＥＬＯＰＭＥＮＴＬＡＮＧＵＡＧＥＯＦＣＡＤＳＹＳＴＥＭＳ￥ＷａｎｇＪｉａｎｍｉｎ...     

帝国时代Ⅱ密技

ＡｇｅｏｆＥｍｐｉｒｅｓ２在游戏进行中按下ＥＮ－ＴＥＲ键,然后在对话框中输入以下密码即可：ＲＯＣＫ　ＯＮ：得到１０００块石头ＬＵＭＢＥＲＪＡＣＫ：得到１０００块木头ＲＯＢＩＮＨＯＯＤ：得到１０００条金ＣＨＥＥＳＥＳＴＥＡＫＪＩＭＭＹ'Ｓ：得到１０００食物ＭＡＲＣＯ：显示地图ＰＯＬＯ：移动阴影ＡＥＧＩＳ：加快建筑ＮＡＴＵＲＡＬＷＯＮＤＥＲＳ：控制大自然ＨＥＳＩＧＮ：任务失败ＷＩＭＰＹＷＩＭＰＹ－ＷＩＭＰＹ：破坏自已ＩＬＯＶＥＴＨＥＭＯＮＫＥＹＩＩＥＡＤ：得到ＶＤＭＬＨＯＷＤＯＹＯＵＴＵＲＮＴＨＩＳ…     

溯因解释的度量及最优解的求解

溯因解释的度量及最优解的求解陈保平，孙吉贵（吉林大学计算机科学系长春１３００２３）ＭＥＡＳＵＲＥＭＥＮＴＡＮＤＣＯＭＰＵＴＡＴＩＯＮＯＦＴＨＥＢＥＳＴＡＢＤＵＣＴＩＶＥＥＸＰＬＡＮＡＴＩＯＮＳ￥ＣＨＥＮＢａｏｐｉｎｇ；ＳＵＮＪｉｇｕｉ（Ｄｅｐａｒｔｍ...     

空值环境下广义连接依赖（NGJD）及推导规则的研究

本文给出了空值环境下广义连接依赖强保持、弱保持的概念。讨论了它们的推导规则，证明了各推导规则在强保持、弱保持条件下的存在性，以及相应的完备性结论。     

大型客机初创期“主供”发展模式下的关系契约协调

研究我国大型客机研制初创期情景下的“主供”供应链协调.在供应商及主制造商交叉竞争的条件下,主制造商从寻求强势供应商建立合作关系入手,设计基于专有投资的关系契约,以线性分成合作关系带来的收益激励强势供应商与主制造商建立合作关系;分析不同契约状态时交叉竞争供应链的均衡决策,对关系契约的占优性、关系契约的演化等方面进行分析.研究得出,当关系契约能够自执行且满足强势供应商及弱主制造商的盈利预期时,供应商接受契约,双方合作关系达成;当强势供应商不接受关系契约,即无契约协调时,双方的最优交易量及供应价格完全由市场竞争决定.与完全竞争条件下相比,关系契约协调时供应商成本结构对其与不同主制造商最优交易量的影响呈相反趋势,且关系契约具有占优性,能够协调弱主制造商及相对强势供应商建立合作关系,并提升二者的盈利能力和竞争能力.     

Input-to-state stability for a class of hybrid dynamical systems via averaging

Input-to-state stability (ISS) properties for a class of time-varying hybrid dynamical systems via averaging method are considered. Two definitions of averages, strong average and weak average, are used to approximate the time-varying hybrid systems with time-invariant hybrid systems. Closeness of solutions between the time-varying system and solutions of its weak or strong average on compact time domains is given under the assumption of forward completeness for the average system. We also show that ISS of the strong average implies semi-global practical (SGP)-ISS of the actual system. In a similar fashion, ISS of the weak average implies semi-global practical derivative ISS (SGP-DISS) of the actual system. Through a power converter example, we show that the main results can be used in a framework for a systematic design of hybrid feedbacks for pulse-width modulated control systems.     

弱信号锁相放大CD552-R3电路

锁相放大电路是微弱信号检测的重要方法.基于CD552-R3相敏检波芯片设计了一种锁相放大电路,应用于大背景噪声下微弱信号的检测.采用信号发生器产生的标准信号和染噪信号,对该锁相放大电路进行了鉴幅和鉴相性能测试,并在不同强度噪声下对弱信号进行检测.测试结果表明:研制的锁相放大电路输出线性度高于0.9999,具有良好的鉴幅和鉴相特性,能将信噪比为-36 dB的毫伏级信号提取出来,可用于大背景噪声下微弱信号的检测.     

模型检测规划中的状态分层方法

基于模型检测的规划方法是最近发展起来的新方法,它可以处理带有不确定性的规划问题.分别设计了对求弱规划解、强规划解和强循环规划解的问题中的状态进行分层的方法.状态被分层后,求规划解只需要在从上层到其下一层状态之间寻找状态动作序偶就可以了,其他状态动作序偶都可以去掉.分别获得了求弱规划解、强规划解和强循环规划解时状态被分层后的一些重要性质,这些性质是关于一些状态动作序偶是否可以不参与构成弱规划解、强规划解和强循环规划解的结论.通过所获得的性质可以将大量的状态动作序偶直接去掉,从而减少问题规模.以往的对基于模型检测规划的研究都是采用从目标状态开始的反向搜索方法,在状态被分层以后可以采用正向搜索技术展开相应的研究.     

离散事件系统的可测性

讨论基于自动机/形式语言模型的离散事件系统（DES）的可测性问题。可测性即为根据系统的可观事件和状态输出的信息估计系统的当前状态。定义了四种可测性：强可测性,弱可测性,强周期可测性,弱周期可测性。给出了这些可测性的充要条件,这些充要条件可通过构建观测器进行有效的判定。     

Mitigating information asymmetry to acquire venture capital financing for digital startups in China: The role of weak and strong signals

This paper addresses how weak and strong signals affect venture capital funding acquired by digital startups at their early stage in various industries of China. We also articulate the interaction mechanism of these strong and weak signals by demonstrating their complementary or substitutive effects in alleviating information asymmetry on startup quality, which can help digital startups secure venture capital financing. Drawing on signalling theory and institutional legitimacy theory, we introduce application (app) downloads as a novel strong signal that can reduce market legitimacy concerns, and previous-round venture capitalist reputation as a traditional strong signal that mitigates regulatory legitimacy concerns. We treat founders' startup and IT experience as weak signals, as they provide rhetorical and indirect information indicating a startup's potential to establish regulatory and market legitimacy. The study empirically investigates our hypotheses using data of 163 digital startups in various industries of China. Results confirm the positive relationships between strong signals and venture capital funding secured by a digital startup. Furthermore, signals of similar strength are found to complement each other's effects in certain situations, while strong signals can reduce the effects of weak signals on a digital startup's financing performance under specific conditions that create these mixed effects. Implications for digital startup research and practice as well as limitations and suggestions for future research are discussed.