教学课程资源库 更多>>

关键词： 控制   激励   离散结构   封闭/开放环境   合法性  

摘要： 共和国60多年的治理历程是一个治理方式不断从控制走向激励的过程。在威廉姆森离散组织结构中,层级制、混合制与市场是典型的连续治理结构体。把外部环境封闭/开放程度变量引入到离散结构模型中进行区别性组合,有助于理解中国治理方式的变迁。在这一治理结构的连续体中,人民公社、计划经济对应着层级制的强控制、弱激励的治理结构,市场对应着的弱控制、强激励结构形式。在这其间,则存在着不同程度的控制与激励相结合的单位制、双轨制、项目制等治理方式。所有这些不同治理方式反映了治理主体对外部环境的适应性与合法性基础的重建诉求。

关键词： 软件工程专业   综合改革试点   教学改革   结构课程   吉首大学   离散   软件行业   软件人才  

摘要： 当前，社会各行业对软件人才的需求日益增长，虽然我国高校软件专业毕业生很多，但大部分进入企业后的毕业生主动或被动定位为“码农”，往往因跟不上产业的迅猛发展与技术的快速更新而倍感压力，简单的认为软件行业是“青春饭”行业，进而选择辞职转业；与之相对应的是，许多软件企业招聘不到合适的人才，甚至不愿聘用毕业生。实际上，

关键词： Ramsey理论   离散结构   Hilbert   抽屉原理   判定过程   不可约性   有理函数   组合论  

摘要： Ramsey理论是组合论的重要研究领域。它大体上起始于20世纪初英国数学家***的研究命题、逻辑的判定过程等经典工作。而更早一些，1892年，Hilbert在研究有理函数不可约性的工作中就已证明了一个现在称为Hilbert立方引理的Ramsey型的结果。众所周知的抽屉原理就是Ramsey理论中的一个基本原理。

关键词： 混合正交阵   广义双可分解填充   单纯正交阵   强可分码  

摘要： 组合设计理论主要研究各种离散结构的存在性和构造问题,其基本内容、思想和方法与代数、数论、图论和有限几何相互交叉渗透.应用学科如计算机科学、信息科学、统计学、生物信息学等中大量的离散结构问题为组合设计理论提供了广阔的平台和巨大的动力.本论文研究了与统计学、信息科学密切相关的混合正交阵、Frame-GBTD、强可分码等离散结构的存在性及其应用.混合正交阵（MOA）作为正交阵的推广,在试验设计中起重要作用.He-dayat等人在专著《正交阵列理论及其应用》中给出了构作强度为2的MOA的“膨胀替代法”,并提问：对强度t≥3时,该方法是否依然有效?我们在第二章中解决了这个问题,给出了对任意强度t的“膨胀替代法”,并由此获得了一批新的MOA.在第三章中,我们研究了标架广义平衡竞赛设计（Frame-GBTD）的渐近存在性.它因可用于构作最优的符号常重码和常重复合码而被广泛研究.由于Frame-GBTD结构复杂,即使对于k≤5时,已知存在性结果也很少.我们利用Lamken和Wilson的关于边染色完全有向图的分解定理,将Frame-GBTD的存在性问题转化为恰当的图分解问题,从而给出了对于一般的k和g的FGBTD（k,gn）的渐近存在性结果.在第四章中,我们研究了单纯正交阵（sOA）.利用组合构作方法,我们证明了当λ≥2时,SOAλ（3,5,v）的存在的必要条件也是充分的,除了确定的例外：u=6且A=3;u=3且A=8;v=6且λ=35,和一些可能的例外：u=6且A∈{3,7,11,13,15,17,19,21,23,25,29,33}.多媒体时代,版权保护尤为重要.多媒体指纹技术就是一种有效的保护多媒体文件版权的技术.作为抗合谋攻击码,如防诬陷码（FPC）和可分码（SC）被引进用于追踪确定攻击者.已经知道,FPC的追踪性能比SC好,可是码字个数（对应于用户个数）却没有SC多.最近Jiang等人引进的强可分码（SSC）具有和FPC一样好的追踪性能,却有比FPC更多的码字个数.目前为止,关于强可分码的结果还很少,仅限于一些长度为2和3的类.在第五章中,我们着重研究最优SSC的码字个数的下界问题.我们运用***, ***等人提出的概率方法,证明了SSC的码字个数渐近地趋向SC的码字个数,即给出了SSC码字个数的一个下界.由于SSC的追踪性能比SC好,这就更有力地说明了SSC是比FPC和SC都更好的码.

