检索结果-南通市图书馆

A New Encryption Mechanism Supporting the Update of Encrypted Data for Secure and Efficient Collaboration in the Cloud Environment

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Computer Modeling in Engineering & Sciences 2025年第1期142卷 813-834页

作者： Chanhyeong Cho Byeori Kim Haehyun Cho Taek-Young Youn Department of Cyber Security Dankook UniversityYongin16890Republic of Korea Department of software Soongsil UniversitySeoul07027Republic of Korea

With the rise of remote collaboration,the demand for advanced storage and collaboration tools has rapidly ***,traditional collaboration tools primarily rely on access control,leaving data stored on cloud servers vulnerable due to insufficient *** paper introduces a novel mechanism that encrypts data in‘bundle’units,designed to meet the dual requirements of efficiency and security for frequently updated collaborative *** bundle includes updated information,allowing only the updated portions to be reencrypted when changes *** encryption method proposed in this paper addresses the inefficiencies of traditional encryption modes,such as Cipher Block Chaining(CBC)and Counter(CTR),which require decrypting and re-encrypting the entire dataset whenever updates *** proposed method leverages update-specific information embedded within data bundles and metadata that maps the relationship between these bundles and the plaintext *** utilizing this information,the method accurately identifies the modified portions and applies algorithms to selectively re-encrypt only those *** approach significantly enhances the efficiency of data updates while maintaining high performance,particularly in large-scale data *** validate this approach,we conducted experiments measuring execution time as both the size of the modified data and the total dataset size *** show that the proposed method significantly outperforms CBC and CTR modes in execution speed,with greater performance gains as data size ***,our security evaluation confirms that this method provides robust protection against both passive and active attacks.

关键词： Cloud collaboration mode of operation data update efficiency

Three-Stage Transfer Learning with AlexNet50 for MRI Image Multi-Class Classification with Optimal Learning Rate

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Computer Modeling in Engineering & Sciences 2025年第1期142卷 155-183页

作者： Suganya Athisayamani A.Robert Singh Gyanendra Prasad Joshi Woong Cho School of Computing Sastra Deemed to be UniversityThanjavur613401India Department of Computational Intelligence SRM Institute of Science and TechnologyKattankulathur603203India Department of AI and software Engineering Kangwon National UniversitySamcheok25913Republic of Korea Department of Electronics Information and Communication EngineeringKangwon National UniversitySamcheok25913Republic of Korea

In radiology,magnetic resonance imaging(MRI)is an essential diagnostic tool that provides detailed images of a patient’s anatomical and physiological *** is particularly effective for detecting soft tissue ***,radiologists manually interpret these images,which can be labor-intensive and time-consuming due to the vast amount of *** address this challenge,machine learning,and deep learning approaches can be utilized to improve the accuracy and efficiency of anomaly detection in MRI *** manuscript presents the use of the Deep AlexNet50 model for MRI classification with discriminative learning *** are three stages for learning;in the first stage,the whole dataset is used to learn the *** the second stage,some layers of AlexNet50 are frozen with an augmented dataset,and in the third stage,AlexNet50 with an augmented dataset with the augmented *** method used three publicly available MRI classification datasets:Harvard whole brain atlas(HWBA-dataset),the School of Biomedical Engineering of Southern Medical University(SMU-dataset),and The National institute of Neuroscience and Hospitals brain MRI dataset(NINS-dataset)for *** hyperparameter optimizers like Adam,stochastic gradient descent(SGD),Root mean square propagation(RMS prop),Adamax,and AdamW have been used to compare the performance of the learning ***-dataset registers maximum classification *** evaluated the performance of the proposed classification model using several quantitative metrics,achieving an average accuracy of 98%.

关键词： MRI tumors classification AlexNet50 transfer learning hyperparameter tuning optimizer

A compact SCR model using advanced BJT models and standard SPICE elements

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Science China(Information Sciences) 2016年第10期59卷 248-250页

作者： Jian CAO Jingya XU Yuan WANG Guangyi LU Xing ZHANG Key Laboratory of Microelectronic Devices and Circuits (Ministry of Education) Institute of MicroelectronicsPeking University School of software & microelectronics Peking University

Dear editor,The Silicon controlled rectifiers(SCR)are widely used to protect integrated circuits(ICs)from electrostatic discharge(ESD)and electrical overstress(EOS)damage[1].An accurate SCR model is highly desirable in on-chip ESD protection *** studies modeled SCRs by aggregating conventional bipolar junction transistor(BJT)models and adding extra physical models that conventional BJT models fail to support[2,3].However the auxiliary models are mostly complicated

关键词： SPICE SCR A compact SCR model using advanced BJT models and standard SPICE elements BJT

Towards Verified software:Mirror Theory of Programming

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Chinese Journal of Electronics 2017年第2期26卷 279-284页

作者： ZHANG Junfu ZHAO Wen YUAN Chongyi School of software & microelectronics Peking University National Engineering Research Center for software Engineering Peking University

A program,when being executed,acts like a mirror that produces mirror images for objects in front of it.A mirror distinguishes itself from others by the way how it changes the shape of an object.A program can be characterized by the way how the final values of variables(the mirror images) are related to the initial values of variables(the objects).Axioms that specify relationships between final values and initial values of variables in a program are *** logic to be discussed in this paper serves to prove and to deduce properties based on given *** the axioms and the logic belong to a theory,namely the mirror theory of programming,in which a program appears as an operation expression *** is a step forward towards verified software.

关键词： Operation expression Semantic axiom Programming logic Theory of programming Verified software

Enhanced Answer Selection in CQA Using Multi-Dimensional Features Combination

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Tsinghua Science and Technology 2019年第3期24卷 346-359页

