CONVERSION OF SURGICALLY VERIFIED UNRESECTABLE TO RESECTABLE HEPATOCELLULAR CARCINOMA(A REPORT OF 26 PATIENTS WITH SUBSEQUENT RESECTION)

During the period 1978-1987, 255 patients with pathologically proven hepatocellular carcinoma (HCC) were determined by laparotomy to be un-resectable, 155 (60.8%) out of them had their tumor mainly confined in right or left lobe and considered to be potentially resectable if remarkable tumor shrinkage appears after treatment. Second look operation was performed in 26 (16.8%) out of the 155 patients after marked reduction of tumor size, resection was done in all of these 26 patients. Triple or quadruple combination treatment with hepatic artery ligation (HAL), hepatic artery infusion (HAI) with chemotherapy, radiotherapy using linear accelerator, and radioimmunotherapy using 131-I antihu-man HCC ferritin antibody yielded the highest conversion rate (29.8%, 14/47) as compared to double combination treatment with HAL+HAI, or cryosur-gery+HAL (16.9%, 12/71) and single treatment with HAL or HAI or HAE (embolization) (0%, 0/37). The median tumor size of these 26 patients was reduced from 9.5 cm to 5.0 cm after combination treatment. The median interval between the first laparotomy and the subsequent resection was 5.0 (2-16) months. The survival rates calculated by life table method were: 1-year 86.5%, 2-year 74.3% and 3-year 74.3%. Nine cases have survival more than 3 years. Thus, multimodality combination treatment with subsequent resection might prolong survival significantly for some patients with unresectable HCC particularly confined in right lobe of a cirrhotic liver.

Numerical Simulation for Remediation Planning for 1,4-Dioxane-Contaminated Groundwater at Kuwana Illegal Dumping Site in Japan Based on the Concept of Verified Follow Up

At Kuwana illegal dumping site in Japan, where hazardous waste was illegally dumped, groundwater was severely contaminated by Volatile Organic Compounds (VOCs). Groundwater was already remedied by conducting Pump-and-Treat (P&T) after containment of all the waste by vertical slurry walls from 2002 to 2007. However, 1,4-dioxane was detected in both waste and groundwater outside of slurry walls after it was newly added into Japan environmental standards in late 2009, which suggested that the walls did not contain 1,4-dioxane completely. Our previous study developed a model to predict the 1,4-dioxane distribution in groundwater after the previous remediation at the site. In this study, numerical simulation was applied for remediation planning at the site based on the concept of Verified Follow Up (VF-UP) that had been proposed as a new approach to complete remediation effectively with consideration of future risks. The amount of waste to be removed and pumping plans were discussed by numerical simulation to achieve the remedial objective in which 1,4-dioxane in groundwater outside of walls is remedied within 10 years and 1,4-dioxane spreading throughout the walls is prevented in the case where a portion of waste is remained. Firstly, the amount of waste to be removed considering pumping plans for P&T was determined by scenario analysis. As a result, at least two-third of waste should be removed by combining with P&T. However, if the waste is remained, future risks of 1,4-dioxane spreading through the slurry walls may occur. Our simulation suggested that groundwater within the remaining waste must be pumped up at least 20 m3/d for containment of 1,4-dioxane within the remaining waste. In conclusion, our numerical simulation determined the amount of waste to be removed and the pumping plans for P&T to achieve the remedial objective effectively considering future risks based on the concept of VF-UP.

Practicality of power load management system in Chongqing City verified

Began from early 1992, Chongqing Power Supply Bureau had spent 3 and half years to build up a power load management system consisting of I master station, 6 relay stations, 1280 terminals and the distributed monitoring device. This system distributes in the hilly and mountainous areas where geographically complicated and the load widely scatters, it can supervise about 72% load and curtail more than 15% load

A Composite Ansatz for Calculation of Dynamical Structure Factor