关键词： 布尔矩阵   指标格   容差关系   同余关系   离散结构  

摘要： 布尔矩阵是仅由0和1这两种元素构成的，有着极其简单清晰的形式.布尔矩阵理论在物理科学、生物科学以及社会科学中出现的很多类离散结构模型的建模和分析中有着根本的重要性.本文主要讨论了布尔矩阵及其指标格的相关性质.　　在第二章中我们介绍了布尔矩阵的应用实例，给出了布尔矩阵的若干运算和相关性质，并得到了从一般的布尔矩阵到等价关系矩阵的方法.　　在第三章中我们主要讨论了布尔矩阵的指标格的构造和约简.首先给出了一个布尔矩阵的指标格的构造方法，以及通过例子说明如何画出指标格的Hasse图，然后说明了删去相同行和相同列不改变布尔矩阵指标格的结构，且这个指标格是由唯一的一个简约矩阵决定的，最后得到了两个矩阵同构的一个等价条件.　　在第四章中我们主要讨论布尔矩阵的指标格的容差及同余关系.首先提出了布尔矩阵的块关系矩阵的定义，证明了布尔矩阵的所有块关系矩阵形成的格同构于该布尔矩阵指标格上所有容差关系形成的格.其次讨论了布尔矩阵的指标格的同余关系.

关键词： 离散结构   在线评测   LAMP   系统架构  

摘要： 离散结构是计算机及相关专业核心课程,本文在介绍离散结构,LAMP架构的基础上,提出了基于LAMP的离散数学在线评测题库系统设计,实现了对学生提交的程序源代码进行自动编译、连接、运行、测试、评审等过程并返回测试结果,采用了多进程的并发处理、信号处理、进程通信、文件管理等技术,使得该自动测评系统在实际应用过程中发挥良好的性能,完成了日常编程训练和考试评测等活动,该系统的实现可以提高离散结构课程的自动化、高效率、公正性等方面。

关键词： 凸优化问题稀疏解   序列凸近似   分段线性D.C.近似   概率约束优化问题   资产配置问题   巴塞尔协议   交替方向法   增广拉格朗日分解   一阶稳定点  

摘要： 带离散结构的非凸优化问题是最优化领域的一类重要问题,在现实生活中有许多应用,比如金融优化、网络和交通运输、信号处理和压缩感知等问题.由于这类问题具有组合性质,所以可行域通常是非凸的,在一般情况下此类问题是NP-难的.因此研究此类问题的求解算法既有重要意义,义极具挑战性.随着优化技术的发展,求解非凸优化问题的理论和算法也有了很大的发展,但这些算法也存在许多不足之处,比如计算时间长,求解效率有待提高等,只能用来求解小到中等规模的问题.本文在现有算法的理论基础之上,针对几类特殊的带离散结构的非凸优化问题,提出了更有效的求解方法.以下是本文的主要工作：第一章,我们概括介绍了带离散结构的非凸优化问题的研究背景,并简单介绍了本文所研究的问题.最后给出了本文的主要研究结果和贡献.第二章,我们详细介绍了文中所考虑的三类特殊的带离散结构的非凸优化问题的研究现状和进展.第三章,我们研究了求解一般凸优化问题稀疏解的方法.寻找优化问题的稀疏解在现实生活中经常遇到,特别是必须控制决策变量非零元素个数的时候.我们提出了一种序列凸近似的方法来求解稀疏凸优化问题的正则化形式,该方法基于l0函数的D.C.近似,通过序列地求解凸子问题产生一系列近似解.我们证明了算法能够收敛到近似正则化问题的KKT点.通过利用混合整数规划等价形式的l1精确罚函数,我们给出了lo正则项的一个分段线性D.C.近似.我们分析了不同的D.C.近似在计算有限多元化均值方差投资组合问题时的数值表现.数值结果表明该方法在寻找凸优化问题的稀疏解方面是有优势的.第四章,我们考虑了概率约束优化问题,其中随机变量服从有限离散分布.一般来说,这类问题是非凸的,可以等价地写成混合整数规划问题.通过利用概率约束的特殊结构,我们提出了一种交替方向法来求解问题的近似最优解.我们的算法在迭代中交替地求解一个凸二次规划问题和一个0-1背包问题.最后,我们在一定条件下证明了算法的一阶收敛性,并报告了算法对数值算例的求解结果,这些算例包括带VaR约束的投资组合问题和带概率约束的运输问题.数值结果表明我们的方法能够在合理的时间内找到高质量的最优解,我们方法的表现要优于CPLEX和其他已有的方法,特别是对大规模的问题第五章,我们考虑基于巴塞尔协议风险度量的资产配置问题.与金融危机之前相比,金融机构在现阶段需要满足更加严格的资本要求.资本要求的明显增长使得银行在做出资产配置决策的时候必须要考虑新的资本要求约束.在本章我们提出了一类带监管资本要求的资产配置模型,其中监管资本要求既包括含120种VaR组合的巴塞尔协议2.5,也包括含60种CVaR组合的巴塞尔协议Ⅲ.我们提出了一种基于增广拉格朗日函数的交替方向法来求解这个模型.在一定的条件下,我们给出了算法产生点列的聚点所满足的一阶最优性条件.数值试验结果表明：与其它方法相比,我们的算法是有比较优势的,特别是在问题是非凸的情况下,我们的算法优势更明显.