作者： Hongjie Fan Zhiyi Ma Hongqiang Li Dongsheng Wang Junfei Liu the School of Electronics Engineering and Computer Science Peking University the School of software and microelectronics Peking University he School of software and microelectronics Peking University National Engineering Research Center for software Engineering Peking University

Community Question Answering(CQA) in web forums, as a classic forum for user communication,provides a large number of high-quality useful answers in comparison with traditional question *** of methods to get good, honest answers according to user questions is a challenging task in natural language processing. Many answers are not associated with the actual problem or shift the subjects,and this usually occurs in relatively long answers. In this paper, we enhance answer selection in CQA using multidimensional feature combination and similarity order. We make full use of the information in answers to questions to determine the similarity between questions and answers, and use the text-based description of the answer to determine whether it is a reasonable one. Our work includes two subtasks:(a) classifying answers as good, bad, or potentially associated with a question, and(b) answering YES/NO based on a list of all answers to a question. The experimental results show that our approach is significantly more efficient than the baseline model, and its overall ranking is relatively high in comparison with that of other models.

关键词： community question answering information retrieval multi-dimensional features extraction similarity computation

维普期刊数据库

Analysis of influence of RF power and buffer gas pressure on sensitivity of optically pumped cesium magnetometer

在线全文

学校读者我要写书评

暂无评论

Chinese Physics B 2013年第10期22卷 206-212页

作者：石荣晔王延辉 institute of Quantum Electronics School of Electronics Engineering and Computer SciencePeking University School of software and microelectronics Peking University

A further study is conducted on two factors which respectively influence the sensitivity of optically pumped cesium magnetometer （CsOPM）. The influence of radio frequency （RF） power and the buffer gas pressure on the sensitivity is theoretically analyzed, and some properties are predicted. Based on the established measurement system and the visible Zeeman spectrum, not only is the real influence of these factors studied, but also, under our experimental condition, optimum parameters based on the measured curves are ascertained. The properties of these measured curves match the theoretical result very well. Our research attempts to provide theory reference to help magnetometer designers determine optimum parameters under certain conditions.

关键词： optically pumped cesium magnetometer buffer gas pressure sensitivity

维普期刊数据库

A multivariate process capability index with a spatial coefficient

在线全文

学校读者我要写书评

暂无评论

Journal of Semiconductors 2013年第2期34卷 129-132页

作者：王少熙王明辛樊晓桠张盛兵韩茹 School of software and microelectronics Northwestern Polytechnical University

After analyzing the multivariate Cpm method （Chan et al. 1991）, this paper presents a spatial multivariate process capability index （PCI） method, which can solve a multivariate off-centered case and may provide references for assuring and improving process quality level while achieving an overall evaluation of process quality. Examples for calculating multivariate PCI are given and the experimental results show that the systematic method presented is effective and actual.

关键词： process process capability index multivariate off-center

维普期刊数据库

Constraint Symbolization Method for Analog Layout Retargeting with Geometric Programming

在线全文

学校读者我要写书评

暂无评论

Chinese Journal of Electronics 2014年第1期23卷 65-69页

作者： WANG Shaoxi FAN Xiaoya ZHANG Shengbing HAN Ru School of software and microelectronics Northwestern Polytechnical University

To satisfy the requirements of complex and special analog layout constraints, a constraint symbolization method based on geometric programming for analog layout retargeting is presented in this paper. Our approach is to build symbolic template for layouts, then uses Geometric programming(GP) to achieve new technology design rules, implement device symmetry and matching constraints, and manage parasitics optimization. The GP,a class of non-linear optimization problem, can be transferred or fitted into a convex optimization problem. Therefore, a global optimum solution can be achieved. The symbolization method ensures the layout retargeting automatically. The efficiency and effectiveness of the proposed algorithm, as compared with the other existing methods, are demonstrated by a basic case-study example and a twostage Miller-compensated operational amplifier.

关键词： Constraint symbolization Geometric programming Layout Retargeting

A micro-array bio detection system based on a GMR sensor with 50-ppm sensitivity

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science China(Information Sciences) 2017年第8期60卷 217-225页

作者： Cheng ZHU Lei ZHANG Jinwen GENG Xizeng SHI He QIAN institute of microelectronics Tsinghua University

Bio detection is widely utilized in hospitals and laboratories. However, conventional bio detection methods suffer from long detection time, complex operation, and low sensitivity, and these issues prevent their use in point of care testing(POCT) applications. Microelectronic bio detection methods are proposed to overcome these issues. Bio detection based on a micro-electronic technique allows easy integration of a system, leading to a fast detection speed and simple operation. In this work, a fully microelectronic bio detection system including a sensor design, a read-out strategy, and data processing is proposed based on a GMR biosensor. A GMR sensor chip is designed and different passivation layer thicknesses are tested to improve sensitivity. A 40 nm thickness passivation is realized to produce the largest response without oxidization and breakdown. In order to integrate the read-out circuit and simplify operations, a 4-channel read-out biochip is designed and fabricated, and this exhibits a super-low output noise corresponding to-116.84 d Bm/Hz at the operation frequency. This means that the noise only approximately corresponds to the signal level of five magnetic nanoparticles with a diameter of 200 nm. A reference sensor is also utilized to cancel the unwanted signal and reduce common-mode noise and error to improve sensitivity. Measurements indicate that 90% suppression is achieved. The measurements also reveal that a sensitivity of 50 ppm is achieved with the proposed GMR bio detection system.

关键词： giant magnetoresistance(GMR) biosensor magnetic nanoparticle(MNP) small signal extraction sensitivity