We propose an ansatz without adjustable parameters for the calculation of a dynamical structure factor.The ansatz combines the quasi-particle Green’s function,especially the contribution from the renormalization factor,and the exchange-correlation kernel from time-dependent density functional theory together,verified for typical metals and semiconductors from a plasmon excitation regime to the Compton scattering regime.It has the capability to reconcile both small-angle and large-angle inelastic x-ray scattering(IXS)signals with muchimproved accuracy,which can be used as the theoretical base model,in inversely inferring electronic structures of condensed matter from IXS experimental signals directly.It may also be used to diagnose thermal parameters,such as temperature and density,of dense plasmas in x-ray Thomson scattering experiments.

DNATyper^(TM)21与Verifiler^(TM)Plus试剂盒对常规案件检材检验的比较

本文通过比较DNATyper^(TM)21与Verifi ler^(TM)Plus两种STR检测试剂盒对各类案件检材的检验能力,探讨DNATyper^(TM)21试剂盒在常规案件检验中应用的可靠性。取0.03125、0.0625、0.125、0.25、0.5、1.0 ng/μL基因组标准品对两种试剂盒进行灵敏度测试;应用DNATyper^(TM)21与Verifi ler^(TM)Plus试剂盒分别对1056例常规案件检材DNA进行检验;对同一样本等位基因进行一致性比较。结果表明,两种试剂盒均可以成功检测出模板浓度在0.0625 ng/μL以上的标准DNA。在检验的1056例样本中,DNATyper^(TM)21试剂盒共检出881例,检出率为83.4%;Verifi ler^(TM)Plus试剂盒检出892例,检出率为84.5%。统计学结果表明两种试剂盒检出率无统计学差异,且同一样本相同基因座得到的等位基因分型一致。综上,DNATyper^(TM)21试剂盒对各类常规检材具有良好的检验能力,可应用于日常案件检验。

Towards a verified compiler prototype for the synchronous language SIGNAL

SIGNAL belongs to the synchronous languages family which are widely used in the design of safety-critical real-time systems such as avionics, space systems, and nu- clear power plants. This paper reports a compiler prototype for SIGNAL. Compared with the existing SIGNAL com- piler, we propose a new intermediate representation （named S-CGA, a variant of clocked guarded actions）, to integrate more synchronous programs into our compiler prototype in the future. The front-end of the compiler, i.e., the transla- tion from SIGNAL to S-CGA, is presented. As well, the proof of semantics preservation is mechanized in the theo- rem prover Coq. Moreover, we present the back-end of the compiler, including sequential code generation and multi- threaded code generation with time-predictable properties. With the rising importance of multi-core processors in safety- critical embedded systems or cyber-physical systems （CPS）, there is a growing need for model-driven generation of multi- threaded code and thus mapping on multi-core. We propose a time-predictable multi-core architecture model in archi- tecture analysis and design language （AADL）, and map the multi-threaded code to this model.

MaMADS1-MaNAC083 transcriptional regulatory cascade regulates ethylene biosynthesis during banana fruit ripening

The hormone ethylene is crucial in the regulation of ripening in climacteric fruit,such as bananas.The transcriptional regulation of ethylene biosynthesis throughout banana fruit ripening has received much study,but the cascaded transcriptional machinery of upstream transcriptional regulators implicated in the ethylene biosynthesis pathway is still poorly understood.Here we report that ethylene biosynthesis genes,including MaACS1,MaACO1,MaACO4,MaACO5,and MaACO8,were upregulated in ripening bananas.NAC(NAM,ATAF,CUC)transcription factor,MaNAC083,a ripening and ethylene-inhibited gene,was discovered as a potential binding protein to the MaACS1 promoter by yeast one-hybrid screening.Further in vitro and in vivo experiments indicated that MaNAC083 bound directly to promoters of the five ethylene biosynthesis genes,thereby transcriptionally repressing their expression,which was further verified by transient overexpression experiments,where ethylene production was inhibited through MaNAC083-modulated transcriptional repression of ethylene biosynthesis genes in banana fruits.Strikingly,MaMADS1,a ripening-induced MADS(MCM1,AGAMOUS,DEFICIENS,SRF4)transcription factor,was found to directly repress the expression of MaNAC083,inhibiting trans-repression of MaNAC083 to ethylene biosynthesis genes,thereby attenuating MaNAC083-repressed ethylene production in bananas.These findings collectively illustrated the mechanistic basis of a MaMADS1-MaNAC083-MaACS1/MaACOs regulatory cascade controlling ethylene biosynthesis during banana fruit ripening.These findings increase our knowledge of the transcriptional regulatory mechanisms of ethylene biosynthesis at the transcriptional level and are expected to help develop molecular approaches to control ripening and improve fruit storability.

