检索结果-南通市图书馆

基于改进连续时间动态系统的模拟SAT求解器

在线全文

学校读者我要写书评

暂无评论

计算机应用研究 2024年第1期41卷 200-205页

作者：赵海军陈华月崔梦天西华师范大学计算机学院四川南充637009 西南民族大学计算机科学与工程学院成都610041

针对布尔可满足性问题的高效求解进行了研究。首先,通过对k-SAT问题和基于耦合常微分方程形式的确定性连续时间动态系统的分析,提出了一种基于时延信息形式的改进连续时间动态系统方程,以保持集中搜索特性;然后,提出了实现该系统方程的... 详细信息

针对布尔可满足性问题的高效求解进行了研究。首先,通过对k-SAT问题和基于耦合常微分方程形式的确定性连续时间动态系统的分析,提出了一种基于时延信息形式的改进连续时间动态系统方程,以保持集中搜索特性;然后,提出了实现该系统方程的三个主要组件即信号动态电路、辅助变量电路和数字验证电路的模拟设计。在信号动态电路的设计中,设计了一种获得更高性能、更小面积和更低功耗的模拟硬件形式;在提出的辅助变量电路和数字验证电路的模拟硬件设计中,实现了避免梯度下降搜索陷入无解和确定给定问题的解是否已经找到的目标;同时提出了降低面积和功耗的可替代辅助变量电路的两种设计方案。仿真实验结果表明,提出的新的模拟SAT求解器不仅是有效的,而且相比于单一软件算法实现的SAT求解器和其他硬件类SAT求解器具有更高的加速性能和更低的功耗。

关键词：布尔可满足性问题连续时间动态系统模拟设计辅助变量数字验证加速性能

Statistical relational learning based automatic data cleaning

在线全文

学校读者我要写书评

暂无评论

Frontiers of Computer Science 2019年第1期13卷 215-217页

作者： Weibang LI Ling LI Zhanhuai LI mengtian cui School of Computer Science and Technology Southwest Minzu UniversityChengdu 610041China Archives of Southwest Minzu University Chengdu 610041China College of Computer Science Northwestern Polytechnical UniversityXi'an 710072China

1 Introduction Data in real world is usually dirty,i.e.,it may contain inconsistent,noisy,incomplete or duplicated *** speaking,the identified dimensions of data quality management can be summarized as the following five types:accuracy,consistency,completeness,timeliness and reliability [1].Dirty data can lead to incorrect conclusions and false decisions on both public and private scales (see Wikipedia). Thus it is urgent and crucial for organizations to improve the quality of data or to clean the data efficiently.

关键词： Statistical relational data cleaning

Dynamic Measurement of Task Scheduling Algorithm in Multi-Processor System

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Journal of Shanghai Jiaotong university(Science) 2019年第3期24卷 372-380页

作者： XIE Ying WU Jinzhao CHEN Jianying cui mengtian School of Computer Science and Technology Southwest Minzu UniversityChengdu 610041China Guangxi Key Laboratory of Hybrid Computational and IC Design Analysis Guangxi University for NationalitiesNanning 530006China Chengdu Institute of Computer Application Chinese Academy of SciencesChengdu 610041China University of Chinese Academy of Sciences Beijing 100049China

It is important to evaluate function behaviors and performance features of task scheduling algorithm in the multi-processor system.A novel dynamic measurement method(DMM)was proposed to measure the task scheduling algorithm’s correctness and *** a multi-processor system,task scheduling problem is represented by a combinatorial evaluation model,interactive Markov chain(IMC),and solution space of the algorithm with time and probability metrics is described by action-based continuous stochastic logic(aCSL).DMM derives a path by logging runtime scheduling actions and corresponding *** judging whether the derived path can be received by task scheduling IMC model,DMM analyses the correctness of *** judging whether the actual values satisfy label function of the initial state,DMM analyses the dependability of *** simulation shows that DMM can effectively characterize the function behaviors and performance features of task scheduling algorithm.

关键词： multi-processor task scheduling algorithm IMC aCSL dynamic measurement

从共和倾向到国家派——论马韦尔英荷战争诗歌中的政治认同转变

在线全文

学校读者我要写书评

暂无评论

外国文学评论 2022年第1期 142-162页

作者：崔梦田北京大学四川大学外国语学院

