经济研究课题的选择

经济研究成败的关键是选择课题。经济课题的选择须根据客观需要与具体的内容和条件相适应。可采用浏览捕捉、追溯验证等方法进行选择。     

脂肪细胞分化: 一个故事、两个章节

细胞分化是多细胞个体发育和干细胞实现功能活动的基本过程. 作为诱导白色脂肪细胞分化的体外模型, 小鼠3T3-L1前脂肪细胞系的定向分化过程由依赖于细胞周期特定时相(接触抑制期)的许可阶段和独立于细胞周期的执行阶段所组成. 在接触抑制期, 通过细胞代谢方式、细胞周期调控因子和细胞信号转导通路之间的相互作用, 决定了各种染色质表观遗传修饰因子的活动, 从而导致具备脂肪细胞分化潜能的染色质表观遗传修饰模式的形成. 在随后的执行阶段, 这种分化潜能被激素诱发, 通过复杂的基因调控网络的动态活动, 使各种控制脂肪细胞分化基因表达的转录因子按既定的分化时间表打开或者关闭, 并决定相关的靶基因的表达, 最终导致了脂肪细胞的形成.     

城市河道黑臭评价模型研究进展

介绍了城市河道黑臭的成因及机理,评述了目前国内外在城市河道黑臭评价方面所取得的一系列成果.对目前国内外各类河道黑臭评价模型进行比较,筛选出多元线性回归模型、有机污染指数模型、黑臭多因子加权指数模型和综合水质标识指数法这几种使用较为广泛的模型并进行分析,并对城市河道黑臭评价模型建立的发展趋势进行了展望.     

基于FPGA的IP仿真验证平台

IP（集成电路知识产权芯核）的仿真和硬件验证是IP开发中不可缺少的环节．文中基于FPGA（现场可编程门阵列）开发了一个IP仿真验证平台,并使用PCI（外部设备互连）总线来测试IP．用户只要将自已设计的IP插入所开发的仿真验证平台,就可以方便地对IP进行测试．文中还对所设计的平台进行了软件仿真,以验证其功能,并在载有Xilinx Spartan-3 600E FPGA的PCI插卡上进行上板调试．结果表明,所建立的基于FPGA的IP仿真验证平台可以对IP进行有效的仿真和验证,并具有良好的稳定性和实用价值．     

基于小波分析的变频调速电动机运行噪声-负载特性

分析了交-交变频器输出电压、电流和时间谐波磁势的谐波族特征,指出了该特征对电动机运行噪声的影响。提出了一种改进M allat算法,并运用该算法对运行噪声进行了小波分析。该算法的计算量和占用的存储空间较标准M allat算法均减少了49.6%。同时,运用基于小波分析的频带能量法提取运行噪声的特征。经实验验证:电动机负载增加,运行噪声的86~172H z频带能量呈现一致性增加,该频带能量可以作为反映负载变化的主要特征。     

基于着色petri网的安全协议验证方法

设计安全协议时,协议的安全性验证是消除安全协议脆弱性和不精确性的关键步骤,验证安全协议的模型和工具有很多．提出了一种基于着色petri网的安全协议验证方法．通过采用该方法对一个STS协议进行了分析,证明了这种方法的有效性,并根据分析结果给出了改进后的STS协议．     

市场机制和政府调控下的产学研合作创新网络演化博弈仿真——以新能源汽车产业为例

以新能源汽车产学研合作创新网络为实证分析对象,运用网络演化博弈理论和仿真分析方法,剖析在市场机制和政府调控下,产学研合作创新网络中创新主体合作行为与网络结构在互动过程下的演化规律。研究结果表明：市场机制和政府调控对于创新主体维护合作行为和网络集聚都具有促进作用;创新主体合作行为与网络结构之间具有协同互动关系,并且市场机制和政府调控的作用越大,两者间协同互动作用越明显。在市场机制下,市场机制作用的增强会降低网络演化的速度;只有当市场机制作用超过一定阈值时,维护合作行为才会在创新主体间涌现出来。在政府调控下,创新主体对于政府调控较为敏感;当政府调控力度处于阈值水平时,不利于创新主体间合作关系的维持。     

RVM在SoC验证中的应用及覆盖率驱动技术

介绍了RVM的层次化验证平台的结构,描述了RVM提供的基类和它们相互之间的关系。并且以USB 为例,给出了利用RVM搭建模块级验证平台的方法,阐述了基于代码覆盖率和功能覆盖率的覆盖率驱动技术。     

盐胁迫下酿酒酵母和鲁氏酵母渗透调节方式的对比与分析

酵母菌是耐盐的真核模式生物.为了研究酵母菌在不同盐胁迫条件下的渗透调节方式,本文以不同条件对酿酒酵母和鲁氏酵母进行盐胁迫处理,利用高碘酸钠—乙酰丙酮法及蒽酮-硫酸法分别对盐胁迫下酿酒酵母和鲁氏酵母产生的甘油和海藻糖含量进行了测定、分析与比较.结果表明,在不同盐胁迫条件下酿酒酵母和鲁氏酵母细胞内均迅速积累大量的甘油和海藻糖.盐胁迫下鲁氏酵母以甘油调节渗透平衡的能力高于酿酒酵母以甘油调节渗透平衡的能力,盐胁迫下酿酒酵母以海藻糖调节渗透平衡的能力高于鲁氏酵母的海藻糖渗透调节能力.     

基于CPN的智能合约交易顺序依赖漏洞的验证

智能合约的形式化验证工作主要集中在编程语言层面的漏洞研究,而交易顺序依赖作为区块链层面的漏洞更不易被检测。基于着色Petri网对智能合约中潜在的交易顺序依赖漏洞进行形式化验证。以Decode悬赏合约为对象,分析合约中潜在的漏洞,自顶向下地对合约本身及其执行环境建立着色Petri网模型,并引入攻击者模型来考虑合约遭受攻击的情况。通过运行模型以验证合约存在交易顺序依赖漏洞,最后基于Remix平台在以太坊网络中证实结论的正确性。