VPFL:A verifiable privacy-preserving federated learning scheme for edge computing systems

Federated learning for edge computing is a promising solution in the data booming era,which leverages the computation ability of each edge device to train local models and only shares the model gradients to the central server.However,the frequently transmitted local gradients could also leak the participants’private data.To protect the privacy of local training data,lots of cryptographic-based Privacy-Preserving Federated Learning(PPFL)schemes have been proposed.However,due to the constrained resource nature of mobile devices and complex cryptographic operations,traditional PPFL schemes fail to provide efficient data confidentiality and lightweight integrity verification simultaneously.To tackle this problem,we propose a Verifiable Privacypreserving Federated Learning scheme(VPFL)for edge computing systems to prevent local gradients from leaking over the transmission stage.Firstly,we combine the Distributed Selective Stochastic Gradient Descent(DSSGD)method with Paillier homomorphic cryptosystem to achieve the distributed encryption functionality,so as to reduce the computation cost of the complex cryptosystem.Secondly,we further present an online/offline signature method to realize the lightweight gradients integrity verification,where the offline part can be securely outsourced to the edge server.Comprehensive security analysis demonstrates the proposed VPFL can achieve data confidentiality,authentication,and integrity.At last,we evaluate both communication overhead and computation cost of the proposed VPFL scheme,the experimental results have shown VPFL has low computation costs and communication overheads while maintaining high training accuracy.

Novel traveling quantum anonymous voting scheme via GHZ states

Based on traveling ballot mode,we propose a secure quantum anonymous voting via Greenberger–Horne–Zeilinger(GHZ)states.In this scheme,each legal voter performs unitary operation on corresponding position of particle sequence to encode his/her voting content.The voters have multiple ballot items to choose rather than just binary options“yes”or“no”.After counting votes phase,any participant who is interested in voting results can obtain the voting results.To improve the efficiency of the traveling quantum anonymous voting scheme,an optimization method based on grouping strategy is also presented.Compared with the most existing traveling quantum voting schemes,the proposed scheme is more practical because of its privacy,verifiability and non-repeatability.Furthermore,the security analysis shows that the proposed traveling quantum anonymous voting scheme can prevent various attacks and ensure high security.

Blind quantum computation with a client performing different single-qubit gates

In the field of single-server blind quantum computation(BQC), a major focus is to make the client as classical as possible. To achieve this goal, we propose two single-server BQC protocols to achieve verifiable universal quantum computation. In these two protocols, the client only needs to perform either the gate T(in the first protocol) or the gates H and X(in the second protocol). With assistance from a single server, the client can utilize his quantum capabilities to generate some single-qubit states while keeping the actual state of these qubits confidential from others. By using these single-qubit states, the verifiable universal quantum computation can be achieved.

A leap by the rise of solid-state electrolytes for Li-air batteries

Li-air batteries have attracted extensive attention because of their ultrahigh theoretical energy density. However, the potential safety hazard of flammable organic liquid electrolytes hinders their practical applications. Replacing liquid electrolytes with solidstate electrolytes(SSEs) is expected to fundamentally overcome the safety issues. In this work, we focus on the development and challenge of solid-state Li-air batteries(SSLABs). The rise of different types of SSEs, interfacial compatibility and verifiability in SSLABs are presented. The corresponding strategies and prospects of SSLABs are also proposed. In particular, combining machine learning method with experiment and in situ(or operando)techniques is imperative to accelerate the development of SSLABs.

A New Technique for Attention Management and Somatosensory Processing in Hypnotherapy: Mental Access/Somatosensory Access (MASSA)

