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

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

分子对接研究手性共价有机框架材料的对映体识别能力

基于分子对接方法,使用AutoDock软件计算手性共价有机框架材料CCOF5与手性对映体相互作用的结合能.计算结果表明:CCOF5与对映体的结合能差大小与对映体分离度大小相一致;CCOF5与对映体的结合能大小与对映体出峰时间顺序基本一致.采用Avogadro软件对AutoDock分子对接构象进行分析,并对手性识别机理进...     

非线性半参数模型最小二乘近邻估计

目前对非线性半参数模型的研究尚处于初级阶段,关于非线性半参数模型的计算理论还未见实质性报道.基于非线性半参数模型最小二乘近邻估计,给出了其参数分量和非参数分量估计的构造式,导出了参数分量和非参数分量顾及二次项直接解法的非线性直接解法.基于工程实际中的非线性模型用模拟数据进行计算,证明对于非线性半参数模型最小二乘近邻估计,可采用顾及二次项的直接解法.     

基于完全样本的两参数Weibull分布的参数估计

结合概率图、数值计算方法及Monte-Carlo法给出了在完全样本下两参数Weibull分布参数极大似然估计(MLE)的数值解和区间估计的枢轴量,最后针对具体实例利用随机模拟实现了极大似然估计和区间估计,效果良好.     

三峡水库二期蓄水初期螺山站水位流量变化响应

三峡工程二期蓄水对坝下游江段水情的变化产生了一定的影响.在水库蓄水的初期阶段,分析螺山江段水位流量的变化响应,采用综合落差指数法描述了该河段水位流量关系的变化,并通过同流量水位法初步撂悉了访河段近几年河床冲淤变化情况.结果表明,水库蓄水后.枯水期该站月径流量占径流量的百分比上升了0.43%,丰水期和平水期分别下降了0.2%和0.23%;从该站水位距平值来看,枯水期有所上升,丰水期和平水期均有所下降.时该站水位流量关系进行单值化处理后,发现蓄水后水位流量关系曲线较蓄水前偏左.同时,同流量下水位的变化也反映了该河段泥沙冲淤情况,对此本文作了初步探悉,发琨在同一江段的不同时段都有冲淤的变化.     

Galectin-3 stabilizes heterogeneous nuclear ribonucleoprotein Q to maintain proliferation of human colon cancer cells

Comparative analysis of proteomes using 5-fluorouracil (5-FU)-resistant human colon cancer cell line revealed that decreased galectin-3 expression was significantly associated with retarded proliferation. However, in the presence of 5-FU proliferation rate of cells with suppressed galectin-3 expression did not differ from that of cells with normal galectin-3 expression, even galectin-3 suppression augmented apoptosis. Mechanism by which galectin-3 regulates cancer cell proliferation has been identified in immunoprecipitates of the anti-galectin-3 antibody. Heterogeneous nuclear ribonucleoprotein Q (hnRNP Q) was identified as a protein interacting with galectin-3. Interestingly, while galectin-3 protein was not affected by the hnRNP Q level, its suppression was accompanied by a decrease in hnRNP Q expression. The present study demonstrates that galectin-3 stabilizes hnRNP Q via complex formation, and reduction in the hnRNP Q level leads to slow proliferation and less susceptibility to 5-FU. Electronic supplementary material  The online version of this article (doi:) contains supplementary material, which is available to authorized users. B.C.Yoo; S-H.Hong; These two authors contributed equally to this work. Received 10 September 2008; received after revision 19 October 2008; accepted 07 November 2008     

PPAR γ partial agonist, KR-62776, inhibits adipocyte differentiation via activation of ERK

Indenone KR-62776 acts as an agonist of PPARγ without inducing obesity in animal models and cells. X-ray crystallography reveals that the indenone occupies the binding pocket in a different manner than rosiglitazone. 2-Dimensional gel-electrophoresis showed that the expression of 42 proteins was altered more than 2.0-fold between KR-62776- or rosiglitazone-treated adipocyte cells and control cells. Rosiglitazone down-regulated the expression of ERK1/2 and suppressed the phosphorylation of ERK1/2 in these cells. However, the expression of ERK1/2 was up-regulated in KR-62776-treated cells. Phosphorylated ERK1/2, activated by indenone, affects the localization of PPARγ, suggesting a mechanism for indenone-inhibition of adipogenesis in 3T3-L1 preadipocyte cells. The preadipocyte cells are treated with ERK1/2 inhibitor PD98059, a large amount of the cells are converted to adipocyte cells. These results support the conclusion that the localization of PPARγ is one of the key factors explaining the biological responses of the ligands. Received 04 March 2009; received after revision 13 March 2009; accepted 17 March 2009     

The PDZ2 domain of zonula occludens-1 and -2 is a phosphoinositide binding domain

Zonula occludens proteins (ZO) are postsynaptic density protein-95 discs large-zonula occludens (PDZ) domain-containing proteins that play a fundamental role in the assembly of tight junctions and establishment of cell polarity. Here, we show that the second PDZ domain of ZO-1 and ZO-2 binds phosphoinositides (PtdInsP) and we identified critical residues involved in the interaction. Furthermore, peptide and PtdInsP binding of ZO PDZ2 domains are mutually exclusive. Although lipid binding does not seem to be required for plasma membrane localisation of ZO-1, phosphatidylinositol 4,5-bisphosphate (PtdIns(4,5)P ₂) binding to the PDZ2 domain of ZO-2 regulates ZO-2 recruitment to nuclear speckles. Knockdown of ZO-2 expression disrupts speckle morphology, indicating that ZO-2 might play an active role in formation and stabilisation of these subnuclear structures. This study shows for the first time that ZO isoforms bind PtdInsPs and offers an alternative regulatory mechanism for the formation and stabilisation of protein complexes in the nucleus.     

基于贝叶斯公式的信息反馈机制

提出了一种基于贝叶斯公式的信息反馈模型BIF.当系统拒绝用户对资源的访问时,BIF通过计算在当前的条件下改变某些访问条件的可能性,把用户的访问条件的替代方案限制到一个小而有用的集合,系统将具有最大可能性的选项反馈给用户.用户根据系统的反馈改变访问条件从而成功访问资源.BIF引入附加策略来保护敏感策略,在此过程中不会泄漏任何危及到系统安全和机密性的信息.实验证明,BIF模型在保护了系统敏感信息的同时,也提高了系统的可用性及访问成功的几率.     

约束的移动对象最近邻轨迹查询

提出了一种新的查询概念,即约束的移动对象最近邻轨迹(constrained nearest neighbor search on moving objects trajectories,简称CNNMOT)查询.针对两阶段算法分阶段处理最近邻查询和范围查询的缺陷,对传统空间最近邻算法进行了改进和扩展,使其能够合并到一步完成,并对传统的mindist定义进行了修改.实验结果表明:该改进算法能较好地克服两阶段算法的缺陷,并在数据量较大时仍保持较高的性能.