本文聚焦马韦尔论英荷战争的诗歌创作,分析诗中对两次英荷战争起因、发展的描述与评论,揭示诗人政治认同的变与不变。第一次英荷战争期间,马韦尔创作的诗歌明显表现出对英格兰共和国的认同和对荷兰的尖锐讽刺;第二次英荷战争期间,较之荷... 详细信息

本文聚焦马韦尔论英荷战争的诗歌创作,分析诗中对两次英荷战争起因、发展的描述与评论,揭示诗人政治认同的变与不变。第一次英荷战争期间,马韦尔创作的诗歌明显表现出对英格兰共和国的认同和对荷兰的尖锐讽刺;第二次英荷战争期间,较之荷兰,马韦尔在诗歌中更为严厉地批评了英国国内的宫廷派。马韦尔上述政治认同的变化既有个人原因,亦受历史语境影响;而其变化背后又保持着某种不变,这与马韦尔所继承的国家派思想传统密切相关。

关键词：马韦尔英荷战争政治认同

在线全文

学校读者我要写书评

暂无评论

论《失乐园》中亚当的正当理性与选择

中南大学学报（社会科学版） 2015年第1期21卷 204-210页

作者：崔梦田北京大学外国语学院北京100871

在《失乐园》中,亚当的正当理性与选择涉及弥尔顿的古典资源与神学思想之间的复杂关系。通过区分自然法与实在法,可以说明正当理性与选择之间并无抵牾。上帝赋予亚当自然法,使其可以遵从正当理性。但是有关知识树果子的命令属于实在法,... 详细信息

在《失乐园》中,亚当的正当理性与选择涉及弥尔顿的古典资源与神学思想之间的复杂关系。通过区分自然法与实在法,可以说明正当理性与选择之间并无抵牾。上帝赋予亚当自然法,使其可以遵从正当理性。但是有关知识树果子的命令属于实在法,与正当理性不自动相合,因此亚当才有了真正意义上的选择。《失乐园》中自由选择(free choice)与真正的自由(true liberty)之间实有差异:前者对应亚当自由选择的能力,后者则是他遵从正当理性的结果。亚当在吃知识树的果子时,行使了自由选择,但他选择的是夏娃,而非遵守上帝的命令。这一事件的后果之一便是正当理性被蒙蔽,亚当从此失去了真正的自由。

关键词：弥尔顿《失乐园》正当理性自由选择真正的自由

Prokaryotic expression of AAVR fusion proteins and the application for AAV preparation and characterization

在线全文

学校读者我要写书评

暂无评论

Prokaryotic expression of AAVR fusion proteins and the appli...

时间压缩复用和回波抵消的全双工数字传输技术

中国生物化学与分子生物学会第十二届全国会员代表大会暨2...

作者： mengtian cui Dong YAN Yabin LU Wei DING Department of Biochemistry and Molecular Biology School of Basic Medical SciencesCapital Medical University Beijing Key Laboratory for Cancer Invasion and Metastasis Research

As a prominent viral vector,adeno-associated virus(AAV) has been used for human gene therapy for more over three decades,however,its natural cellular receptor AAVR was discovered until *** protein coded by gene KIAA0319 L demonstrated the property of binding various AAV serotypes with high affinity(150 nm Kd).The tight association of AAVR to AAV virion,as well as the existence of multiple Ig-like PKD domains with AAVR molecules,directly implicated the potential applications of AAVR for AAV purification and *** this study,we cloned the AAVR coding sequence and expressed in *** in the native or truncated fusion forms with a tag of streptavidin binding peptide(SBP).Using the purified proteins,we were able to construct an ELISA kit to quantify AAV viron in a wide linear *** addition,a beads-or column-based chromatography system was developed to obtain either free AAV particles or AAV in complex with *** data have provided practical examples for engineered protein variants of AAVR to be used for rapid and economic AAV purification and titering with *** developed methodology can also be applied for determining the properties of various AAVR mutants,as well as to prepare AAV complex in association with AAV-binding proteins.

关键词： AAVR affinity chromatography ELISA streptavidin binding peptide(SBP) viral titering

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

计算机工程 2005年第5期31卷 216-218页

作者：赵海军崔梦天西华师范大学计算机科学系南充637002 西华师范大学数学系