The author introduces a new hypnotherapeutic technique termed “Mental Access/Somatosensory Access” (MASSA). MASSA is designed to utilize an external somatosensory stimulus in the context of hypnotherapy, based on a Bottom-Up/Top-Down Paradigm, which complements and mutually reinforces hypnotic inductions by using imbedded suggestions. The intervention’s algorithm includes a combination of real-time stimulation through one of the following somatosensory modalities: sensorimotor activation of the palms, visual, auditory, vibration, thermal, olfaction or oropharyngeal. These modalities are accompanied by guided hypnotic dissociation and suggestions. Somatosensory stimulation amplifies patients’ engagement in the procedure, focusing their attention on a stimulus and on the hypnotic experience during the intervention. A stream of closed questions with imbedded suggestions, presented by the therapist, is designed using suggestive presuppositions, termed by the author “The Create and Verify Principle” (CVP). This principle facilitates effective pacing and helps transform patients’ sensory and mental experiences. Imbedded suggestions followed by real-time stimulation, maintain a focus on the somatosensory content, boost the hypnotic experience, and gradually combine awareness of the somatosensory stimulation experience (Bottom-Up regulation) with memory, imagination, emotions and meanings, for mental access of resources and adaptive coping (Top-Down regulation). In the first part of this article, the author briefly introduces the neurophysiological mechanism behind the suggestive, somatosensory, attention-management intervention and provides an example of a basic algorithm of the MASSA technique. The second part includes clinical samples with scripts of successfully treated patients, who experienced tension headache, psychogenic balance disorder, tinnitus. .

Vibration analysis of hard-coated composite beam considering the strain dependent characteristic of coating material

The strain dependent characteristics of hard coatings make the vibration analysis of hard-coated composite structure become a challenging task. In this study, the modeling and the analysis method of a hard-coated composite beam was developed considering the strain dependent characteristics of coating material. Firstly, based on analyzing the properties of hard-coating material, a high order polynomial was adopted to characterize the strain dependent characteristics of coating materials. Then, the analytical model of a hard-coated composite beam was created by the energy method. Next, using the numerical method to solve the vibration response and the resonance frequencies of the composite beam, a specific calculation flow was also proposed. Finally,a cantilever beam coated with Mg O ＋ Al2_O_3 hard coating was chosen as the study case; under different excitation levels, the resonance region responses and the resonance frequencies of the composite beam were calculated using the proposed method. The calculation results were compared with the experiment and the linear calculation, and the correctness of the created model was verified. The study shows that compared with the general linear calculation, the proposed method can still maintain an acceptable precision when the excitation level is larger.

Analytical and finite-element study of optimal strain distribution in various beam shapes for energy harvesting applications

Owing to the increasing demand for harvesting energy from environmental vibration for use in self-powered electronic applications, cantilever-based vibration energy harvesting has attracted considerable interest from various parties and has become one of the most common approaches to converting redundant mechanical energy into electrical energy. As the output voltage produced from a piezoelectric material depends largely on the geometric shape and the size of the beam, there is a need to model and compare the performance of cantilever beams of differing geometries.This paper presents the study of strain distribution in various shapes of cantilever beams, including a convex and concave edge profile elliptical beam that have not yet been discussed in any prior literature. Both analytical and finite-element models are derived and the resultant strain distributions in the beam are computed based on a MATLAB solver and ANSYS finite-element analysis tools. An optimum geometry for a vibration-based energy harvesting system is verified.Finally, experimental results comparing the power density for triangular and rectangular piezoelectric beams are also presented to validate the findings of the study, and the claim, as suggested in the literature, is verified.

DIGITAL GENERATION OF TWO-DIMENSIONAL FIELD OF TURBULENCE FOR FLIGHT SIMULATION

In some special cases of flight simulation (e.g. for formation flight, in-flight tanking) it is required to generate a two-dimensional field of turbulence, in which the turbulent wind speeds are stochastic functions of two coordinates (e.g. x in the flight direction and y in the wing span direction). For this purpose a simple and efficient technique for the digital generation of a two-dimensional field of turbulence,i.e. for the production of turbulent speed sequences on a rectangular network, is proposed in this paper. The correlation of the turbulent field so generated is found to be in good agreement with the theoretical correlation of the turbulence model, and thus the feasibility of the proposed method is verified. Two possible operation modes (off-line and on-line) of the turbulence generator in flight simulation are also discussed.

