Zhang D.,Beihang University |
Lu M.,Beihang University |
Hu A.,Beijing Municipal Public Security Bureau
WIT Transactions on Information and Communication Technologies | Year: 2014
Software security issues become more prominent in our daily life. Developing software securely is not enough, they also need to be demonstrated to be secure. As a new and promising approach to demonstrate that a system holds certain property, assurance case receives growing attention. However, how to build an assurance case systematically and effectively, particularly for security concerns, still lacks a clear framework and guidance. In this work, we propose a new software security argumentation framework based on assurance case. First, the basic structure of the framework is given. Then we use the model of assurance case to elaborate the argumentation framework. Finally, a case study is presented which preliminarily shows its effectiveness. © 2014 WIT Press.
Zhao Y.,Academy of Armored force Engineering |
He X.,Academy of Armored force Engineering |
Zhou Y.,Beijing Municipal Public Security Bureau
2011 International Conference on Multimedia Technology, ICMT 2011 | Year: 2011
For survivability evaluation of command information system, it is important to build efficient survivability evaluation indexes. To solve the problems of unclear index classification, weak index operability and incomplete index content, a threelevel structure of survivability evaluation indexes is proposed for command information system under complex electromagnetic environment. © 2011 IEEE.
Pan C.,Beijing Municipal Public Security Bureau
Qinghua Daxue Xuebao/Journal of Tsinghua University | Year: 2013
Simulations were made to obtain the design strategy of smoke control in consideration of the atrium features of a university library in Beijing through fire scene set-up, fire severity design, smoke control analyses, and evacuation practice. The results show that the inner atrium fire control system design should consider the influence of the moving height, exhaust smoke level, fire detection and danger alarm, and that a large full-height automatic control gear can efficiently prevent smoke invasion and protect personal safety during evacuation.
Qin X.-Y.,Minzu University of China |
Li T.,Minzu University of China |
Yan L.,Minzu University of China |
Liu Q.-S.,Minzu University of China |
Tian Y.,Beijing Municipal Public Security Bureau
Immunopharmacology and Immunotoxicology | Year: 2010
Background and Aim: Tanshione IIA (TSN) is the major active component of Salvia miltiorrhiza, a traditional Chinese Medicine. TSN protects against antioxidant-induced liver injury, although the exact mechanism is not well understood. Materials and Methods: In this study, the protective effects of TSN was examined by enzyme-linked immunosorbent assay (ELISA) and histochemistry of several cytokines. Results: TSN is found to significantly reduce plasma alanin aminotransferase and aspartate amino transferase levels in mice with concanavalin A-induced immune-mediated liver injury. TSN increases T lymphocyte subset CD3+, CD4+ and CD8+ ratios. Also, TSN significantly reduces inflammatory cytokines, including interleukin-2, interleukin-4, interferon-gamma and tumor necrosis factor alpha, while elevates anti-inflammatory cytokine, interleukin-10. Conclusions: TSN may provide a potential drug candidate for liver injury therapeutics. © 2010 Informa UK Ltd.
Guo C.-X.,University of Science and Technology Beijing |
Guo C.-X.,National Defense Academy |
Liu Z.-L.,National Defense Academy |
Xu X.,PLAUST |
And 2 more authors.
Beijing Gongye Daxue Xuebao/Journal of Beijing University of Technology | Year: 2011
In order to enhance the test efficiency of information security system, analysis of the attributes of attackers, offensive rules and offensive planning products is very important. Based on the study of attackers' individual attributes, attackers' task-oriented polymerization rules are analyzed and described by polymer operator, mobile operator and splitting operator in the paper. Then an attacker's behavior planning algorithm is prompted. It contains the planning steps, behavior and dynamic evolution of the planning process. Finally application of an example is demonstrated to prove the feasibility of the algorithm.
Sheng J.,Nanjing University |
Lei J.,Nanjing University |
Ju H.,Nanjing University |
Song C.,Beijing Municipal Public Security Bureau |
Zhang D.,Beijing Municipal Public Security Bureau
Analytica Chimica Acta | Year: 2010
A rapid method for sensitive ultraviolet detection of multiple psychotropic drugs in human plasma was developed on a low-cost and expediently fabricated hybrid microfluidic device. The device was composed of one fused-silica capillary with a sampling fracture, a poly(methyl methacrylate) board with four reservoirs, and a printed circuit board. At the optimal separation and detection conditions, the baseline separation of three kinds of psychotropic drugs including barbiturates (phenobarbital and barbital), benzodiazepines (nitrazepam, clonazepam, chlordiazepoxide, alprazolam and diazepam) and tricyclic antidepressant drugs (amitriptyline) was achieved within 200s with separation efficiency up to 3.80×105platesm-1. The linear ranges for ultraviolet detection were from 2.0 to 1000.0μgmL-1 for chlordiazepoxide and 1.0 to 1000.0μgmL-1 for other seven drugs. Combining with solid-phase extraction, this novel protocol could successfully be used to screen naturally existing psychotropic drugs in a known human plasma sample. The minimum detectable concentration was down to 27ngmL-1 for phenobarbital spiked in plasma. This work provided a promising way to initially screen different psychotropic drugs with high resolution, rapid separation and low-cost. © 2010 Elsevier B.V.
Gou H.,Hebei Medical University |
Wen D.,Hebei Medical University |
Ma C.,Hebei Medical University |
Li M.,Hebei Medical University |
And 4 more authors.
Behavioural Brain Research | Year: 2015
We investigated whether pretreatment with the neuropeptide cholecystokinin-8 affected methamphetamine (METH)-induced behavioral changes and dopaminergic neurodegeneration in male C57/BL6 mice. CCK-8 pretreatment alone had no effect on locomotion and stereotypic behavior and could not induce behavioral sensitization; however, it attenuated, in a dose-dependent manner, hyperlocomotion and behavioral sensitization induced by a low dose of METH (1. mg/kg). CCK-8 attenuated METH-induced stereotypic behavior at a dose of 3. mg/kg but not at 10. mg/kg. CCK-8 pretreatment attenuated METH (10. mg/kg)-induced hyperthermia, the decrease of tyrosine hydroxylase (TH) and dopamine transporter (DAT) in the striatum, and TH in the substantia nigra. CCK-8 alone had no effect on rectal temperature, TH and DAT expression in the nigrostriatal region. In conclusion, our study demonstrated that pretreatment with CCK-8 inhibited changes typically induced by repeated exposure to METH, such as hyperlocomotion, behavioral sensitization, stereotypic behavior, and dopaminergic neurotoxicity. These findings make CCK-8 a potential therapeutic agent for the treatment of multiple symptoms associated with METH abuse. © 2015 Elsevier B.V.
Sheng J.,Nanjing University |
Ping Q.,Nanjing University |
Lei J.,Nanjing University |
Ju H.,Nanjing University |
And 2 more authors.
Analytical Letters | Year: 2012
This work presents a new approach for fast and sensitive ultraviolet detection of 12 kinds of narcotic drugs on a microfluidic device by micellar electrokinetic capillary chromatography. Under optimal sampling and separation conditions the baseline separation of 12 drugs with resolution values ranging from 1.06 to 4.04 and separation efficiency up to 5.14 × 105 plates m-1 was achieved within 200 s. The widest linear range for detection of these analytes was 1.0 to 1500.0 μg mL-1. The correlation coefficients are higher than 0.9994. This system can successfully be applied to analyze narcotic drugs in human urine with the aid of liquid-liquid extraction of the samples. This method allows minimum detectable concentrations of these drugs down to 33 ng mL-1 at a signal-to-noise ratio of 3. This rapid method with high resolution and sensitivity, and little solvent consumption possessed potential application in screening of narcotic drugs in forensic analysis. © 2012 Copyright Taylor and Francis Group, LLC.
PubMed | Beijing Municipal Public Security Bureau and Hebei Medical University
Type: | Journal: Neurotoxicology | Year: 2016
As a powerful addictive psychostimulant drug, coupled with its neurotoxicity, methamphetamine (METH) abuse may lead to long-lasting abnormalities in brain structure and function. We found that pretreatment of cholecystokinin-8 (CCK-8) inhibited METH-induced brain cellular dopaminergic (DA) damage in the striatum and substantia nigra, and related behavioural deficits and hyperthermia. However, the mechanism of CCK-8 action on METH-induced toxicity is not clear. The aim of this study was to explore whether the possible protective effect of CCK-8 on METH-induced neurotoxicity involved anti-oxidative stress mechanisms. The subtypes of CCK receptors mediating the regulatory action of CCK-8 were also investigated. The present results revealed that CCK-8 dose-dependently inhibited METH-induced cytotoxic effect by activating the CCK2 receptor subtype in PC12 cells and CCK2 receptor stable transfected-HEK293 cells. Pre-treatment of CCK-8 before METH stimulation significantly attenuated the generation of reactive oxygen species and NADPH oxidase activation in PC12 cells. In conclusion, our study demonstrated a protective effect of CCK-8 on METH-induced neurotoxicity in vitro and suggested that a possible mechanism of this action was dependent on the activation of the CCK2 receptor to reduce the neurotoxicity and oxidative stress induced by METH stimulation.
News Article | November 27, 2015
Beijing’s 2015 World Robot Conference introduced three robots that specialize in reconnaissance, armed attack, and disposing small explosives – toy-sized ones that can very well coordinate with one another while in battle. The robots debuted amid growing global threats of terrorist action and following the series of coordinated attacks in numerous areas in Paris, France. Wu Yanpeng, Harbin-based HIT Robot Group engineer and developer of the three robots, explained each one’s capabilities. The reconnaissance robot – known as scout – takes field detection on using sensor or camera. Once it senses a suspicious explosive item or chemical, it transmits information to headquarters for further probe. The small explosive ordnance disposal robot as well as the armed attack robot – basing on the data analysis and need to evacuate – will begin their mission: the small EOD robot will move and defuse the bomb, while the attacker robot will hit target from a long distance using its minor-caliber weapons, rifles, and grenade launchers. If the situation is more complex than the small EOD robot can handle, the office-based bomb experts will produce a solution, added Wu. A soldier working alone can carry on his back the 12-kilogram or about 26 pounds small EOD robot, made of industrial plastic and aluminum alloy. But the robots are seen to work not just for warfare, but also for simpler public security operations, firefighting, agriculture, and forestry. The set of robots is priced at around $230,000 or 1.5 million yuan, said HIT Robot Group sales manager Chen Deqiang. And it now has its fair share of buyers, according to the company, including the Beijing Municipal Public Security Bureau. China itself is on national alert due to terror threats in Xinjiang province as well as the rest of the nation following the deadly attacks in Paris. China police Chief Guo Shengkun, at a televised meeting, called on officials to stay on heightened alert and terrorism prevention. China, the world’s second biggest economy, leads the pack in marketing industrial robots with its share of a quarter of global sales. Service robots for homes and offices, however, were pinpointed to be the true opportunity for the market. "There are now fewer than 100,000 robots in Chinese families, not including vacuum cleaners," said Canbot CEO Liu Xuenan at an executive roundtable during the robot conference. Horizon Robotics head Yu Kai, on the other hand, estimated a greater role for the automated helpers in the future, predicting: “[E]ach person might have 10 robots.”