分析了传统的双绞线在实现数字传输技术中的难点和缺点,提出了采用时间压缩复用和回波抵消技术的新的全双工数字传输技术。这两种技术仍基于传统的双绞线,不仅降低了数据传输的成本,更重要的是使得普通双绞线用户也能实现数据的数字传输。

关键词：双绞线用户数字数据传输时间压缩复用凹波抵消传输速率

ZNF281 Promotes Progression of Hepatocellular Carcinoma through Transcriptional Regulation of Annexin A10

在线全文

学校读者我要写书评

暂无评论

ZNF281 Promotes Progression of Hepatocellular Carcinoma thro...

中国生物化学与分子生物学会2019年全国学术会议暨学会成立四十周年

作者： Zhang Xialu Zhao Qingfang cui mengtian Zhang Chenguang Ding Wei Department of biochemistry and molecular biology Capital Medical University Department of medical genetics and developmental biology Capital Medical University

ZNF281(zinc finger protein 281) is a transcription factor containing four zinc finger domains. It has been reported that ZNF281 is indispensable for pluripotency maintenance of embryonic stem cells dependent on its transcriptional activity. ZNF281 also contributes to the invasive growth of certain types of cancer cells through differential regulation of a panel of oncogenic or tumor suppressive genes like c-myc and p53, respectively. Nevertheless, the role of ZNF281 in the progression of hepatocellular carcinoma(HCC)remains elusive, which was investigated in the current study. The results showed that ZNF281 was up-regulated at both the mRNA and protein levels in HCC cells and tissues. Knockdown of ZNF281 decreased the proliferation, migration and invasion of the HCC cells. Mechanistically, RNA-seq indicates that depletion of ZNF281 with short hairpin RNAs results in alterations of a panel of genes related to tumor progression of HCC, including PTPN11, MDM2, and IGFBP4 etc. Interestingly, one tumor suppressor gene in HCC, gastric cancer, and colon cancer, Annexin A10 was the top up-regulated gene upon ZNF281 knockdown. Further analyses indicate that Annexin A10 was predominantly down-regulated in HCC cells and tissues, and low expression of Annexin A10 was associated withshorter overall survival and recurrence free survival. Furthermore, knockdown of Annexin A10 not only increased the proliferation, migration and invasion of ZNF281 intact HCC cells, but more importantly, restored the impaired proliferation, migration and invasion of HCC cells elicited by ZNF281, suggesting that ZNF281 promotes HCC progression probably through Annexin A10. Further studies are needed to investigate the molecular detail of ZNF281 on the regulation of Annexin A10 expression in vitro and vivo, as well as the mechanisms on how Annexin A10 regulates the progression of HCC.

关键词： ZNF281 ANXA10 Hepatocellular Carcinoma Transcription Invasion

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

基于相似性群体的混合型Web服务推荐

现代图书情报技术 2016年第6期 80-87页

作者：谢琪崔梦天西南民族大学计算机科学与技术学院成都610225 香港中文大学计算机科学与工程学系香港999077

【目的】改进服务计算环境下Web服务推荐数据稀疏性导致的相似服务或相似用户缺失的问题。【方法】根据相似性距离分别为目标用户和服务构造个性化的相似性用户群体和服务群体,同时使用用户和服务群体中心之间的群体相似性设计新的混合... 详细信息

【目的】改进服务计算环境下Web服务推荐数据稀疏性导致的相似服务或相似用户缺失的问题。【方法】根据相似性距离分别为目标用户和服务构造个性化的相似性用户群体和服务群体,同时使用用户和服务群体中心之间的群体相似性设计新的混合型推荐算法(GHQR)。【结果】使用197万条真实Web服务质量数据集的实验结果表明,与UPCC和IPCC两种推荐算法相比,GHQR的标准平均绝对误差(NMAE)平均下降31%、69%,覆盖率平均提高105%、163%。【局限】实验仅对服务质量属性响应时间进行分析,还需对其他Web服务质量属性如吞吐率等进行验证。【结论】与WSRec和CFBUGI推荐算法相比,GHQR的NMAE平均下降26%、7.7%,覆盖率平均提高188%、4%。GHQR不仅能提高预测的准确性,而且覆盖率也获得显著提高。

关键词：个性化推荐服务计算 Web服务服务质量