STRUCTURAL STUDIES ON THE OLIGOMERS FROM THE POLYSACCHARIDE OF GRACILARIA TEXTORII (RHODOPHYTA) USING β-AGARASE AND 13C-NMR SPECTROSCOPY

The 60% ethanolic extract from Gracilaria textorii (Rhbdophyta) was degraded with B- agarase, and certain charged (sulfated) and neutral oligosaccharides were separated by using DEAE Sephadex A 25 and Bio- gel P6 , P2 chromatographic techniques . Some of the charged oligomers were verified to be neoagarotetraose - 63- sulfate ( DP2 ). neoagarohexaose- 63 】 65 - disulfate ( DP3 ) and neoagarooctaose- 63, 65, 67-trisulfate (DP4) by using 13C-and ’H-NMR spectroscopy . One neutral oligomer was assumed to be a mixture of methylated neoagarotetraoses (DP2 ) by 1H-NMR spectroscopy .These oligomers assigned by their chemical shifts may be used as the model compounds for the structural investigation of the agar- type sulfated polysaccharides using the B- agarase degradation method .

CLINICAL OBSERVATION ON OSTEOPOROSIS TREATED WITH TRADITIONAL KIDNEY-TONIFYING MEDICAMENTS

The method of scoring kidney deficiency symptoms and bone density was used to judge therapeutic efficacy on osteoporosis of traditional kidney-tonifying drugs. It was proved that the drugs not only improved clinical symptoms but also delayed the developmental pro-cess of this disorder. It also verified the correctness of the traditional theory that the kidney dominates the bone and generates the marrow.

Differential temporal expression of matrix metalloproteinases following sciatic nerve crush

We previously performed transcriptome sequencing and found that genes for matrix metalloproteinases（MMPs）,such as MMP7 and 12,seem to be highly upregulated following peripheral nerve injury,and may be involved in nerve repair.In the present study,we systematically determined the expression levels of MMPs and their regulators at 1,4,7 and 14 days after sciatic nerve crush injury.The number of differentially expressed genes was elevated at 4 and 7 days after injury,but decreased at 14 days after injury.Among the differentially expressed genes,those most up-regulated showed fold changes of more than 214,while those most down-regulated exhibited fold changes of more than 2-10.Gene sequencing showed that,at all time points after injury,a variety of MMP genes in the “Inhibition of MMPs” pathway were up-regulated,and their inhibitor genes were down-regulated.Expression of key up-and down-regulated genes was verified by quantitative real-time polymerase chain reaction analysis and found to be consistent with transcriptome sequencing.These results suggest that MMP-related genes are strongly involved in the process of peripheral nerve regeneration.

The penetrating depth analysis of Lunar Penetrating Radar onboard Chang＇e-3 rover

Lunar Penetrating Radar（LPR） has successfully been used to acquire a large amount of scientific data during its in-situ detection. The analysis of penetrating depth can help to determine whether the target is within the effective detection range and contribute to distinguishing useful echoes from noise.First, this study introduces two traditional methods, both based on a radar transmission equation, to calculate the penetrating depth. The only difference between the two methods is that the first method adopts system calibration parameters given in the calibration report and the second one uses high-voltage-off radar data. However, some prior knowledge and assumptions are needed in the radar equation and the accuracy of assumptions will directly influence the final results. Therefore, a new method termed the Correlation Coefficient Method（CCM） is provided in this study, which is only based on radar data without any a priori assumptions. The CCM can obtain the penetrating depth according to the different correlation between reflected echoes and noise. To be exact, there is a strong correlation in the useful reflected echoes and a random correlation in the noise between adjacent data traces. In addition, this method can acquire a variable penetrating depth along the profile of the rover, but only one single depth value can be obtained from traditional methods. Through a simulation, the CCM has been verified as an effective method to obtain penetration depth. The comparisons and analysis of the calculation results of these three methods are also implemented in this study. Finally, results show that the ultimate penetrating depth of Channel 1 and the estimated penetrating depth of Channel 2 range from 136.9 m to 165.5 m（ε_r = 6.6） and from 13.0 m to 17.5 m（ε_r = 2.3）, respectively.