全文获取类型
收费全文 | 93篇 |
免费 | 4篇 |
专业分类
电工技术 | 19篇 |
化学工业 | 23篇 |
金属工艺 | 2篇 |
机械仪表 | 1篇 |
建筑科学 | 1篇 |
能源动力 | 6篇 |
轻工业 | 13篇 |
无线电 | 5篇 |
一般工业技术 | 9篇 |
冶金工业 | 2篇 |
原子能技术 | 1篇 |
自动化技术 | 15篇 |
出版年
2022年 | 2篇 |
2021年 | 3篇 |
2020年 | 1篇 |
2018年 | 1篇 |
2017年 | 1篇 |
2016年 | 4篇 |
2015年 | 3篇 |
2014年 | 5篇 |
2013年 | 7篇 |
2012年 | 4篇 |
2011年 | 6篇 |
2010年 | 2篇 |
2009年 | 8篇 |
2008年 | 5篇 |
2007年 | 6篇 |
2006年 | 3篇 |
2005年 | 2篇 |
2004年 | 1篇 |
2003年 | 5篇 |
2002年 | 2篇 |
2001年 | 2篇 |
1999年 | 4篇 |
1998年 | 2篇 |
1997年 | 1篇 |
1996年 | 4篇 |
1993年 | 2篇 |
1992年 | 2篇 |
1990年 | 2篇 |
1989年 | 1篇 |
1988年 | 1篇 |
1986年 | 1篇 |
1985年 | 1篇 |
1983年 | 1篇 |
1980年 | 1篇 |
1977年 | 1篇 |
排序方式: 共有97条查询结果,搜索用时 15 毫秒
1.
Summary A weak logic of programs is a formal system in which statements that mean the program halts cannot be expressed. In order to prove termination, we would usually have to use a stronger logical system. In this paper we show how we can prove termination of both iterative and recursive programs within a weak logic by augmenting the programs with counters and adding bound assertions on the counters as loop invariants and entry conditions. Thus, most of the existing verifiers which are based on a weak logic of programs can be used to prove termination of programs without any modification. We give examples of proofs of termination and of upper bounds on computation time that were obtained using a Pascal program verifier. The use of the method to locate causes of non-termination is also illustrated.This research was supported inpart by the Advanced Research Agency of the Office of the Secretary of Defence under contract DAHC 15-73-C-0435 相似文献
2.
Business process integration as a solution to the implementation of supply chain management systems 总被引:1,自引:0,他引:1
In the domain of supply chain management (SCM), various software packages have been developed for planning business strategies. To solve the problem of system productivity in applying planning packages, we propose a solution concept, business process integration (BPI), which fuses workflow and enterprise application integration (EAI) technology. Two characteristic policies are included in BPI. The first is to design the minimum set of business processes for real-time information sharing with planning packages without changing other processes. The second is to integrate several systems with EAI technology and to manage their execution with a workflow tool. Based on these policies, we propose various design templates and integration adapters. Our evaluation shows that using BPI, a target system can be developed with less manpower, in less time, and with higher quality than previous methods. 相似文献
3.
Yukihisa Fujinaga Tadashi Namisaki Yuki Tsuji Junya Suzuki Koji Murata Soichi Takeda Hiroaki Takaya Takashi Inoue Ryuichi Noguchi Yuki Fujimoto Masahide Enomoto Norihisa Nishimura Koh Kitagawa Kosuke Kaji Hideto Kawaratani Takemi Akahane Akira Mitoro Hitoshi Yoshiji 《International journal of molecular sciences》2022,23(17)
Primary biliary cholangitis (PBC) has a wide variation in clinical presentation and course. There is no significant correlation between these symptoms and the disease stage, although patients with more advanced stages generally have more symptoms. It is important to develop biomarkers in order to identify patients with an increased risk of complications and end-stage liver disease. This study investigated surrogate markers for risk estimation of PBC-related complications, including a study population of 77 patients with PBC who underwent liver biopsy and were measured for serum levels of macrophage activation markers, soluble CD163 (sCD163), soluble mannose receptor (sMR), and zonulin. Patients with PBC were divided into symptomatic (Group S, n = 20) and asymptomatic (Group A, n = 57) groups. The correlations of histological stages based on both Scheuer and Nakanuma classifications with the three serum markers were investigated. The Nakanuma classification involves grading for liver fibrosis and bile duct loss. The three biomarkers were assessed for their diagnostic ability to identify patients with PBC having high risk of developing complications. The predictive factors of these complications were examined as well. Group S had significantly higher serum sMR (p = 0.011) and sCD163 (p = 0.048) levels versus Group A. A composite index of sMR and sCD163 measurements had significantly better prediction performance than sCD163 alone (p = 0.012), although not when compared to sMR alone (p = 0.129). Serum sMR was an independent factor for developing complications on both univariate (Odds ratio (OR) = 30.20, 95% confidence interval (95% CI): 3.410–267.0, p = 0.00220), and multivariate (OR = 33.70, 95% CI: 3.6600–311.0, p = 0.0019) analyses. Patients with PBC having sMR of ≥56.6 had a higher incidence of clinical complications versus those with a sMR of <56.6. Serum sMR predicts the development of complications in patients with PBC. sMR plus sCD163 showed better predictive power than either marker alone, although the addition of sCD163 did not improve the predictive power of sMR. Future prospective studies are required in order to validate the findings of the present study. 相似文献
4.
A simple screening procedure for heterotrophic nitrifying bacteria with oxygen-tolerant denitrification activity 总被引:4,自引:0,他引:4
Matsuzaka E Nomura N Nakajima-Kambe T Okada N Nakahara T 《Journal of Bioscience and Bioengineering》2003,95(4):409-411
Various naturally occurring strains of heterotrophic nitrifying bacteria were isolated by enrichment culture using acetamide as the C and N source, and 21 strains were identified as heterotrophic nitrifiers. Using a new simple procedure, these 21 strains were also investigated for the ability to carry out denitrifcation in the presence of oxygen. Several of the nitrifying strains were found to exhibit a distinct activity that allows for denitrifcation via nitrite (NO2-) in the presence of oxygen, indicating that they have an oxygen-tolerant denitrifcation system. A wide variety of bacteria possessing both nitrification and denitrifcation capabilities in the presence of oxygen were isolated and partially characterized by using the simple screening combinatorial procedure described in this paper. 相似文献
5.
Kanami Ikegami Tomoya Kawashima Shinji Hayashi Norihisa Moriya 《Journal of the Society for Information Display》2007,15(3):193-197
Abstract— A polymerizable liquid crystal (PLC), the orientation of which can be frozen, is useful for making retardation layers. In this paper, a new color filter (CF) with retardation‐controlling layers made of PLC is reported. It has a positive A‐plate and a negative C‐plate, both directly stacked on a color‐filter layer. These two retardation layers exhibit good orientation ability, and function well as retarders, even when they are only 1/10 or less as thick as ordinary retardation films. The new CF also has excellent thermal stability. The change in retardation after heat treatment at 200°C for 30 min is around 5%, and there is no observable peeling. A prototype VA‐LCD made with our new CF provides good optical compensation, with the light leakage being extremely low in all azimuthal directions. This technology is very useful for making thin, highly reliable color filters for LCDs, even with other modes. 相似文献
6.
Norihisa Saeki Hiromi Sakamoto Teruhiko Yoshida 《International journal of molecular sciences》2014,15(5):7958-7973
Gastric cancer (GC) is one of the major malignant diseases worldwide, especially in Asia. It is classified into intestinal and diffuse types. While the intestinal-type GC (IGC) is almost certainly caused by Helicobacter pylori (HP) infection, its role in the diffuse-type GC (DGC) appears limited. Recently, genome-wide association studies (GWAS) on Japanese and Chinese populations identified chromosome 1q22 as a GC susceptibility locus which harbors mucin 1 gene (MUC1) encoding a cell membrane-bound mucin protein. MUC1 has been known as an oncogene with an anti-apoptotic function in cancer cells; however, in normal gastric mucosa, it is anticipated that the mucin 1 protein has a role in protecting gastric epithelial cells from a variety of external insults which cause inflammation and carcinogenesis. HP infection is the most definite insult leading to GC, and a protective function of mucin 1 protein has been suggested by studies on Muc1 knocked-out mice. 相似文献
7.
Yoshinori Nishida Norihisa Izawa Yukio Kuramasu 《Metallurgical and Materials Transactions A》1999,30(3):839-844
Separation of matrix metals in composites was tried on alumina short fiber-reinforced aluminum and 6061 alloy composites and
SiC whisker-reinforced 6061 alloy composite for recycling. It is possible to separate molten matrix metals from fibers in
the composites using fluxes that are used for melt treatment to remove inclusions. About 50 vol pct of the matrix metals was
separated from the alumina short fiber-reinforced composites. The separation ratio of the matrix from the SiC whisker-reinforced
6061 alloy composite was low and about 20 vol pct. The separation mechanism was discussed thermodynamically using interface
free energies. Since the flux/fiber interface energy is smaller than the aluminum/fiber interface energy, the replacement
of aluminum with fluxes in composites takes place easily. Gases released by the decomposition of fluxes act an important role
in pushing out the molten matrix metal from the composite. The role was confirmed by the great amount cavity formed in the
composite after the matrix metal flowed out. 相似文献
8.
Yutaka Kudo Tomohiro Morimura Kiminori Sugauchi Tetsuya Masuishi Norihisa Komoda 《Electrical Engineering in Japan》2015,192(1):13-24
We developed a root cause analysis (RCA) system for an enterprise IT system environment. In this paper, we propose a rule‐construction method that builds analysis rule data objects from general analysis rules and the topology information of the actual target IT environment. Using this method, the IT administrator can use the RCA system without any manual rule modifications. For the execution of the analysis, we introduce the certainty factor to realize robust analysis when the order and reachability of a fault event cannot be guaranteed. 相似文献
9.
Hayato Osaki Takefumi Kanda Shoki Ofuji Norihisa Seno Koichi Suzumori Takahiro Ukida 《Advanced Robotics》2018,32(9):500-510
AbstractRobots composed of hydraulic actuators have been utilized in various fields and at disaster sites. However, the hydraulic control system for multiple-degree-of-freedom mechanisms is large because such systems require many control components. The purpose of this research was to develop a small hydraulic flow control valve. This paper describes the fabrication and evaluation of a small three-way valve by particle excitation using a piezoelectric transducer. This valve consists of two transducers and can switch the inlet and outlet ports by applying an AC voltage of different driving frequencies to each transducer because each transducer has different resonant frequencies. The flow rate was controlled by applying a voltage to the piezoelectric transducer. We evaluated the vibration characteristics of the fabricated three-way valve. The vibration velocity exhibited peaks at 120 and 155 kHz for the inlet and outlet port, respectively, and that of each transducer increased with the applied voltage. Therefore, this three-way valve can switch the opening port by changing the driving frequencies and continuously controlling the flow rate. As a result, we have succeeded in driving the novel small three-way valve. 相似文献
10.