关键词： DENON   天龙   最大输出功率   功率放大器   离散结构   结构设计   AVR   声道  

摘要： DENON（天龙）高端CI定制机型AVR—S800CI，配备了7声道离散结构独立声道功率放大器，各自独立的电路板最大输出功率为215W，消除了各声道之间的干扰，有效实现了纯净且富临场感的音频回放。机箱采用直接机械接地结构设计，

关键词： Arabidopsis thaliana   disulfide reductase   heat-shock-resistance   molecular chaperone   thioredoxin h   PROTEIN DISULFIDE-ISOMERASE   PLANT THIOREDOXINS   OXIDATIVE STRESS   HEAT-SHOCK   CHLOROPLAST DEVELOPMENT   CHAPERONE ACTIVITY   REDOX   PEROXIREDOXINS   GENE   CELL  

摘要： Multiple isoforms of Arabidopsis thaliana h-type thioredoxins (AtTrx-hs) have distinct structural and functional specificities. AtTrx-h3 acts as both a disulfide reductase and as a molecular chaperone. We prepared five representative AtTrx-hs and compared their protein structures and disulfide reductase and molecular chaperone activities. AtTrx-h2 with an N-terminal extension exhibited distinct functional properties with respect to other AtTrx-hs. AtTrx-h2 formed low-molecular-mass structures and exhibited only disulfide reductase activity, whereas the other AtTrx-h isoforms formed high-molecular-mass complexes and displayed both disulfide reductase and molecular chaperone activities. The domains that determine the unique structural and functional properties of each AtTrx-hs protein were determined by constructing a domain-swap between the N- and C-terminal regions of AtTrx-h2 and AtTrx-h3 (designated AtTrx-h-2N3C and AtTrx-h-3N2C respectively), an N-terminal deletion mutant of AtTrx-h2 [AtTrx-h2-N(Delta 19)] and site-directed mutagenesis of AtTrx-h3. AtTrx-h2-N(Delta 19) and AtTrx-h-3N2C exhibited similar properties to those of AtTrx-h2, but AtTrx-h-2N3C behaved more like AtTrx-h3, suggesting that the structural and functional specificities of AtTrx-hs are determined by their C-terminal regions. Hydrophobicity profiling and molecular modelling revealed that Ala(100) and Ala(106) in AtTrx-h3 play critical roles in its structural and functional regulation. When these two residues in AtTrx-h3 were replaced with lysine, AtTrx-h3 functioned like AtTrx-h2. The chaperone function of AtTrx-hs conferred enhanced heat-shock-resistance on a thermosensitive trx1/2-null yeast mutant.

关键词： DENON   天龙   最大输出功率   denon   功率放大器   咨询电话   离散结构   www  

摘要： 咨询电话：021—62485151网址：***（天龙）近日推出高端CI定制机型AVR-S900CI，7个声道各自独立的电路板上均配备了采用离散结构、最大输出功率为235W的功率放大器，能够有效消除各声道之间的干扰，实现纯净且富有临场感的音频回放。