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

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

锥阀稳态液动力及阀芯表面压力分布数值模拟

基于Fluent流场仿真软件,对锥阀外流和内流情况下阀芯所受稳态液动力及阀芯表面压力分布进行了数值模拟和分析。结果表明,稳态液动力随着阀口压差的增大而增加;当阀口压差大于2.5MPa时,阀芯表面出现负压,阀口处发生气蚀;当阀口开度为1mm时,稳态液动力最大;在其他条件相同的情况下,锥阀内流时的液动力小于锥阀外流时的液动力。     

Genome-wide association studies of 14 agronomic traits in rice landraces

Uncovering the genetic basis of agronomic traits in crop landraces that have adapted to various agro-climatic conditions is important to world food security. Here we have identified ～ 3.6 million SNPs by sequencing 517 rice landraces and constructed a high-density haplotype map of the rice genome using a novel data-imputation method. We performed genome-wide association studies (GWAS) for 14 agronomic traits in the population of Oryza sativa indica subspecies. The loci identified through GWAS explained ～ 36% of the phenotypic variance, on average. The peak signals at six loci were tied closely to previously identified genes. This study provides a fundamental resource for rice genetics research and breeding, and demonstrates that an approach integrating second-generation genome sequencing and GWAS can be used as a powerful complementary strategy to classical biparental cross-mapping for dissecting complex traits in rice.     

Exome sequencing of liver fluke-associated cholangiocarcinoma

Opisthorchis viverrini-related cholangiocarcinoma (CCA), a fatal bile duct cancer, is a major public health concern in areas endemic for this parasite. We report here whole-exome sequencing of eight O. viverrini-related tumors and matched normal tissue. We identified and validated 206 somatic mutations in 187 genes using Sanger sequencing and selected 15 genes for mutation prevalence screening in an additional 46 individuals with CCA (cases). In addition to the known cancer-related genes TP53 (mutated in 44.4% of cases), KRAS (16.7%) and SMAD4 (16.7%), we identified somatic mutations in 10 newly implicated genes in 14.8-3.7% of cases. These included inactivating mutations in MLL3 (in 14.8% of cases), ROBO2 (9.3%), RNF43 (9.3%) and PEG3 (5.6%), and activating mutations in the GNAS oncogene (9.3%). These genes have functions that can be broadly grouped into three biological classes: (i) deactivation of histone modifiers, (ii) activation of G protein signaling and (iii) loss of genome stability. This study provides insight into the mutational landscape contributing to O. viverrini-related CCA.     

Genome-wide association study of flowering time and grain yield traits in a worldwide collection of rice germplasm

A high-density haplotype map recently enabled a genome-wide association study (GWAS) in a population of indica subspecies of Chinese rice landraces. Here we extend this methodology to a larger and more diverse sample of 950 worldwide rice varieties, including the Oryza sativa indica and Oryza sativa japonica subspecies, to perform an additional GWAS. We identified a total of 32 new loci associated with flowering time and with ten grain-related traits, indicating that the larger sample increased the power to detect trait-associated variants using GWAS. To characterize various alleles and complex genetic variation, we developed an analytical framework for haplotype-based de novo assembly of the low-coverage sequencing data in rice. We identified candidate genes for 18 associated loci through detailed annotation. This study shows that the integrated approach of sequence-based GWAS and functional genome annotation has the potential to match complex traits to their causal polymorphisms in rice.     

考虑专家信息的威布尔型产品定时截尾可靠性验收试验方案设计

可靠性验收试验是检验产品是否达到可靠性要求而进行的试验。试验方案的确定需要保证使用方风险和生产方风险可控。当前GJB899A中定时截尾试验方案往往需要较长的试验时间,短时试验方案又存在两类风险较大的问题,实际应用颇受诟病。根本原因在于GJB899A的试验方案确定只考虑了系统试验数据,而忽视了其多源信息。因此,本文针对复杂系统验收试验前存在多种形式专家信息,考虑系统寿命服从威布尔分布的情况,结合专家信息来计算产品在给定试验方案下的两类风险,进一步推导得到试验时间较短、风险可控的试验方案。文章最后给出了案例分析,通过对比,验证了所提方法的有效性。     

牙周炎维护治疗期活动性位点临床指标、X-Ray及微生物变化特征

对牙周非手术基础治疗后进入维护治疗期的22名慢性牙周炎患者进行9个月的纵向观察。每3个月给予口腔卫生宣教,龈上下洁刮治和根面平整,并在基线和每次复查时记录临床检查指标。结果表明:活动性位点的年发生率为5.75%,上下颌磨牙及上颌前磨牙为活动性破坏好发牙位。附着增加的位点数和增加的量随基线袋深增加呈增多趋势,X-Ray检查牙槽骨高度无明显变化,活动性位点螺旋体数量明显多于非活动性位点。说明非手术基础治疗配合定期维护,在较短观察期内可使大多数位点临床指标保持稳定甚至好转,但不能带来明显的骨量增加。     

论10 kV环网柜的二次侧核相

为有效提高10 kV配电系统供电可靠性,确保变电所、线路部分检修或故障时减少线路停电次数、缩小停电范围,笔者结合个人多年的实践工作,针对10 kV配网线路的二次核相进行了阐述.     

双极型低压TTL参数计算及其综合方法

因为很多便携式电子设备的发展,电路元件需要是低压和低功耗的,最好用1.5V电池供电.然而至今1.5 V低电压TTL门实现很困难.提出一个可克服此困难的新思路,并设计出1.5 V低电压TTL门电路,进行参数计算.利用电路三要素理论提出1.5 V低电压双极型电路综合方法,在此基础上求出新的低压D触发器元件级电路.最后经过电路实验证明TTL门电路的正确性.