-
Article
Formal Verification Techniques Based on Boolean Satisfiability Problem
This paper exploits Boolean satisfiability problem in equivalence checking and model checking respectively. A combinational equivalence checking method based on incremental satisfiability is presented. This me...
-
Article
STAT3 silencing with lentivirus inhibits growth and induces apoptosis and differentiation of U251 cells
Glioblastoma multiforme (GBM), the most common type of central nervous system tumor in humans, is highly proliferative and resistant to apoptosis associated with genetic mutations that deregulate cell cycle. S...
-
Article
Berberine inhibits acute radiation intestinal syndrome in human with abdomen radiotherapy
Radiation-induced acute intestinal symptoms (RIAISs) are the most relevant complication of abdominal or pelvic radiation. Considering the negative impact of RIAIS on patients’ daily activities, the preventive ...
-
Article
A process model for BOF process based on bath mixing degree
The process model for BOF process can be applied to predict the liquid steel composition and bath temperature during the whole steelmaking process. On the basis of the traditional three-stage decarburization t...
-
Article
High-Temperature Oxidation Behavior of Vanadium, Titanium-Bearing Magnetite Pellet
By means of isothermal oxidation and chemical analysis, great importance was attached to the parameters that made effects on the oxidation degree of vanadium, titanium-bearing magnetite pellet in high-temperat...
-
Article
Frequency–spectrum characteristics of force in end milling with tool wear and eccentricity
The effects of chip load, tool wear, and tool eccentricity on milling force are similar; in order to distinguish them from each other, the spectral characteristics of milling force for four flute end mills was...
-
Article
Comparison of reduction disintegration characteristics of TiO2-rich burdens prepared with sintering process and composite agglomeration process
To reveal the impact of the composite agglomeration process (CAP) on the reduction disintegration properties of TiO2-rich ironmaking burden for a blast furnace, the reduction disintegration indices (RDIs), minera...
-
Article
Geometry features of breakage section and variation of cutting force for end mills after brittle breakage
Some broken end mills with many brittle breakage sections were collected, and the geometry features of these sections were summed up. As for minor breakage, the breakage sections were narrow planes parallel to...
-
Article
Open AccessInhibition of EGR1 inhibits glioma proliferation by targeting CCND1 promoter
Gliomas are the most common primary tumors in central nervous system. The prognosis of the patients with glioma is poor regardless of the development of therapeutic strategies. Its aggressive behavior mainly d...
-
Article
Research on the dynamic characteristics of seawater hydraulic cartridge-type 4/3 directional valve
Water hydraulic directional valve is a key control element in seawater fluid power system. Because of the properties of high bulk modulus and low viscosity of seawater, the leakage and dynamic characteristics ...
-
Article
Alkaline digestion behavior and alumina extraction from sodium aluminosilicate generated in pyrometallurgical process
In pyrometallurgical process, Al- and Si-bearing minerals in iron and aluminum ores are easily transformed into sodium aluminosilicates in the presence of Na2O constituents, which alters the leaching behaviors of...
-
Article
Open AccessWear Mechanism of Cemented Carbide Tool in High Speed Milling of Stainless Steel
Adhesion of cutting tool and chip often occurs when machining stainless steels with cemented carbide tools. Wear mechanism of cemented carbide tool in high speed milling of stainless steel 0Cr13Ni4Mo was studi...
-
Article
Preparation of blast furnace burdens by composite agglomeration process: effect of distribution of magnetite and hematite concentrates in pelletized and matrix feed
Effect of distribution of iron concentrates between pelletized and matrix feed on the preparation of blast furnace burdens from two different kinds of fine iron concentrates (magnetite and hematite) by composi...
-
Article
Open AccessMultifocal glioblastoma—two case reports and literature review
Multifocal glioblastoma is a rare type of glioblastoma with worse prognosis. In this article, we aimed to report two cases of classical multifocal glioblastoma.
-
Article
Sodium caseinate and soluble soybean polysaccharide complex as nano-carriers of curcumin
Protein-based delivery systems can be used to increase the solubility and bioavailability of curcumin (Cur). In the current work, the synergistic effect of sodium caseinate (NaCas) and soluble soybean polysacc...
-
Article
An efficient method for iron ore sintering with high-bed layer: double-layer sintering
Poor permeability and low sintering productivity restrict the development of high-bed sintering. An efficient method of the double-layer sintering process (DLSP) was proposed to achieve high-bed sintering and ...
-
Article
Interactions between 7S/11S soybean globulins and wheat proteins during dough making
Attributing the nutritional effect of soybean protein, supplementation of wheat flour with soy flour has gained more and more attentions. The interactions between soybean protein and wheat gluten were believed...
-
Article
Joint beamforming and power allocation for intelligent reflecting surface-aided millimeter wave MIMO systems
As more challenging demands and potential applications increase in the sixth generation (6G) wireless networks, the future of mobile communications is exciting. Recently proposed intelligent reflecting surface...
-
Article
An Insight into the Carbothermic Reduction Behavior of Pyrochlore
Pyrochlore [(Ca,Na)2(Nb,Ti)2O6F] is the primary niobium-hosting mineral for the current industrial exploration. The carbothermic reduction behavior of pyrochlore was investigated in this work. Niobium and titaniu...
-
Article
Super-high bed sintering for iron ores: behaviors, causes and solutions of horizontal segregation on strand
Horizontal segregation has been a constraint to the development and application of super-high bed sintering. To eliminate the horizontal segregation of super-high bed sintering, several typical sintering machi...
